Unit tests for inlining and canonicalization code

dstebila / pygamehop

[work in progress] Python framework for supporting cryptographic game-hopping proofs

13 stars 0 forks source link

Closed dstebila closed 3 years ago

dstebila commented 3 years ago

Maybe using Python's unittest module?

dstebila commented 3 years ago

Fixed by 78cac223c2c971e43eaefbe3b0ad07f92fe4034d