Parent Log:
http://ci.aztec-labs.com/5506b279051c45a2
Command: 949fcdbe0728c05a noir/scripts/run_test.sh noir_ast_fuzzer_fuzz-ee2438825736b736 targets::pass_vs_prev::tests::fuzz_with_arbtest
Commit:
https://github.com/AztecProtocol/aztec-packages/commit/27cedf506458591bf3b217b54ed66f25b4aae16e
Env: REF_NAME=gh-readonly-queue/next/pr-14459-3a84f53d507106d86903256e60ce0e3ac7e24196 CURRENT_VERSION=0.87.2 CI_FULL=1
Date: Tue May 27 15:43:03 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=gh-readonly-queue_next_pr-14459-3a84f53d507106d869_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/1f290c73e5624033
15:43:03
15:43:03 running 1 test
15:43:05 test targets::pass_vs_prev::tests::fuzz_with_arbtest ... FAILED
15:43:05
15:43:05 failures:
15:43:05
15:43:05 ---- targets::pass_vs_prev::tests::fuzz_with_arbtest stdout ----
15:43:05 ---
15:43:05 Comparison failed:
15:43:05 both programs failed: An overflow occurred while evaluating `shl u8 0, v11` (u8 0 << 96) vs constrain v0 == v26 failed:
15:43:05 u1 false != u1 true
15:43:05 Overflow { instruction: "`shl u8 0, v11` (u8 0 << 96)" }
15:43:05 ConstrainEqFailed { lhs: "u1 false", lhs_id: Id(0), rhs: "u1 true", rhs_id: Id(26) }
15:43:05 ---
15:43:05 AST:
15:43:05 global G_A: bool = false;
15:43:05 global G_B: Field = 217348180953779129745061014756238925826;
15:43:05 global G_C: ([i16; 2], i16) = ([-21768, 24531], 24404);
15:43:05 unconstrained fn main(a: pub Field, b: pub ([i16; 2], i16)) -> pub ([i16; 2], i16) {
15:43:05 let mut ctx_limit = 25;
15:43:05 let c = func_2([func_1(G_A, [(func_5(b.0, (a, b.0[0], 243, G_A, 96), (&mut ctx_limit)) as Field), (func_5([30086, 24054], (a, -16406, 68, G_A, 99), (&mut ctx_limit)) as Field), (a / a), (G_A as Field)], func_2([false, true, true, true], (&mut ctx_limit))[0][(if func_1(G_A, [G_B, -154078796402240137702466370172023430348, a, a], a, (&mut ctx_limit))[0].3 {
15:43:05 (func_1(G_A, [86681898197809742141024338138283888939, 66394883837632071444963084968622457623, -67461829200565469352654249912301097083, -336146927984960389087890875634118598677], a, (&mut ctx_limit))[0].4 as u32)
15:43:05 } else {
15:43:05 if G_A {
15:43:05 583708878
15:43:05 } else {
15:43:05 (func_1(G_A, [a, a, G_B, a], a, (&mut ctx_limit))[(3717815438 % 1)].2 as u32)
15:43:05 }
15:43:05 } % 1)], (&mut ctx_limit))[0].3, ((b.1 / b.1) != b.0[0]), true, func_1(func_1(true, [a, (G_A as Field), (G_A as Field), -89439519984109712048530974891522655383], G_B, (&mut ctx_limit))[0].3, [-81815560739991443211290103025789834344, -191529122819727882360330082347081579509, 42757751745606725253583160473850536830, 272883914153685054817037745695180071561], a, (&mut ctx_limit))[((func_1(G_A, [a, a, a, a], 287772833557403902388959076814248834099, (&mut ctx_limit))[(2768195454 % 1)].2 as u32) % 1)].3], (&mut ctx_limit));
15:43:05 G_C
15:43:05 }
15:43:05 unconstrained fn func_1(mut a: bool, mut b: [Field; 4], c: Field, ctx_limit: &mut u32) -> [(Field, i16, u8, bool, u8); 1] {
15:43:05 if ((*ctx_limit) == 0) {
15:43:05 [(-226348847049894850416790787225418677810, 4034, 81, false, 83)]
15:43:05 } else {
15:43:05 *ctx_limit = ((*ctx_limit) - 1);
15:43:05 if (!func_1(G_A, [-55897951650758648729521663288158512391, -211596086792810096581725302507713667234, 209644677267452024871408345703721494325, 226467615943761993823827174343552899933], b[3], ctx_limit)[0].3) {
15:43:05 [((a as Field), (-(G_C.1 / -26053)), 108, func_1(a, b, ((a as Field) + (G_A as Field)), ctx_limit)[0].3, if G_A {
15:43:05 97
15:43:05 } else {
15:43:05 if func_1(func_1(a, [-195351081239661911746846780951068720772, -203311071076000566137683690871564296006, -32268569751656575243387333310052202712, -130621837035184487098458108860849089492], b[0], ctx_limit)[0].3, b, (G_A as Field), ctx_limit)[0].3 {
15:43:05 func_5(if false {
15:43:05 [-25251, 21447]
15:43:05 } else {
15:43:05 G_C.0
15:43:05 }, func_1(a, b, (a as Field), ctx_limit)[0], ctx_limit)
15:43:05 } else {
15:43:05 if ((func_5(G_C.0, ((a as Field), G_C.1, 174, a, 19), ctx_limit) as u128) < (c as u128)) {
15:43:05 if (!func_1(false, [c, c, c, c], c, ctx_limit)[(if (!a) {
15:43:05 if (277738590692421764078149936368682113997 < (b[1] as u128)) {
15:43:05 if a {
15:43:05 if G_A {
15:43:05 if a {
15:43:05 if true {
15:43:05 567345904
15:43:05 } else {
15:43:05 3793113904
15:43:05 }
15:43:05 } else {
15:43:05 2547690284
15:43:05 }
15:43:05 } else {
15:43:05 1569839509
15:43:05 }
15:43:05 } else {
15:43:05 4055200298
15:43:05 }
15:43:05 } else {
15:43:05 793944563
15:43:05 }
15:43:05 } else {
15:43:05 1804644575
15:43:05 } % 1)].3) {
15:43:05 230
15:43:05 } else {
15:43:05 222
15:43:05 }
15:43:05 } else {
15:43:05 39
15:43:05 }
15:43:05 }
15:43:05 })]
15:43:05 } else {
15:43:05 [((a as Field), G_C.1, 126, (!(!a)), 99)]
15:43:05 }
15:43:05 }
15:43:05 }
15:43:05 unconstrained fn func_2(a: [bool; 4], ctx_limit: &mut u32) -> [[Field; 1]; 4] {
15:43:05 if ((*ctx_limit) == 0) {
15:43:05 [[286988078866354104798392030220350111153], [-6870354040569808704375653254014950353], [-282323612466009486938875254808479004578], [-41184393084129715189496518946196706134]]
15:43:05 } else {
15:43:05 *ctx_limit = ((*ctx_limit) - 1);
15:43:05 [if G_A {