diff --git a/crates/nargo_cli/tests/test_data/array_dynamic/src/main.nr b/crates/nargo_cli/tests/test_data/array_dynamic/src/main.nr index 73dc162eb1b..23041188724 100644 --- a/crates/nargo_cli/tests/test_data/array_dynamic/src/main.nr +++ b/crates/nargo_cli/tests/test_data/array_dynamic/src/main.nr @@ -6,15 +6,15 @@ fn main(x: [u32; 5], mut z: u32, t: u32) { } fn dyn_array(mut x: [u32; 5], y: Field, z: Field) { - constrain x[y] == 111; - constrain x[z] == 101; + assert(x[y] == 111); + assert(x[z] == 101); x[z] = 0; - constrain x[y] == 111; - constrain x[1] == 0; + assert(x[y] == 111); + assert(x[1] == 0); if y as u32 < 10 { x[y] = x[y] - 2; } else { x[y] = 0; } - constrain x[4] == 109; + assert(x[4] == 109); } \ No newline at end of file