Parent Log:
http://ci.aztec-labs.com/95249f86ee13bb4d
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/af1b2be6e4db37cd2b124334e7c07f69942ad853
Env: REF_NAME=gh-readonly-queue/next/pr-14516-525f5d919356cb3f4c96f5105c6e29d16bc4da3d CURRENT_VERSION=0.87.2 CI_FULL=1
Date: Fri May 23 19:59:52 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:59:52
19:59:52 running 1 test
19:59:52 test targets::acir_vs_brillig::tests::fuzz_with_arbtest ... FAILED
19:59:52
19:59:52 failures:
19:59:52
19:59:52 ---- targets::acir_vs_brillig::tests::fuzz_with_arbtest stdout ----
19:59:52 ---
19:59:52 Comparison failed:
19:59:52 programs disagree on return value:
19:59:52 Field(340282366920938463455764145636817838286)
19:59:52 !=
19:59:52 Field(53438638232309528381894430913721082063)
19:59:52 ---
19:59:52 AST:
19:59:52 global G_A: u128 = 255310599267956840281045581752312095489;
19:59:52 fn main(a: i8, b: pub u128, c: call_data(2) i8) -> pub u128 {
19:59:52 let mut ctx_limit = 25;
19:59:52 if true {
19:59:52 let mut d = (31848286779519164026682021708490561056, (-(b as Field)), (b as Field));
19:59:52 d.0 = ((d.0 / (b as Field)) / ((G_A as Field) / (b as Field)));
19:59:52 let e = (b as Field);
19:59:52 let g = {
19:59:52 let f = d;
19:59:52 ""
19:59:52 };
19:59:52 {
19:59:52 {
19:59:52 if false {
19:59:52 let h = ((-((b as Field) / (b as Field))), d);
19:59:52 let mut i = if (!(h.1.1 != (b as Field))) {
19:59:52 d
19:59:52 } else {
19:59:52 {
19:59:52 if true {
19:59:52 ((h.1.2 / (h.0 / h.0)), ((-e) / (h.0 / (G_A as Field))), h.1.2)
19:59:52 } else {
19:59:52 ((e / e), d.1, (-(e / h.1.1)))
19:59:52 }
19:59:52 }
19:59:52 };
19:59:52 } else {
19:59:52 ()
19:59:52 };
19:59:52 (d.1 as u128)
19:59:52 }
19:59:52 }
19:59:52 } else {
19:59:52 b
19:59:52 }
19:59:52 }
19:59:52
19:59:52 ---
19:59:52 Inputs:
19:59:52 a = "0x000000000000000000000000000000000000000000000000000000000000002a"
19:59:52 b = "0x000000000000000000000000000000000000000000000000699dcaae38b2df32"
19:59:52 c = "-0x000000000000000000000000000000000000000000000000000000000000007e"
19:59:52
19:59:52 ---
19:59:52 Options 1:
19:59:52 CompareOptions { inliner_aggressiveness: 9223372036854775807 }
19:59:52 ---
19:59:52 Program 1:
19:59:52 func 0
19:59:52 current witness index : _13
19:59:52 private parameters indices : [_0, _2]
19:59:52 public parameters indices : [_1]
19:59:52 return value indices : [_3]
19:59:52 BLACKBOX::RANGE [(_0, 8)] []
19:59:52 BLACKBOX::RANGE [(_1, 128)] []
19:59:52 BLACKBOX::RANGE [(_2, 8)] []
19:59:52 BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(1))], q_c: 0 })], outputs: [Simple(Witness(4))]
19:59:52 EXPR [ (1, _1, _4) -1 ]
19:59:52 BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(1, Witness(1))], q_c: 0 })], outputs: [Simple(Witness(5))]
19:59:52 EXPR [ (1, _1, _5) -1 ]
19:59:52 BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(255310599267956840281045581752312095489, Witness(5))], q_c: 0 })], outputs: [Simple(Witness(6))]
19:59:52 EXPR [ (255310599267956840281045581752312095489, _5, _6) -1 ]
19:59:52 BRILLIG CALL func 1: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(-1, Witness(1))], q_c: 340282366920938463463374607431768211456 }), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 340282366920938463463374607431768211456 })], outputs: [Simple(Witness(7)), Simple(Witness(8))]
19:59:52 BLACKBOX::RANGE [(_7, 127)] []
19:59:52 BLACKBOX::RANGE [(_8, 129)] []
19:59:52 EXPR [ (-1, _8) (-1, _9) 340282366920938463463374607431768211455 ]
19:59:52 BLACKBOX::RANGE [(_9, 129)] []
19:59:52 EXPR [ (-1, _1) (-340282366920938463463374607431768211456, _7) (-1, _8) 340282366920938463463374607431768211456 ]
19:59:52 EXPR [ (1, _7) (-1, _10) 20746827117051438823981594372716013474 ]
19:59:52 BLACKBOX::RANGE [(_10, 126)] []
19:59:52 BRILLIG CALL func 0: inputs: [Single(Expression { mul_terms: [], linear_combinations: [(-1, Witness(7))], q_c: 64323764613183177041862057485226039389 })], outputs: [Simple(Witness(11))]
19:59:52 EXPR [ (-1, _7, _11) (64323764613183177041862057485226039389, _11) (1, _12) -1 ]
19:59:52 EXPR [ (-1, _7, _12) (64323764613183177041862057485226039389, _12) 0 ]
19:59:52 EXPR [ (-1, _8, _12) (-1, _12, _12) (53438638232309528389504892708671455233, _12) (-1, _13) 0 ]
19:59:52 BLACKBOX::RANGE [(_13, 129)] []
19:59:52 EXPR [ (1, _3) (-1, _8) 0 ]
19:59:52 INIT CALLDATA 2 (id: 0, len: 1, witnesses: [_2])
19:59:52