Parent Log:
http://ci.aztec-labs.com/1440c0fbd00c97c8
Command: eeaced0e346c0d38 noir/scripts/run_test.sh smoke-47c0b071ca38cb73 arb_program_can_be_executed
Commit:
https://github.com/AztecProtocol/aztec-packages/commit/260d4b0cfbe16cbd8be248715852ee1ff72cc6cd
Env: REF_NAME=gh-readonly-queue/master/pr-14716-b9f63e086a00464c0ad1800566372d3b7ddc6746 CURRENT_VERSION=0.87.7 CI_FULL=1
Date: Tue Jun 3 13:39:56 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14716_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/0c86d7fbb99ef616
13:39:56
13:39:56 running 1 test
13:39:57 test arb_program_can_be_executed ... FAILED
13:39:57
13:39:57 failures:
13:39:57
13:39:57 ---- arb_program_can_be_executed stdout ----
13:39:57 global G_A: str<0> = "";
13:39:57 global G_B: str<0> = "";
13:39:57 global G_C: [(str<4>, str<0>, bool, u128); 3] = [("CZSH", "", false, 190699833584789822874628969041584931618), ("IKFR", "", true, 96286388024729762592138014580156133680), ("KFRW", "", false, 150318132412661484939231792063509237920)];
13:39:57 fn main(a: call_data(0) [(str<4>, str<0>, bool, u128); 3], b: bool, c: pub u128) -> pub ((bool, bool, Field, u128, bool), u32) {
13:39:57 let mut ctx_limit = 25;
13:39:57 (((a[2].3 < G_C[(1747692706 % 3)].3), (unsafe { func_2() }.2 > (G_C[0].2 >= a[2].2)), ((func_3(-330416469342139591507708177904123767828, "", (&mut ctx_limit)) as Field) + (unsafe { func_2() }.2 as Field)), unsafe { func_2() }.3, unsafe { func_2() }.2), 4018257098)
13:39:57 }
13:39:57 fn func_1(ctx_limit: &mut u32) -> [str<4>; 1] {
13:39:57 if ((*ctx_limit) == 0) {
13:39:57 ["VFDC"]
13:39:57 } else {
13:39:57 *ctx_limit = ((*ctx_limit) - 1);
13:39:57 if (G_C[(2070025680 % 3)].2 > unsafe { func_2() }.2) {
13:39:57 let mut a = (G_C[((func_3((G_C[2].2 as Field), G_B, ctx_limit) as u32) % 3)].2 as Field);
13:39:57 a = ((a + a) * (-(G_C[0].2 as Field)));
13:39:57 let mut b = 0;
13:39:57 if unsafe { func_2() }.2 {
13:39:57 a = (func_3((b as Field), if G_C[((b as u32) % 3)].2 {
13:39:57 unsafe { func_2() }.1
13:39:57 } else {
13:39:57 if G_C[((b as u32) % 3)].2 {
13:39:57 if unsafe { func_2() }.2 {
13:39:57 G_C[1].1
13:39:57 } else {
13:39:57 G_A
13:39:57 }
13:39:57 } else {
13:39:57 if G_C[(3699936758 % 3)].2 {
13:39:57 G_A
13:39:57 } else {
13:39:57 G_B
13:39:57 }
13:39:57 }
13:39:57 }, ctx_limit) as Field);
13:39:57 ()
13:39:57 };
13:39:57 [G_C[1].0]
13:39:57 } else {
13:39:57 [G_C[1].0]
13:39:57 }
13:39:57 }
13:39:57 }
13:39:57 unconstrained fn func_2() -> (str<4>, str<0>, bool, u128) {
13:39:57 G_C[1]
13:39:57 }
13:39:57 fn func_3(mut a: Field, b: str<0>, ctx_limit: &mut u32) -> u1 {
13:39:57 if ((*ctx_limit) == 0) {
13:39:57 0
13:39:57 } else {
13:39:57 *ctx_limit = ((*ctx_limit) - 1);
13:39:57 if false {
13:39:57 let c = (G_C[(488861628 % 3)].2 as Field);
13:39:57 let mut i = if unsafe { func_2() }.2 {
13:39:57 if true {
13:39:57 a = ((-a) - (unsafe { func_2() }.2 as Field));
13:39:57 a = {
13:39:57 a = {
13:39:57 c
13:39:57 };
13:39:57 for idx_d in 237504406206038429578212705356281633190 .. 237504406206038429578212705356281633199 {
13:39:57 for idx_e in -11016 .. -11012 {
13:39:57 let f = G_C[0].0;
13:39:57 a = (-c);
13:39:57 let g = 19936;
13:39:57 };
13:39:57 let mut h = G_C[2].2;
13:39:57 };
13:39:57 172067124875166326333927754989086914537
13:39:57 };
13:39:57 [-137252647231576796429131001274668134480, 2858740907861644425355002632149828424, 279224594547195343520944127107668089924]
13:39:57 } else {
13:39:57 [a, c, (-c)]
13:39:57 }
13:39:57 } else {
13:39:57 [-42006869596567893759290224789533985935, (-a), a]
13:39:57 };
13:39:57 1
13:39:57 } else {
13:39:57 1
13:39:57 }
13:39:57 }
13:39:57 }
13:39:57 fn func_4(ctx_limit: &mut u32) -> [[str<4>; 2]; 3] {
13:39:57 if ((*ctx_limit) == 0) {
13:39:57 [["HDGQ", "NOLY"], ["RZNS", "BWJY"], ["MRMW", "GJJT"]]
13:39:57 } else {
13:39:57 *ctx_limit = ((*ctx_limit) - 1);
13:39:57 let mut a = if G_C[(if G_C[2].2 {
13:39:57 if unsafe { func_2() }.2 {
13:39:57 2443858414
13:39:57 } else {
13:39:57 if G_C[(2752210025 % 3)].2 {
13:39:57 if G_C[0].2 {
13:39:57 3686661819
13:39:57 } else {
13:39:57 if unsafe { func_2() }.2 {
13:39:57 3706826178