Check the test coverage

zksecurity / noname

Noname: a programming language to write zkapps

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

181 stars 47 forks source link

Open katat opened 5 months ago

katat commented 5 months ago

Do some test coverage checks on the constraint
Each frontend constraint functions in bool/field/builtin should be covered
A test should check the asm (this serves like a snapshot for reviewing changes)
A test should pass the constraint check in witness generation (atm, this is done by generating proof)

katat commented 5 months ago