Uncomment infix tests with symmetric inputs (fixed bug in sim-circuit)

namnc · Jun 3, 2024 · 8cde94e · 8cde94e
1 parent 08fa8bd
commit 8cde94e
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 18 deletions.
diff --git a/tests/circuits/infixOps.circom b/tests/circuits/infixOps.circom
@@ -18,21 +18,21 @@ template infixOps() {
     signal output shl_5_1;
     signal output shr_5_1;
     signal output leq_2_3;
-    // signal output leq_3_3;
+    signal output leq_3_3;
     signal output leq_4_3;
     signal output geq_2_3;
-    // signal output geq_3_3;
+    signal output geq_3_3;
     signal output geq_4_3;
     signal output lt_2_3;
-    // signal output lt_3_3;
+    signal output lt_3_3;
     signal output lt_4_3;
     signal output gt_2_3;
-    // signal output gt_3_3;
+    signal output gt_3_3;
     signal output gt_4_3;
     signal output eq_2_3;
-    // signal output eq_3_3;
+    signal output eq_3_3;
     signal output neq_2_3;
-    // signal output neq_3_3;
+    signal output neq_3_3;
     signal output or_0_1;
     signal output and_0_1;
     signal output bit_or_1_3;
@@ -49,21 +49,21 @@ template infixOps() {
     shl_5_1 <== x5 << x1;
     shr_5_1 <== x5 >> x1;
     leq_2_3 <== x2 <= x3;
-    // leq_3_3 <== x3 <= x3;
+    leq_3_3 <== x3 <= x3;
     leq_4_3 <== x4 <= x3;
     geq_2_3 <== x2 >= x3;
-    // geq_3_3 <== x3 >= x3;
+    geq_3_3 <== x3 >= x3;
     geq_4_3 <== x4 >= x3;
     lt_2_3 <== x2 < x3;
-    // lt_3_3 <== x3 < x3;
+    lt_3_3 <== x3 < x3;
     lt_4_3 <== x4 < x3;
     gt_2_3 <== x2 > x3;
-    // gt_3_3 <== x3 > x3;
+    gt_3_3 <== x3 > x3;
     gt_4_3 <== x4 > x3;
     eq_2_3 <== x2 == x3;
-    // eq_3_3 <== x3 == x3;
+    eq_3_3 <== x3 == x3;
     neq_2_3 <== x2 != x3;
-    // neq_3_3 <== x3 != x3;
+    neq_3_3 <== x3 != x3;
     or_0_1 <== x0 || x1;
     and_0_1 <== x0 && x1;
     bit_or_1_3 <== x1 | x3;

diff --git a/tests/infix_ops.rs b/tests/infix_ops.rs
@@ -23,21 +23,21 @@ fn test_infix_ops() {
         10, // 5 << 1
         2,  // 5 >> 1
         1,  // 2 <= 3
-        // 1,  // 3 <= 3
+        1,  // 3 <= 3
         0,  // 4 <= 3
         0,  // 2 >= 3
-        // 1,  // 3 >= 3
+        1,  // 3 >= 3
         1,  // 4 >= 3
         1,  // 2  < 3
-        // 0,  // 3  < 3
+        0,  // 3  < 3
         0,  // 4  < 3
         0,  // 2  > 3
-        // 1,  // 3  > 3
+        0,  // 3  > 3
         1,  // 4  > 3
         0,  // 2 == 3
-        // 1,  // 3 == 3
+        1,  // 3 == 3
         1,  // 2 != 3
-        // 0,  // 3 != 3
+        0,  // 3 != 3
         1,  // 0 || 1
         0,  // 0 && 1
         3,  // 1  | 3