Strengthen tests for `applyTx` and `filterByAddress`.#2867

Merged

jonathanknowles merged 9 commits intosevanspowell/adp-1092/apply-tx-testablefrom jonathanknowles/apply-tx-testable

Sep 3, 2021

+178-101

Commits on Sep 3, 2021

Use Arbitrary UTxO instance to simplify UTxOSpec.
jonathanknowles
committed
Add coarbitraryAddress function to Address.Gen.
jonathanknowles
committed
Use CoArbitrary Address instance to strengthen UTxO property tests.
jonathanknowles
committed
Add coverage checks to UTxOSpec.
jonathanknowles
committed
Use CoArbitrary Address instance to strengthen filterByAddress tests.
jonathanknowles
committed
Make genTx sometimes generate transactions with zero outputs.
jonathanknowles
committed
Add coverage checks to individual ModelSpec properties.
jonathanknowles
committed
Reduce long execution time of prop_tx_utxo_coverage.
jonathanknowles
committed
Strengthen coverage check for prop_spendTx_balance_inequality.
jonathanknowles
committed