| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Shelley.Rules.CollisionFreeness
Synopsis
- tests ∷ ∀ era ledger. (EraGen era, ChainProperty era, TestingLedger era ledger, HasTrace (CHAIN era) (GenEnv era)) ⇒ TestTree
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