Constrained generators for transactions

IntersectMBO / cardano-ledger

The ledger implementation and specifications of the Cardano blockchain.

Apache License 2.0

262 stars 155 forks source link

Constrained generators for transactions #4675

Open Soupstraw opened 1 month ago

Soupstraw commented 1 month ago

The UTXO conformance tests currently use the Generic generator for transactions. We should implement a constraint based generator for transactions and use that instead.