Parent Log:
http://ci.aztec-labs.com/dab0517124d801de
Command: f53ca57a6cf44da3 noir/scripts/run_test.sh noir_ast_fuzzer_fuzz-ee2438825736b736 targets::comptime_vs_brillig::tests::fuzz_with_arbtest
Commit:
https://github.com/AztecProtocol/aztec-packages/commit/99aae9a6022fd0b14043e0ff4199bdd9b3b00b0b
Env: REF_NAME=gh-readonly-queue/next/pr-14789-0c711002a2d6c1c3bec2a827aa06f1ea489b516b CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Wed Jun 4 20:09:12 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14789_amd64_x3-full
Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/e5b926dd2e5d2e42
20:09:12
20:09:12 running 1 test
20:09:14 test targets::comptime_vs_brillig::tests::fuzz_with_arbtest ... FAILED
20:09:14
20:09:14 failures:
20:09:14
20:09:14 ---- targets::comptime_vs_brillig::tests::fuzz_with_arbtest stdout ----
20:09:14 ---
20:09:14 Comparison failed:
20:09:14 second program failed: Failed assertion
20:09:14 ExecutionError(AssertionFailed(Raw(RawAssertionPayload { selector: ErrorSelector(2920182694213909827), data: [] }), [ResolvedOpcodeLocation { acir_function_index: 0, opcode_location: Brillig { acir_index: 0, brillig_index: 7 } }, ResolvedOpcodeLocation { acir_function_index: 0, opcode_location: Brillig { acir_index: 0, brillig_index: 35 } }, ResolvedOpcodeLocation { acir_function_index: 0, opcode_location: Brillig { acir_index: 0, brillig_index: 73 } }], Some(BrilligFunctionId(0))))
20:09:14 ---
20:09:14 AST:
20:09:14 fn main() -> pub [[i8; 2]; 1] {
20:09:14 let mut ctx_limit: u32 = 5;
20:09:14 unsafe { func_1_proxy([("", -60, ""), ("", -68, ""), ("", -81, "")], ("", -128, ""), ctx_limit) }
20:09:14 }
20:09:14 unconstrained fn func_1(a: [(str<0>, i8, str<0>); 3], b: (str<0>, i8, str<0>), ctx_limit: &mut u32) -> [[i8; 2]; 1] {
20:09:14 if ((*ctx_limit) == 0) {
20:09:14 [[-65, -20]]
20:09:14 } else {
20:09:14 *ctx_limit = ((*ctx_limit) - 1);
20:09:14 if true {
20:09:14 let c: ([i8; 2], [str<0>; 2], [i8; 2], (str<0>, i8, str<0>)) = ([46, -70], if true {
20:09:14 if false {
20:09:14 [a[(2504424039 % 3)].2, b.0]
20:09:14 } else {
20:09:14 [b.2, a[(3444740258 % 3)].0]
20:09:14 }
20:09:14 } else {
20:09:14 ["", if true {
20:09:14 ""
20:09:14 } else {
20:09:14 ""
20:09:14 }]
20:09:14 }, [(-b.1), b.1], if false {
20:09:14 (a[0].0, func_1([("", -47, ""), ("", -67, ""), ("", 5, "")], a[2], ctx_limit)[0][1], a[1].2)
20:09:14 } else {
20:09:14 if true {
20:09:14 b
20:09:14 } else {
20:09:14 if true {
20:09:14 a[(1956417147 % 3)]
20:09:14 } else {
20:09:14 ("", -40, a[0].0)
20:09:14 }
20:09:14 }
20:09:14 });
20:09:14 [[-98, 26]]
20:09:14 } else {
20:09:14 [[25, -100]]
20:09:14 }
20:09:14 }
20:09:14 }
20:09:14 unconstrained fn func_1_proxy(a: [(str<0>, i8, str<0>); 3], b: (str<0>, i8, str<0>), mut ctx_limit: u32) -> [[i8; 2]; 1] {
20:09:14 func_1(a, b, (&mut ctx_limit))
20:09:14 }
20:09:14
20:09:14 ---
20:09:14 Comptime source:
20:09:14 fn main() -> pub [[i8; 2]; 1] {
20:09:14 comptime {
20:09:14 let mut ctx_limit: u32 = 5;
20:09:14 unsafe { func_1_proxy([("", -60, ""), ("", -68, ""), ("", -81, "")], ("", -128, ""), ctx_limit) }
20:09:14 }
20:09:14 }
20:09:14 unconstrained fn func_1(a: [(str<0>, i8, str<0>); 3], b: (str<0>, i8, str<0>), ctx_limit: &mut u32) -> [[i8; 2]; 1] {
20:09:14 if ((*ctx_limit) == 0) {
20:09:14 [[-65, -20]]
20:09:14 } else {
20:09:14 *ctx_limit = ((*ctx_limit) - 1);
20:09:14 if true {
20:09:14 let c: ([i8; 2], [str<0>; 2], [i8; 2], (str<0>, i8, str<0>)) = ([46, -70], if true {
20:09:14 if false {
20:09:14 [a[(2504424039 % 3)].2, b.0]
20:09:14 } else {
20:09:14 [b.2, a[(3444740258 % 3)].0]
20:09:14 }
20:09:14 } else {
20:09:14 ["", if true {
20:09:14 ""
20:09:14 } else {
20:09:14 ""
20:09:14 }]
20:09:14 }, [(-b.1), b.1], if false {
20:09:14 (a[0].0, func_1([("", -47, ""), ("", -67, ""), ("", 5, "")], a[2], ctx_limit)[0][1], a[1].2)
20:09:14 } else {
20:09:14 if true {
20:09:14 b
20:09:14 } else {
20:09:14 if true {
20:09:14 a[(1956417147 % 3)]
20:09:14 } else {
20:09:14 ("", -40, a[0].0)
20:09:14 }
20:09:14 }
20:09:14 });
20:09:14 [[-98, 26]]
20:09:14 } else {
20:09:14 [[25, -100]]
20:09:14 }
20:09:14 }
20:09:14 }
20:09:14 unconstrained fn func_1_proxy(a: [(str<0>, i8, str<0>); 3], b: (str<0>, i8, str<0>), mut ctx_limit: u32) -> [[i8; 2]; 1] {
20:09:14 func_1(a, b, (&mut ctx_limit))
20:09:14 }
20:09:14
20:09:14 ---
20:09:14 Compile options:
20:09:14 CompareOptions { inliner_aggressiveness: 0 }
20:09:14 ---
20:09:14 Compiled program:
20:09:14 func 0
20:09:14 current witness index : _1
20:09:14 private parameters indices : []
20:09:14 public parameters indices : []
20:09:14 return value indices : [_0, _1]
20:09:14 BRILLIG CALL func 0: inputs: [], outputs: [Array([Witness(0), Witness(1)])]
20:09:14
20:09:14 unconstrained func 0