Parent Log:
http://ci.aztec-labs.com/2e77a1d1eda36725
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/d6384eb1ff61d0c9b6496660d223eea606beea13
Env: REF_NAME=gh-readonly-queue/next/pr-14350-fed9c41b4470e61ebcd79d4c90714666135c2680 CURRENT_VERSION=0.87.2 CI_FULL=1
Date: Fri May 23 17:38:11 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=gh-readonly-queue_next_pr-14350-fed9c41b4470e61ebc_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/1f290c73e5624033
17:38:11
17:38:11 running 1 test
17:38:17 test targets::pass_vs_prev::tests::fuzz_with_arbtest ... FAILED
17:38:17
17:38:17 failures:
17:38:17
17:38:17 ---- targets::pass_vs_prev::tests::fuzz_with_arbtest stdout ----
17:38:17 ---
17:38:17 Comparison failed:
17:38:17 both programs failed: An overflow occurred while evaluating `shl v17, u8 107` (u32 0 << 107) vs constrain v42 == v45 failed:
17:38:17 u1 false != u1 true
17:38:17 Overflow { instruction: "`shl v17, u8 107` (u32 0 << 107)" }
17:38:17 ConstrainEqFailed { lhs: "u1 false", lhs_id: Id(42), rhs: "u1 true", rhs_id: Id(45) }
17:38:17 ---
17:38:17 AST:
17:38:17 global G_A: str<3> = "OCZ";
17:38:17 global G_B: str<3> = "AVT";
17:38:17 global G_C: str<3> = "PLM";
17:38:17 unconstrained fn main() -> return_data str<3> {
17:38:17 let mut ctx_limit = 25;
17:38:17 let h = func_4(func_2, (&mut ctx_limit));
17:38:17 {
17:38:17 let mut idx_a = 0;
17:38:17 loop {
17:38:17 if (idx_a == 3) {
17:38:17 break
17:38:17 } else {
17:38:17 idx_a = (idx_a + 1);
17:38:17 let g = {
17:38:17 break;
17:38:17 continue;
17:38:17 {
17:38:17 let mut idx_b = 0;
17:38:17 while true {
17:38:17 if (idx_b == 2) {
17:38:17 break
17:38:17 } else {
17:38:17 idx_b = (idx_b + 1);
17:38:17 let mut c = 21860;
17:38:17 continue;
17:38:17 {
17:38:17 let mut idx_d = 0;
17:38:17 loop {
17:38:17 if (idx_d == 6) {
17:38:17 break
17:38:17 } else {
17:38:17 idx_d = (idx_d + 1);
17:38:17 c = ((-165) * c);
17:38:17 {
17:38:17 let mut idx_e = 0;
17:38:17 loop {
17:38:17 if (idx_e == 4) {
17:38:17 break
17:38:17 } else {
17:38:17 idx_e = (idx_e + 1);
17:38:17 println(c);
17:38:17 {
17:38:17 let mut idx_f = 0;
17:38:17 while true {
17:38:17 if (idx_f == 3) {
17:38:17 break
17:38:17 } else {
17:38:17 idx_f = (idx_f + 1);
17:38:17 c = c;
17:38:17 break;
17:38:17 }
17:38:17 }
17:38:17 };
17:38:17 continue;
17:38:17 }
17:38:17 }
17:38:17 };
17:38:17 }
17:38:17 }
17:38:17 };
17:38:17 }
17:38:17 }
17:38:17 };
17:38:17 false