IntersectMBO / IntersectMBO/cardano-ledger
Alonzo test failure
- Dominant language
- Haskell
- Stars
- 295
- Forks
- 179
- Avg merge
- 4d 7h
- Merged PRs (30d)
- 29
Description
Investigate the following alonzo test failure
```
$ cabal test cardano-ledger-alonzo-test --test-options='--quickcheck-replay=535047 -p "Fast Alonzo Property Tests"'
...
Test suite cardano-ledger-alonzo-test: RUNNING...
Running in scenario: Development
Alonzo tests
Fast Alonzo Property Tests
total amount of Ada is preserved (Chain):
Discarded trace: MinFeee violation: genEraDne: AlonzoEraGen.hs
Discarded trace: TotExUnits violation: genEraTweakBlock: AlonzoEraGen.hs
Discarded trace: No inputs left. Utxo.hs
FAIL (21.81s)
*** Failed! (after 15 tests):
Exception while generating shrink-list:
LEDGER sigGen: [UtxowFailure (WrappedShelleyEraFailure (ExtraneousScriptWitnessesUTXOW (fromList [ScriptHash "42c7a014a4cd5537f64e5ae8ec7349db3d8603e16765dc37f8fb6e67"])))]
CallStack (from HasCallStack):
error, called at src/Test/Cardano/Ledger/Shelley/Generator/Trace/Ledger.hs:179:24 in cardano-ledger-shelley-test-0.1.0.0-inplace:Test.Cardano.Ledger.Shelley.Generator.Trace.Ledger
genAndApplyTx, called at src/Test/Cardano/Ledger/Shelley/Generator/Trace/Ledger.hs:159:11 in cardano-ledger-shelley-test-0.1.0.0-inplace:Test.Cardano.Ledger.Shelley.Generator.Trace.Ledger
sigGen, called at src/Test/Cardano/Ledger/Shelley/Generator/Block.hs:101:16 in cardano-ledger-shelley-test-0.1.0.0-inplace:Test.Cardano.Ledger.Shelley.Generator.Block
Use --quickcheck-replay=535047 to reproduce.
1 out of 1 tests failed (21.82s)
Test suite cardano-ledger-alonzo-test: FAIL
```
Contributor guide
Assessment
This issue has not been assessed yet.