jmp0x1b_proptest

jmp0x1b_proptest provides typed property-case validation, structured generator contracts, deterministic replay/shrink helpers, stable property-report wire helpers, and compatibility governance primitives aligned with jmp0x1b_errors and jmp0x1b_serde.

Install

jmp0x1b install jmp0x1b_proptest --version 1.0.0

Use

Add as a dependency in jmp0x1b.toml:

[dependencies]
jmp0x1b_proptest = { version = "1.0.0" }

Import and compose this library's typed contracts from src/lib.jmp0x1b in your package.

Verify

cd libs/jmp0x1b_proptest
jmp0x1b_cli check
jmp0x1b_cli test

References

• README.md
• CHANGELOG.md
• ROADMAP.md