IntersectMBO / IntersectMBO/cardano-ledger

Byron era property test failure on CI

Open
#3,235 1 comment 0 reactions 0 assignees View on GitHub
:slot_machine: property test
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

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.