Parent Log: http://ci.aztec-labs.com/20cff725e2cdac4d Command: eeaced0e346c0d38 noir/scripts/run_test.sh smoke-47c0b071ca38cb73 arb_program_can_be_executed Commit: https://github.com/AztecProtocol/aztec-packages/commit/bf5d39e410f33f2a5afbe4e1ae48f37ea5d9c7f5 Env: REF_NAME=gh-readonly-queue/master/pr-14740-e8874441f0e9e08aa0e0b84530ad81ffb3e45883 CURRENT_VERSION=0.87.7 CI_FULL=1 Date: Wed Jun 4 10:06:09 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14740_amd64_x1-full Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s History: http://ci.aztec-labs.com/list/0c86d7fbb99ef616 10:06:09 10:06:09 running 1 test 10:06:11 test arb_program_can_be_executed ... FAILED 10:06:11 10:06:11 failures: 10:06:11 10:06:11 ---- arb_program_can_be_executed stdout ---- 10:06:11 global G_A: [(str<3>, str<0>, i8, i8, str<0>); 4] = [("CNR", "", -30, 110, ""), ("WGF", "", 81, -76, ""), ("NQP", "", 39, 24, ""), ("MMO", "", -18, 125, "")]; 10:06:11 fn main(a: [str<3>; 2], b: pub (i8, (bool, Field), Field, i8), c: call_data(2) [(str<3>, str<0>, i8, i8, str<0>); 4]) -> return_data i8 { 10:06:11 let mut ctx_limit = 25; 10:06:11 (-if func_1((b.1.0, [false]), [[b.1.0], [b.1.0]])[0][(1588903239 % 1)] { 10:06:11 (b.0 - G_A[2].2) 10:06:11 } else { 10:06:11 b.0 10:06:11 }) 10:06:11 } 10:06:11 fn func_1(mut a: (bool, [bool; 1]), mut b: [[bool; 1]; 2]) -> [[bool; 1]; 2] { 10:06:11 b 10:06:11 } 10:06:11 10:06:11 10:06:11 thread 'arb_program_can_be_executed' panicked at tooling/ast_fuzzer/tests/smoke.rs:50:13: 10:06:11 Failed to compile program: ICE: Expected "an array value", found "AcirVar(31)" 10:06:11 note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace 10:06:11 10:06:11 arbtest failed! 10:06:11 Seed: 0x4e04be6900100000 10:06:11 10:06:11 10:06:11 10:06:11 10:06:11 failures: 10:06:11 arb_program_can_be_executed 10:06:11 10:06:11 test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.95s 10:06:11