Added test coverage checks on the constraint

zksecurity / noname

Noname: a programming language to write zkapps

https://zksecurity.github.io/noname/

178 stars 45 forks source link

Added test coverage checks on the constraint #179

Closed ronantakizawa closed 1 week ago

ronantakizawa commented 1 week ago

Added test coverage checks on the constraint. Resolves issue #49. Continuing from PR #174 (Made a separate PR since it was easier to add the new tests from a new branch into branch rfc-0-impl instead of the old branch)

katat commented 1 week ago

Thanks for attempting this issue!