Parent Log: http://ci.aztec-labs.com/f3d7bba24f188796 Command: eeaced0e346c0d38 noir/scripts/run_test.sh smoke-47c0b071ca38cb73 arb_program_can_be_executed Commit: https://github.com/AztecProtocol/aztec-packages/commit/4f4fae4dd76d17de272a66770bdbb7bb03612d64 Env: REF_NAME=gh-readonly-queue/master/pr-14613-ff5fb4c890066b04492da15878e9211fad013347 CURRENT_VERSION=0.87.7 CI_FULL=1 Date: Tue Jun 3 15:32:51 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14613_amd64_x1-full Resources: CPU_LIST=0-127 CPUS=2 MEM=8g TIMEOUT=600s History: http://ci.aztec-labs.com/list/0c86d7fbb99ef616 15:32:51 15:32:51 running 1 test 15:32:52 test arb_program_can_be_executed ... FAILED 15:32:52 15:32:52 failures: 15:32:52 15:32:52 ---- arb_program_can_be_executed stdout ---- 15:32:52 15:32:52 thread 'arb_program_can_be_executed' panicked at compiler/noirc_evaluator/src/ssa/ir/dfg/simplify/binary.rs:24:9: 15:32:52 assertion `left == right` failed: ICE - Binary instruction operands must have the same type 15:32:52 left: Unsigned { bit_size: 64 } 15:32:52 right: Unsigned { bit_size: 1 } 15:32:52 note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace 15:32:52 15:32:52 arbtest failed! 15:32:52 Seed: 0xb9f5150800100000 15:32:52 15:32:52 15:32:52 15:32:52 15:32:52 failures: 15:32:52 arb_program_can_be_executed 15:32:52 15:32:52 test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.21s 15:32:52