cardano-ledger-shelley-test-1.5.1.0: Test helpers from cardano-ledger-shelley exposed to other packages
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Shelley.Rules.CollisionFreeness

Synopsis

Documentation

tests ∷ ∀ era ledger. (EraGen era, ChainProperty era, TestingLedger era ledger, HasTrace (CHAIN era) (GenEnv era)) ⇒ TestTree Source #

Tx inputs are eliminated, outputs added to utxo and TxIds are unique