Hypothesis2Daml Software

This tool provides a Python library for property-based testing of Daml contracts, executing them via the Daml JSON API. The daml_pbt module integrates with Hypothesis (data generation and shrinking) and pytest (execution and reporting), allowing you to validate invariants, pre/postconditions, and stateful workflows with automatically generated examples and reproducible counterexamples. Key features - Helpers to create contracts, exercise choices, and run queries. - Automatic input generation with Hypothesis and counterexample shrinking. - Per-test party isolation (prevents interference between cases). - Integration with pytest to run locally and in continuous integration (CI).