IntersectMBO / IntersectMBO/cardano-ledger
Byron era property test failure on CI
- Dominant language
- Haskell
- Stars
- 295
- Forks
- 179
- Avg merge
- 4d 7h
- Merged PRs (30d)
- 29
Description
This is a low priority task. Investigate a Byron era property test failure that recently occurred on CI.
```
Test.Cardano.Chain.UTxO.ValidationMode
ts_prop_updateUTxO_Valid: FAIL (22.10s)
✗ ts_prop_updateUTxO_Valid failed at test/Test/Cardano/Chain/UTxO/ValidationMode.hs:83:14
after 98 tests and 123 shrinks.
shrink path: 98:a8DjKj4Kj3Kj4Lk3LoHnHtOiHgHjIgHkH2tHg2HjLmKlKjBXbq64
┏━━ test/Test/Cardano/Chain/UTxO/ValidationMode.hs ━━━
56 ┃ ts_prop_updateUTxO_Valid :: TSProperty
57 ┃ ts_prop_updateUTxO_Valid =
58 ┃ withTestsTS 300
...
This failure can be reproduced by running:
> recheckAt (Seed 3370806421579110813 3901176602263136051) "98:a8DjKj4Kj3Kj4Lk3LoHnHtOiHgHjIgHkH2tHg2HjLmKlKjBXbq64" ts_prop_updateUTxO_Valid
Use '--pattern "$NF ~ /ts_prop_updateUTxO_Valid/" --hedgehog-replay "98:a8DjKj4Kj3Kj4Lk3LoHnHtOiHgHjIgHkH2tHg2HjLmKlKjBXbq64 Seed 3370806421579110813 3901176602263136051"' to reproduce from the command-line.
```
Contributor guide
Assessment
This issue has not been assessed yet.