revert some unwanted small changes from PR2180

noir-lang · Sep 13, 2023 · 84f5f9a · 84f5f9a
1 parent e2105f7
commit 84f5f9a
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/tooling/nargo_cli/tests/compile_failure/brillig_assert_fail/src/main.nr b/tooling/nargo_cli/tests/compile_failure/brillig_assert_fail/src/main.nr
@@ -2,7 +2,7 @@
 // 
 // The features being tested is using assert on brillig
 fn main(x: Field)  {
-    assert(1 == conditional(x == 1));
+    assert(1 == conditional(x as bool));
 }
 
 unconstrained fn conditional(x : bool) -> Field {

diff --git a/tooling/nargo_cli/tests/execution_success/brillig_assert/src/main.nr b/tooling/nargo_cli/tests/execution_success/brillig_assert/src/main.nr
@@ -2,7 +2,7 @@
 // 
 // The features being tested is using assert on brillig
 fn main(x: Field)  {
-    assert(1 == conditional(x == 1));
+    assert(1 == conditional(x as bool));
 }
 
 unconstrained fn conditional(x : bool) -> Field {

diff --git a/tooling/nargo_cli/tests/execution_success/brillig_not/src/main.nr b/tooling/nargo_cli/tests/execution_success/brillig_not/src/main.nr
@@ -2,8 +2,8 @@
 // 
 // The features being tested is not instruction on brillig
 fn main(x: Field, y : Field)  {
-    assert(false == not_operator(x == 1));
-    assert(true == not_operator(y == 1));
+    assert(false == not_operator(x as bool));
+    assert(true == not_operator(y as bool));
 }
 
 unconstrained fn not_operator(x : bool) -> bool {