Parent Log:
http://ci.aztec-labs.com/122658c4cda5d715
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/f432ad57b01c81713070d9c63fe8f7980e35257c
Env: REF_NAME=gh-readonly-queue/next/pr-14516-525f5d919356cb3f4c96f5105c6e29d16bc4da3d CURRENT_VERSION=0.87.2 CI_FULL=1
Date: Fri May 23 19:38:18 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=gh-readonly-queue_next_pr-14516-525f5d919356cb3f4c_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/fdeb39ad496bb91b
19:38:18
19:38:18 running 1 test
19:38:19 test targets::acir_vs_brillig::tests::fuzz_with_arbtest ... FAILED
19:38:19
19:38:19 failures:
19:38:19
19:38:19 ---- targets::acir_vs_brillig::tests::fuzz_with_arbtest stdout ----
19:38:19 ---
19:38:19 Comparison failed:
19:38:19 programs disagree on return value:
19:38:19 Field(340282366920938463463374607431768211455)
19:38:19 !=
19:38:19 Field(53438638232309528389504892708671455232)
19:38:19 ---
19:38:19 AST:
19:38:19 global G_A: str<1> = "L";
19:38:19 global G_B: str<1> = "E";
19:38:19 global G_C: (str<1>, u128, i8) = ("R", 222705232700624588926994295802439863374, 41);
19:38:19 fn main(a: call_data(0) i8, b: u128, c: (u64, bool, Field)) -> pub u128 {
19:38:19 let mut ctx_limit = 25;
19:38:19 let mut d = c;
19:38:19 let mut e = (-(unsafe { func_2_proxy(d.0, "LOPG", ctx_limit) }[1].0 as Field));
19:38:19 if unsafe { func_2_proxy(if true {
19:38:19 if (c.1 < d.1) {
19:38:19 unsafe { func_2_proxy(c.0, "MHHE", ctx_limit) }[0].2
19:38:19 } else {
19:38:19 d.0
19:38:19 }
19:38:19 } else {
19:38:19 unsafe { func_2_proxy(12980272811276915380, "HEMF", ctx_limit) }[3].2
19:38:19 }, "ILTL", ctx_limit) }[(726494595 % 4)].0 {
19:38:19 d.2 = {
19:38:19 (-(-(b as Field)))
19:38:19 };
19:38:19 e = {
19:38:19 let mut f = {
19:38:19 (15589482479235137525, true, 207765929711715457688544283310174597000)
19:38:19 };
19:38:19 f = d;
19:38:19 let mut g = if d.1 {
19:38:19 ((b as Field) / (f.1 as Field))
19:38:19 } else {
19:38:19 (f.0 as Field)
19:38:19 };
19:38:19 (G_C.1 as Field)
19:38:19 };
19:38:19 217152756945524206908089961229695833667
19:38:19 } else {
19:38:19 (e as u128)
19:38:19 }
19:38:19 }
19:38:19 fn func_1(_ctx_limit: &mut u32) -> (str<1>, u128, i8) {
19:38:19 G_C
19:38:19 }
19:38:19 unconstrained fn func_2(a: u64, b: str<4>, ctx_limit: &mut u32) -> [(bool, str<1>, u64); 4] {
19:38:19 if ((*ctx_limit) == 0) {
19:38:19 [(true, "X", 12821017880147884711), (false, "T", 204304490530126761), (true, "J", 9191546679242102460), (true, "W", 7664402370076797880)]
19:38:19 } else {
19:38:19 *ctx_limit = ((*ctx_limit) - 1);
19:38:19 [(if (!true) {
19:38:19 true
19:38:19 } else {
19:38:19 func_2(if func_2(5355304351337890659, b, ctx_limit)[(1778021561 % 4)].0 {
19:38:19 func_2(18330841227516179841, "MDJD", ctx_limit)[0].2
19:38:19 } else {
19:38:19 func_2(a, b, ctx_limit)[2].2
19:38:19 }, "SVQP", ctx_limit)[3].0
19:38:19 }, func_2(if func_2(a, b, ctx_limit)[(2489055450 % 4)].0 {
19:38:19 if func_2(3623035790003500902, b, ctx_limit)[1].0 {
19:38:19 if true {
19:38:19 a
19:38:19 } else {
19:38:19 4735080751773285667
19:38:19 }
19:38:19 } else {
19:38:19 a
19:38:19 }
19:38:19 } else {
19:38:19 a
19:38:19 }, b, ctx_limit)[2].1, func_2(func_2(a, "FSVY", ctx_limit)[1].2, b, ctx_limit)[0].2), (func_2(if func_2(11213515397861088085, b, ctx_limit)[0].0 {
19:38:19 if false {
19:38:19 a
19:38:19 } else {
19:38:19 a
19:38:19 }
19:38:19 } else {
19:38:19 6060618255236211562
19:38:19 }, "VZPV", ctx_limit)[3].0, G_A, 7330243123058517921), ((!false), G_A, a), (false, G_C.0, a)]
19:38:19 }
19:38:19 }
19:38:19 unconstrained fn func_2_proxy(a: u64, b: str<4>, mut ctx_limit: u32) -> [(bool, str<1>, u64); 4] {
19:38:19 func_2(a, b, (&mut ctx_limit))
19:38:19 }
19:38:19
19:38:19 ---
19:38:19 Inputs:
19:38:19 a = "0x0000000000000000000000000000000000000000000000000000000000000000"
19:38:19 b = "0x000000000000000000000000000000000000000000000000b10f52053264c061"
19:38:19 c = ["0x00000000000000000000000000000000000000000000000018abf83e4a8960a6", true, "0x21d2fdfcc6eeb76b9b4c0e0b4dba444d8505a280bfcdeeb86566c2e0683f9bff"]
19:38:19
19:38:19 ---
19:38:19 Options 1:
19:38:19 CompareOptions { inliner_aggressiveness: -9223372036854775808 }