Added module Test.Cardano.Ledger.Constrained.Trace.TraceMonad. (#3709)

Includes an example of making a simple Tx's with 1 input and output.
Added 'actions' that update the Env in the TraceM monad for inputs, outputs and fees.
Added Tests that such Tx's pass the applySTS and that the 'actions' compute the same state.
Added Tests that traces of length 100, are real traces and lead to valid states.
Added Stage.hs, to break up large constraint lists into reusable pieces
Added RootTarget, extends Target to make some Targets invertable. RootTargets for NewEpochState and down.
Added Profile improvements, use HashSet(Name era) rather than Set(Name era)
Parameterized the Preds directory files by UnivSize, so on can control the size of the universes.
Added the Gadt Rule, and sts :: Proof era -> Rule tag -> ...
Added all the Constrained sub directory tests to the Tests in cardano-ledger-test

eras/shelley/impl/src/Cardano/Ledger/Shelley/Rules/Utxo.hs

@@ -546,8 +546,7 @@ validateValueNotConservedUTxO ::
   TxBody era ->
   Test (ShelleyUtxoPredFailure era)
 validateValueNotConservedUTxO pp utxo dpstate txb =
-  failureUnless (consumedValue == producedValue) $
-    (ValueNotConservedUTxO consumedValue producedValue)
+  failureUnless (consumedValue == producedValue) $ ValueNotConservedUTxO consumedValue producedValue
   where
     consumedValue = consumed pp dpstate utxo txb
     producedValue = produced pp dpstate txb

flake.nix

@@ -121,6 +121,8 @@
           # specific enough, or doesn't allow setting these.
           modules = [
             ({pkgs, ...}: {
+              # packages.plutus-core.components.library.ghcOptions = [ "-fexternal-interpreter" ];
+              # uncomment when profiling
               packages.byron-spec-chain.configureFlags = ["--ghc-option=-Werror"];
               packages.byron-spec-ledger.configureFlags = ["--ghc-option=-Werror"];
               packages.delegation.configureFlags = ["--ghc-option=-Werror"];

libs/cardano-ledger-test/cardano-ledger-test.cabal

@@ -26,6 +26,7 @@ library
         Test.Cardano.Ledger.Constrained.Lenses
         Test.Cardano.Ledger.Constrained.Monad
         Test.Cardano.Ledger.Constrained.Pairing
+        Test.Cardano.Ledger.Constrained.Stage
         Test.Cardano.Ledger.Constrained.Preds.PParams
         Test.Cardano.Ledger.Constrained.Preds.Universes
         Test.Cardano.Ledger.Constrained.Preds.TxOut
@@ -34,6 +35,11 @@ library
         Test.Cardano.Ledger.Constrained.Preds.Repl
         Test.Cardano.Ledger.Constrained.Preds.Certs
         Test.Cardano.Ledger.Constrained.Preds.LedgerState
+        Test.Cardano.Ledger.Constrained.Trace.TraceMonad
+        Test.Cardano.Ledger.Constrained.Trace.SimpleTx
+        Test.Cardano.Ledger.Constrained.Trace.Actions
+        Test.Cardano.Ledger.Constrained.Trace.Pipeline
+        Test.Cardano.Ledger.Constrained.Trace.Tests
         Test.Cardano.Ledger.Constrained.Spec
         Test.Cardano.Ledger.Constrained.SpecClass
         Test.Cardano.Ledger.Constrained.Tests
@@ -110,6 +116,7 @@ library
         formatting,
         groups,
         haskeline,
+        hashable,
         vector-map,
         data-default-class,
         microlens,
@@ -130,6 +137,7 @@ library
         text,
         time,
         transformers,
+        unordered-containers,
         vector
 
 test-suite cardano-ledger-test