Added generic (Era agnostic tests) in Test.Cardano.Ledger.Generic pac…

…kage Meant to someday replace Test.Cardano.Ledger.Properties Add many PrettyA instances for UTXOW UTXO UTXOS PPUP predicate failures. Cleaned up the broken Policy type.
IntersectMBO · Feb 15, 2022 · d0b9428 · d0b9428
1 parent bc622cc
commit d0b9428
Show file tree

Hide file tree

Showing 9 changed files with 2,204 additions and 263 deletions.
diff --git a/libs/cardano-ledger-pretty/src/Cardano/Ledger/Pretty/Alonzo.hs b/libs/cardano-ledger-pretty/src/Cardano/Ledger/Pretty/Alonzo.hs
@@ -222,11 +222,11 @@ ppTxWitness :: (Era era, PrettyA (Core.Script era)) => TxWitness era -> PDoc
 ppTxWitness (TxWitness' vk wb sc da (Redeemers rd)) =
   ppRecord
     "TxWitness"
-    [ ("txwitsVKey", ppSet ppWitVKey vk),
-      ("txwitsBoot", ppSet ppBootstrapWitness wb),
-      ("txscripts", ppMap ppScriptHash prettyA sc),
-      ("txdats", ppMap ppSafeHash ppData (unTxDats da)),
-      ("txrdmrs", ppMap ppRdmrPtr (ppPair ppData ppExUnits) rd)
+    [ ("keys", ppSet ppWitVKey vk),
+      ("bootstrap witnesses", ppSet ppBootstrapWitness wb),
+      ("scripts map", ppMap ppScriptHash prettyA sc),
+      ("Data map", ppMap ppSafeHash ppData (unTxDats da)),
+      ("Redeemer map", ppMap ppRdmrPtr (ppPair ppData ppExUnits) rd)
     ]
 
 instance

diff --git a/libs/cardano-ledger-test/cardano-ledger-test.cabal b/libs/cardano-ledger-test/cardano-ledger-test.cabal
@@ -54,6 +54,8 @@ library
     Test.Cardano.Ledger.Generic.Proof
     Test.Cardano.Ledger.Generic.Scriptic
     Test.Cardano.Ledger.Generic.Updaters
+    Test.Cardano.Ledger.Generic.PrettyCore
+    Test.Cardano.Ledger.Generic.Properties
     Test.Cardano.Ledger.Model.API
     Test.Cardano.Ledger.Model.Acnt
     Test.Cardano.Ledger.Model.BaseTypes

diff --git a/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Alonzo/Tools.hs b/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Alonzo/Tools.hs
@@ -118,7 +118,6 @@ exampleTx :: Core.Tx A
 exampleTx =
   let pf = Alonzo Mock
    in newTx
-        override
         pf
         [ Body (validatingBody pf),
           WitnessesI