cardano-ledger
cardano-ledger copied to clipboard
Increased the probability of generating the same hash more than once
Description
This is supposed to make it easier to find a counterexample for IntersectMBO/formal-ledger-specifications#514
I managed to catch the bug with the modified generators by making it more likely to generate the same credential in multiple places. I also created an ImpTest that uses a manually constructed state to reproduce the bug.
Checklist
- [ ] Commit sequence broadly makes sense and commits have useful messages
- [ ] New tests are added if needed and existing tests are updated
- [ ] All visible changes are prepended to the latest section of a
CHANGELOG.md
for the affected packages. New section is never added with the code changes. (See RELEASING.md) - [ ] When applicable, versions are updated in
.cabal
andCHANGELOG.md
files according to the versioning process. - [ ] The version bounds in
.cabal
files for all affected packages are updated. If you change the bounds in a cabal file, that package itself must have a version increase. (See RELEASING.md) - [x] Code is formatted with
fourmolu
(usescripts/fourmolize.sh
) - [x] Cabal files are formatted (use
scripts/cabal-format.sh
) - [x]
hie.yaml
has been updated (usescripts/gen-hie.sh
) - [ ] Self-reviewed the diff