Parent Log: http://ci.aztec-labs.com/c7a446ffc9b07bbd Command: b680a304ee07dad0 noir/scripts/run_test.sh smoke-47c0b071ca38cb73 arb_program_can_be_executed Commit: https://github.com/AztecProtocol/aztec-packages/commit/7866f14b4dec6b28e038948152cb4bee0d1d0861 Env: REF_NAME=gh-readonly-queue/master/pr-14250-7b7e51f854cc77e19a0b22b9ba07c44ee089bd02 CURRENT_VERSION=0.86.0 CI_FULL=1 Date: Wed May 14 10:00:22 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=gh-readonly-queue_master_pr-14250-7b7e51f854cc77e1_amd64_1 Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s History: http://ci.aztec-labs.com/list/0c86d7fbb99ef616 10:00:22 10:00:22 running 1 test 10:00:24 test arb_program_can_be_executed ... FAILED 10:00:24 10:00:24 failures: 10:00:24 10:00:24 ---- arb_program_can_be_executed stdout ---- 10:00:24 global G_A: [(bool, str<0>, bool, bool, str<2>); 3] = [(true, "", true, false, "CN"), (true, "", false, false, "KS"), (true, "", true, false, "HY")]; 10:00:24 global G_B: str<0> = ""; 10:00:24 fn main(a: (bool, str<0>, bool, bool, str<2>), b: call_data(1) [(bool, str<0>, bool, bool, str<2>); 3]) -> pub str<2> { 10:00:24 let mut ctx_limit = 25; 10:00:24 let c = (func_3((&mut ctx_limit)) as u128); 10:00:24 a.4 10:00:24 } 10:00:24 fn func_1(mut a: Field, mut b: Field, ctx_limit: &mut u32) -> [bool; 0] { 10:00:24 if ((*ctx_limit) == 0) { 10:00:24 [] 10:00:24 } else { 10:00:24 *ctx_limit = ((*ctx_limit) - 1); 10:00:24 if G_A[0].3 { 10:00:24 b = (-(-(G_A[1].0 as Field))); 10:00:24 for idx_c in 3275715989 .. 3275715990 { 10:00:24 let d = G_A[0]; 10:00:24 for idx_e in -12508 .. -12501 { 10:00:24 a = -217543821672785948319595432758024541066; 10:00:24 a = (G_A[2].0 as Field); 10:00:24 b = (unsafe { func_2([(d.2 as Field)], (d.4, ((G_A[2].0 as Field), -51036147182656963608858588033543714894, d.3), [], d.1)) } - func_3(ctx_limit)); 10:00:24 b = func_3(ctx_limit); 10:00:24 if (idx_e != (-idx_e)) { 10:00:24 for idx_f in 2029644454842242199 .. 2029644454842242207 { 10:00:24 () 10:00:24 }; 10:00:24 let mut g = (d.2, [true, true, d.3, d.0], [b], "F", [a]); 10:00:24 }; 10:00:24 }; 10:00:24 let h = [d.0, d.3, d.2, d.3]; 10:00:24 }; 10:00:24 [] 10:00:24 } else { 10:00:24 [] 10:00:24 } 10:00:24 } 10:00:24 } 10:00:24 unconstrained fn func_2(mut a: [Field; 1], mut b: (str<2>, (Field, Field, bool), [bool; 0], str<0>)) -> Field { 10:00:24 let c = "WAN"; 10:00:24 a[0] 10:00:24 } 10:00:24 fn func_3(ctx_limit: &mut u32) -> Field { 10:00:24 if ((*ctx_limit) == 0) { 10:00:24 -101081610465190313288155382099755061958 10:00:24 } else { 10:00:24 *ctx_limit = ((*ctx_limit) - 1); 10:00:24 unsafe { func_2([(G_A[(817217515 % 3)].2 as Field)], if G_A[(1596031409 % 3)].3 { 10:00:24 (G_A[(3971767691 % 3)].4, (unsafe { func_2([(G_A[0].2 as Field)], ("XT", (-323686539505029939294568253956411318762, 297058248424400788892025907177126791541, false), [], G_B)) }, (-(G_A[1].3 as Field)), ((G_A[1].3 as Field) == (G_A[0].3 as Field))), [], G_A[1].1) 10:00:24 } else { 10:00:24 ("CM", (-284219365336560274710669758338358365249, 127520936612695454422711251473194643352, false), [], "") 10:00:24 }) } 10:00:24 } 10:00:24 } 10:00:24 10:00:24 10:00:24 thread 'arb_program_can_be_executed' panicked at tooling/ast_fuzzer/tests/smoke.rs:50:13: 10:00:24 Failed to compile program: ICE: Expected "an array value", found "AcirVar(15)" 10:00:24 note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace 10:00:24 10:00:24 arbtest failed! 10:00:24 Seed: 0x544b41f800100000 10:00:24 10:00:24 10:00:24 10:00:24 10:00:24 failures: 10:00:24 arb_program_can_be_executed 10:00:24 10:00:24 test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 2.34s 10:00:24