Parent Log:
http://ci.aztec-labs.com/f227dacf1025db2c
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/372040c6f0cba0fc17c78348b7468c2acae9729e
Env: REF_NAME=gh-readonly-queue/next/pr-14459-3a84f53d507106d86903256e60ce0e3ac7e24196 CURRENT_VERSION=0.87.2 CI_FULL=1
Date: Tue May 27 16:34:29 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=gh-readonly-queue_next_pr-14459-3a84f53d507106d869_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/fdeb39ad496bb91b
16:34:29
16:34:29 running 1 test
16:34:32 test targets::acir_vs_brillig::tests::fuzz_with_arbtest ... FAILED
16:34:32
16:34:32 failures:
16:34:32
16:34:32 ---- targets::acir_vs_brillig::tests::fuzz_with_arbtest stdout ----
16:34:32 ---
16:34:32 Comparison failed:
16:34:32 programs disagree on return value:
16:34:32 Field(340282366920938463463374607427589729883)
16:34:32 !=
16:34:32 Field(53438638232309528389504892704492973660)
16:34:32 ---
16:34:32 AST:
16:34:32 global G_A: [u128; 3] = [67539502627927008559733220779305698958, 310724514320100309448028830719779125852, 90276340235749941047017600607349625262];
16:34:32 global G_B: Field = 159794010231994607344202117939097841795;
16:34:32 fn main(a: pub ([u128; 3], Field), b: call_data(1) [u128; 3], c: Field) -> return_data u128 {
16:34:32 let mut ctx_limit = 25;
16:34:32 let h = {
16:34:32 for idx_d in 4178481572 .. 4178481577 {
16:34:32 let mut f = {
16:34:32 let e = [[(idx_d as Field), if false {
16:34:32 (-unsafe { func_1_proxy((b[2] as Field), (a.1 as u128), ctx_limit) }.2)
16:34:32 } else {
16:34:32 (-(-(a.0[0] as Field)))
16:34:32 }, ((G_B / -230532096333722421823683537427890999894) / ((b[0] as Field) / 16833801091834244289161843186679908944)), if unsafe { func_1_proxy(unsafe { func_1_proxy(a.1, (c as u128), ctx_limit) }.0, (unsafe { func_1_proxy(c, G_A[1], ctx_limit) }.2 as u128), ctx_limit) }.1.1 {
16:34:32 c
16:34:32 } else {
16:34:32 ((-(a.0[2] as Field)) / if true {
16:34:32 if unsafe { func_1_proxy(G_B, (idx_d as u128), ctx_limit) }.1.1 {
16:34:32 (idx_d as Field)
16:34:32 } else {
16:34:32 ((b[1] as Field) / (G_A[0] as Field))
16:34:32 }
16:34:32 } else {
16:34:32 (a.0[0] as Field)
16:34:32 })
16:34:32 }], [a.1, (unsafe { func_1_proxy(G_B, ((2736818667 % 3054017582) as u128), ctx_limit) }.1.0 as Field), (a.0[(2593708445 % 3)] as Field), (c / -124200391076012039719180778689729064548)]];
16:34:32 (false, false)
16:34:32 };
16:34:32 let g = b;
16:34:32 };
16:34:32 (-(b[0] as Field))
16:34:32 };
16:34:32 (h as u128)
16:34:32 }
16:34:32 unconstrained fn func_1(a: Field, mut b: u128, ctx_limit: &mut u32) -> (Field, (bool, bool), Field) {
16:34:32 if ((*ctx_limit) == 0) {
16:34:32 (97463187060596537823302670696246937267, (true, true), 176182375166128460339849483909669322207)
16:34:32 } else {
16:34:32 *ctx_limit = ((*ctx_limit) - 1);
16:34:32 if func_1((G_A[1] as Field), if true {
16:34:32 if func_1(G_B, b, ctx_limit).1.0 {
16:34:32 (func_1(106791492032012795261433520645758896403, (a as u128), ctx_limit).0 as u128)
16:34:32 } else {
16:34:32 (func_1(a, b, ctx_limit).0 as u128)
16:34:32 }
16:34:32 } else {
16:34:32 (func_1(-199042722171053651895258945105563992561, 93764732879572870651444731150377254269, ctx_limit).0 as u128)
16:34:32 }, ctx_limit).1.1 {
16:34:32 (4881570010496183418747811932137926495, func_1((func_1(a, (a as u128), ctx_limit).1.0 as Field), b, ctx_limit).1, (-199770905090803081155330437033549227464))
16:34:32 } else {
16:34:32 if false {
16:34:32 b = 289980186496412654521733612690666032288;
16:34:32 b = {
16:34:32 println(a);
16:34:32 let mut c = [G_A, G_A, G_A];
16:34:32 println(c);
16:34:32 245602659140614479925936707330119690836
16:34:32 };
16:34:32 };
16:34:32 (((a / G_B) / (-(G_A[1] as Field))), (false, false), ((a / 173861364121620002131128237978914028022) / a))
16:34:32 }
16:34:32 }
16:34:32 }
16:34:32 unconstrained fn func_2(a: bool, mut b: unconstrained fn(Field, u128, &mut u32) -> (Field, (bool, bool), Field), c: ([u128; 3], Field), _ctx_limit: &mut u32) -> str<4> {
16:34:32 "TAQA"
16:34:32 }
16:34:32 fn func_3(ctx_limit: &mut u32) -> (bool, bool) {
16:34:32 if ((*ctx_limit) == 0) {
16:34:32 (false, false)
16:34:32 } else {
16:34:32 *ctx_limit = ((*ctx_limit) - 1);
16:34:32 unsafe { func_1_proxy((-G_B), G_A[1], (*ctx_limit)) }.1
16:34:32 }
16:34:32 }
16:34:32 unconstrained fn func_4(mut a: unconstrained fn(Field, u128, &mut u32) -> (Field, (bool, bool), Field), mut b: u128, _ctx_limit: &mut u32) -> str<1> {
16:34:32 "P"
16:34:32 }
16:34:32 unconstrained fn func_1_proxy(a: Field, mut b: u128, mut ctx_limit: u32) -> (Field, (bool, bool), Field) {
16:34:32 func_1(a, b, (&mut ctx_limit))
16:34:32 }
16:34:32
16:34:32 ---
16:34:32 Inputs: