Reduce by a factor 10 the number of state change validity tests.

We should enable nightly builds if we want to run so many test cases.
input-output-hk · Jun 10, 2021 · 53e4f50 · 53e4f50
1 parent c171c48
commit 53e4f50
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/executable-spec/test/Test/Cardano/Ledger/Update/Properties.hs b/executable-spec/test/Test/Cardano/Ledger/Update/Properties.hs
@@ -106,7 +106,7 @@ runTests = [
            -- Update system safety properties
            ---------------------------------------------------------------------
            , testProperty "Changes in the state of update proposals are valid."
-             $ withMaxSuccess 100000
+             $ withMaxSuccess 10000
              $ forAllTracesShow
                  StateChangeValidity.prop_updateEventTransitionsAreValid
                  showActionsAndStateOfUpdateSpec