diff --git a/crates/nargo_cli/tests/test_data/bit_shifts_comptime/src/main.nr b/crates/nargo_cli/tests/test_data/bit_shifts_comptime/src/main.nr index cd137c41d1f..c1c6890febb 100644 --- a/crates/nargo_cli/tests/test_data/bit_shifts_comptime/src/main.nr +++ b/crates/nargo_cli/tests/test_data/bit_shifts_comptime/src/main.nr @@ -3,11 +3,11 @@ fn main(x: u64) { let three: u64 = 3; // comptime shifts on comptime values - constrain two << 2 == 8; - constrain (two << 3) / 8 == two; - constrain (three >> 1) == 1; + assert(two << 2 == 8); + assert((two << 3) / 8 == two); + assert((three >> 1) == 1); // comptime shifts on runtime values - constrain x << 1 == 128; - constrain x >> 2 == 16; + assert(x << 1 == 128); + assert(x >> 2 == 16); } diff --git a/crates/nargo_cli/tests/test_data/bit_shifts_runtime/src/main.nr b/crates/nargo_cli/tests/test_data/bit_shifts_runtime/src/main.nr index 0e21ddf3c4c..903a5f35463 100644 --- a/crates/nargo_cli/tests/test_data/bit_shifts_runtime/src/main.nr +++ b/crates/nargo_cli/tests/test_data/bit_shifts_runtime/src/main.nr @@ -3,10 +3,10 @@ fn main(x: u64, y: u64) { // See: https://github.com/noir-lang/noir/issues/1265 // runtime shifts on comptime values - constrain 64 << y == 128; - constrain 64 >> y == 32; + assert(64 << y == 128); + assert(64 >> y == 32); // runtime shifts on runtime values - constrain x << y == 128; - constrain x >> y == 32; + assert(x << y == 128); + assert(x >> y == 32); }