Issue #263: reduces the trace length such that the heap doesn't get e…

…xhausted
IntersectMBO · Jul 17, 2019 · c5d2591 · c5d2591
1 parent 60b1ce1
commit c5d2591
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/byron/ledger/executable-spec/test/Ledger/UTxO/Properties.hs b/byron/ledger/executable-spec/test/Ledger/UTxO/Properties.hs
@@ -36,7 +36,7 @@ moneyIsConstant = withTests 200 . property $ do
 -- | Check that there is no double spending
 noDoubleSpending :: Property
 noDoubleSpending = property $ do
-  t <- forAll (trace @UTXOW 500)
+  t <- forAll (trace @UTXOW 300)
   let
     UTxOState {utxo = utxo0} = _traceInitState t
     txs = body <$> traceSignals OldestFirst t