pkgs.ml
Activity Stats For agents Log in with GitHub

propane

v0.0.43

Property-based testing support

Repository Open docs Open in playground
Install
riot add propane
riot.toml
propane = "0.0.43"
Last release
May 15, 2026
License
Apache-2.0
Dependencies
1
Dependents
2
Installs
116
Published versions
33
Owner
@leostera@leostera
Examples (5)
assumptions basic collections custom_generators shrinking
README Expand

propane

Property-based testing for Riot.

propane is Riot's QuickCheck-style testing package. Instead of hand-writing a small fixed set of examples, you describe properties that should hold for a wide range of generated inputs. propane then generates test cases, runs the property many times, and shrinks failures down to a smaller counter-example when it can.

Install

riot add propane

Core pieces

  • Generator builds random values.
  • Arbitrary combines generation, shrinking, and printing.
  • Property defines runnable properties.
  • Shrinker reduces failing values to smaller counter-examples.
  • Printer renders generated values for reports.

Example

open Std
open Propane

let list_rev_prop =
  property
    "list reverse is involutive"
    Arbitrary.(list int)
    (fun lst -> List.reverse (List.reverse lst) = lst)

let tests = [ list_rev_prop ]

let () =
  Actors.run
    ~main:(fun ~args -> Test.Cli.main ~name:"propane-demo" ~tests ~args)
    ~args:Env.args
    ()

The package already ships several runnable examples under examples/. A quick way to make sure they build is:

riot build propane

To inspect one of the example binaries directly, start with:

riot run -p propane basic

When it is a good fit

Use propane when:

  • the space of interesting inputs is too large for hand-written unit tests;
  • you care about discovering surprising edge cases automatically;
  • you want shrinking and repeatable property checks in the same toolchain as Std.Test.

Related packages

  • std provides the test runner integration through Std.Test.
