Bump up genTxRetries now that we have longer traces

IntersectMBO · Sep 16, 2020 · a9c8a44 · a9c8a44
1 parent 682aacf
commit a9c8a44
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 14 deletions.
diff --git a/...n-and-ledger/shelley-spec-ledger-test/src/Test/Shelley/Spec/Ledger/Generator/Constants.hs b/...n-and-ledger/shelley-spec-ledger-test/src/Test/Shelley/Spec/Ledger/Generator/Constants.hs
@@ -134,5 +134,5 @@ defaultConstants =
       maxTreasury = 10000000,
       minReserves = 1000000,
       maxReserves = 10000000,
-      genTxRetries = 6
+      genTxRetries = 10
     }
diff --git a/...hain-and-ledger/shelley-spec-ledger-test/test/Test/Shelley/Spec/Ledger/Rules/TestChain.hs b/...hain-and-ledger/shelley-spec-ledger-test/test/Test/Shelley/Spec/Ledger/Rules/TestChain.hs
@@ -124,25 +124,23 @@ adaPreservationChain =
 
 -- ADA should be preserved for all state transitions in the generated trace
 checkPreservation :: SourceSignalTarget (CHAIN C) -> Property
-checkPreservation SourceSignalTarget {source, signal, target} =
+checkPreservation SourceSignalTarget {source, target} =
   counterexample
     ( mconcat
-        [ "source\n",
-          show source,
-          "\nsignal\n",
-          show signal,
-          "\ntarget\n",
-          show target,
-          "\nsource pots\n",
-          show sourcePots,
+        [ "\nsource pots\n",
+          show (totalAdaPots source),
           "\ntarget pots\n",
-          show targetPots
+          show (totalAdaPots target),
+          "\nsource total\n",
+          show sourceTotal,
+          "\ntarget total\n",
+          show targetTotal
         ]
     )
-    $ totalAda source === totalAda target
+    $ sourceTotal === targetTotal
   where
-    sourcePots = totalAdaPots source
-    targetPots = totalAdaPots target
+    sourceTotal = totalAda source
+    targetTotal = totalAda target
 
 -- If we are not at an Epoch Boundary (i.e. epoch source == epoch target)
 -- then the total rewards should change only by withdrawals