Improved the error messages when a Spec fails.

The function explainSpec no longer drops explanations. Added guardTypeSpec, which catches errors earlier, so there is less noise.
IntersectMBO · Nov 6, 2024 · f4a840b · f4a840b
1 parent 78b20b6
commit f4a840b
Show file tree

Hide file tree

Showing 5 changed files with 1,074 additions and 85 deletions.
diff --git a/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Conway/ParametricSpec.hs b/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Conway/ParametricSpec.hs
@@ -84,6 +84,7 @@ class
   where
   irewardSpec :: Term fn AccountState -> Specification fn (InstantaneousRewards (EraCrypto era))
   hasPtrs :: proxy era -> Term fn Bool
+
   correctTxOut ::
     Term fn (Map (Credential 'Staking (EraCrypto era)) (KeyHash 'StakePool (EraCrypto era))) ->
     Term fn (TxOut era) ->