Parent Log:
http://ci.aztec-labs.com/516fa63e1f82d416
Command: eeaced0e346c0d38 noir/scripts/run_test.sh smoke-47c0b071ca38cb73 arb_program_can_be_executed
Commit:
https://github.com/AztecProtocol/aztec-packages/commit/f3a077dd83e56ee0ae0a1175f0dc39fdfa50e6d7
Env: REF_NAME=gh-readonly-queue/master/pr-14734-a229cf871638d3fd774f9272645cc1ac29b8196a CURRENT_VERSION=0.87.9 CI_FULL=1
Date: Tue Jun 24 10:46:12 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14734_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_0c86d7fbb99ef616_master
10:46:12
10:46:12 running 1 test
10:46:21 test arb_program_can_be_executed ... FAILED
10:46:21
10:46:21 failures:
10:46:21
10:46:21 ---- arb_program_can_be_executed stdout ----
10:46:21 global G_A: ((u128, str<2>, str<0>), u128, (u128, str<2>, str<0>), u128) = ((32124959399174132085413912416917257873, "EO", ""), 58033785364684311600465244094708863318, (134811631771308846904426928688720373842, "JR", ""), 49706195066061280937372035290624258487);
10:46:21 fn main(a: Field, b: call_data(1) u128, c: call_data(2) [(u128, str<2>, str<0>); 3]) -> pub (u128, str<2>, str<0>) {
10:46:21 let mut ctx_limit = 25;
10:46:21 if (284359200045490532519939779903529446198 != G_A.1) {
10:46:21 let mut h = if true {
10:46:21 if (if true {
10:46:21 (func_3((G_A.0.0, (c[0].0 as Field))).0 as Field)
10:46:21 } else {
10:46:21 (G_A.3 as Field)
10:46:21 } != (G_A.2.0 as Field)) {
10:46:21 if false {
10:46:21 let d = c[2];
10:46:21 let mut e = a;
10:46:21 ()
10:46:21 };
10:46:21 let f = G_A.2;
10:46:21 };
10:46:21 if (!false) {
10:46:21 let g = c[2];
10:46:21 ()
10:46:21 };
10:46:21 12840
10:46:21 } else {
10:46:21 9559
10:46:21 };
10:46:21 (235230235164412165801392730865908315303, "BP", "")
10:46:21 } else {
10:46:21 c[0]
10:46:21 }
10:46:21 }
10:46:21 unconstrained fn func_1() -> str<0> {
10:46:21 ""
10:46:21 }
10:46:21 unconstrained fn func_2() -> str<2> {
10:46:21 {
10:46:21 let mut idx_a = 0;
10:46:21 loop {
10:46:21 if (idx_a == 1) {
10:46:21 break
10:46:21 } else {
10:46:21 idx_a = (idx_a + 1);
10:46:21 {
10:46:21 let mut idx_b = 0;
10:46:21 while (!false) {
10:46:21 if (idx_b == 5) {
10:46:21 break
10:46:21 } else {
10:46:21 idx_b = (idx_b + 1);
10:46:21 continue;
10:46:21 let mut c = 200;
10:46:21 continue;
10:46:21 c = if ((c as u32) < if (!false) {
10:46:21 237174025
10:46:21 } else {
10:46:21 (c as u32)
10:46:21 }) {
10:46:21 continue;
10:46:21 {
10:46:21 let mut idx_d = 0;
10:46:21 loop {
10:46:21 if (idx_d == 4) {
10:46:21 break
10:46:21 } else {
10:46:21 idx_d = (idx_d + 1);
10:46:21 {
10:46:21 let mut idx_e = 0;
10:46:21 while ((c as u32) != 3379956165) {
10:46:21 if (idx_e == 0) {
10:46:21 break
10:46:21 } else {
10:46:21 idx_e = (idx_e + 1);
10:46:21 break;
10:46:21 }
10:46:21 }
10:46:21 };
10:46:21 }
10:46:21 }
10:46:21 };
10:46:21 {
10:46:21 let mut idx_f = 0;
10:46:21 loop {
10:46:21 if (idx_f == 5) {
10:46:21 break
10:46:21 } else {
10:46:21 idx_f = (idx_f + 1);
10:46:21 break;
10:46:21 }
10:46:21 }