Parent Log:
http://ci.aztec-labs.com/0c31a8744200dd42
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/c57a4b291d395916d8cecfb3afa72eb7284d55b7
Env: REF_NAME=gh-readonly-queue/next/pr-14520-525f5d919356cb3f4c96f5105c6e29d16bc4da3d CURRENT_VERSION=0.87.2 CI_FULL=1
Date: Fri May 23 20:32:27 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=gh-readonly-queue_next_pr-14520-525f5d919356cb3f4c_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/fdeb39ad496bb91b
20:32:27
20:32:27 running 1 test
20:32:36 test targets::acir_vs_brillig::tests::fuzz_with_arbtest ... FAILED
20:32:36
20:32:36 failures:
20:32:36
20:32:36 ---- targets::acir_vs_brillig::tests::fuzz_with_arbtest stdout ----
20:32:36 ---
20:32:36 Comparison failed:
20:32:36 programs disagree on return value:
20:32:36 Field(198722913227419619627948913190775866969)
20:32:36 !=
20:32:36 Field(252161551459729148017453805899447322202)
20:32:36 ---
20:32:36 AST:
20:32:36 fn main() -> return_data u128 {
20:32:36 let mut ctx_limit = 25;
20:32:36 let b = {
20:32:36 let a = "UK";
20:32:36 (-if false {
20:32:36 if (!false) {
20:32:36 if true {
20:32:36 (unsafe { func_4_proxy(-13636, func_3, ctx_limit) } as Field)
20:32:36 } else {
20:32:36 (--30583515849285730423569135485027232623)
20:32:36 }
20:32:36 } else {
20:32:36 (unsafe { func_4_proxy(18545, func_3, ctx_limit) } as Field)
20:32:36 }
20:32:36 } else {
20:32:36 (unsafe { func_4_proxy(11607, func_3, ctx_limit) } as Field)
20:32:36 })
20:32:36 };
20:32:36 let c = 97837064488011164248552930842140788431;
20:32:36 if true {
20:32:36 let mut d = ((--229208101632789283163694000720811071658) / c);
20:32:36 } else {
20:32:36 let mut f = if ((b / b) != (unsafe { func_4_proxy(17099, func_3, ctx_limit) } as Field)) {
20:32:36 let mut e = ("MW", 224617952311620444087320186919462898266, (b as u128), true);
20:32:36 280987465857146416072614680840891503664
20:32:36 } else {
20:32:36 b
20:32:36 };
20:32:36 f = ((b / f) / -122943410301290939345366888005223094932);
20:32:36 };
20:32:36 (b as u128)
20:32:36 }
20:32:36 fn func_1(mut a: u128, b: u128, c: u128, ctx_limit: &mut u32) -> u128 {
20:32:36 if ((*ctx_limit) == 0) {
20:32:36 216648652475056588890011847605642660128
20:32:36 } else {
20:32:36 *ctx_limit = ((*ctx_limit) - 1);
20:32:36 let mut d = 1;
20:32:36 if true {
20:32:36 if false {
20:32:36 a = (d as u128);
20:32:36 a = ((d >> 25) as u128);
20:32:36 let mut e = [if (!false) {
20:32:36 ""
20:32:36 } else {
20:32:36 if unsafe { func_3_proxy(b, if (434512179 < (d as u32)) {
20:32:36 -93821902239846246272240070206971253941
20:32:36 } else {
20:32:36 (-(c as Field))
20:32:36 }, (*ctx_limit)) }.3 {
20:32:36 ""
20:32:36 } else {
20:32:36 if (((d as u8) >> (d as u8)) <= 77) {
20:32:36 ""
20:32:36 } else {
20:32:36 ""
20:32:36 }
20:32:36 }
20:32:36 }, "", ""];
20:32:36 let mut f = d;
20:32:36 };
20:32:36 let g = (0, "", ["CO", "OU"]);
20:32:36 } else {
20:32:36 ()
20:32:36 };
20:32:36 b
20:32:36 }
20:32:36 }
20:32:36 fn func_2(mut a: fn(u128, u128, u128, &mut u32) -> u128, mut b: u128, c: fn(u128, u128, u128, &mut u32) -> u128, ctx_limit: &mut u32) -> str<0> {
20:32:36 if ((*ctx_limit) == 0) {
20:32:36 ""
20:32:36 } else {
20:32:36 *ctx_limit = ((*ctx_limit) - 1);
20:32:36 a = c;
20:32:36 let mut d = (-(func_1(b, 199006024174578035933548501780719306412, 109182226803824899770479274225163429863, ctx_limit) as Field));
20:32:36 for idx_e in 3412888746 .. 3412888748 {
20:32:36 b = ((1700540635 % 2547941557) as u128);
20:32:36 b = func_1(183698124648142593909683694312901703006, if false {
20:32:36 func_1(b, 103971044591939193088200983022588334472, 7516901119665815441286542056532668647, ctx_limit)
20:32:36 } else {
20:32:36 ((530547886 % 83620255) as u128)
20:32:36 }, 45065466469308018238461912458344176204, ctx_limit);