-
Notifications
You must be signed in to change notification settings - Fork 166
Closed
Labels
Description
Due to changes in #4253 the "Full NewEpochState" test got broken and had to be temporarily disabled:
cardano-ledger/libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Examples.hs
Lines 838 to 839 in 54dc232
| , -- FIXME: re-enable | |
| -- , testPropMax 30 "Test 17. Full NewEpochState" (fmap (withMaxSuccess 30) test17) |
This test needs to be fixed and re-enabled.
Test 17. Full NewEpochState: FAIL
*** Failed! (after 1 test):
Exception:
Solver-time error
Cannot find futurePParams in env
CallStack (from HasCallStack):
error, called at src/Test/Cardano/Ledger/Constrained/Monad.hs:70:14 in cardano-ledger-test-9.9.9.9-inplace:Test.Cardano.Ledger.Constrained.Monad
errorTyped, called at src/Test/Cardano/Ledger/Constrained/Monad.hs:74:24 in cardano-ledger-test-9.9.9.9-inplace:Test.Cardano.Ledger.Constrained.Monad
monadTyped, called at src/Test/Cardano/Ledger/Constrained/Examples.hs:113:16 in cardano-ledger-test-9.9.9.9-inplace:Test.Cardano.Ledger.Constrained.Examples
Use --quickcheck-replay=258862 to reproduce.
Use -p '/Test 17. Full NewEpochState/' to rerun this test only.
Metadata
Metadata
Assignees
Labels
Type
Projects
Status
Done