Parent Log:
http://ci.aztec-labs.com/d147270ae961f553
Command: 949fcdbe0728c05a noir/scripts/run_test.sh noir_ast_fuzzer_fuzz-ee2438825736b736 targets::pass_vs_prev::tests::fuzz_with_arbtest
Commit:
https://github.com/AztecProtocol/aztec-packages/commit/432d8ddec727e591fc9fec558f5f530aeef043c7
Env: REF_NAME=gh-readonly-queue/next/pr-14516-3d340b3d8c05bb7000e5e1dbfd0fef1793edaac7 CURRENT_VERSION=0.87.2 CI_FULL=1
Date: Sat May 24 11:54:38 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=gh-readonly-queue_next_pr-14516-3d340b3d8c05bb7000_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/1f290c73e5624033
11:54:38
11:54:38 running 1 test
11:54:46 test targets::pass_vs_prev::tests::fuzz_with_arbtest ... FAILED
11:54:46
11:54:46 failures:
11:54:46
11:54:46 ---- targets::pass_vs_prev::tests::fuzz_with_arbtest stdout ----
11:54:46 ---
11:54:46 Comparison failed:
11:54:46 programs disagree on return value:
11:54:46 [Numeric(U8(94)), Numeric(I16(-27411)), Numeric(Field(125)), Numeric(U8(125)), Numeric(Field(1)), Numeric(Field(-85983312160406282685466277461120741325)), Numeric(Field(0))]
11:54:46 !=
11:54:46 [Numeric(U8(36)), Numeric(I16(8214)), Numeric(Field(-176809825442193871369842096521132316132)), Numeric(U8(51)), Numeric(Field(331188835195264331484696129051211582747)), Numeric(Field(125)), Numeric(Field(1))]
11:54:46 ---
11:54:46 AST:
11:54:46 global G_A: u32 = 2293133464;
11:54:46 global G_B: u8 = 125;
11:54:46 unconstrained fn main(a: pub (u8, i16, Field, u8, (Field, Field, Field)), b: [bool; 4], c: (Field, Field, Field)) -> return_data (u8, i16, Field, u8, (Field, Field, Field)) {
11:54:46 let mut ctx_limit = 25;
11:54:46 func_2(b, (&mut ctx_limit))
11:54:46 }
11:54:46 fn func_1(ctx_limit: &mut u32) -> i16 {
11:54:46 if ((*ctx_limit) == 0) {
11:54:46 -3449
11:54:46 } else {
11:54:46 *ctx_limit = ((*ctx_limit) - 1);
11:54:46 if false {
11:54:46 if false {
11:54:46 for idx_a in 6350742804438904701 .. 6350742804438904693 {
11:54:46 let d = {
11:54:46 let mut c = if (if false {
11:54:46 (-idx_a)
11:54:46 } else {
11:54:46 (unsafe { func_2_proxy([false, true, true, true], (*ctx_limit)) }.1 as i64)
11:54:46 } <= (unsafe { func_2_proxy([false, true, true, true], (*ctx_limit)) }.1 as i64)) {
11:54:46 let mut b = unsafe { func_2_proxy([true, (-2594219487954602985 == 6897678688926672648), false, false], (*ctx_limit)) }.4;
11:54:46 {
11:54:46 ((unsafe { func_2_proxy([true, true, false, false], (*ctx_limit)) }.3 % G_B), 18761, ((b.1 + (G_B as Field)) + b.0), G_B, b)
11:54:46 }
11:54:46 } else {
11:54:46 (G_B, 8046, (-(G_A as Field)), G_B, ((G_B as Field), (-(G_A as Field)), (G_B as Field)))
11:54:46 };
11:54:46 ([true, false, ((c.3 as u16) <= (c.0 as u16))], [true, true, true])
11:54:46 };
11:54:46 ()
11:54:46 };
11:54:46 let mut e = [(!(!true)), (((G_A << G_B) as u16) < ((G_B as u16) + (G_B as u16))), true];
11:54:46 } else {
11:54:46 ()
11:54:46 };
11:54:46 -21365
11:54:46 } else {
11:54:46 (-19701)
11:54:46 }
11:54:46 }
11:54:46 }
11:54:46 unconstrained fn func_2(mut a: [bool; 4], ctx_limit: &mut u32) -> (u8, i16, Field, u8, (Field, Field, Field)) {
11:54:46 if ((*ctx_limit) == 0) {
11:54:46 (36, 21848, -237654503538255689881718339342573751857, 145, (-50451133844265827931681840236585281491, -176809825442193871369842096521132316132, 159699434442736177319472072242067381138))
11:54:46 } else {
11:54:46 *ctx_limit = ((*ctx_limit) - 1);
11:54:46 if (!a[((G_B as u32) % 4)]) {
11:54:46 (func_2(if a[(1199982006 % 4)] {
11:54:46 [if a[(G_A % 4)] {
11:54:46 true
11:54:46 } else {
11:54:46 true
11:54:46 }, a[1], a[1], (a[3] < a[0])]
11:54:46 } else {
11:54:46 a
11:54:46 }, ctx_limit).0, 8214, func_2([false, false, true, false], ctx_limit).4.1, 51, ((--331188835195264331484696129051211582747), (G_B as Field), (a[((func_2([a[1], a[3], a[2], false], ctx_limit).0 as u32) % 4)] as Field)))
11:54:46 } else {
11:54:46 if a[3] {
11:54:46 if true {
11:54:46 let mut b = [(!a[2]), if (!false) {
11:54:46 a[3]
11:54:46 } else {
11:54:46 a[2]
11:54:46 }, true];
11:54:46 a[1] = false;
11:54:46 };
11:54:46 println(a);
11:54:46 } else {