From 1b4823ec1aebb83072db740fb53fbc8c40584c33 Mon Sep 17 00:00:00 2001 From: guipublic <47281315+guipublic@users.noreply.github.com> Date: Wed, 13 Sep 2023 19:25:23 +0200 Subject: [PATCH] chore: revert some unwanted small changes from PR2180 (#2685) --- .../tests/compile_failure/brillig_assert_fail/src/main.nr | 2 +- .../tests/execution_success/brillig_assert/src/main.nr | 2 +- .../nargo_cli/tests/execution_success/brillig_not/src/main.nr | 4 ++-- 3 files changed, 4 insertions(+), 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 index 53619859dfa..801a818c816 100644 --- 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 index ca2d8850c04..632c72f2393 100644 --- 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 index 1ce39363bd3..0466649f67c 100644 --- 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 {