Parent Log:
http://ci.aztec-labs.com/d86f113b229be298
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/1fb41e22a4287b0d58fd35f221c9a4d4446ae306
Env: REF_NAME=gh-readonly-queue/next/pr-14776-42d5984235d2ffcaf5545e88e77eeb698e147416 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Thu Jun 5 11:24:23 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14776_amd64_x4-full
Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/fdeb39ad496bb91b
11:24:23
11:24:23 running 1 test
11:24:31 test targets::acir_vs_brillig::tests::fuzz_with_arbtest ... FAILED
11:24:31
11:24:31 failures:
11:24:31
11:24:31 ---- targets::acir_vs_brillig::tests::fuzz_with_arbtest stdout ----
11:24:31 ---
11:24:31 Comparison failed:
11:24:31 programs disagree on printed output:
11:24:31 ---
11:24:31 [[false, false, true, true], [false, false, false, false], [true, false, true, false]]
11:24:31 [[false, true, true, false], [true, false, true, true], [false, false, false, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, false, true]]
11:24:31 [[false, true, false, false], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[false, false, false, false], [false, false, false, false], [false, false, true, true]]
11:24:31 [[true, true, false, false], [true, false, false, true], [false, false, false, true]]
11:24:31 [[false, true, false, false], [true, true, false, true], [true, false, false, true]]
11:24:31 [[false, true, false, false], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, false, true, false], [true, true, true, true], [false, false, true, false]]
11:24:31 [[true, true, false, false], [true, false, false, true], [true, false, true, true]]
11:24:31 [[false, true, false, true], [true, true, false, true], [true, false, false, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[false, true, false, false], [false, false, false, true], [false, false, false, false]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, false, true]]
11:24:31 [[false, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[false, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[false, true, false, true], [true, false, true, true], [true, false, false, true]]
11:24:31 [[true, true, false, false], [true, true, false, true], [true, false, false, true]]
11:24:31 [[true, true, false, false], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[false, true, false, false], [true, true, true, false], [true, false, true, false]]
11:24:31 [[true, true, false, true], [true, true, false, true], [false, false, true, true]]
11:24:31 [[false, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, false], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31
11:24:31 --- != ---
11:24:31 [[false, false, true, true], [false, false, false, false], [true, false, true, false]]
11:24:31 [[false, true, true, false], [true, false, true, true], [false, false, false, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, false, true]]
11:24:31 [[false, true, false, false], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[false, false, false, false], [false, false, false, false], [false, false, true, true]]
11:24:31 [[true, true, false, false], [true, false, false, true], [false, false, false, true]]
11:24:31 [[false, true, false, false], [true, true, false, true], [true, false, false, true]]
11:24:31 [[false, true, false, false], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, false, true, false], [true, true, true, true], [false, false, true, false]]
11:24:31 [[true, true, false, false], [true, false, false, true], [true, false, true, true]]
11:24:31 [[false, true, false, true], [true, true, false, true], [true, false, false, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[false, true, false, false], [false, true, false, true], [false, false, false, false]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[false, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[false, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[false, true, false, true], [true, false, true, true], [true, false, false, true]]
11:24:31 [[true, true, false, false], [true, true, false, true], [true, false, false, true]]
11:24:31 [[true, true, false, false], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[false, true, false, false], [true, true, true, false], [true, false, true, false]]
11:24:31 [[true, true, false, true], [true, true, false, true], [false, false, true, true]]
11:24:31 [[false, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, false], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, false, true], [true, true, false, true], [true, false, true, true]]
11:24:31 [[true, true, true, true], [true, true, true, true], [true, false, true, true]]
11:24:31
11:24:31 ---
11:24:31 ---
11:24:31 AST:
11:24:31 global G_A: [[bool; 3]; 2] = [[true, true, false], [false, false, false]];
11:24:31 fn main() -> pub str<2> {
11:24:31 let mut ctx_limit: u32 = 25;
11:24:31 let a = unsafe { func_1_proxy([[(G_A[0][(962748316 % 3)] > (!G_A[1][1])), if true {
11:24:31 unsafe { func_1_proxy([if G_A[(507162999 % 2)][2] {
11:24:31 [if unsafe { func_1_proxy([[true, true, false, false], [false, true, true, true], [true, false, false, false]], [G_A[1][1], G_A[0][2], G_A[0][2], true], [G_A[0][2], G_A[1][0], G_A[1][0], G_A[1][1]], ctx_limit) }[1] {
11:24:31 (G_A[0][1] > G_A[0][0])
11:24:31 } else {
11:24:31 G_A[1][(3459344705 % 3)]
11:24:31 }, G_A[0][(4048882118 % 3)], G_A[0][2], (!G_A[0][2])]
11:24:31 } else {
11:24:31 [false, true, false, true]
11:24:31 }, [if (G_A[1][0] < G_A[0][0]) {
11:24:31 (!G_A[1][1])
11:24:31 } else {
11:24:31 unsafe { func_1_proxy([[G_A[0][1], G_A[0][2], G_A[1][2], G_A[0][0]], [G_A[1][0], true, G_A[1][0], G_A[0][0]], [G_A[1][1], G_A[1][1], G_A[1][1], G_A[0][2]]], [G_A[0][1], G_A[1][1], G_A[0][0], G_A[0][1]], [false, G_A[0][2], G_A[0][2], G_A[0][2]], ctx_limit) }[0]
11:24:31 }, if (G_A[0][2] < G_A[1][1]) {
11:24:31 (G_A[1][1] != G_A[1][0])
11:24:31 } else {
11:24:31 if unsafe { func_1_proxy([[G_A[0][2], G_A[1][2], G_A[0][0], G_A[0][0]], [G_A[1][2], G_A[1][2], G_A[1][0], G_A[0][2]], [G_A[0][0], G_A[1][0], G_A[0][1], false]], [G_A[1][2], G_A[0][0], true, G_A[1][1]], [true, G_A[0][2], G_A[0][0], G_A[0][0]], ctx_limit) }[(2658446106 % 3)] {
11:24:31 ((G_A[1][0] as Field) != (G_A[1][1] as Field))
11:24:31 } else {
11:24:31 (!G_A[0][1])
11:24:31 }
11:24:31 }, unsafe { func_1_proxy([[G_A[1][0], false, G_A[1][1], G_A[1][0]], [G_A[1][2], G_A[0][2], G_A[1][0], G_A[1][2]], [G_A[1][2], G_A[1][2], G_A[0][0], G_A[0][1]]], [G_A[0][0], G_A[1][2], G_A[0][2], G_A[1][2]], [false, true, false, false], ctx_limit) }[1], unsafe { func_1_proxy([[true, false, true, false], [true, true, true, true], [false, false, true, false]], [G_A[0][0], G_A[0][0], false, false], [G_A[0][2], G_A[0][2], G_A[1][1], G_A[0][0]], ctx_limit) }[(1002479944 % 3)]], if G_A[(4062888170 % 2)][2] {
11:24:31 [unsafe { func_1_proxy([[true, true, true, false], [G_A[0][1], G_A[1][0], G_A[1][0], true], [G_A[1][0], G_A[1][1], G_A[1][0], G_A[1][2]]], [G_A[1][0], G_A[0][0], G_A[1][0], G_A[1][0]], [G_A[0][1], G_A[0][2], G_A[1][2], G_A[1][1]], ctx_limit) }[1], (G_A[1][1] != G_A[0][1]), (!G_A[0][1]), G_A[0][2]]
11:24:31 } else {
11:24:31 [unsafe { func_1_proxy([[G_A[1][1], G_A[0][0], G_A[1][0], false], [G_A[1][0], G_A[1][0], G_A[1][2], G_A[0][0]], [G_A[1][1], G_A[0][2], G_A[0][2], G_A[1][0]]], [true, G_A[1][0], G_A[1][1], true], [G_A[1][0], G_A[1][2], G_A[1][0], G_A[0][0]], ctx_limit) }[0], false, G_A[(1898823341 % 2)][1], (!G_A[1][2])]
11:24:31 }], [G_A[0][1], G_A[1][0], G_A[(2250194127 % 2)][0], G_A[1][1]], [true, true, false, false], ctx_limit) }[0]
11:24:31 } else {
11:24:31 true
11:24:31 }, G_A[0][(3135553634 % 3)], G_A[(1384488783 % 2)][(660076670 % 3)]], [true, (G_A[(1538921124 % 2)][(2653801082 % 3)] < G_A[(3503802572 % 2)][(3439014871 % 3)]), G_A[0][(1981056081 % 3)], (G_A[(4244822689 % 2)][2] < (G_A[0][1] == G_A[1][1]))], [(!(G_A[1][0] < G_A[1][0])), G_A[(3800593421 % 2)][2], true, G_A[(3032413793 % 2)][1]]], [(G_A[0][2] <= G_A[1][(206689103 % 3)]), ((G_A[0][2] < true) < (G_A[1][0] >= G_A[0][1])), G_A[(2822577727 % 2)][2], G_A[0][1]], [G_A[0][(3548315234 % 3)], ((!true) < G_A[1][1]), G_A[(2766714523 % 2)][(302380347 % 3)], (!G_A[1][0])], ctx_limit) };
11:24:31 "IQ"
11:24:31 }
11:24:31 unconstrained fn func_1(a: [[bool; 4]; 3], mut b: [bool; 4], mut c: [bool; 4], ctx_limit: &mut u32) -> [bool; 3] {
11:24:31 if ((*ctx_limit) == 0) {
11:24:31 [true, true, false]
11:24:31 } else {
11:24:31 *ctx_limit = ((*ctx_limit) - 1);
11:24:31 b[1] = {
11:24:31 println(a);
11:24:31 true
11:24:31 };
11:24:31 func_1(if func_1([b, [G_A[0][0], a[0][1], b[2], true], [a[1][3], G_A[1][1], a[1][1], G_A[0][0]]], c, a[1], ctx_limit)[1] {
11:24:31 a
11:24:31 } else {
11:24:31 a
11:24:31 }, if func_1(a, b, b, ctx_limit)[1] {
11:24:31 if (G_A[1][1] == c[0]) {
11:24:31 [func_1(a, c, [false, false, false, true], ctx_limit)[0], func_1([c, [false, true, false, true], [G_A[1][0], a[2][0], G_A[0][0], c[1]]], c, [a[1][2], G_A[1][0], G_A[0][0], G_A[0][1]], ctx_limit)[2], b[1], func_1([[false, true, true, false], a[1], c], [false, false, false, false], [true, true, false, false], ctx_limit)[2]]
11:24:31 } else {
11:24:31 a[(2243279531 % 3)]
11:24:31 }
11:24:31 } else {
11:24:31 [G_A[0][2], func_1(a, b, [true, true, true, false], ctx_limit)[0], (a[2][3] != true), func_1([[true, false, false, false], [false, false, true, true], b], [true, true, false, false], b, ctx_limit)[1]]
11:24:31 }, if (G_A[0][2] <= G_A[0][0]) {
11:24:31 [func_1(a, b, c, ctx_limit)[(3061013201 % 3)], c[(2558095388 % 4)], a[(2025367229 % 3)][0], if b[1] {
11:24:31 func_1([[true, true, true, false], [false, true, true, false], [true, false, true, false]], a[1], a[1], ctx_limit)[(if (true >= b[1]) {
11:24:31 3532166988
11:24:31 } else {
11:24:31 2410824603
11:24:31 } % 3)]
11:24:31 } else {
11:24:31 false
11:24:31 }]
11:24:31 } else {
11:24:31 b
11:24:31 }, ctx_limit)
11:24:31 }
11:24:31 }
11:24:31 unconstrained fn func_1_proxy(a: [[bool; 4]; 3], mut b: [bool; 4], mut c: [bool; 4], mut ctx_limit: u32) -> [bool; 3] {
11:24:31 func_1(a, b, c, (&mut ctx_limit))
11:24:31 }
11:24:31
11:24:31 ---
11:24:31 Inputs:
11:24:31
11:24:31 ---
11:24:31 Options 1:
11:24:31 CompareOptions { inliner_aggressiveness: 0 }
11:24:31 ---
11:24:31 Program 1:
11:24:31 func 0
11:24:31 current witness index : _19
11:24:31 private parameters indices : []
11:24:31 public parameters indices : []
11:24:31 return value indices : [_0, _1]
11:24:31 BRILLIG CALL func 0: inputs: [Array([Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }]), Array([Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }]), Array([Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }]), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 25 })], outputs: [Array([Witness(2), Witness(3), Witness(4)])]
11:24:31 BLACKBOX::RANGE [(_2, 1)] []
11:24:31 BLACKBOX::RANGE [(_3, 1)] []
11:24:31 BLACKBOX::RANGE [(_4, 1)] []
11:24:31 BRILLIG CALL func 0: inputs: [Array([Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }]), Array([Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }]), Array([Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }]), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 25 })], outputs: [Array([Witness(5), Witness(6), Witness(7)])]
11:24:31 BLACKBOX::RANGE [(_5, 1)] []
11:24:31 BLACKBOX::RANGE [(_6, 1)] []
11:24:31 BLACKBOX::RANGE [(_7, 1)] []
11:24:31 BRILLIG CALL func 0: inputs: [Array([Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }]), Array([Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }]), Array([Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }]), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 25 })], outputs: [Array([Witness(8), Witness(9), Witness(10)])]
11:24:31 BLACKBOX::RANGE [(_8, 1)] []
11:24:31 BLACKBOX::RANGE [(_9, 1)] []
11:24:31 BLACKBOX::RANGE [(_10, 1)] []
11:24:31 BRILLIG CALL func 0: inputs: [Array([Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }]), Array([Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }]), Array([Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }]), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 25 })], outputs: [Array([Witness(11), Witness(12), Witness(13)])]
11:24:31 BLACKBOX::RANGE [(_11, 1)] []
11:24:31 BLACKBOX::RANGE [(_12, 1)] []
11:24:31 BLACKBOX::RANGE [(_13, 1)] []
11:24:31 BRILLIG CALL func 0: inputs: [Array([Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [(1, Witness(6))], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [(1, Witness(9))], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [(1, Witness(11))], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }]), Array([Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }]), Array([Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }]), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 25 })], outputs: [Array([Witness(14), Witness(15), Witness(16)])]
11:24:31 BLACKBOX::RANGE [(_14, 1)] []
11:24:31 BLACKBOX::RANGE [(_15, 1)] []
11:24:31 BLACKBOX::RANGE [(_16, 1)] []
11:24:31 BRILLIG CALL func 0: inputs: [Array([Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [(1, Witness(14))], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }]), Array([Expression { mul_terms: [], linear_combinations: [], q_c: 1 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }]), Array([Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 0 }, Expression { mul_terms: [], linear_combinations: [], q_c: 1 }]), Single(Expression { mul_terms: [], linear_combinations: [], q_c: 25 })], outputs: [Array([Witness(17), Witness(18), Witness(19)])]
11:24:31 BLACKBOX::RANGE [(_17, 1)] []
11:24:31 BLACKBOX::RANGE [(_18, 1)] []
11:24:31 BLACKBOX::RANGE [(_19, 1)] []
11:24:31 EXPR [ (1, _0) -73 ]
11:24:31 EXPR [ (1, _1) -81 ]
11:24:31
11:24:31 unconstrained func 0