Fix c tester usage of F.isZero

2026-02-07 03:06:42 +01:00 · 2020-12-09 13:14:32 +01:00
1 changed files with 1 additions and 1 deletions
--- 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) {