Parent Log:
http://ci.aztec-labs.com/fd1147ce439a125f
Command: eeaced0e346c0d38 noir/scripts/run_test.sh smoke-47c0b071ca38cb73 arb_program_can_be_executed
Commit:
https://github.com/AztecProtocol/aztec-packages/commit/ccb9981b77aad6c6fe715671de036085556f52b0
Env: REF_NAME=gh-readonly-queue/master/pr-14556-9cc6b54bba0e91c68c597479bfe71c86c711d3d4 CURRENT_VERSION=0.87.3 CI_FULL=1
Date: Tue May 27 15:54:36 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=gh-readonly-queue_master_pr-14556-9cc6b54bba0e91c6_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/0c86d7fbb99ef616
15:54:36
15:54:36 running 1 test
15:54:42 test arb_program_can_be_executed ... FAILED
15:54:42
15:54:42 failures:
15:54:42
15:54:42 ---- arb_program_can_be_executed stdout ----
15:54:42 global G_A: str<0> = "";
15:54:42 global G_B: [(str<0>, bool, str<2>, u8, str<2>); 1] = [("", true, "JB", 166, "BT")];
15:54:42 global G_C: str<2> = "WP";
15:54:42 fn main(a: call_data(0) [(str<0>, bool, str<2>, u8, str<2>); 1], b: call_data(1) (str<2>, u8, (str<0>, bool, str<2>, u8, str<2>))) -> pub [(str<0>, bool, str<2>, u8, str<2>); 1] {
15:54:42 let mut ctx_limit = 25;
15:54:42 for idx_c in -3814 .. -3814 {
15:54:42 let mut g = if true {
15:54:42 if a[(if func_2((G_B[0].3 as Field), G_A, a[0].1, (&mut ctx_limit)).2 {
15:54:42 (G_B[0].3 as u32)
15:54:42 } else {
15:54:42 (b.1 as u32)
15:54:42 } % 1)].1 {
15:54:42 let mut f = {
15:54:42 let e = if b.2.1 {
15:54:42 let d = if func_2(((a[0].3 as Field) / (G_B[0].1 as Field)), "", a[((a[0].3 as u32) % 1)].1, (&mut ctx_limit)).2 {
15:54:42 ("N", 105833395504803051812792426130044784484, G_A, [b.0, a[0].4, G_B[0].2, G_C])
15:54:42 } else {
15:54:42 ("H", (G_B[0].3 as Field), G_B[((G_B[0].3 as u32) % 1)].0, ["VQ", b.0, a[(((b.2.3 as u32) >> a[0].3) % 1)].4, "YT"])
15:54:42 };
15:54:42 ""
15:54:42 } else {
15:54:42 a[0].0
15:54:42 };
15:54:42 (a[(((b.1 % a[0].3) as u32) % 1)].0, "", e, (a[((((a[0].3 as u16) * 24954) as u32) % 1)].1 as Field), b.2.4)
15:54:42 };
15:54:42 f.2 = a[((G_B[0].3 as u32) % 1)].0;
15:54:42 } else {
15:54:42 ()
15:54:42 };
15:54:42 (G_A, a[0].0, G_B[((a[0].3 as u32) % 1)].0, ((G_B[((b.1 as u32) % 1)].1 as Field) + (a[((a[0].3 as u32) % 1)].1 as Field)), b.0)
15:54:42 } else {
15:54:42 (b.2.0, b.2.0, G_A, -332995166078918497745126774867461393190, a[0].4)
15:54:42 };
15:54:42 let mut h = [g.4, g.4, g.4, g.4];
15:54:42 };
15:54:42 a
15:54:42 }
15:54:42 fn func_1(mut a: (str<0>, bool, str<2>, u8, str<2>)) -> str<0> {
15:54:42 if G_B[((G_B[0].3 as u32) % 1)].1 {
15:54:42 for idx_b in 13783296400533823777 .. 13783296400533823772 {
15:54:42 a = ("", false, "ZX", 194, "XR");
15:54:42 let mut g = {
15:54:42 for idx_c in -11189 .. -11186 {
15:54:42 a.2 = if ((idx_c as i64) >= (--7278507654709725070)) {
15:54:42 for idx_d in 252 .. 248 {
15:54:42 a = a;
15:54:42 for idx_e in 18329 .. 18334 {
15:54:42 a.3 = G_B[0].3;
15:54:42 a.2 = a.4;
15:54:42 };
15:54:42 a = a;
15:54:42 };
15:54:42 a.4
15:54:42 } else {
15:54:42 a.4
15:54:42 };
15:54:42 let f = (a.0, a.0, a.0, (G_B[0].1 as Field), a.4);
15:54:42 };
15:54:42 G_B[((G_B[((a.3 as u32) % 1)].3 as u32) % 1)]
15:54:42 };
15:54:42 a.0 = "";
15:54:42 };
15:54:42 a.0
15:54:42 } else {
15:54:42 a.0
15:54:42 }
15:54:42 }
15:54:42 fn func_2(mut a: Field, mut b: str<0>, mut c: bool, ctx_limit: &mut u32) -> ((str<0>, str<0>, str<0>, Field, str<2>), (str<0>, str<0>, str<0>, Field, str<2>), bool) {
15:54:42 if ((*ctx_limit) == 0) {
15:54:42 (("", "", "", -191425375287193225155483665336267904561, "NH"), ("", "", "", 99335390921095767460280610827708460868, "MM"), true)
15:54:42 } else {
15:54:42 *ctx_limit = ((*ctx_limit) - 1);
15:54:42 ((b, "", b, if c {
15:54:42 (if c {
15:54:42 (unsafe { func_3((("", b, b, a, G_B[0].4), ("", "", "", -54844471946758999052055682207562384280, "WM"), G_B[0].1), a) } as Field)
15:54:42 } else {
15:54:42 (unsafe { func_3(((b, b, G_A, a, G_C), ("", b, "", (c as Field), G_C), c), (G_B[0].1 as Field)) } as Field)
15:54:42 } * (c as Field))
15:54:42 } else {
15:54:42 (c as Field)
15:54:42 }, if false {
15:54:42 G_B[0].4
15:54:42 } else {
15:54:42 G_B[0].4
15:54:42 }), (b, b, G_A, (c as Field), G_C), G_B[((G_B[0].3 as u32) % 1)].1)
15:54:42 }
15:54:42 }
15:54:42 unconstrained fn func_3(a: ((str<0>, str<0>, str<0>, Field, str<2>), (str<0>, str<0>, str<0>, Field, str<2>), bool), b: Field) -> bool {
15:54:42 (29424209068928209475911917355815891032 < (((G_B[0].3 as u32) / (G_B[0].3 as u32)) as u128))
15:54:42 }
15:54:42
15:54:42
15:54:42 thread 'arb_program_can_be_executed' panicked at tooling/ast_fuzzer/tests/smoke.rs:50:13:
15:54:42 Failed to compile program: ICE: Expected "an array value", found "AcirVar(1)"
15:54:42 note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
15:54:42
15:54:42 arbtest failed!
15:54:42 Seed:
0xc8c2f21300100000
15:54:42
15:54:42
15:54:42
15:54:42
15:54:42 failures:
15:54:42 arb_program_can_be_executed
15:54:42
15:54:42 test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 6.17s
15:54:42