Skip to content

Commit

Permalink
chore: revert some unwanted small changes from PR2180 (noir-lang#2685)
Browse files Browse the repository at this point in the history
  • Loading branch information
guipublic authored Sep 13, 2023
1 parent b4ee23e commit 1b4823e
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 4 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -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 {
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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 {
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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 {
Expand Down

0 comments on commit 1b4823e

Please sign in to comment.