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

Published 20 hours ago • verified publisher icon IntersectMBO

Update conformance tests

Open Soupstraw opened this issue 11 months ago • 0 comments

  • [x] Integrate constrained V2 into conformance tests
  • [x] bump MAlonzo code
  • [x] write scripts to automate bumping MAlonzo code
  • [x] Add instructions for bumping MAlonzo into README
  • [ ] Add tests for checking the constrained generators against the Agda spec https://github.com/IntersectMBO/cardano-ledger/issues/4427

Soupstraw avatar Feb 29 '24 12:02 Soupstraw