Parent Log:
http://ci.aztec-labs.com/a0f6ce0e9ae1ebeb
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/758e5f3fdb104dd6a9644c159ba577bc51934306
Env: REF_NAME=gh-readonly-queue/next/pr-14526-d9dd2a61bbc2359d58f8fb6e394a149441d85db8 CURRENT_VERSION=0.87.2 CI_FULL=1
Date: Tue May 27 16:11:49 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=gh-readonly-queue_next_pr-14526-d9dd2a61bbc2359d58_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/fdeb39ad496bb91b
16:11:49
16:11:49 running 1 test
16:11:53 test targets::acir_vs_brillig::tests::fuzz_with_arbtest ... FAILED
16:11:53
16:11:53 failures:
16:11:53
16:11:53 ---- targets::acir_vs_brillig::tests::fuzz_with_arbtest stdout ----
16:11:53 ---
16:11:53 Comparison failed:
16:11:53 programs disagree on return value:
16:11:53 Vec([Vec([Field(0), Field(1)]), Vec([Field(0), Field(0)])])
16:11:53 !=
16:11:53 Vec([Vec([Field(0), Field(1)]), Vec([Field(0), Field(1)])])
16:11:53 ---
16:11:53 AST:
16:11:53 global G_A: bool = false;
16:11:53 global G_B: bool = false;
16:11:53 fn main(a: call_data(0) bool, b: bool, c: pub [(bool, bool); 2]) -> return_data [(bool, bool); 2] {
16:11:53 let mut ctx_limit = 25;
16:11:53 for idx_d in 1949312950 .. 1949312957 {
16:11:53 for idx_e in 1523549868 .. 1523549877 {
16:11:53 for idx_f in 827960923 .. 827960925 {
16:11:53 for idx_g in 4087138840 .. 4087138845 {
16:11:53 for idx_h in 2391664445 .. 2391664452 {
16:11:53 if true {
16:11:53 let k = {
16:11:53 let mut i = c;
16:11:53 i = {
16:11:53 i[1] = i[0];
16:11:53 let j = b;
16:11:53 i
16:11:53 };
16:11:53 [i[(idx_d % 2)], i[((idx_h / idx_h) % 2)], (true, true)]
16:11:53 };
16:11:53 let l = "D";
16:11:53 };
16:11:53 };
16:11:53 let mut m = (G_B, ((idx_g >= idx_d) != (idx_d == idx_e)));
16:11:53 };
16:11:53 let n = ((G_B as Field) / (142315706985404827240539523794024805294 / (idx_d as Field)));
16:11:53 };
16:11:53 };
16:11:53 ()
16:11:53 };
16:11:53 c
16:11:53 }
16:11:53 fn func_1(a: (bool, bool), b: [(bool, bool); 2], mut c: str<1>, _ctx_limit: &mut u32) -> (bool, bool) {
16:11:53 if a.0 {
16:11:53 let mut d = [(true, false), ((b[0].0 > if (!a.0) {
16:11:53 ((a.1 as Field) == (a.0 as Field))
16:11:53 } else {
16:11:53 b[1].1
16:11:53 }), true), if (!G_A) {
16:11:53 ((false >= (true < a.0)), if b[0].1 {
16:11:53 b[1].1
16:11:53 } else {
16:11:53 if (b[1].0 < b[1].0) {
16:11:53 true
16:11:53 } else {
16:11:53 if (!(!a.0)) {
16:11:53 G_A
16:11:53 } else {
16:11:53 a.0
16:11:53 }
16:11:53 }
16:11:53 })
16:11:53 } else {
16:11:53 a
16:11:53 }];
16:11:53 d[2] = b[1];
16:11:53 let mut e = b[1].0;
16:11:53 c = {
16:11:53 c
16:11:53 };
16:11:53 a
16:11:53 } else {
16:11:53 (b[0].0, (!true))
16:11:53 }
16:11:53 }
16:11:53
16:11:53 ---
16:11:53 Inputs:
16:11:53 a = false
16:11:53 b = false
16:11:53 c = [[false, true], [false, false]]
16:11:53
16:11:53 ---
16:11:53 Options 1:
16:11:53 CompareOptions { inliner_aggressiveness: 0 }
16:11:53 ---
16:11:53 Program 1:
16:11:53 func 0
16:11:53 current witness index : _9
16:11:53 private parameters indices : [_0, _1]
16:11:53 public parameters indices : [_2, _3, _4, _5]
16:11:53 return value indices : [_6, _7, _8, _9]
16:11:53 BLACKBOX::RANGE [(_0, 1)] []
16:11:53 BLACKBOX::RANGE [(_1, 1)] []
16:11:53 BLACKBOX::RANGE [(_2, 1)] []
16:11:53 BLACKBOX::RANGE [(_3, 1)] []
16:11:53 BLACKBOX::RANGE [(_4, 1)] []
16:11:53 BLACKBOX::RANGE [(_5, 1)] []