Parent Log:
http://ci.aztec-labs.com/43037bc7bd30a7ad
Command: f53ca57a6cf44da3 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/dd86eb46a2b14b2f43b967f601ae7afdfc4d8a97
Env: REF_NAME=gh-readonly-queue/next/pr-14776-5af2a5ec5c862033dd59d31fbed9d3d8bbec7032 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Thu Jun 5 12:45:33 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14776_amd64_x3-full
Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/fdeb39ad496bb91b
12:45:33
12:45:33 running 1 test
12:45:35 test targets::acir_vs_brillig::tests::fuzz_with_arbtest ... FAILED
12:45:35
12:45:35 failures:
12:45:35
12:45:35 ---- targets::acir_vs_brillig::tests::fuzz_with_arbtest stdout ----
12:45:35 ---
12:45:35 Comparison failed:
12:45:35 first program failed: Failed to solve program: 'Cannot satisfy constraint'
12:45:35 ExecutionError(SolvingError(UnsatisfiedConstrain { opcode_location: Resolved(Acir(51)), payload: None }, Some([ResolvedOpcodeLocation { acir_function_index: 0, opcode_location: Acir(51) }])))
12:45:35 ---
12:45:35 AST:
12:45:35 global G_A: i16 = -24265;
12:45:35 global G_B: i16 = -8388;
12:45:35 global G_C: [(str<0>, u64, i8, u128, Field); 2] = [("", 5233254815506403735, 6, 107219291082248059776357364952890311935, -237787826540015032132571822182408064984), ("", 3109551484730255303, 98, 211193103551383318826644541688808514360, -130400782363094609510564143660310399010)];
12:45:35 fn main(a: call_data(0) (bool, u64, u64, bool, Field), b: pub ((bool, i64, u64, i8), (bool, i64, u64, i8), [i64; 3], [i8; 2])) -> return_data i16 {
12:45:35 let mut ctx_limit: u32 = 25;
12:45:35 if unsafe { func_4_proxy(func_1, ctx_limit) } {
12:45:35 (G_C[(if b.0.0 {
12:45:35 if (!false) {
12:45:35 1219691777
12:45:35 } else {
12:45:35 2505219444
12:45:35 }
12:45:35 } else {
12:45:35 3177648402
12:45:35 } % 2)].2 as i16)
12:45:35 } else {
12:45:35 let g: u32 = if b.1.0 {
12:45:35 for idx_c in 2029894786 .. 2029894795 {
12:45:35 let mut d: str<1> = "B";
12:45:35 };
12:45:35 if (!false) {
12:45:35 1821410693
12:45:35 } else {
12:45:35 for idx_e in 3384777318 .. 3384777309 {
12:45:35 let mut f: [str<1>; 3] = ["B", "F", "T"];
12:45:35 };
12:45:35 2764229086
12:45:35 }
12:45:35 } else {
12:45:35 3974054615
12:45:35 };
12:45:35 (b.3[1] as i16)
12:45:35 }
12:45:35 }
12:45:35 unconstrained fn func_1(a: Field, b: [i64; 4], ctx_limit: &mut u32) -> bool {
12:45:35 if ((*ctx_limit) == 0) {
12:45:35 false
12:45:35 } else {
12:45:35 *ctx_limit = ((*ctx_limit) - 1);
12:45:35 println(a);
12:45:35 false
12:45:35 }
12:45:35 }
12:45:35 fn func_2(mut a: [(str<0>, u64, i8, u128, Field); 2], ctx_limit: &mut u32) -> [(str<0>, u64, i8, u128, Field); 2] {
12:45:35 if ((*ctx_limit) == 0) {
12:45:35 [("", 3310926250448580335, -122, 108712192872167107044274885934704268599, 209222122829868365733762575029523595562), ("", 8738048401094549371, 15, 164166260458311034961533378211002568938, 3276422806690160348884989928365845631)]
12:45:35 } else {
12:45:35 *ctx_limit = ((*ctx_limit) - 1);
12:45:35 if false {
12:45:35 a = {
12:45:35 {
12:45:35 let mut d: str<2> = {
12:45:35 a = {
12:45:35 a[0] = ("", 17388981586054247691, 37, 116245469597490054978228220193185218316, -81424103093779989494858646316474913608);
12:45:35 a = if unsafe { func_4_proxy(func_1, (*ctx_limit)) } {
12:45:35 for idx_b in 3813584722 .. 3813584722 {
12:45:35 a[((idx_b % idx_b) % 2)] = if unsafe { func_4_proxy(func_1, (*ctx_limit)) } {
12:45:35 if (!unsafe { func_4_proxy(func_1, (*ctx_limit)) }) {
12:45:35 a[1]
12:45:35 } else {
12:45:35 a[0]
12:45:35 }
12:45:35 } else {
12:45:35 a[0]
12:45:35 };
12:45:35 let mut c: u8 = 40;
12:45:35 };
12:45:35 a
12:45:35 } else {
12:45:35 G_C
12:45:35 };
12:45:35 G_C
12:45:35 };
12:45:35 "FZ"
12:45:35 };
12:45:35 a
12:45:35 }
12:45:35 };
12:45:35 a
12:45:35 } else {
12:45:35 G_C
12:45:35 }
12:45:35 }
12:45:35 }
12:45:35 fn func_3(a: i8, ctx_limit: &mut u32) -> ([Field; 1], [Field; 1], bool, [str<1>; 3]) {
12:45:35 if ((*ctx_limit) == 0) {
12:45:35 ([-122838044702188142364612051721493610709], [-28351553421301690627711742421832988308], false, ["R", "C", "W"])
12:45:35 } else {
12:45:35 *ctx_limit = ((*ctx_limit) - 1);
12:45:35 ([((G_C[0].1 as Field) / (G_C[0].4 / -246172208712344107084921557610854123654))], [-273850352589124431526055576637765155541], unsafe { func_4_proxy(func_1, (*ctx_limit)) }, if unsafe { func_4_proxy(func_1, (*ctx_limit)) } {
12:45:35 ["Y", "K", "D"]
12:45:35 } else {
12:45:35 ["I", if true {
12:45:35 "R"
12:45:35 } else {
12:45:35 if ((G_C[1].1 as Field) != (unsafe { func_1_proxy(G_C[0].4, [(a as i64), (a as i64), (a as i64), (G_B as i64)], (*ctx_limit)) } as Field)) {
12:45:35 if false {
12:45:35 "H"
12:45:35 } else {
12:45:35 "V"
12:45:35 }
12:45:35 } else {
12:45:35 "X"