Parent Log:
http://ci.aztec-labs.com/819cd8be1af7331f
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/6fa57198d6c1be008f8ec7fd036b88e361c2e1ec
Env: REF_NAME=gh-readonly-queue/next/pr-14526-a79f5a66b5b016c5907889de0d6387e9946a8360 CURRENT_VERSION=0.87.3 CI_FULL=1
Date: Wed May 28 07:35:50 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=gh-readonly-queue_next_pr-14526-a79f5a66b5b016c590_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/fdeb39ad496bb91b
07:35:50
07:35:50 running 1 test
07:35:53 test targets::acir_vs_brillig::tests::fuzz_with_arbtest ... FAILED
07:35:53
07:35:53 failures:
07:35:53
07:35:53 ---- targets::acir_vs_brillig::tests::fuzz_with_arbtest stdout ----
07:35:53 ---
07:35:53 Comparison failed:
07:35:53 programs disagree on return value:
07:35:53 Vec([Vec([Field(1856624045), Field(1), Field(-163039938074123140516510952754310902633)]), String("X"), Field(340282366920938463463374607431768211455), Field(-1)])
07:35:53 !=
07:35:53 Vec([Vec([Field(1856624045), Field(1), Field(-163039938074123140516510952754310902633)]), String("X"), Field(53438638232309528389504892708671455232), Field(-1)])
07:35:53 ---
07:35:53 AST:
07:35:53 global G_A: [[Field; 3]; 0] = [];
07:35:53 global G_B: Field = -163039938074123140516510952754310902633;
07:35:53 fn main(a: pub i32, b: pub u1) -> return_data ((i32, u1, Field), str<1>, u128, Field) {
07:35:53 let mut ctx_limit = 25;
07:35:53 for idx_c in 2299929860 .. 2299929864 {
07:35:53 ()
07:35:53 };
07:35:53 let d = (-(b as Field));
07:35:53 let e = "KLTJ";
07:35:53 ((if (d == ((b as Field) / G_B)) {
07:35:53 if true {
07:35:53 756331411
07:35:53 } else {
07:35:53 if false {
07:35:53 a
07:35:53 } else {
07:35:53 if ((b as u16) != if true {
07:35:53 (((b as u8) / (b as u8)) as u16)
07:35:53 } else {
07:35:53 (31298 >> 87)
07:35:53 }) {
07:35:53 1428259341
07:35:53 } else {
07:35:53 -238188441
07:35:53 }
07:35:53 }
07:35:53 }
07:35:53 } else {
07:35:53 if true {
07:35:53 a
07:35:53 } else {
07:35:53 a
07:35:53 }
07:35:53 }, b, G_B), "X", (d as u128), ((b as Field) / d))
07:35:53 }
07:35:53 fn func_1(mut a: i64, _ctx_limit: &mut u32) -> u1 {
07:35:53 0
07:35:53 }
07:35:53 fn func_2(mut a: fn(i64, &mut u32) -> u1, b: bool, mut c: ((i32, u1, Field), str<1>, u128, Field), _ctx_limit: &mut u32) -> bool {
07:35:53 b
07:35:53 }
07:35:53 fn func_3(mut a: i32, mut b: fn(i64, &mut u32) -> u1, mut c: fn(fn(i64, &mut u32) -> u1, bool, ((i32, u1, Field), str<1>, u128, Field), &mut u32) -> bool, ctx_limit: &mut u32) -> i64 {
07:35:53 if ((*ctx_limit) == 0) {
07:35:53 -6182585879033770605
07:35:53 } else {
07:35:53 *ctx_limit = ((*ctx_limit) - 1);
07:35:53 if false {
07:35:53 -2569499098144655932
07:35:53 } else {
07:35:53 if func_2(func_1, true, if c(b, true, ((-1503301187, 1, 238749304572405054453196149382355746061), "M", 180326187624329916503351766173038251191, 4124596100583523744653930032604187064), ctx_limit) {
07:35:53 (if (69 == 26) {
07:35:53 (a, 1, (--177859358992575296339032741412756697627))
07:35:53 } else {
07:35:53 (a, 0, -324198581638275937332813338476884765094)
07:35:53 }, if false {
07:35:53 "S"
07:35:53 } else {
07:35:53 "T"
07:35:53 }, ((163 % 27) as u128), G_B)
07:35:53 } else {
07:35:53 if c(func_1, true, ((453393142, 0, -308754750992655005048767670876168991188), "N", 138543471905834180810294696866518983490, 288475913845821561064892449301325217570), ctx_limit) {
07:35:53 ((-1387577324, 0, (-633488133289320998580111910117645110 / 24191243802939100103025419416296411616)), "P", 95043120997548238028389792868965239323, (-G_B))
07:35:53 } else {
07:35:53 ((598983479, b((a as i64), ctx_limit), -238599021158069926022078570134817192724), if (false >= false) {
07:35:53 "Z"
07:35:53 } else {
07:35:53 "S"
07:35:53 }, (G_B as u128), 140922923403495028633784294446285180240)
07:35:53 }
07:35:53 }, ctx_limit) {
07:35:53 -3236419164342538848
07:35:53 } else {
07:35:53 5985633375505430298
07:35:53 }
07:35:53 }
07:35:53 }
07:35:53 }
07:35:53 fn func_4(a: u1, mut b: Field, c: [[Field; 3]; 0], ctx_limit: &mut u32) -> i8 {
07:35:53 if ((*ctx_limit) == 0) {
07:35:53 113
07:35:53 } else {
07:35:53 *ctx_limit = ((*ctx_limit) - 1);
07:35:53 b = (a as Field);
07:35:53 for idx_d in 832395366 .. 832395372 {
07:35:53 b = ((func_1(-8488089342951572723, ctx_limit) as Field) / (func_2(func_1, false, ((-1952117921, 1, 144870931059440181189125101384616933187), "G", (b as u128), 304972016724878143746215336010545727661), ctx_limit) as Field));
07:35:53 b = {
07:35:53 {
07:35:53 b = ((-b) / (idx_d as Field));
07:35:53 if (idx_d != (func_1(7301932711398095675, ctx_limit) as u32)) {
07:35:53 b = -73857559557741973865988479698968713010;
07:35:53 b = if (((33 >> 156) as u16) > ((135 / (a as u8)) as u16)) {
07:35:53 let mut e = {
07:35:53 ((a as u16) <= 61027)