search

IntersectMBO / plutus

The Plutus language implementation and tools
Apache License 2.0
1.57k stars 479 forks source link

Conformance for rotateByteString #6364

Closed kozross closed 3 months ago

kozross commented 3 months ago

Conformance cases for rotateByteString, as per CIP-123.

kwxm commented 3 months ago

The agda version of the evaluator wasn't handling negative rotations properly and that was causing some of the tests to fail: I suppose that this is the conformance tests doing their job properly, so it's a good thing. I've opened a PR to fix that and if you rebase once that's merged that should fix the failures and allow us to merge this branch.