Parent Log:
http://ci.aztec-labs.com/3aaf56923e6e9a39
Command: 949fcdbe0728c05a noir/scripts/run_test.sh noir_ast_fuzzer_fuzz-ee2438825736b736 targets::acir_vs_brillig::tests::fuzz_with_arbtest
Commit:
https://github.com/AztecProtocol/aztec-packages/commit/12a95039c4462037336de69037134a04bd331a46
Env: REF_NAME=gh-readonly-queue/next/pr-14548-e8582b21dde365dda59357b5295dc4796ed0be00 CURRENT_VERSION=0.87.3 CI_FULL=1
Date: Tue May 27 20:02:35 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=gh-readonly-queue_next_pr-14548-e8582b21dde365dda5_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/fdeb39ad496bb91b
20:02:35
20:02:35 running 1 test
20:02:38 test targets::acir_vs_brillig::tests::fuzz_with_arbtest ... FAILED
20:02:38
20:02:38 failures:
20:02:38
20:02:38 ---- targets::acir_vs_brillig::tests::fuzz_with_arbtest stdout ----
20:02:38 ---
20:02:38 Comparison failed:
20:02:38 programs disagree on return value:
20:02:38 Field(340282366920938463463374607430139769232)
20:02:38 !=
20:02:38 Field(53438638232309528389504892707043013009)
20:02:38 ---
20:02:38 AST:
20:02:38 fn main(a: pub [u128; 3], b: call_data(1) [u32; 1]) -> pub u128 {
20:02:38 let mut ctx_limit = 25;
20:02:38 for idx_c in 1461223881 .. 1461223882 {
20:02:38 let mut d = true;
20:02:38 d = ((!false) <= d);
20:02:38 d = d;
20:02:38 };
20:02:38 let mut e = (-(unsafe { func_2_proxy((a[1] as Field), ctx_limit) }[0] as Field));
20:02:38 (e as u128)
20:02:38 }
20:02:38 unconstrained fn func_1(a: Field, b: u128, ctx_limit: &mut u32) -> [[u32; 1]; 3] {
20:02:38 if ((*ctx_limit) == 0) {
20:02:38 [[1610330137], [2467141971], [474982180]]
20:02:38 } else {
20:02:38 *ctx_limit = ((*ctx_limit) - 1);
20:02:38 [[1353854099], [func_4((func_2(124164274706430508252909423583832238495, ctx_limit), (func_2(a, ctx_limit)[0] as u128), [3207464725]), [], [[], []], ctx_limit).2[0]], [672750285]]
20:02:38 }
20:02:38 }
20:02:38 unconstrained fn func_2(a: Field, ctx_limit: &mut u32) -> [u32; 1] {
20:02:38 if ((*ctx_limit) == 0) {
20:02:38 [3692797408]
20:02:38 } else {
20:02:38 *ctx_limit = ((*ctx_limit) - 1);
20:02:38 if false {
20:02:38 let mut i = {
20:02:38 println(a);
20:02:38 {
20:02:38 let mut idx_b = 0;
20:02:38 while true {
20:02:38 if (idx_b == 4) {
20:02:38 break
20:02:38 } else {
20:02:38 idx_b = (idx_b + 1);
20:02:38 {
20:02:38 let mut idx_c = 0;
20:02:38 while (!false) {
20:02:38 if (idx_c == 6) {
20:02:38 break
20:02:38 } else {
20:02:38 idx_c = (idx_c + 1);
20:02:38 continue;
20:02:38 let g = {
20:02:38 {
20:02:38 {
20:02:38 let mut idx_d = 0;
20:02:38 loop {
20:02:38 if (idx_d == 1) {
20:02:38 break
20:02:38 } else {
20:02:38 idx_d = (idx_d + 1);
20:02:38 let f = {
20:02:38 {
20:02:38 {
20:02:38 let mut idx_e = 0;
20:02:38 loop {
20:02:38 if (idx_e == 3) {
20:02:38 break
20:02:38 } else {
20:02:38 idx_e = (idx_e + 1);
20:02:38 println(a);
20:02:38 }
20:02:38 }
20:02:38 };
20:02:38 (false, "QO", false, [2194173244], [924925615])
20:02:38 }
20:02:38 };
20:02:38 break;
20:02:38 }
20:02:38 }
20:02:38 };
20:02:38 (true, "HW", (!true), [2548074887], [1159722325])
20:02:38 }
20:02:38 };
20:02:38 ()
20:02:38 }
20:02:38 }
20:02:38 };
20:02:38 let mut h = 65365;
20:02:38 }
20:02:38 }
20:02:38 };
20:02:38 ([3740289045], (a as u128), [967666742])