More Alonzo examples

We add an example transaction that has scripts everywhere, including both 1-phase and 2-phase scripts. We add examples of invalid transactions.
IntersectMBO · May 5, 2021 · 86722e2 · 86722e2
1 parent d82afd5
commit 86722e2
Show file tree

Hide file tree

Showing 2 changed files with 775 additions and 77 deletions.
diff --git a/alonzo/test/test/Test/Cardano/Ledger/Alonzo/Examples/Bbody.hs b/alonzo/test/test/Test/Cardano/Ledger/Alonzo/Examples/Bbody.hs
@@ -141,6 +141,7 @@ example1UTxO =
   UTxO $
     Map.fromList
       [ (TxIn genesisId 9, UTXOW.alwaysFailsOutput),
+        (TxIn genesisId 10, UTXOW.timelockOut),
         (TxIn (txid @A UTXOW.validatingBody) 0, UTXOW.outEx1),
         (TxIn (txid @A UTXOW.validatingBodyWithCert) 0, UTXOW.outEx3),
         (TxIn (txid @A UTXOW.validatingBodyWithWithdrawal) 0, UTXOW.outEx5),