Closed Divide-By-0 closed 1 year ago
example code, after uncommenting the second import, fails with this error:
Looks like it was fixed in commit https://github.com/0xPARC/zkrepl/commit/1e8d06d3587bc75eacfa9caa259cce2a0e387f58
example code, after uncommenting the second import, fails with this error: