diff --git a/ports/c/tester.js b/ports/c/tester.js index 5a8fa0e..fdd1b15 100644 --- a/ports/c/tester.js +++ b/ports/c/tester.js @@ -195,7 +195,7 @@ class CTester { const b = evalLC(constraint[1]); const c = evalLC(constraint[2]); - assert (F.sub(F.mul(a,b), c).isZero(), "Constraint doesn't match"); + assert (F.isZero(F.sub(F.mul(a,b), c)), "Constraint doesn't match"); } function evalLC(lc) {