Parent Log:
http://ci.aztec-labs.com/b83eb6e4e5241f3b
Command: 15e3f35fd1200c7e noir/scripts/run_test.sh smoke-c0039ce98456aacc arb_program_can_be_executed
Commit:
https://github.com/AztecProtocol/aztec-packages/commit/c3b6a95d74dfa69064dc760522ec8a6885e629f5
Env: REF_NAME=gh-readonly-queue/master/pr-14227-09a0b71b998eee81bdbd2c37a579ccd56f413f6d CURRENT_VERSION=0.86.0 CI_FULL=1
Date: Mon May 12 17:38:41 UTC 2025
System: ARCH=arm64 CPUS=64 MEM=247Gi HOSTNAME=gh-readonly-queue_master_pr-14227-09a0b71b998eee81_arm64
Resources: CPU_LIST=0-63 CPUS=2 MEM=8g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/d8d668450ed2905e
17:38:41
17:38:41 running 1 test
17:38:48 test arb_program_can_be_executed ... FAILED
17:38:48
17:38:48 failures:
17:38:48
17:38:48 ---- arb_program_can_be_executed stdout ----
17:38:48 global G_A: str<4> = "GGIW";
17:38:48 global G_B: Field = 262065077655598024836313650449361531834;
17:38:48 fn main(a: [(str<0>, i16, str<4>); 3], b: str<4>, c: i16) -> pub Field {
17:38:48 let mut ctx_limit = 25;
17:38:48 let d = func_1(a[(if true {
17:38:48 1729204622
17:38:48 } else {
17:38:48 3913609519
17:38:48 } % 3)], c);
17:38:48 G_B
17:38:48 }
17:38:48 fn func_1(mut a: (str<0>, i16, str<4>), mut b: i16) -> str<0> {
17:38:48 if (if false {
17:38:48 if ((b as i64) > 168174692828180548) {
17:38:48 b
17:38:48 } else {
17:38:48 (-a.1)
17:38:48 }
17:38:48 } else {
17:38:48 (--2245)
17:38:48 } < a.1) {
17:38:48 a.2 = "OWRC";
17:38:48 for idx_c in 118 .. 125 {
17:38:48 b = (5026 / (--30820));
17:38:48 if true {
17:38:48 {
17:38:48 for idx_d in 1700295698 .. 1700295702 {
17:38:48 a = {
17:38:48 if false {
17:38:48 a
17:38:48 } else {
17:38:48 ("", 7694, "SLYF")
17:38:48 }
17:38:48 };
17:38:48 b = (((-7864404943131403859) >> 92) as i16);
17:38:48 };
17:38:48 }
17:38:48 } else {
17:38:48 ()
17:38:48 }
17:38:48 };
17:38:48 } else {
17:38:48 ()
17:38:48 };
17:38:48 a.0
17:38:48 }
17:38:48
17:38:48
17:38:48 thread 'arb_program_can_be_executed' panicked at tooling/ast_fuzzer/tests/smoke.rs:50:13:
17:38:48 Failed to compile program: ICE: Expected "an array value", found "AcirVar(1)"
17:38:48 note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
17:38:48
17:38:48 arbtest failed!
17:38:48 Seed:
0x704a1ba900100000
17:38:48
17:38:48
17:38:48
17:38:48
17:38:48 failures:
17:38:48 arb_program_can_be_executed
17:38:48
17:38:48 test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 6.33s
17:38:48