Installs
Downloads over the last 30 days, stacked by release.
Total installs
116
Downloads over the last 30 days
v0.0.4310
v0.0.423
v0.0.411
v0.0.4016
v0.0.391
Package status
Submission, indexing, and post-publish processing milestones for this release.
Submitted
May 15, 08:09 PM
Indexed
May 15, 08:09 PM
Searchable
May 15, 08:09 PM
Docs ready
May 15, 08:18 PM
Completed
Pending
Dependencies
Dependencies declared for this release.
Show 1 dependencies Expand
Dependents
Packages that currently depend on propane.
Show 2 dependents Expand
Recent activity
Latest publication, indexing, and post-publish pipeline events recorded for this package.
Open full activity
Show 12 recent events Expand
  • Blocked
    propane 0.0.43 attempt 3 · artifact 4018e2a80711
    Details
    When
    May 15, 2026, 08:40:27 PM
    Event
    Blocked
    Package
    propane
    Version
    0.0.43
    Facts
    attempt 3 artifact 4018e2a80711
    Payload
    {
  "artifact_sha256": "4018e2a80711257437a161e6579373d9ba7c8f623e64e551b02a7634bf3cb47e",
  "status": "blocked",
  "attempt_count": 3,
  "error": "error: Unknown argument: propane"
}
  • Build failed
    propane 0.0.43 build · exit 1 · artifact 4018e2a80711
    Details
    When
    May 15, 2026, 08:40:25 PM
    Event
    Build failed
    Package
    propane
    Version
    0.0.43
    Summary
    error: Unknown argument: propane
    Facts
    build exit 1 artifact 4018e2a80711
    Artifacts
    Result key
    pipelines/builds/propane/0.0.43/4018e2a80711257437a161e6579373d9ba7c8f623e64e551b02a7634bf3cb47e/result.json
    Logs key
    pipelines/builds/propane/0.0.43/4018e2a80711257437a161e6579373d9ba7c8f623e64e551b02a7634bf3cb47e/build.log
    Payload
    {
  "artifact_sha256": "4018e2a80711257437a161e6579373d9ba7c8f623e64e551b02a7634bf3cb47e",
  "run_kind": "build",
  "result_key": "pipelines/builds/propane/0.0.43/4018e2a80711257437a161e6579373d9ba7c8f623e64e551b02a7634bf3cb47e/result.json",
  "logs_key": "pipelines/builds/propane/0.0.43/4018e2a80711257437a161e6579373d9ba7c8f623e64e551b02a7634bf3cb47e/build.log",
  "environment_probe": {
    "success": true,
    "exit_code": 0,
    "stdout": "glibc=glibc 2.39\nriot=riot 0.0.43 (build 2a3a2071a5f0)\nPRETTY_NAME=\"Ubuntu 24.04.4 LTS\"\nNAME=\"Ubuntu\"\nVERSION_ID=\"24.04\"\nVERSION=\"24.04.4 LTS (Noble Numbat)\"\nVERSION_CODENAME=noble\nID=ubuntu\nID_LIKE=debian\nHOME_URL=\"https://www.ubuntu.com/\"\nSUPPORT_URL=\"https://help.ubuntu.com/\"\nBUG_REPORT_URL=\"https://bugs.launchpad.net/ubuntu/\"\nPRIVACY_POLICY_URL=\"https://www.ubuntu.com/legal/terms-and-policies/privacy-policy\"\nUBUNTU_CODENAME=noble\nLOGO=ubuntu-logo",
    "stderr": "",
    "duration_ms": 82,
    "command": [
      "sh",
      "-lc",
      "printf 'glibc=%s\\n' \"$(getconf GNU_LIBC_VERSION 2>/dev/null || echo unknown)\" && printf 'riot=%s\\n' \"$(/root/.riot/bin/riot version 2>/dev/null || echo unavailable)\" && cat /etc/os-release"
    ],
    "json_events": [],
    "non_json_stdout_lines": [
      "glibc=glibc 2.39",
      "riot=riot 0.0.43 (build 2a3a2071a5f0)",
      "PRETTY_NAME=\"Ubuntu 24.04.4 LTS\"",
      "NAME=\"Ubuntu\"",
      "VERSION_ID=\"24.04\"",
      "VERSION=\"24.04.4 LTS (Noble Numbat)\"",
      "VERSION_CODENAME=noble",
      "ID=ubuntu",
      "ID_LIKE=debian",
      "HOME_URL=\"https://www.ubuntu.com/\"",
      "SUPPORT_URL=\"https://help.ubuntu.com/\"",
      "BUG_REPORT_URL=\"https://bugs.launchpad.net/ubuntu/\"",
      "PRIVACY_POLICY_URL=\"https://www.ubuntu.com/legal/terms-and-policies/privacy-policy\"",
      "UBUNTU_CODENAME=noble",
      "LOGO=ubuntu-logo"
    ]
  },
  "exit_code": 1,
  "json_event_count": 0,
  "non_json_stdout_count": 1,
  "failure_summary": "error: Unknown argument: propane",
  "stdout_excerpt": "error: Unknown argument: propane"
}
  • Processing
    propane 0.0.43 attempt 3 · artifact 4018e2a80711
    Details
    When
    May 15, 2026, 08:40:21 PM
    Event
    Processing
    Package
    propane
    Version
    0.0.43
    Facts
    attempt 3 artifact 4018e2a80711
    Payload
    {
  "artifact_sha256": "4018e2a80711257437a161e6579373d9ba7c8f623e64e551b02a7634bf3cb47e",
  "status": "processing",
  "attempt_count": 3
}
  • Requeued
    propane 0.0.43 attempt 2 · artifact 4018e2a80711
    Details
    When
    May 15, 2026, 08:34:58 PM
    Event
    Requeued
    Package
    propane
    Version
    0.0.43
    Facts
    attempt 2 artifact 4018e2a80711
    Payload
    {
  "artifact_sha256": "4018e2a80711257437a161e6579373d9ba7c8f623e64e551b02a7634bf3cb47e",
  "status": "pending",
  "attempt_count": 2,
  "next_attempt_at": "2026-05-15T20:39:58.278Z",
  "error": "error: Unknown argument: propane"
}
  • Build failed
    propane 0.0.43 build · exit 1 · artifact 4018e2a80711
    Details
    When
    May 15, 2026, 08:34:56 PM
    Event
    Build failed
    Package
    propane
    Version
    0.0.43
    Summary
    error: Unknown argument: propane
    Facts
    build exit 1 artifact 4018e2a80711
    Artifacts
    Result key
    pipelines/builds/propane/0.0.43/4018e2a80711257437a161e6579373d9ba7c8f623e64e551b02a7634bf3cb47e/result.json
    Logs key
    pipelines/builds/propane/0.0.43/4018e2a80711257437a161e6579373d9ba7c8f623e64e551b02a7634bf3cb47e/build.log
    Payload
    {
  "artifact_sha256": "4018e2a80711257437a161e6579373d9ba7c8f623e64e551b02a7634bf3cb47e",
  "run_kind": "build",
  "result_key": "pipelines/builds/propane/0.0.43/4018e2a80711257437a161e6579373d9ba7c8f623e64e551b02a7634bf3cb47e/result.json",
  "logs_key": "pipelines/builds/propane/0.0.43/4018e2a80711257437a161e6579373d9ba7c8f623e64e551b02a7634bf3cb47e/build.log",
  "environment_probe": {
    "success": true,
    "exit_code": 0,
    "stdout": "glibc=glibc 2.39\nriot=riot 0.0.43 (build 2a3a2071a5f0)\nPRETTY_NAME=\"Ubuntu 24.04.4 LTS\"\nNAME=\"Ubuntu\"\nVERSION_ID=\"24.04\"\nVERSION=\"24.04.4 LTS (Noble Numbat)\"\nVERSION_CODENAME=noble\nID=ubuntu\nID_LIKE=debian\nHOME_URL=\"https://www.ubuntu.com/\"\nSUPPORT_URL=\"https://help.ubuntu.com/\"\nBUG_REPORT_URL=\"https://bugs.launchpad.net/ubuntu/\"\nPRIVACY_POLICY_URL=\"https://www.ubuntu.com/legal/terms-and-policies/privacy-policy\"\nUBUNTU_CODENAME=noble\nLOGO=ubuntu-logo",
    "stderr": "",
    "duration_ms": 124,
    "command": [
      "sh",
      "-lc",
      "printf 'glibc=%s\\n' \"$(getconf GNU_LIBC_VERSION 2>/dev/null || echo unknown)\" && printf 'riot=%s\\n' \"$(/root/.riot/bin/riot version 2>/dev/null || echo unavailable)\" && cat /etc/os-release"
    ],
    "json_events": [],
    "non_json_stdout_lines": [
      "glibc=glibc 2.39",
      "riot=riot 0.0.43 (build 2a3a2071a5f0)",
      "PRETTY_NAME=\"Ubuntu 24.04.4 LTS\"",
      "NAME=\"Ubuntu\"",
      "VERSION_ID=\"24.04\"",
      "VERSION=\"24.04.4 LTS (Noble Numbat)\"",
      "VERSION_CODENAME=noble",
      "ID=ubuntu",
      "ID_LIKE=debian",
      "HOME_URL=\"https://www.ubuntu.com/\"",
      "SUPPORT_URL=\"https://help.ubuntu.com/\"",
      "BUG_REPORT_URL=\"https://bugs.launchpad.net/ubuntu/\"",
      "PRIVACY_POLICY_URL=\"https://www.ubuntu.com/legal/terms-and-policies/privacy-policy\"",
      "UBUNTU_CODENAME=noble",
      "LOGO=ubuntu-logo"
    ]
  },
  "exit_code": 1,
  "json_event_count": 0,
  "non_json_stdout_count": 1,
  "failure_summary": "error: Unknown argument: propane",
  "stdout_excerpt": "error: Unknown argument: propane"
}
  • Processing
    propane 0.0.43 attempt 2 · artifact 4018e2a80711
    Details
    When
    May 15, 2026, 08:34:50 PM
    Event
    Processing
    Package
    propane
    Version
    0.0.43
    Facts
    attempt 2 artifact 4018e2a80711
    Payload
    {
  "artifact_sha256": "4018e2a80711257437a161e6579373d9ba7c8f623e64e551b02a7634bf3cb47e",
  "status": "processing",
  "attempt_count": 2
}
  • Requeued
    propane 0.0.43 attempt 1 · artifact 4018e2a80711
    Details
    When
    May 15, 2026, 08:18:36 PM
    Event
    Requeued
    Package
    propane
    Version
    0.0.43
    Facts
    attempt 1 artifact 4018e2a80711
    Payload
    {
  "artifact_sha256": "4018e2a80711257437a161e6579373d9ba7c8f623e64e551b02a7634bf3cb47e",
  "status": "pending",
  "attempt_count": 1,
  "next_attempt_at": "2026-05-15T20:23:36.729Z",
  "error": "error: Unknown argument: propane"
}
  • Docs ready
    propane 0.0.43 docs · 2 json · doc.package_generation_completed · artifact 4018e2a80711
    Details
    When
    May 15, 2026, 08:18:25 PM
    Event
    Docs ready
    Package
    propane
    Version
    0.0.43
    Facts
    docs 2 json doc.package_generation_completed artifact 4018e2a80711
    Artifacts
    Result key
    pipelines/docs/propane/0.0.43/4018e2a80711257437a161e6579373d9ba7c8f623e64e551b02a7634bf3cb47e/result.json
    Logs key
    pipelines/docs/propane/0.0.43/4018e2a80711257437a161e6579373d9ba7c8f623e64e551b02a7634bf3cb47e/command.log
    Payload
    {
  "artifact_sha256": "4018e2a80711257437a161e6579373d9ba7c8f623e64e551b02a7634bf3cb47e",
  "run_kind": "docs",
  "output_prefix": "docs/propane/0.0.43/",
  "public_docs_url": "https://docs.pkgs.ml/p/propane/0.0.43/",
  "result_key": "pipelines/docs/propane/0.0.43/4018e2a80711257437a161e6579373d9ba7c8f623e64e551b02a7634bf3cb47e/result.json",
  "logs_key": "pipelines/docs/propane/0.0.43/4018e2a80711257437a161e6579373d9ba7c8f623e64e551b02a7634bf3cb47e/command.log",
  "json_event_count": 2,
  "non_json_stdout_count": 0,
  "last_json_event_type": "doc.package_generation_completed"
}
  • Build failed
    propane 0.0.43 build · exit 1 · artifact 4018e2a80711
    Details
    When
    May 15, 2026, 08:18:24 PM
    Event
    Build failed
    Package
    propane
    Version
    0.0.43
    Summary
    error: Unknown argument: propane
    Facts
    build exit 1 artifact 4018e2a80711
    Artifacts
    Result key
    pipelines/builds/propane/0.0.43/4018e2a80711257437a161e6579373d9ba7c8f623e64e551b02a7634bf3cb47e/result.json
    Logs key
    pipelines/builds/propane/0.0.43/4018e2a80711257437a161e6579373d9ba7c8f623e64e551b02a7634bf3cb47e/build.log
    Payload
    {
  "artifact_sha256": "4018e2a80711257437a161e6579373d9ba7c8f623e64e551b02a7634bf3cb47e",
  "run_kind": "build",
  "result_key": "pipelines/builds/propane/0.0.43/4018e2a80711257437a161e6579373d9ba7c8f623e64e551b02a7634bf3cb47e/result.json",
  "logs_key": "pipelines/builds/propane/0.0.43/4018e2a80711257437a161e6579373d9ba7c8f623e64e551b02a7634bf3cb47e/build.log",
  "environment_probe": {
    "success": true,
    "exit_code": 0,
    "stdout": "glibc=glibc 2.39\nriot=riot 0.0.43 (build 2a3a2071a5f0)\nPRETTY_NAME=\"Ubuntu 24.04.4 LTS\"\nNAME=\"Ubuntu\"\nVERSION_ID=\"24.04\"\nVERSION=\"24.04.4 LTS (Noble Numbat)\"\nVERSION_CODENAME=noble\nID=ubuntu\nID_LIKE=debian\nHOME_URL=\"https://www.ubuntu.com/\"\nSUPPORT_URL=\"https://help.ubuntu.com/\"\nBUG_REPORT_URL=\"https://bugs.launchpad.net/ubuntu/\"\nPRIVACY_POLICY_URL=\"https://www.ubuntu.com/legal/terms-and-policies/privacy-policy\"\nUBUNTU_CODENAME=noble\nLOGO=ubuntu-logo",
    "stderr": "",
    "duration_ms": 61,
    "command": [
      "sh",
      "-lc",
      "printf 'glibc=%s\\n' \"$(getconf GNU_LIBC_VERSION 2>/dev/null || echo unknown)\" && printf 'riot=%s\\n' \"$(/root/.riot/bin/riot version 2>/dev/null || echo unavailable)\" && cat /etc/os-release"
    ],
    "json_events": [],
    "non_json_stdout_lines": [
      "glibc=glibc 2.39",
      "riot=riot 0.0.43 (build 2a3a2071a5f0)",
      "PRETTY_NAME=\"Ubuntu 24.04.4 LTS\"",
      "NAME=\"Ubuntu\"",
      "VERSION_ID=\"24.04\"",
      "VERSION=\"24.04.4 LTS (Noble Numbat)\"",
      "VERSION_CODENAME=noble",
      "ID=ubuntu",
      "ID_LIKE=debian",
      "HOME_URL=\"https://www.ubuntu.com/\"",
      "SUPPORT_URL=\"https://help.ubuntu.com/\"",
      "BUG_REPORT_URL=\"https://bugs.launchpad.net/ubuntu/\"",
      "PRIVACY_POLICY_URL=\"https://www.ubuntu.com/legal/terms-and-policies/privacy-policy\"",
      "UBUNTU_CODENAME=noble",
      "LOGO=ubuntu-logo"
    ]
  },
  "exit_code": 1,
  "json_event_count": 0,
  "non_json_stdout_count": 1,
  "failure_summary": "error: Unknown argument: propane",
  "stdout_excerpt": "error: Unknown argument: propane"
}
  • Processing
    propane 0.0.43 attempt 1 · artifact 4018e2a80711
    Details
    When
    May 15, 2026, 08:18:15 PM
    Event
    Processing
    Package
    propane
    Version
    0.0.43
    Facts
    attempt 1 artifact 4018e2a80711
    Payload
    {
  "artifact_sha256": "4018e2a80711257437a161e6579373d9ba7c8f623e64e551b02a7634bf3cb47e",
  "status": "processing",
  "attempt_count": 1
}
  • Queued
    propane 0.0.43 artifact 4018e2a80711
    Details
    When
    May 15, 2026, 08:09:13 PM
    Event
    Queued
    Package
    propane
    Version
    0.0.43
    Facts
    artifact 4018e2a80711
    Payload
    {
  "artifact_sha256": "4018e2a80711257437a161e6579373d9ba7c8f623e64e551b02a7634bf3cb47e",
  "status": "pending"
}
  • Indexed
    propane 0.0.43 latest 0.0.43 · artifact 4018e2a80711
    Details
    When
    May 15, 2026, 08:09:08 PM
    Event
    Indexed
    Package
    propane
    Version
    0.0.43
    Facts
    latest 0.0.43 artifact 4018e2a80711
    Payload
    {
  "artifact_sha256": "4018e2a80711257437a161e6579373d9ba7c8f623e64e551b02a7634bf3cb47e",
  "latest": "0.0.43",
  "package_index_key": "index/v1/pr/op/propane.json",
  "package_index_url": "https://cdn.pkgs.ml/index/v1/pr/op/propane.json",
  "changed": true
}