cardano-ledger icon indicating copy to clipboard operation
cardano-ledger copied to clipboard

Increased the probability of generating the same hash more than once

Open Soupstraw opened this issue 6 months ago • 0 comments

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 and CHANGELOG.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 (use scripts/fourmolize.sh)
  • [x] Cabal files are formatted (use scripts/cabal-format.sh)
  • [x] hie.yaml has been updated (use scripts/gen-hie.sh)
  • [ ] Self-reviewed the diff

Soupstraw avatar Aug 12 '24 13:08 Soupstraw