Parent Log:
http://ci.aztec-labs.com/c499571648db87cc
Command: eeaced0e346c0d38 noir/scripts/run_test.sh smoke-47c0b071ca38cb73 arb_program_can_be_executed
Commit:
https://github.com/AztecProtocol/aztec-packages/commit/260a6c8dbe7557aae065d685de66faa2bc362a9d
Env: REF_NAME=gh-readonly-queue/master/pr-14951-64b2b9f661d3e31df0f8ec9120130b753eeb7533 CURRENT_VERSION=0.87.8 CI_FULL=1
Date: Tue Jun 10 22:26:19 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14951_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_0c86d7fbb99ef616_master
22:26:19
22:26:19 running 1 test
22:26:22 test arb_program_can_be_executed ... FAILED
22:26:22
22:26:22 failures:
22:26:22
22:26:22 ---- arb_program_can_be_executed stdout ----
22:26:22 global G_A: [str<2>; 4] = ["FC", "LQ", "KG", "LD"];
22:26:22 global G_B: ([str<2>; 4], [str<2>; 4], Field, (str<2>, bool, Field, str<0>, Field), [str<2>; 4]) = (["FX", "OK", "EJ", "LI"], ["DO", "UF", "VJ", "GD"], -215444487123819471528418010136888168363, ("SE", false, 43469457541574025650966017832257271073, "", -42010266636099671080873464062448309352), ["JE", "CM", "IF", "HI"]);
22:26:22 fn main(a: call_data(0) Field, b: call_data(1) [(str<2>, bool, Field, str<0>, Field); 3]) -> pub Field {
22:26:22 let mut ctx_limit = 25;
22:26:22 if b[(if unsafe { func_1_proxy(ctx_limit) }[(if b[(3129281343 % 3)].1 {
22:26:22 if unsafe { func_1_proxy(ctx_limit) }[1].1 {
22:26:22 2304173227
22:26:22 } else {
22:26:22 2780554839
22:26:22 }
22:26:22 } else {
22:26:22 3401018963
22:26:22 } % 3)].1 {
22:26:22 3301624191
22:26:22 } else {
22:26:22 if unsafe { func_1_proxy(ctx_limit) }[(2365713880 % 3)].1 {
22:26:22 3940920814
22:26:22 } else {
22:26:22 2743401815
22:26:22 }
22:26:22 } % 3)].1 {
22:26:22 let mut f = {
22:26:22 for idx_c in 26899162137901942696164184934517540707 .. 26899162137901942696164184934517540712 {
22:26:22 let mut d = [if unsafe { func_1_proxy(ctx_limit) }[(123852958 % 3)].1 {
22:26:22 b[0].3
22:26:22 } else {
22:26:22 b[(3192323259 % 3)].3
22:26:22 }, G_B.3.3, G_B.3.3, ""];
22:26:22 let e = (((G_B.3.1 as Field) * G_B.3.2), d[3], (26975917, b[0].1));
22:26:22 };
22:26:22 ["", b[0].3, b[2].3, ""]
22:26:22 };
22:26:22 (b[2].2 * G_B.2)
22:26:22 } else {
22:26:22 b[0].2
22:26:22 }
22:26:22 }
22:26:22 unconstrained fn func_1(ctx_limit: &mut u32) -> [(str<2>, bool, Field, str<0>, Field); 3] {
22:26:22 if ((*ctx_limit) == 0) {
22:26:22 [("XH", true, 116303573067596393933614745404957385111, "", -273032137336278436548263687872598049407), ("JA", false, 159684574931448627039627360133469330378, "", 59653574251753561571049669297421802867), ("LJ", false, 183944586926903554992100078607236741878, "", 117468447038722235387286245125916094569)]
22:26:22 } else {
22:26:22 *ctx_limit = ((*ctx_limit) - 1);
22:26:22 [func_1(ctx_limit)[1], func_1(ctx_limit)[(if func_1(ctx_limit)[2].1 {
22:26:22 3728797914
22:26:22 } else {
22:26:22 if G_B.3.1 {
22:26:22 3511130648
22:26:22 } else {
22:26:22 892691093
22:26:22 }
22:26:22 } % 3)], G_B.3]
22:26:22 }
22:26:22 }
22:26:22 unconstrained fn func_1_proxy(mut ctx_limit: u32) -> [(str<2>, bool, Field, str<0>, Field); 3] {
22:26:22 func_1((&mut ctx_limit))
22:26:22 }
22:26:22
22:26:22
22:26:22 thread 'arb_program_can_be_executed' panicked at tooling/ast_fuzzer/tests/smoke.rs:50:13:
22:26:22 Failed to compile program: ICE: Expected "an array value", found "AcirVar(11)"
22:26:22 note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
22:26:22
22:26:22 arbtest failed!
22:26:22 Seed:
0x308ac15600100000
22:26:22
22:26:22
22:26:22
22:26:22
22:26:22 failures:
22:26:22 arb_program_can_be_executed
22:26:22
22:26:22 test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 2.93s
22:26:22