IntersectMBO/plutus

Plutus Core tests for modular exponentation

Closed this issue · 0 comments

Once the modular exponentiation function (see https://github.com/orgs/IntersectMBO/projects/18/views/2?pane=issue&itemId=60874934) has been added as a PLC builtin we should add some tests (probably property tests) to make sure that it behaves as expected.