[INFO] cloning repository https://github.com/brandonfromph/mirr-project
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/brandonfromph/mirr-project" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbrandonfromph%2Fmirr-project", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbrandonfromph%2Fmirr-project'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] d1912da264538dfd9c10ff43b942a6f4f69c5442
[INFO] testing brandonfromph/mirr-project against master#ec6f9a5b4413f74386267ef8efc93712c2ce6db6 for pr-155739
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbrandonfromph%2Fmirr-project" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-6-tc1/source/.cargo/config.toml
[INFO] removed /workspace/builds/worker-6-tc1/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/brandonfromph/mirr-project
[INFO] finished tweaking git repo https://github.com/brandonfromph/mirr-project
[INFO] tweaked toml for git repo https://github.com/brandonfromph/mirr-project written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/brandonfromph/mirr-project on toolchain ec6f9a5b4413f74386267ef8efc93712c2ce6db6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/brandonfromph/mirr-project already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded chunked_transfer v1.5.0
[INFO] [stderr]   Downloaded cc v1.2.57
[INFO] [stderr]   Downloaded pulldown-cmark-escape v0.10.1
[INFO] [stderr]   Downloaded tiny_http v0.12.0
[INFO] [stderr]   Downloaded ascii v1.1.0
[INFO] [stderr]   Downloaded clap v4.5.60
[INFO] [stderr]   Downloaded zerocopy-derive v0.8.40
[INFO] [stderr]   Downloaded pulldown-cmark v0.10.3
[INFO] [stderr]   Downloaded clap_builder v4.5.60
[INFO] [stderr]   Downloaded zerocopy v0.8.40
[INFO] [stderr]   Downloaded web-sys v0.3.91
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 69ef463b9acb0beba79a4fde542a2ab9971b19a051d466f8943744e0a3559e2c
[INFO] running `Command { std: "docker" "start" "-a" "69ef463b9acb0beba79a4fde542a2ab9971b19a051d466f8943744e0a3559e2c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "69ef463b9acb0beba79a4fde542a2ab9971b19a051d466f8943744e0a3559e2c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "69ef463b9acb0beba79a4fde542a2ab9971b19a051d466f8943744e0a3559e2c", kill_on_drop: false }`
[INFO] [stdout] 69ef463b9acb0beba79a4fde542a2ab9971b19a051d466f8943744e0a3559e2c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 07ec045d8499cd72ca499911610a62e29ddb3eb9103ffd50c783cd178896ddbd
[INFO] running `Command { std: "docker" "start" "-a" "07ec045d8499cd72ca499911610a62e29ddb3eb9103ffd50c783cd178896ddbd", kill_on_drop: false }`
[INFO] [stderr]    Compiling unicode-ident v1.0.24
[INFO] [stderr]    Compiling typenum v1.19.0
[INFO] [stderr]    Compiling libc v0.2.182
[INFO] [stderr]    Compiling zerocopy v0.8.40
[INFO] [stderr]    Compiling semver v1.0.27
[INFO] [stderr]    Compiling memchr v2.8.0
[INFO] [stderr]    Compiling cpufeatures v0.2.17
[INFO] [stderr]    Compiling anstyle v1.0.13
[INFO] [stderr]    Compiling is_terminal_polyfill v1.70.2
[INFO] [stderr]    Compiling anstyle-query v1.1.5
[INFO] [stderr]    Compiling colorchoice v1.0.4
[INFO] [stderr]    Compiling anstyle-parse v0.2.7
[INFO] [stderr]    Compiling zmij v1.0.21
[INFO] [stderr]    Compiling zeroize v1.8.2
[INFO] [stderr]    Compiling clap_lex v1.0.0
[INFO] [stderr]    Compiling anyhow v1.0.102
[INFO] [stderr]    Compiling signature v2.2.0
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling regex-syntax v0.8.10
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling ed25519 v2.2.3
[INFO] [stderr]    Compiling glob v0.3.3
[INFO] [stderr]    Compiling anstream v0.6.21
[INFO] [stderr]    Compiling rustc_version v0.4.1
[INFO] [stderr]    Compiling curve25519-dalek v4.1.3
[INFO] [stderr]    Compiling clap_builder v4.5.60
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling quote v1.0.44
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling crypto-common v0.1.7
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling sha2 v0.10.9
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling curve25519-dalek-derive v0.1.1
[INFO] [stderr]    Compiling clap_derive v4.5.55
[INFO] [stderr]    Compiling clap v4.5.60
[INFO] [stderr]    Compiling ed25519-dalek v2.2.0
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling chrono v0.4.44
[INFO] [stderr]    Compiling nasa-rust-project v0.3.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 43.74s
[INFO] running `Command { std: "docker" "inspect" "07ec045d8499cd72ca499911610a62e29ddb3eb9103ffd50c783cd178896ddbd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "07ec045d8499cd72ca499911610a62e29ddb3eb9103ffd50c783cd178896ddbd", kill_on_drop: false }`
[INFO] [stdout] 07ec045d8499cd72ca499911610a62e29ddb3eb9103ffd50c783cd178896ddbd
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 4573d8028bddb8bf63095efe32d15c9fccc43aa5edd01cbd674fcfc066c50ba2
[INFO] running `Command { std: "docker" "start" "-a" "4573d8028bddb8bf63095efe32d15c9fccc43aa5edd01cbd674fcfc066c50ba2", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.182
[INFO] [stderr]    Compiling zerocopy v0.8.40
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling zerocopy-derive v0.8.40
[INFO] [stderr]    Compiling crossbeam-utils v0.8.21
[INFO] [stderr]    Compiling rayon-core v1.13.0
[INFO] [stderr]    Compiling plotters-backend v0.3.7
[INFO] [stderr]    Compiling getrandom v0.4.1
[INFO] [stderr]    Compiling ciborium-io v0.2.2
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling bitflags v2.11.0
[INFO] [stderr]    Compiling cast v0.3.0
[INFO] [stderr]    Compiling linux-raw-sys v0.12.1
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling anes v0.1.6
[INFO] [stderr]    Compiling oorandom v11.1.5
[INFO] [stderr]    Compiling plotters-svg v0.3.7
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling crossbeam-deque v0.8.6
[INFO] [stderr]    Compiling criterion-plot v0.5.0
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling is-terminal v0.4.17
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling ed25519-dalek v2.2.0
[INFO] [stderr]    Compiling tempfile v3.26.0
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling chrono v0.4.44
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling criterion v0.5.1
[INFO] [stderr]    Compiling nasa-rust-project v0.3.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1m 00s
[INFO] running `Command { std: "docker" "inspect" "4573d8028bddb8bf63095efe32d15c9fccc43aa5edd01cbd674fcfc066c50ba2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4573d8028bddb8bf63095efe32d15c9fccc43aa5edd01cbd674fcfc066c50ba2", kill_on_drop: false }`
[INFO] [stdout] 4573d8028bddb8bf63095efe32d15c9fccc43aa5edd01cbd674fcfc066c50ba2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 3d54357a7c117dc95ec10ebac8694032944d9d0d286c05473ae91c585ee8b2f8
[INFO] running `Command { std: "docker" "start" "-a" "3d54357a7c117dc95ec10ebac8694032944d9d0d286c05473ae91c585ee8b2f8", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.34s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/nasa_rust_project-d45b96e254c53c38)
[INFO] [stdout] 
[INFO] [stdout] running 420 tests
[INFO] [stdout] test cert::tests::test_primitive_recursive_strategy_roundtrip ... ok
[INFO] [stdout] test cert::tests::test_sha256_empty ... ok
[INFO] [stdout] test cert::tests::test_resource_constrained_strategy_roundtrip ... ok
[INFO] [stdout] test diagnostic::tests::test_build_caret_line_single ... ok
[INFO] [stdout] test diagnostic::tests::test_build_caret_line_full ... ok
[INFO] [stdout] test diagnostic::tests::test_get_source_line ... ok
[INFO] [stdout] test diagnostic::tests::test_line_number_width ... ok
[INFO] [stdout] test diagnostic::tests::test_max_labels_bounded ... ok
[INFO] [stdout] test diagnostic::tests::test_render_error_no_span ... ok
[INFO] [stdout] test diagnostic::tests::test_render_error_with_span ... ok
[INFO] [stdout] test diagnostic::tests::test_render_with_note_and_help ... ok
[INFO] [stdout] test diagnostic::tests::test_severity_display ... ok
[INFO] [stdout] test diagnostic::tests::test_truncate_line ... ok
[INFO] [stdout] test diagnostic::tests::test_warning_builder ... ok
[INFO] [stdout] test emit::dsp::tests::test_dsp_nested_multiply ... ok
[INFO] [stdout] test diagnostic::tests::test_render_full_line_span ... ok
[INFO] [stdout] test emit::dsp::tests::test_dsp_respects_max_candidates ... ok
[INFO] [stdout] test emit::dsp::tests::test_dsp_no_multiply ... ok
[INFO] [stdout] test emit::mape_k_rtl::tests::bit_width_values ... ok
[INFO] [stdout] test emit::mape_k_rtl::tests::analyze_block_contains_property_checkers ... ok
[INFO] [stdout] test emit::mape_k_rtl::tests::monitor_block_contains_shadow_regs ... ok
[INFO] [stdout] test emit::mape_k_rtl::tests::predicate_to_sv_greater_than ... ok
[INFO] [stdout] test emit::mape_k_rtl::tests::predicate_to_sv_in_range ... ok
[INFO] [stdout] test bootstrap_runner::tests::test_bootstrap_parse_error_captured ... ok
[INFO] [stdout] test emit::mape_k_rtl::tests::plan_block_contains_action_selection ... ok
[INFO] [stdout] test emit::dsp::tests::test_dsp_detects_multiply ... ok
[INFO] [stdout] test emit::mape_k_rtl::tests::execute_block_contains_emergency_latch ... ok
[INFO] [stdout] test emit::mape_k_rtl::tests::knowledge_block_contains_fifo ... ok
[INFO] [stdout] test emit::mape_k_rtl::tests::predicate_to_sv_is_true ... ok
[INFO] [stdout] test cert::tests::test_certificate_roundtrip ... ok
[INFO] [stdout] test emit::mape_k_rtl::tests::top_block_wires_all_submodules ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_alu_b_register_overflow_returns_e706 ... ok
[INFO] [stdout] test emit::mape_k_rtl::tests::predicate_to_sv_less_than ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_emit_binary_program ... ok
[INFO] [stdout] test bootstrap_runner::tests::test_bootstrap_with_fixture_root_passes_parity ... ok
[INFO] [stdout] test bootstrap_runner::tests::test_bootstrap_neonatal_passes_all_stages ... ok
[INFO] [stdout] test bootstrap_runner::tests::test_bootstrap_emit_json_flag ... ok
[INFO] [stdout] test bootstrap_runner::tests::test_summary_line_format ... ok
[INFO] [stdout] test bootstrap_runner::tests::test_bootstrap_emit_verilog_flag ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_alu_add ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_alu_imm ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_alu_unary_not ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_assert_always ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_assert_never ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_alu_imm_comparison_op_overflow_returns_e706 ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_ctr_init ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_ctr_query ... ok
[INFO] [stdout] test emit::mape_k_rtl::tests::no_display_in_output ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_emergency_stop ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_guard_and ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_guard_or ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_load_imm ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_load_input ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_ctr_tick ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_mov ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_prev ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_reflex_if ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_sr_init ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_sr_query ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_sr_tick ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_encode_decode_store_output ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_overflow_returns_e706 ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_roundtrip_all_existing_opcodes ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_v2_roundtrip_certify ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_v2_roundtrip_deadline_set ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_v2_roundtrip_fence ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_v2_roundtrip_halt ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_unknown_opcode_returns_e707 ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_v2_roundtrip_mode_switch ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_v2_roundtrip_nop ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_v2_roundtrip_tag_check ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_v2_roundtrip_tag_load ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_v2_roundtrip_tag_read ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_v2_roundtrip_total_check ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_v2_roundtrip_trap ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_v2_roundtrip_trap_if ... ok
[INFO] [stdout] test emit::rspu_encoding::tests::test_v2_roundtrip_verify ... ok
[INFO] [stdout] test emit::rspu_exceptions::tests::test_configure_handler ... ok
[INFO] [stdout] test emit::rspu_exceptions::tests::test_exception_state_new ... ok
[INFO] [stdout] test emit::rspu_exceptions::tests::test_halt_prevents_further_exceptions ... ok
[INFO] [stdout] test emit::rspu_exceptions::tests::test_mode_switch ... ok
[INFO] [stdout] test emit::rspu_exceptions::tests::test_nested_exception_depth_limit ... ok
[INFO] [stdout] test emit::rspu_exceptions::tests::test_raise_and_clear_exception ... ok
[INFO] [stdout] test emit::rspu_sim::tests::test_alu_add ... ok
[INFO] [stdout] test emit::rspu_sim::tests::test_assert_always_violation ... ok
[INFO] [stdout] test emit::rspu_sim::tests::test_emergency_stop ... ok
[INFO] [stdout] test emit::rspu_sim::tests::test_halt_stops ... ok
[INFO] [stdout] test emit::rspu_sim::tests::test_set_input_read_output ... ok
[INFO] [stdout] test emit::rspu_sim::tests::test_simulator_new ... ok
[INFO] [stdout] test emit::rspu_tagged::tests::test_arithmetic_mixed_signedness_fails ... ok
[INFO] [stdout] test emit::rspu_tagged::tests::test_bitwise_bool_ok ... ok
[INFO] [stdout] test emit::rspu_tagged::tests::test_check_alu_tags_uninit_fails ... ok
[INFO] [stdout] test emit::rspu_tagged::tests::test_comparison_bool_produces_bool ... ok
[INFO] [stdout] test emit::rspu_tagged::tests::test_comparison_requires_matching_types ... ok
[INFO] [stdout] test emit::rspu_tagged::tests::test_register_file_new_all_uninitialized ... ok
[INFO] [stdout] test emit::rspu_tagged::tests::test_register_file_read_tag ... ok
[INFO] [stdout] test emit::rspu_tagged::tests::test_register_file_write_read ... ok
[INFO] [stdout] test emit::rspu_tagged::tests::test_check_alu_tags_unsigned_add ... ok
[INFO] [stdout] test emit::rspu_tagged::tests::test_shift_non_numeric_fails ... ok
[INFO] [stdout] test emit::rspu_tagged::tests::test_shift_preserves_lhs_type ... ok
[INFO] [stdout] test emit::rspu_tagged::tests::test_tag_from_signal_type ... ok
[INFO] [stdout] test emit::rspu_tagged::tests::test_tagged_word_constructors ... ok
[INFO] [stdout] test emit::rspu_tagged::tests::test_type_tag_display ... ok
[INFO] [stdout] test emit::sexpr::tests::test_emit_sexpr_empty_module ... ok
[INFO] [stdout] test error::tests::display_backward_compat ... ok
[INFO] [stdout] test error::tests::error_code_rspu_embedded ... ok
[INFO] [stdout] test error::tests::extract_code_from_plain_message ... ok
[INFO] [stdout] test error::tests::extract_code_from_semantic_message ... ok
[INFO] [stdout] test error::tests::strip_code_no_code_passes_through ... ok
[INFO] [stdout] test error::tests::strip_code_preserves_body ... ok
[INFO] [stdout] test error::tests::to_diagnostic_parse_fallback_code ... ok
[INFO] [stdout] test error::tests::to_diagnostic_semantic_with_code ... ok
[INFO] [stdout] test hls::binding::tests::test_bind_operations_different_kinds ... ok
[INFO] [stdout] test hls::binding::tests::test_bind_operations_no_overlap ... ok
[INFO] [stdout] test hls::binding::tests::test_bind_operations_overlap ... ok
[INFO] [stdout] test hls::binding::tests::test_bind_operations_single ... ok
[INFO] [stdout] test hls::binding::tests::test_binding_debug ... ok
[INFO] [stdout] test hls::binding::tests::test_count_physical_resources ... ok
[INFO] [stdout] test hls::binding::tests::test_count_physical_resources_empty ... ok
[INFO] [stdout] test hls::binding::tests::test_validate_bindings_different_group ... ok
[INFO] [stdout] test hls::binding::tests::test_validate_bindings_same_group ... ok
[INFO] [stdout] test hls::binding::tests::test_binding_summary ... ok
[INFO] [stdout] test hls::fifo::tests::test_bits_needed ... ok
[INFO] [stdout] test hls::fifo::tests::test_emit_fifo_verilog ... ok
[INFO] [stdout] test hls::fifo::tests::test_fifo_count ... ok
[INFO] [stdout] test hls::fifo::tests::test_fifo_empty_pop ... ok
[INFO] [stdout] test hls::fifo::tests::test_fifo_full ... ok
[INFO] [stdout] test hls::fifo::tests::test_fifo_new ... ok
[INFO] [stdout] test hls::fifo::tests::test_fifo_new_exceeds_max ... ok
[INFO] [stdout] test hls::fifo::tests::test_fifo_new_invalid_depth ... ok
[INFO] [stdout] test hls::fifo::tests::test_fifo_push_pop ... ok
[INFO] [stdout] test hls::fifo::tests::test_fifo_handshake ... ok
[INFO] [stdout] test hls::fifo::tests::test_fifo_stats ... ok
[INFO] [stdout] test hls::fifo::tests::test_fifo_total_width ... ok
[INFO] [stdout] test hls::fifo::tests::test_fifo_wrap_around ... ok
[INFO] [stdout] test hls::fifo::tests::test_synthesize_fifo ... ok
[INFO] [stdout] test hls::fifo::tests::test_synthesize_fifo_invalid ... ok
[INFO] [stdout] test hls::fifo::tests::test_validate_fifo ... ok
[INFO] [stdout] test hls::schedule::tests::test_alap_chain ... ok
[INFO] [stdout] test hls::schedule::tests::test_alap_invalid_latency ... ok
[INFO] [stdout] test hls::schedule::tests::test_asap_chain ... ok
[INFO] [stdout] test hls::schedule::tests::test_asap_diamond ... ok
[INFO] [stdout] test hls::schedule::tests::test_asap_single_op ... ok
[INFO] [stdout] test hls::schedule::tests::test_mobility_computation ... ok
[INFO] [stdout] test hls::schedule::tests::test_schedule_summary ... ok
[INFO] [stdout] test hls::sharing::tests::test_can_share_different_kind ... ok
[INFO] [stdout] test hls::sharing::tests::test_can_share_same_kind_no_overlap ... ok
[INFO] [stdout] test hls::sharing::tests::test_can_share_same_kind_overlap ... ok
[INFO] [stdout] test hls::sharing::tests::test_find_shareable_ops_no_overlap ... ok
[INFO] [stdout] test hls::sharing::tests::test_find_shareable_ops_two_adds ... ok
[INFO] [stdout] test hls::sharing::tests::test_find_shareable_ops_max_groups ... ok
[INFO] [stdout] test hls::sharing::tests::test_sharing_stats ... ok
[INFO] [stdout] test hls::sharing::tests::test_sharing_summary ... ok
[INFO] [stdout] test hls::tests::test_op_dag_add_edge ... ok
[INFO] [stdout] test hls::tests::test_op_dag_add_op ... ok
[INFO] [stdout] test hls::tests::test_op_dag_max_operations ... ok
[INFO] [stdout] test hls::tests::test_op_dag_new ... ok
[INFO] [stdout] test lsp::diagnostics::tests::error_code_extracted_from_message ... ok
[INFO] [stdout] test lsp::diagnostics::tests::error_code_none_when_absent ... ok
[INFO] [stdout] test lsp::diagnostics::tests::error_with_span_maps_to_correct_range ... ok
[INFO] [stdout] test lsp::diagnostics::tests::error_without_span_maps_to_zero_range ... ok
[INFO] [stdout] test lsp::diagnostics::tests::rspu_error_severity_is_warning ... ok
[INFO] [stdout] test lsp::diagnostics::tests::semantic_error_severity_is_error ... ok
[INFO] [stdout] test lsp::server::tests::did_open_publishes_diagnostics_for_valid_source ... ok
[INFO] [stdout] test lsp::server::tests::did_open_publishes_error_for_invalid_source ... ok
[INFO] [stdout] test lsp::server::tests::initialize_returns_capabilities ... ok
[INFO] [stdout] test lsp::transport::tests::test_read_message_basic ... ok
[INFO] [stdout] test lsp::transport::tests::test_read_message_missing_content_length ... ok
[INFO] [stdout] test lsp::transport::tests::test_read_message_eof ... ok
[INFO] [stdout] test lsp::transport::tests::test_read_message_too_large ... ok
[INFO] [stdout] test lsp::transport::tests::test_write_message_roundtrip ... ok
[INFO] [stdout] test mape_k::analyzer::tests::always_followed_by_checks_delay ... ok
[INFO] [stdout] test mape_k::analyzer::tests::always_implies_violated_when_antecedent_true_and_consequent_false ... ok
[INFO] [stdout] test mape_k::analyzer::tests::always_violated ... ok
[INFO] [stdout] test mape_k::analyzer::tests::eventually_within_satisfied ... ok
[INFO] [stdout] test mape_k::analyzer::tests::eventually_within_window_boundary ... ok
[INFO] [stdout] test mape_k::analyzer::tests::multiple_properties ... ok
[INFO] [stdout] test mape_k::analyzer::tests::never_implies_satisfied_when_antecedent_true_and_consequent_false_exists ... ok
[INFO] [stdout] test mape_k::analyzer::tests::persists_broken_run ... ok
[INFO] [stdout] test mape_k::analyzer::tests::eventually_within_violated ... ok
[INFO] [stdout] test mape_k::analyzer::tests::persists_exact_boundary ... ok
[INFO] [stdout] test mape_k::bridge::tests::action_table_graduated_by_property_kind ... ok
[INFO] [stdout] test mape_k::analyzer::tests::persists_satisfied ... ok
[INFO] [stdout] test mape_k::bridge::tests::action_table_reduces_on_implies_properties ... ok
[INFO] [stdout] test mape_k::bridge::tests::all_signals_become_sensors_with_observable_flag ... ok
[INFO] [stdout] test mape_k::bridge::tests::always_implies_lowers_to_temporal_property ... ok
[INFO] [stdout] test mape_k::bridge::tests::max_unsigned_value_edge_cases ... ok
[INFO] [stdout] test mape_k::bridge::tests::never_signal_lowers_to_always_less_than_one ... ok
[INFO] [stdout] test mape_k::bridge::tests::unsigned_sensor_midpoint ... ok
[INFO] [stdout] test mape_k::bridge::tests::extract_signal_from_nested_expr ... ok
[INFO] [stdout] test mape_k::bridge::tests::too_many_signals_produces_error ... ok
[INFO] [stdout] test mape_k::bridge::tests::binary_gt_lowers_to_greater_than ... ok
[INFO] [stdout] test mape_k::bridge::tests::always_signal_lowers_to_always_is_true ... ok
[INFO] [stdout] test mape_k::bridge::tests::binary_lt_lowers_to_less_than ... ok
[INFO] [stdout] test mape_k::bridge::tests::bool_sensor_defaults ... ok
[INFO] [stdout] test mape_k::bridge::tests::cover_and_assume_are_skipped ... ok
[INFO] [stdout] test mape_k::bridge::tests::empty_module_produces_empty_config ... ok
[INFO] [stdout] test mape_k::executor::tests::clear_emergency ... ok
[INFO] [stdout] test mape_k::executor::tests::emergency_stop_zeros_all ... ok
[INFO] [stdout] test mape_k::bridge::tests::eventually_within_lowers_correctly ... ok
[INFO] [stdout] test mape_k::executor::tests::set_signal_success ... ok
[INFO] [stdout] test mape_k::executor::tests::set_signal_unknown_fails ... ok
[INFO] [stdout] test mape_k::executor::tests::switch_mode_records ... ok
[INFO] [stdout] test mape_k::knowledge::tests::clear_resets ... ok
[INFO] [stdout] test mape_k::knowledge::tests::json_serialization ... ok
[INFO] [stdout] test mape_k::knowledge::tests::record_and_retrieve ... ok
[INFO] [stdout] test mape_k::knowledge::tests::ring_buffer_eviction ... ok
[INFO] [stdout] test mape_k::ltl::tests::predicate_greater_than ... ok
[INFO] [stdout] test mape_k::ltl::tests::predicate_in_range ... ok
[INFO] [stdout] test mape_k::ltl::tests::predicate_is_true_nonzero ... ok
[INFO] [stdout] test mape_k::ltl::tests::predicate_less_than ... ok
[INFO] [stdout] test mape_k::ltl::tests::predicate_signal_name ... ok
[INFO] [stdout] test mape_k::ltl::tests::temporal_property_signal_name_for_multi_signal ... ok
[INFO] [stdout] test mape_k::monitor::tests::monitor_reset ... ok
[INFO] [stdout] test mape_k::monitor::tests::monitor_records_and_windows ... ok
[INFO] [stdout] test mape_k::monitor::tests::monitor_ignores_unknown_signal ... ok
[INFO] [stdout] test mape_k::monitor::tests::ring_buffer_basic_push_get ... ok
[INFO] [stdout] test mape_k::monitor::tests::ring_buffer_iter ... ok
[INFO] [stdout] test mape_k::planner::tests::action_label_formatting ... ok
[INFO] [stdout] test mape_k::partition::tests::arm_partition_has_analyzer_and_planner ... ok
[INFO] [stdout] test mape_k::partition::tests::component_tag_labels ... ok
[INFO] [stdout] test mape_k::partition::tests::component_tag_target_mapping ... ok
[INFO] [stdout] test mape_k::partition::tests::default_partition_has_five_components ... ok
[INFO] [stdout] test mape_k::partition::tests::fpga_partition_has_monitor_and_executor ... ok
[INFO] [stdout] test mape_k::partition::tests::partition_config_default ... ok
[INFO] [stdout] test mape_k::partition::tests::shared_partition_has_knowledge_bus ... ok
[INFO] [stdout] test mape_k::ltl::tests::temporal_property_signal_name ... ok
[INFO] [stdout] test mape_k::planner::tests::select_highest_priority ... ok
[INFO] [stdout] test mape_k::monitor::tests::ring_buffer_wraps_around ... ok
[INFO] [stdout] test mirr_driver::tests::drive_lexer_emits_expected_pushes_and_tokens ... ok
[INFO] [stdout] test mape_k::monitor::tests::ring_buffer_clear ... ok
[INFO] [stdout] test mape_k::sensor::tests::zero_noise_returns_base ... ok
[INFO] [stdout] test mape_k::planner::tests::select_no_match ... ok
[INFO] [stdout] test mape_k::planner::tests::select_from_multiple_violations ... ok
[INFO] [stdout] test mape_k::planner::tests::select_on_satisfaction ... ok
[INFO] [stdout] test mape_k::planner::tests::select_single_match ... ok
[INFO] [stdout] test mape_k::sensor::tests::deterministic_same_seed ... ok
[INFO] [stdout] test mape_k::sensor::tests::different_seed_different_output ... ok
[INFO] [stdout] test mape_k::sensor::tests::fault_injection ... ok
[INFO] [stdout] test mape_k::sensor::tests::fault_with_end_tick ... ok
[INFO] [stdout] test mape_k::sensor::tests::noise_stays_in_range ... ok
[INFO] [stdout] test mape_k::sensor::tests::reset_reproduces_sequence ... ok
[INFO] [stdout] test mirr_driver::tests::collect_tokens_simple ... ok
[INFO] [stdout] test mirr_driver::tests::drive_lexer_ident_and_keywords ... ok
[INFO] [stdout] test mirr_runtime::tests::map_integer_push ... ok
[INFO] [stdout] test mirr_runtime::tests::push_mapped_token_appends ... ok
[INFO] [stdout] test mirr_runtime::tests::token_buffer_capacity_constant ... ok
[INFO] [stdout] test parser::module_parser::guard_reflex::tests::assignment_rejects_empty_rhs ... ok
[INFO] [stdout] test parser::module_parser::guard_reflex::tests::assignment_rejects_empty_target ... ok
[INFO] [stdout] test parser::module_parser::guard_reflex::tests::assignment_rejects_missing_equals ... ok
[INFO] [stdout] test mirr_runtime::tests::map_ident_push ... ok
[INFO] [stdout] test parser::module_parser::guard_reflex::tests::assignment_strips_inline_comment ... ok
[INFO] [stdout] test parser::module_parser::guard_reflex::tests::guard_rejects_eof_mid_body ... ok
[INFO] [stdout] test parser::module_parser::guard_reflex::tests::guard_parses_correctly ... ok
[INFO] [stdout] test parser::module_parser::guard_reflex::tests::guard_rejects_missing_when ... ok
[INFO] [stdout] test parser::module_parser::guard_reflex::tests::multi_reflex_index_advances_correctly ... ok
[INFO] [stdout] test parser::module_parser::guard_reflex::tests::reflex_parses_on_block_form ... ok
[INFO] [stdout] test parser::module_parser::guard_reflex::tests::reflex_rejects_empty_assignments ... ok
[INFO] [stdout] test parser::module_parser::guard_reflex::tests::reflex_parses_inline_when_form ... ok
[INFO] [stdout] test parser::module_parser::guard_reflex::tests::reflex_rejects_missing_on_clause ... ok
[INFO] [stdout] test parser::module_parser::guard_reflex::tests::guard_rejects_empty_name ... ok
[INFO] [stdout] test sat::cnf::tests::and_produces_three_clauses ... ok
[INFO] [stdout] test parser::module_parser::guard_reflex::tests::reflex_rejects_unclosed_brace ... ok
[INFO] [stdout] test sat::cnf::tests::literal_false_produces_negated_unit ... ok
[INFO] [stdout] test sat::cnf::tests::literal_true_produces_unit_clause ... ok
[INFO] [stdout] test sat::cnf::tests::not_produces_two_clauses ... ok
[INFO] [stdout] test sat::simplify_sat::tests::identical_expr_no_check ... ok
[INFO] [stdout] test sat::simplify_sat::tests::is_boolean_pure_boolean ... ok
[INFO] [stdout] test sat::simplify_sat::tests::is_boolean_rejects_arithmetic ... ok
[INFO] [stdout] test sat::solver::tests::contradiction_is_unsat ... ok
[INFO] [stdout] test sat::simplify_sat::tests::structural_equality_different_expr ... ok
[INFO] [stdout] test sat::solver::tests::empty_formula_is_sat ... ok
[INFO] [stdout] test sat::solver::tests::two_variable_sat ... ok
[INFO] [stdout] test sat::solver::tests::unit_propagation_works ... ok
[INFO] [stdout] test sat::solver::tests::single_positive_literal ... ok
[INFO] [stdout] test span::tests::merge_spans ... ok
[INFO] [stdout] test span::tests::single_line_span ... ok
[INFO] [stdout] test span::tests::full_line_span ... ok
[INFO] [stdout] test sat::solver::tests::two_variable_unsat ... ok
[INFO] [stdout] test suggest::tests::test_closest_match_empty ... ok
[INFO] [stdout] test suggest::tests::test_closest_match_found ... ok
[INFO] [stdout] test sat::simplify_sat::tests::structural_equality_same_expr ... ok
[INFO] [stdout] test suggest::tests::test_closest_match_skips_identical ... ok
[INFO] [stdout] test suggest::tests::test_levenshtein_empty ... ok
[INFO] [stdout] test sat::cnf::tests::truncated_flag_on_overflow ... ok
[INFO] [stdout] test suggest::tests::test_levenshtein_identical ... ok
[INFO] [stdout] test suggest::tests::test_closest_match_too_far ... ok
[INFO] [stdout] test suggest::tests::test_levenshtein_multiple ... ok
[INFO] [stdout] test suggest::tests::test_levenshtein_single_edit ... ok
[INFO] [stdout] test symbolic::diff::tests::diff_comparison ... ok
[INFO] [stdout] test symbolic::diff::tests::diff_constant ... ok
[INFO] [stdout] test symbolic::diff::tests::diff_not ... ok
[INFO] [stdout] test mirr_runtime::tests::token_buffer_push_overflow ... ok
[INFO] [stdout] test symbolic::diff::tests::diff_product_same ... ok
[INFO] [stdout] test symbolic::diff::tests::diff_same_signal ... ok
[INFO] [stdout] test symbolic::diff::tests::diff_product_with_constant ... ok
[INFO] [stdout] test symbolic::diff::tests::diff_other_signal ... ok
[INFO] [stdout] test symbolic::diff::tests::diff_sum_signals ... ok
[INFO] [stdout] test symbolic::diff::tests::diff_sum_with_constant ... ok
[INFO] [stdout] test symbolic::pattern::tests::test_match_word_empty_patterns ... ok
[INFO] [stdout] test symbolic::pattern::tests::test_match_word_first_match_wins ... ok
[INFO] [stdout] test symbolic::pattern::tests::test_match_word_no_match_returns_continue ... ok
[INFO] [stdout] test symbolic::pattern::tests::test_match_word_respects_max_bound ... ok
[INFO] [stdout] test symbolic::pattern::tests::test_match_word_value_mask ... ok
[INFO] [stdout] test symbolic::pattern::tests::test_match_word_wildcard_tag ... ok
[INFO] [stdout] test symbolic::pattern::tests::test_tag_to_byte_all_variants ... ok
[INFO] [stdout] test symbolic::tests::concrete_add ... ok
[INFO] [stdout] test symbolic::tests::concrete_lt_false ... ok
[INFO] [stdout] test symbolic::tests::eval_binary_expr ... ok
[INFO] [stdout] test symbolic::tests::concrete_lt_true ... ok
[INFO] [stdout] test symbolic::tests::eval_literal_bool ... ok
[INFO] [stdout] test symbolic::diff::tests::diff_prev ... ok
[INFO] [stdout] test symbolic::tests::eval_literal_integer ... ok
[INFO] [stdout] test symbolic::tests::eval_nested_binary ... ok
[INFO] [stdout] test symbolic::tests::eval_prev_is_top ... ok
[INFO] [stdout] test symbolic::tests::eval_signal_not_found_is_top ... ok
[INFO] [stdout] test symbolic::tests::lookup_returns_top_for_empty ... ok
[INFO] [stdout] test symbolic::tests::eval_signal_found ... ok
[INFO] [stdout] test symbolic::tests::unary_negate_widens ... ok
[INFO] [stdout] test symbolic::tests::unary_not_concrete ... ok
[INFO] [stdout] test symbolic::tests::eval_unary_expr ... ok
[INFO] [stdout] test symbolic::tests::unknown_widens_to_max ... ok
[INFO] [stdout] test symbolic::tests::refinement_concrete_in_range ... ok
[INFO] [stdout] test symbolic::tests::widen_intervals_to_unknown ... ok
[INFO] [stdout] test temporal::clock_domain::tests::default_domain_always_present ... ok
[INFO] [stdout] test temporal::clock_domain::tests::domain_count_bounded ... ok
[INFO] [stdout] test temporal::clock_domain::tests::extract_domain_from_suffix ... ok
[INFO] [stdout] test symbolic::tests::refinement_concrete_out_of_range ... ok
[INFO] [stdout] test temporal::clock_domain::tests::no_crossings_in_single_domain ... ok
[INFO] [stdout] test temporal::clock_domain::tests::signal_domain_default ... ok
[INFO] [stdout] test symbolic::tests::top_absorbs ... ok
[INFO] [stdout] test symbolic::tests::widen_concrete_to_interval ... ok
[INFO] [stdout] test symbolic::tests::widen_same_is_stable ... ok
[INFO] [stdout] test symbolic::tests::refinement_top_is_false ... ok
[INFO] [stdout] test temporal::compiler::tests::test_shift_register_compilation ... ok
[INFO] [stdout] test temporal::emit::tests::test_dot_contains_cluster ... ok
[INFO] [stdout] test temporal::emit::tests::test_json_contains_guard_name ... ok
[INFO] [stdout] test temporal::low_level_ir::tests::test_counter_guard_creation ... ok
[INFO] [stdout] test temporal::low_level_ir::tests::test_generated_signal_creation ... ok
[INFO] [stdout] test parser::module_parser::guard_reflex::tests::reflex_body_bound_enforced ... ok
[INFO] [stdout] test temporal::compiler::tests::test_resource_estimation ... ok
[INFO] [stdout] test temporal::low_level_ir::tests::test_netlist_statistics ... ok
[INFO] [stdout] test temporal::compiler::tests::test_counter_compilation ... ok
[INFO] [stdout] test temporal::compiler::tests::test_strategy_selection ... ok
[INFO] [stdout] test temporal::low_level_ir::tests::test_condition_kind_all_comparison_ops_accepted ... ok
[INFO] [stdout] test temporal::low_level_ir::tests::test_condition_kind_logical_ops_rejected ... ok
[INFO] [stdout] test temporal::compiler::tests::test_condition_kind_stored_in_compiled_ir ... ok
[INFO] [stdout] test temporal::emit::tests::test_dot_starts_with_digraph ... ok
[INFO] [stdout] test temporal::low_level_ir::tests::test_condition_kind_describe ... ok
[INFO] [stdout] test temporal::low_level_ir::tests::test_shift_register_guard_creation ... ok
[INFO] [stdout] test temporal::retiming::tests::empty_netlist_no_change ... ok
[INFO] [stdout] test temporal::retiming::tests::default_config_disabled ... ok
[INFO] [stdout] test temporal::retiming::tests::retiming_bounded_passes ... ok
[INFO] [stdout] test temporal::retiming::tests::graph_node_bound ... ok
[INFO] [stdout] test toolchain::eqy::tests::test_eqy_config_mingw_paths ... ok
[INFO] [stdout] test toolchain::formal::tests::test_default_config ... ok
[INFO] [stdout] test toolchain::eqy::tests::test_eqy_config_generation ... ok
[INFO] [stdout] test toolchain::formal::tests::test_depth_clamp_in_config ... ok
[INFO] [stdout] test toolchain::formal::tests::test_derive_sby_path ... ok
[INFO] [stdout] test toolchain::formal::tests::test_parse_verdicts_fail ... ok
[INFO] [stdout] test toolchain::formal::tests::test_parse_verdicts_ignores_non_sby_lines ... ok
[INFO] [stdout] test toolchain::formal::tests::test_parse_verdicts_mixed ... ok
[INFO] [stdout] test toolchain::formal::tests::test_parse_verdicts_pass ... ok
[INFO] [stdout] test toolchain::icetime::tests::test_parse_frequency ... ok
[INFO] [stdout] test toolchain::icetime::tests::test_parse_frequency_no_match ... ok
[INFO] [stdout] test toolchain::icetime::tests::test_timing_result_default ... ok
[INFO] [stdout] test toolchain::sby::tests::test_engine_from_str ... ok
[INFO] [stdout] test toolchain::sby::tests::test_engine_names ... ok
[INFO] [stdout] test toolchain::sby::tests::test_parse_sby_output_cover ... ok
[INFO] [stdout] test toolchain::sby::tests::test_parse_sby_output_empty ... ok
[INFO] [stdout] test toolchain::sby::tests::test_parse_sby_output_fail_with_step ... ok
[INFO] [stdout] test toolchain::sby::tests::test_parse_sby_output_pass ... ok
[INFO] [stdout] test toolchain::sby::tests::test_parse_sby_output_skips_non_sby_lines ... ok
[INFO] [stdout] test toolchain::sby::tests::test_parse_sby_output_unknown ... ok
[INFO] [stdout] test toolchain::sby::tests::test_sby_config_depth_clamped ... ok
[INFO] [stdout] test toolchain::sby::tests::test_sby_config_generation_all_tasks ... ok
[INFO] [stdout] test toolchain::sby::tests::test_sby_config_generation_bmc_only ... ok
[INFO] [stdout] test toolchain::sby::tests::test_sby_config_generation_with_cover ... ok
[INFO] [stdout] test toolchain::sby::tests::test_sby_config_generation_with_prove ... ok
[INFO] [stdout] test toolchain::sby::tests::test_sby_config_mingw_paths ... ok
[INFO] [stdout] test toolchain::tests::test_normalize_path_already_forward ... ok
[INFO] [stdout] test toolchain::tests::test_normalize_path_for_mingw ... ok
[INFO] [stdout] test toolchain::tests::test_registry_probe_unavailable ... ok
[INFO] [stdout] test toolchain::tests::test_tool_binary_names ... ok
[INFO] [stdout] test totality::tests::test_combinational_cycle_detected ... ok
[INFO] [stdout] test totality::tests::test_prev_breaks_cycle ... ok
[INFO] [stdout] test toolchain::tests::test_toolchain_error_display ... ok
[INFO] [stdout] test typeck::extended::tests::base_max_value_bool ... ok
[INFO] [stdout] test toolchain::verilator::tests::test_lint_path_normalization ... ok
[INFO] [stdout] test typeck::extended::tests::base_max_value_unsigned ... ok
[INFO] [stdout] test typeck::extended::tests::effective_width_no_refinement ... ok
[INFO] [stdout] test typeck::extended::tests::effective_width_with_refinement ... ok
[INFO] [stdout] test totality::tests::test_temporal_bound ... ok
[INFO] [stdout] test totality::tests::test_total_module_passes_all ... ok
[INFO] [stdout] test typeck::extended::tests::extended_signal_decl_from_legacy ... ok
[INFO] [stdout] test typeck::extended::tests::firrtl_type_scalar ... ok
[INFO] [stdout] test typeck::extended::tests::extended_type_with_qualifiers ... ok
[INFO] [stdout] test typeck::extended::tests::refinement_bound_display ... ok
[INFO] [stdout] test typeck::extended::tests::extended_type_from_base_is_base_only ... ok
[INFO] [stdout] test totality::tests::test_undriven_output_fails_completeness ... ok
[INFO] [stdout] test typeck::extended::tests::extended_type_display ... ok
[INFO] [stdout] test toolchain::verilator::tests::test_verilator_result_default ... ok
[INFO] [stdout] test typeck::extended::tests::clock_domain_display ... ok
[INFO] [stdout] test typeck::extended::tests::hardware_mapping_synthesis_impact ... ok
[INFO] [stdout] test typeck::extended::tests::firrtl_type_with_array ... ok
[INFO] [stdout] test typeck::extended::tests::phantom_tag_display ... ok
[INFO] [stdout] test typeck::extended::tests::refinement_bound_satisfied ... ok
[INFO] [stdout] test typeck::extended::tests::dependent_param_display ... ok
[INFO] [stdout] test typeck::extended::tests::type_nat_total_width ... ok
[INFO] [stdout] test typeck::extended::tests::refinement_width_hint_from_upper_bound ... ok
[INFO] [stdout] test typeck::extended::tests::refinement_bound_implied_max ... ok
[INFO] [stdout] test width::verify::tests::test_verify_empty_input ... ok
[INFO] [stdout] test typeck::extended::tests::session_role_display ... ok
[INFO] [stdout] test typeck::extended::tests::error_codes_are_distinct ... ok
[INFO] [stdout] test width::verify::tests::test_verify_under_solved_triggers_bug ... ok
[INFO] [stdout] test width::verify::tests::test_verify_minimal_solution ... ok
[INFO] [stdout] test typeck::extended::tests::type_nat_bounds ... ok
[INFO] [stdout] test width::verify::tests::test_verify_width_1_skipped ... ok
[INFO] [stdout] test sat::simplify_sat::tests::double_negation_verified ... ok
[INFO] [stdout] test mape_k::analyzer::tests::always_satisfied ... ok
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/generate_mirr_stress.rs (/opt/rustwide/target/debug/deps/generate_mirr_stress-61ff49b2a2bd9364)
[INFO] [stdout] test result: ok. 420 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.13s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/mirr-audit.rs (/opt/rustwide/target/debug/deps/mirr_audit-b9412df283d4e35a)
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/mirr-brain.rs (/opt/rustwide/target/debug/deps/mirr_brain-db145efd363b827d)
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/mirr-compile/main.rs (/opt/rustwide/target/debug/deps/mirr_compile-03d61a6a9dc85b74)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/mirr-diff/main.rs (/opt/rustwide/target/debug/deps/mirr_diff-2878cf2102e46cf4)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/mirr-explain/main.rs (/opt/rustwide/target/debug/deps/mirr_explain-83c775f12d676c6c)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/mirr-general.rs (/opt/rustwide/target/debug/deps/mirr_general-8cd506fb2c76a1cc)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/mirr-lsp.rs (/opt/rustwide/target/debug/deps/mirr_lsp-b6e83531bdfaa9ad)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/mirr-simplify.rs (/opt/rustwide/target/debug/deps/mirr_simplify-1cca3d12a1c802dc)
[INFO] [stderr]      Running unittests src/bin/mirr-simulate.rs (/opt/rustwide/target/debug/deps/mirr_simulate-3236dd0f9c8503f1)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/mirr-wave.rs (/opt/rustwide/target/debug/deps/mirr_wave-2134c82db0c49985)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/mirr-width.rs (/opt/rustwide/target/debug/deps/mirr_width-cbbb044e115d0c5a)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/nasa_rust_project-99bf131d0d43ed76)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/run_lexer.rs (/opt/rustwide/target/debug/deps/run_lexer-35085d76deac8ce3)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/all_extended_tests.rs (/opt/rustwide/target/debug/deps/all_extended_tests-18739f2d9179a25b)
[INFO] [stdout] 
[INFO] [stdout] running 871 tests
[INFO] [stdout] test emit_verilog_extended_tests::part10::prev_delay_1_renders_as_d1 ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part10::prev_in_binary_expression ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part11::expr_literal_bool_true ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part11::expr_literal_bool_false ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part10::prev_delay_3_renders_as_d3 ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part11::expr_multiply_operator ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part11::expr_not_operator ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part12::condition_negated_signal ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part12::condition_simple_signal ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part11::expr_literal_integer ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part13::sva_always_formula ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part13::sva_always_followed_by_delay ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part13::sva_always_implies_operator ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part14::sva_directive_cover_keyword ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part13::sva_eventually_within_temporal ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part15::sva_disable_iff_with_rst_n_input ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part13::sva_no_properties_when_empty ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part13::sva_never_formula_negation ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part14::sva_directive_assume_keyword ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part15::sva_no_disable_iff_without_rst_n ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part13::sva_never_implies_negated_implication ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part14::sva_directive_assert_keyword ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part16::bind_file_contains_assert_property ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part16::bind_file_contains_bind_statement ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part16::bind_file_contains_sva_module_name ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part16::bind_file_empty_without_properties ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part16::bind_file_ports_are_all_inputs ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part13::sva_posedge_clk_clock ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part17::synthesis_mode_no_sva_section_header ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part19::synchronizer_chains_produces_sync_register ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part18::sva_only_no_module_wrapper ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part18::sva_only_has_module_comment ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part16::bind_file_has_auto_generated_comment ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part19::synchronizer_chains_zero_stages_returns_empty ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part19::synchronizer_chains_skip_clk_rst ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part17::synthesis_mode_strips_sva ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part1::header_contains_auto_generated_comment ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part16::bind_file_has_endmodule ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part19::synchronizer_chains_header_comment ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part20::pattern_origin_comment_in_output ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part1::header_contains_phase6_marker ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part21::property_origin_comment_in_sva ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part1::header_contains_target_sv ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part1::output_ends_with_endmodule ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part18::sva_only_contains_assertions ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part19::synchronizer_chains_skip_output_signals ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part17::synthesis_mode_preserves_module ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part1::header_contains_do_not_edit_warning ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part17::synthesis_mode_preserves_rtl ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part22::no_temporal_section_without_netlist ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part22::temporal_section_header_present ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part25::full_pipeline_counter_guard_module ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part25::full_pipeline_multi_guard_module ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part25::full_pipeline_all_properties_module ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part18::sva_only_empty_for_no_properties ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part23::output_has_reasonable_line_count ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part20::no_pattern_section_without_origins ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part24::all_binary_ops_in_expression ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part26::condition_boolean_literal_in_comparison ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part23::property_heavy_output_bounded ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part26::multiple_assignments_in_single_reflex ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part26::empty_module_no_crash ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part26::condition_boolean_false_literal ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part26::negate_expr_renders_correctly ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part25::full_pipeline_round_trip_minimal ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part27::shr_operator_renders ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part2::module_decl_contains_module_name ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part2::module_decl_auto_injects_clk_with_guards ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part2::module_decl_no_clk_without_guards ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part2::module_decl_internal_not_in_port_list ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part2::module_decl_input_direction ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part2::module_decl_output_direction ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part3::sv_type_bool_renders_as_logic ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part4::internal_signals_section_header ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part4::internal_signal_declared_inside_module ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part2::module_decl_port_commas_correct ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part3::sv_type_u16_renders_with_width ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part5::shift_register_always_ff_block ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part3::sv_type_signed_renders_correctly ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part4::no_internal_section_when_none_exist ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part3::sv_type_u1_renders_as_logic_no_range ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part5::shift_register_condition_wire ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part5::shift_register_guard_comment ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part3::sv_type_u8_renders_with_width ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part6::counter_guard_always_ff ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part6::counter_guard_output_comparison ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part5::shift_register_sr_declaration ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part5::shift_register_reset_logic ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part5::shift_register_output_and_reduction ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part7::one_cycle_guard_condition_wire ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part7::one_cycle_guard_no_always_ff ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part6::counter_guard_reset_and_count_logic ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part7::one_cycle_guard_uses_assign ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part8::complex_guard_assign_block ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part9::reflex_guard_out_wire_declared ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part9::reflex_default_assignment_prevents_latch ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part9::reflex_name_in_comment ... ok
[INFO] [stdout] test mape_k_bridge_tests::part1::bridge_always_property_from_parsed_source ... ok
[INFO] [stdout] test mape_k_bridge_tests::part1::bridge_assume_property_skipped_from_source ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part9::reflex_section_header ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part9::no_reflex_section_when_empty ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part9::reflex_single_guard_condition ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part6::counter_guard_comment ... ok
[INFO] [stdout] test mape_k_bridge_tests::part1::bridge_internal_signals_excluded_from_sensors ... ok
[INFO] [stdout] test mape_k_bridge_tests::part1::bridge_eventually_within_from_parsed_source ... ok
[INFO] [stdout] test mape_k_bridge_tests::part1::bridge_mixed_directives_only_assert_lowered ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part9::reflex_multi_guard_and_join ... ok
[INFO] [stdout] test mape_k_bridge_tests::part1::bridge_multiple_inputs_produces_sensors_in_order ... ok
[INFO] [stdout] test mape_k_bridge_tests::part1::bridge_multiple_properties_from_source ... ok
[INFO] [stdout] test mape_k_bridge_tests::part1::bridge_narrow_unsigned_sensor_1bit ... ok
[INFO] [stdout] test mape_k_bridge_tests::part1::bridge_basic_module_produces_valid_config ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part9::reflex_always_comb_block ... ok
[INFO] [stdout] test mape_k_bridge_tests::part1::bridge_binary_lt_expression_lowers_to_less_than ... ok
[INFO] [stdout] test mape_k_bridge_tests::part1::bridge_bool_input_sensor_defaults_from_source ... ok
[INFO] [stdout] test mape_k_bridge_tests::part1::bridge_cover_property_skipped_from_source ... ok
[INFO] [stdout] test emit_verilog_extended_tests::part12::condition_comparison_gt ... ok
[INFO] [stdout] test mape_k_bridge_tests::part1::bridge_output_signals_excluded_from_sensors_parsed ... ok
[INFO] [stdout] test mape_k_bridge_tests::part1::bridge_never_property_from_parsed_source ... ok
[INFO] [stdout] test mape_k_bridge_tests::part1::bridge_sensor_fault_fields_default_to_none ... ok
[INFO] [stdout] test mape_k_bridge_tests::part1::bridge_sensor_seeds_are_sequential_from_seed_base ... ok
[INFO] [stdout] test mape_k_bridge_tests::part1::bridge_signed_1bit_sensor ... ok
[INFO] [stdout] test mape_k_bridge_tests::part1::bridge_signed_input_sensor_centered_at_zero ... ok
[INFO] [stdout] test mape_k_bridge_tests::part1::bridge_u16_sensor_midpoint ... ok
[INFO] [stdout] test mape_k_bridge_tests::part1::bridge_unsigned_input_sensor_midpoint_from_source ... ok
[INFO] [stdout] test mape_k_bridge_tests::part1::bridge_wide_unsigned_sensor_64bit ... ok
[INFO] [stdout] test mape_k_bridge_tests::part1::bridge_zero_width_unsigned_sensor ... ok
[INFO] [stdout] test mape_k_bridge_tests::part2::bridge_action_table_empty_when_no_properties ... ok
[INFO] [stdout] test mape_k_bridge_tests::part2::bridge_action_table_empty_when_only_cover_assume ... ok
[INFO] [stdout] test mape_k_bridge_tests::part2::bridge_action_table_one_entry_per_property ... ok
[INFO] [stdout] test mape_k_bridge_tests::part2::bridge_always_followed_by_now_supported ... ok
[INFO] [stdout] test mape_k_bridge_tests::part2::bridge_binary_and_falls_back_to_is_true ... ok
[INFO] [stdout] test mape_k_bridge_tests::part2::bridge_always_implies_now_supported ... ok
[INFO] [stdout] test mape_k_bridge_tests::part2::bridge_binary_eq_falls_back_to_is_true ... ok
[INFO] [stdout] test mape_k_bridge_tests::part2::bridge_binary_ge_expression_lowers_to_greater_than_minus_one ... ok
[INFO] [stdout] test mape_k_bridge_tests::part2::bridge_binary_gt_expression_lowers_to_greater_than ... ok
[INFO] [stdout] test mape_k_bridge_tests::part2::bridge_binary_le_expression_lowers_to_less_than_plus_one ... ok
[INFO] [stdout] test mape_k_bridge_tests::part2::bridge_binary_with_no_signal_falls_back_to_error ... ok
[INFO] [stdout] test mape_k_bridge_tests::part2::bridge_bool_literal_in_never_formula ... ok
[INFO] [stdout] test mape_k_bridge_tests::part2::bridge_error_display_too_many_properties ... ok
[INFO] [stdout] test mape_k_bridge_tests::part2::bridge_error_display_unsupported_formula ... ok
[INFO] [stdout] test mape_k_bridge_tests::part2::bridge_literal_only_formula_produces_error ... ok
[INFO] [stdout] test mape_k_bridge_tests::part2::bridge_prev_expression_treated_as_signal_check ... ok
[INFO] [stdout] test mape_k_bridge_tests::part2::bridge_unary_not_extracts_signal_name ... ok
[INFO] [stdout] test mape_k_bridge_tests::part2::bridge_multiple_advanced_formulas_now_supported ... ok
[INFO] [stdout] test mape_k_bridge_tests::part2::bridge_too_many_signals_produces_error ... ok
[INFO] [stdout] test mape_k_bridge_tests::part3::bridge_config_from_module_with_all_signal_types ... ok
[INFO] [stdout] test mape_k_bridge_tests::part3::bridge_binary_expression_with_signal_on_right_fallback ... ok
[INFO] [stdout] test mape_k_bridge_tests::part3::bridge_always_implies_from_parsed_source_now_supported ... ok
[INFO] [stdout] test mape_k_bridge_tests::part2::bridge_error_display_too_many_signals ... ok
[INFO] [stdout] test mape_k_bridge_tests::part2::bridge_too_many_properties_produces_error ... ok
[INFO] [stdout] test mape_k_bridge_tests::part3::bridge_exactly_max_signals_succeeds ... ok
[INFO] [stdout] test mape_k_bridge_tests::part3::bridge_config_sensors_properties_and_actions_are_consistent ... ok
[INFO] [stdout] test mape_k_bridge_tests::part3::bridge_full_pipeline_without_mape_k_disabled ... ok
[INFO] [stdout] test mape_k_bridge_tests::part3::bridge_empty_module_produces_empty_config ... ok
[INFO] [stdout] test mape_k_bridge_tests::part3::bridge_ge_at_zero_saturates ... ok
[INFO] [stdout] test mape_k_bridge_tests::part2::bridge_never_implies_now_supported ... ok
[INFO] [stdout] test mape_k_bridge_tests::part3::bridge_eventually_within_parsed_with_large_cycle_count ... ok
[INFO] [stdout] test mape_k_bridge_tests::part3::bridge_knowledge_capacity_is_4096 ... ok
[INFO] [stdout] test mape_k_bridge_tests::part3::bridge_le_at_u64_max_saturates ... ok
[INFO] [stdout] test mape_k_bridge_tests::part3::bridge_max_properties_constant_is_64 ... ok
[INFO] [stdout] test mape_k_bridge_tests::part3::bridge_max_signals_constant_is_256 ... ok
[INFO] [stdout] test mape_k_bridge_tests::part3::bridge_mixed_property_types_all_supported ... ok
[INFO] [stdout] test mape_k_bridge_tests::part3::bridge_signals_only_no_properties ... ok
[INFO] [stdout] test mape_k_bridge_tests::part3::bridge_window_size_is_64 ... ok
[INFO] [stdout] test mape_k_bridge_tests::part3::bridge_neonatal_respirator_scenario ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d10_tests::test_d10_eval_custom_step_limit ... ok
[INFO] [stdout] test mape_k_bridge_tests::part3::bridge_properties_only_no_signals ... ok
[INFO] [stdout] test mape_k_bridge_tests::part3::bridge_exactly_max_properties_succeeds ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d10_tests::test_d10_eval_nested_but_within_budget ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d10_tests::test_d10_eval_depth_limit ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d10_tests::test_d10_eval_let_within_budget ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d10_tests::test_d10_eval_within_budget ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d1_tests::test_d1_roundtrip_fir_filter ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d1_tests::test_d1_roundtrip_shift_register ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d1_tests::test_d1_roundtrip_industrial_safety ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d1_tests::test_d1_roundtrip_multi_guard ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d1_tests::test_d1_roundtrip_icu_monitor ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d1_tests::test_d1_roundtrip_minimal_bool ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d1_tests::test_d1_roundtrip_signed ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d2_tests::test_d2_car_of_cons ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d2_tests::test_d2_car_of_list ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d2_tests::test_d2_car_simple_list ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d1_tests::test_d1_roundtrip_neonatal ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d1_tests::test_d1_roundtrip_autonomous_vehicle ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d2_tests::test_d2_car_nested ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d1_tests::test_d1_roundtrip_safety_property ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d2_tests::test_d2_car_singleton ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d2_tests::test_d2_car_bool_list ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d1_tests::test_d1_roundtrip_flight_controller ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d2_tests::test_d2_car_empty_list_errors ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d2_tests::test_d2_cdr_empty_list_errors ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d2_tests::test_d2_cdr_nested ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d2_tests::test_d2_cdr_of_cons ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d2_tests::test_d2_cons_nested_list ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d2_tests::test_d2_cons_prepend ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d2_tests::test_d2_cdr_simple_list ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d2_tests::test_d2_cdr_singleton ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d2_tests::test_d2_cdr_two_elements ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d2_tests::test_d2_list_form ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d2_tests::test_d2_cons_onto_empty ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d3_tests::test_d3_match_type_empty_list ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d3_tests::test_d3_match_type_bool_true ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d2_tests::test_d2_cons_symbol ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d2_tests::test_d2_list_empty ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d2_tests::test_d2_nested_car_cdr ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d3_tests::test_d3_match_type_first_match_wins ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d3_tests::test_d3_match_type_integer ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d3_tests::test_d3_match_type_negative_integer ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d3_tests::test_d3_match_type_nested_list ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d3_tests::test_d3_match_type_list ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d3_tests::test_d3_match_type_no_match_errors ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d3_tests::test_d3_match_type_bool_false ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d3_tests::test_d3_match_type_binds_variable ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d3_tests::test_d3_match_type_string ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d3_tests::test_d3_match_type_quote ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d3_tests::test_d3_match_type_symbol ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d4_tests::test_d4_quasiquote_arithmetic ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d4_tests::test_d4_quasiquote_bool_unquote ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d3_tests::test_d3_match_type_zero ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d3_tests::test_d3_match_type_returns_constant ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d4_tests::test_d4_quasiquote_with_unquote ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d4_tests::test_d4_quote_literal ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d4_tests::test_d4_quasiquote_no_unquote ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d4_tests::test_d4_quote_symbol ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d4_tests::test_d4_quasiquote_nested ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d1_tests::test_d1_roundtrip_tmr_sensor_fusion ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d5_tests::test_d5_macro_expand_hygienic_depth_limit ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d5_tests::test_d5_macro_expand_counter_increments ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d5_tests::test_d5_macro_expand_hygienic_list ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d5_tests::test_d5_macro_expand_hygienic_atom_passthrough ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d4_tests::test_d4_quote_list ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d4_tests::test_d4_quote_preserves_structure ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d5_tests::test_d5_macro_expand_hygienic_quote_preserved ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d6_tests::test_d6_reader_delay_zero ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d5_tests::test_d5_macro_expand_hygienic_substitution ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d6_tests::test_d6_reader_freq_ghz ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d4_tests::test_d4_quasiquote_string_unquote ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d6_tests::test_d6_reader_delay ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d6_tests::test_d6_reader_freq_hz ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d6_tests::test_d6_reader_freq_khz ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d5_tests::test_d5_macro_expand_hygienic_renames_internal ... ok
[INFO] [stdout] test mape_k_bridge_tests::part3::bridge_full_pipeline_with_mape_k_enabled ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d5_tests::test_d5_macro_expand_hygienic_symbol_not_renamed ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d6_tests::test_d6_reader_freq_mhz ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d6_tests::test_d6_reader_registry_is_not_empty ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d5_tests::test_d5_macro_expander_new ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d6_tests::test_d6_reader_unknown_macro_returns_err ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d6_tests::test_d6_reader_range ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d7_tests::test_d7_depth_1_ok ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d7_tests::test_d7_depth_10_ok ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d6_tests::test_d6_reader_macro_registry_new ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d7_tests::test_d7_depth_30_ok ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d7_tests::test_d7_depth_max_ok ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d7_tests::test_d7_depth_max_plus_10_fails ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d7_tests::test_d7_depth_100_fails ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d7_tests::test_d7_depth_max_plus_1_fails ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d7_tests::test_d7_nested_lists_at_same_depth ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d8_tests::test_d8_deeply_nested_error ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d8_tests::test_d8_empty_input_error ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d7_tests::test_d7_flat_list_at_depth_1 ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d8_tests::test_d8_just_close_paren ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d8_tests::test_d8_extra_close_parens ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d5_tests::test_d5_macro_expand_hygienic_simple ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d7_tests::test_d7_depth_50_ok ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d8_tests::test_d8_large_integer ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d8_tests::test_d8_multiple_unbalanced ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d8_tests::test_d8_only_comment ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d8_tests::test_d8_unbalanced_close_paren ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d8_tests::test_d8_mixed_content ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d8_tests::test_d8_unbalanced_open_paren ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d8_tests::test_d8_negative_is_symbol ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d8_tests::test_d8_very_long_symbol ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d8_tests::test_d8_null_byte_in_input ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d8_tests::test_d8_only_whitespace ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d8_tests::test_d8_unterminated_string ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d9_tests::test_d9_convert_comparison_ops ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d9_tests::test_d9_convert_literal_bool_true ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d9_tests::test_d9_convert_guard ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d9_tests::test_d9_convert_binary_add ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d9_tests::test_d9_convert_binary_lt ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d9_tests::test_d9_convert_literal_integer ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d9_tests::test_d9_convert_module_name ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d9_tests::test_d9_convert_multi_assignment ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d9_tests::test_d9_convert_multi_guard_reflex ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d9_tests::test_d9_convert_prev ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d9_tests::test_d9_convert_property_always ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d9_tests::test_d9_convert_signal_input_bool ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d9_tests::test_d9_convert_signal_internal ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e1_all_37_opcodes_have_unique_mnemonics ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e1_alu_imm_mnemonic ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d9_tests::test_d9_convert_signal_output_u16 ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e1_alu_unary_mnemonic ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d9_tests::test_d9_convert_property_eventually ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d9_tests::test_d9_convert_reflex ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d9_tests::test_d9_convert_signed_type ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d9_tests::test_d9_convert_multiply_op ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d9_tests::test_d9_convert_property_never ... ok
[INFO] [stdout] test mega2_sexpr_verification_tests::d9_tests::test_d9_convert_unary_not ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e1_assert_always_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e1_alu_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e1_assert_never_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e1_ctr_init_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e1_ctr_query_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e1_ctr_tick_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e1_emergency_stop_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e1_guard_and_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e1_guard_or_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e1_load_input_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e1_mov_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e1_prev_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e1_reflex_if_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e1_sr_init_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e1_sr_query_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e1_sr_tick_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e1_store_output_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e2_register_file_write_read_roundtrip ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e2_register_file_256_entries ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e2_register_partition_output ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e2_register_partition_input ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e2_register_partition_internal ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e2_type_tag_display_bool ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e2_type_tag_display_signed ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e1_load_imm_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e2_register_partition_temp ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e3_binary_roundtrip_all_zero_arg_instructions ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e3_encode_decode_emergency_stop ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e2_type_tag_display_uninitialized ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e3_encode_decode_load_input ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e3_encode_decode_nop ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e3_encode_decode_store_output ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e2_type_tag_display_unsigned ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e3_encoded_instruction_is_32_bits ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e4_exception_code_interval_violation_is_seven ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e3_encode_decode_alu_add ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e4_exception_code_property_fail_is_two ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e2_tagged_word_uninitialized_default ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e3_encode_decode_halt ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e3_encode_decode_mov ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e4_exception_code_deadline_miss_is_one ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e2_type_tag_display_interval ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e4_exception_code_software_trap_is_five ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e3_encode_decode_fence ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e4_exception_code_tag_violation_is_zero ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e4_exec_mode_host_display ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e4_exec_mode_reflex_display ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e5_sim_empty_program_halts_immediately ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e5_sim_new_starts_at_pc_zero ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub1::e5_sim_nop_advances_pc ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e10_interval_hi_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e10_interval_lo_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e10_match_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e5_sim_alu_add ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e5_sim_alu_comparisons ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e5_sim_alu_imm_add ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e5_sim_alu_mul ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e5_sim_alu_sub ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e5_sim_emergency_stop ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e5_sim_halt_stops_execution ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e5_sim_load_imm_sets_register ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e5_sim_mov_copies_register ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e5_sim_set_input_read_output ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e6_guard_produces_temporal_instructions ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e6_minimal_module_has_load_and_store ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e6_counter_guard_for_large_cycles ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e6_simple_module_produces_rspu_program ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e6_tmr_sensor_fusion_compiles_to_rspu ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e7_max_guards_is_64 ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e7_max_instructions_is_4096 ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e7_max_registers_is_256 ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e7_max_sim_cycles_is_1_000_000 ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e8_deadline_set_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e8_fence_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e8_halt_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e8_mode_switch_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e8_nop_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e8_sim_fence_is_noop ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e8_sim_trap_raises_exception ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e8_tag_check_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e8_tag_read_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e8_tag_load_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e8_trap_if_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e8_trap_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e9_certify_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e9_total_check_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub2::e9_verify_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e10_interval_check_mnemonic ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e10_sim_cert_verified_starts_false ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e10_sim_interval_check_at_lower_boundary_passes ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e10_sim_interval_check_at_upper_boundary_passes ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e10_sim_interval_check_below_range_exception ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e10_sim_interval_check_out_of_range_exception ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e10_sim_interval_check_in_range_passes ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e10_sim_interval_hi_default_is_u64_max ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e10_sim_interval_hi_reads_shadow ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e10_sim_interval_lo_reads_shadow ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e10_sim_interval_lo_default_is_zero ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e10_sim_match_nonzero_input ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e10_sim_match_zero_input ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e3_encode_decode_certify_roundtrip ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e3_encode_decode_all_mega4_mega5_opcodes_roundtrip ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e3_encode_decode_interval_lo_roundtrip ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e3_encode_decode_match_roundtrip ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e3_encode_decode_interval_check_roundtrip ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e10_sim_interval_shadow_initialized ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e6_example_autonomous_vehicle_compiles_to_rspu ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e6_example_flight_controller_compiles_to_rspu ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e3_encode_decode_verify_roundtrip ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e3_encode_decode_interval_hi_roundtrip ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e3_encode_decode_total_check_roundtrip ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e6_example_fir_filter_compiles_to_rspu ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e6_example_multi_guard_monitor_compiles_to_rspu ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e6_example_icu_monitor_compiles_to_rspu ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e6_example_neonatal_respirator_compiles_to_rspu ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e6_example_flight_controller_signed_compiles_to_rspu ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e6_example_industrial_safety_compiles_to_rspu ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e6_example_safety_property_compiles_to_rspu ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e6_example_shift_register_guard_compiles_to_rspu ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e6_example_pattern_usage_compiles_to_rspu ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e9_sim_certify_reads_cert_verified_false ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e9_sim_total_check_no_violations_continues ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e9_sim_total_check_with_violations_raises_exception ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e9_sim_verify_sets_cert_verified ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e9_sim_verify_then_certify ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub1::f1_guard_count_matches_guard_decls ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub1::f1_max_cycles_is_highest_guard ... ok
[INFO] [stdout] test mega3_rspu_verification_tests::sub3::e6_example_tmr_sensor_fusion_compiles_to_rspu ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub1::f1_resource_limits_constants ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub1::f1_total_module_passes_resource_bounds ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub1::f2_all_outputs_driven_passes ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub1::f2_input_signals_not_checked ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub1::f2_internal_signals_not_checked ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub1::f2_multiple_undriven_outputs ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub1::f2_undriven_output_fails ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub1::f1_registers_count_matches_signal_count ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub1::f3_no_outputs_means_trivially_covered ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub1::f4_prev_delay_contributes_to_latency ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub1::f4_temporal_bound_is_max_guard_cycles ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub1::f4_zero_guards_zero_latency ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub1::f5_acyclic_module_passes ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub1::f5_empty_module_acyclic ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub1::f3_covered_outputs_pass ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub1::f5_input_to_output_no_cycle ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub1::f5_prev_breaks_cycle ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub1::f5_self_referencing_output_is_cycle ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub1::f6_cycle_makes_not_total ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub1::f6_total_module_is_total ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub1::f6_undriven_output_makes_not_total ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub1::f7_all_property_kinds_recognized ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub1::f7_empty_properties_returns_empty_summary ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub1::f7_properties_captured_in_summary ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub1::f8_cert_invalid_magic_fails ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub1::f8_cert_magic_bytes ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub1::f8_cert_serialize_deserialize_roundtrip ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub2::f10_pipeline_with_totality_flag ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub2::f10_pipeline_without_totality_flag ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub2::f11_totality_error_code ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub2::f11_totality_error_display ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub2::f11_totality_error_message_accessor ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub2::f2_example_fir_filter_cert_generation ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub2::f2_example_flight_controller_cert_generation ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub2::f2_example_flight_controller_signed_cert_generation ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub2::f2_example_icu_monitor_cert_generation ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub2::f2_example_industrial_safety_cert_generation ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub2::f2_example_multi_guard_monitor_cert_generation ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub2::f2_example_autonomous_vehicle_cert_generation ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub2::f2_example_neonatal_respirator_cert_generation ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub2::f2_example_safety_property_cert_generation ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub2::f2_example_shift_register_guard_cert_generation ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub2::f9_primitive_recursive_strategy ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub2::f9_resource_constrained_strategy ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub2::f9_static_guard_bound_strategy ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub2::integration_parse_and_totality_check ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub2::integration_undriven_output_from_parse ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub3::f12_full_chain_cert_generate_verify_accept ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub3::f12_full_chain_certify_without_verify_returns_zero ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub3::f12_full_chain_total_check_with_no_violations ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub2::f2_example_pattern_usage_cert_generation ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub3::f12_full_chain_verify_certify_total_check_sequence ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub3::f8_adversarial_empty_input ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub3::f8_adversarial_excessive_property_verdict_count ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub3::f8_adversarial_excessive_type_witness_count ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub3::f2_example_tmr_sensor_fusion_cert_generation ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub3::f8_adversarial_truncated_after_strategy ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub3::f8_adversarial_truncated_cert ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub3::f8_adversarial_unknown_strategy_tag ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub3::f8_adversarial_version_zero ... ok
[INFO] [stdout] test mega4_totality_verification_tests::sub3::f8_adversarial_wrong_magic_valid_length ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::empty_module_has_no_signals_guards_reflexes ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::guard_comparison_condition ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::guard_complex_boolean_condition ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::guard_for_clause_without_trailing_semicolon ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::guard_single_cycle ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::guard_simple_condition ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::many_signals_module ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::module_brace_on_same_line ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::module_name_simple ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::module_name_alphanumeric ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::module_name_with_underscores ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::module_with_leading_comments_and_blanks ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::multiple_guards ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::property_always_implies ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::property_always_simple ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::property_eventually_within ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::property_never_implies ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::reflex_arithmetic_expression_assignment ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::property_never_simple ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::reflex_multiple_assignments ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::reflex_multiple_guards_with_and ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::reflex_single_guard_single_assignment ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::reflex_with_inline_comment_in_assignment ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::signal_all_three_kinds_in_one_module ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::signal_clock_domain_annotation ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::signal_input_bool ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::signal_internal_kind ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::signal_linear_qualifier ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::signal_output_unsigned_widths ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::signal_phantom_tag_annotation ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::signal_pure_qualifier ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::signal_signed_types ... ok
[INFO] [stdout] test parser_module_extended_tests::sub1::signal_stateful_qualifier ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::assignment_expression_with_nested_ops ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::complete_module_with_all_construct_types ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::err_empty_source ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::err_guard_empty_name ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::err_guard_invalid_cycle_count ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::err_guard_missing_for ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::err_guard_missing_when ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::err_module_name_empty ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::err_module_not_closed ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::err_no_module_keyword ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::err_only_comments ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::err_property_bad_formula_keyword ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::err_property_empty_name ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::err_property_not_closed ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::err_reflex_empty_name ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::err_reflex_no_guard_in_on_clause ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::err_signal_empty_name ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::err_signal_missing_colon ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::err_signal_missing_semicolon ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::err_signal_unknown_kind ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::err_signal_unknown_type ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::err_unexpected_line_in_module ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::full_neonatal_respirator_module ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::guard_with_large_cycle_count ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::module_with_comments_between_declarations ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::multiple_pattern_defs ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::multiple_properties ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::pattern_def_before_module ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::property_always_followed_by ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::property_assume_directive ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::property_cover_directive ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::property_complex_implies_expression ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::property_eventually_within ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::span_is_set_on_signal ... ok
[INFO] [stdout] test pattern_tests::sub1::parse_call_missing_semicolon_error ... ok
[INFO] [stdout] test pattern_tests::sub1::parse_call_basic ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::span_is_set_on_guard ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::span_is_set_on_module ... ok
[INFO] [stdout] test pattern_tests::sub1::parse_call_bool_literal_args ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::property_with_nested_boolean_logic ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::span_is_set_on_reflex ... ok
[INFO] [stdout] test pattern_tests::sub1::parse_def_empty_name_error ... ok
[INFO] [stdout] test pattern_tests::sub1::parse_call_whitespace_around_commas ... ok
[INFO] [stdout] test pattern_tests::sub1::parse_def_unknown_param_type_error ... ok
[INFO] [stdout] test pattern_tests::sub1::parse_call_wrong_arg_count_detected_at_expansion ... ok
[INFO] [stdout] test pattern_tests::sub1::parse_def_minimal_params ... ok
[INFO] [stdout] test pattern_tests::sub1::parse_call_underscore_signal_names ... ok
[INFO] [stdout] test pattern_tests::sub1::parse_def_with_zero_params ... ok
[INFO] [stdout] test pattern_tests::sub1::parse_def_reflect_body_all_decl_types ... ok
[INFO] [stdout] test pattern_tests::sub1::parse_def_all_param_kinds ... ok
[INFO] [stdout] test pattern_tests::sub1::parse_call_undefined_pattern_detected_at_expansion ... ok
[INFO] [stdout] test pattern_tests::sub1::parse_call_trailing_whitespace_after_last_arg ... ok
[INFO] [stdout] test pattern_tests::sub1::parse_def_missing_params_error ... ok
[INFO] [stdout] test pattern_tests::sub1::parse_def_missing_reflect_keyword_error ... ok
[INFO] [stdout] test pattern_tests::sub2::depth_limit_exceeded_pinned_message ... ok
[INFO] [stdout] test pattern_tests::sub1::parse_duplicate_def_names_error ... ok
[INFO] [stdout] test pattern_tests::sub1::parse_two_defs_before_module ... ok
[INFO] [stdout] test parser_module_extended_tests::sub2::reflex_with_many_assignments ... ok
[INFO] [stdout] test pattern_tests::sub2::expanded_guard_cycles_should_be_preserved ... ok
[INFO] [stdout] test pattern_tests::sub2::dot_output_shows_pattern_origin ... ok
[INFO] [stdout] test pattern_tests::sub2::expanded_module_passes_validation ... ok
[INFO] [stdout] test pattern_tests::sub1::substitution_empty_reflect_body ... ok
[INFO] [stdout] test pattern_tests::sub2::expanded_properties_reference_prefixed_signals ... ok
[INFO] [stdout] test pattern_tests::sub1::substitution_in_guard_reflex_property_names ... ok
[INFO] [stdout] test pattern_tests::sub1::substitution_integer_literal_replaced ... ok
[INFO] [stdout] test pattern_tests::sub1::substitution_preserves_non_param_text ... ok
[INFO] [stdout] test pattern_tests::sub1::substitution_multiple_params_same_line ... ok
[INFO] [stdout] test pattern_tests::sub2::cross_expansion_internal_refs_checked ... ok
[INFO] [stdout] test pattern_tests::sub1::substitution_signal_name_replaced ... ok
[INFO] [stdout] test pattern_tests::sub2::depth_1_nested_pattern_works ... ok
[INFO] [stdout] test pattern_tests::sub2::depth_4_boundary_works ... ok
[INFO] [stdout] test pattern_tests::sub2::arg_count_mismatch_error ... ok
[INFO] [stdout] test pattern_tests::sub2::internal_signal_scoping_pinned_message_format ... ok
[INFO] [stdout] test pattern_tests::sub2::internal_signal_invisible_outside_expansion ... ok
[INFO] [stdout] test pattern_tests::sub2::pattern_call_type_mismatch_signal_vs_constant ... ok
[INFO] [stdout] test pattern_tests::sub2::pattern_call_not_confused_with_keyword ... ok
[INFO] [stdout] test pattern_tests::sub2::origin_tag_none_on_hand_written_nodes ... ok
[INFO] [stdout] test pattern_tests::sub2::json_roundtrip_no_patterns_byte_identical ... ok
[INFO] [stdout] test pattern_tests::sub2::full_pipeline_ventilator_e2e ... ok
[INFO] [stdout] test pattern_tests::sub2::pattern_origin_has_correct_format ... ok
[INFO] [stdout] test pattern_tests::sub2::multiple_calls_produce_distinct_blocks ... ok
[INFO] [stdout] test pattern_tests::sub2::prefix_single_call_guard_name ... ok
[INFO] [stdout] test pattern_tests::sub2::origin_tag_set_on_expanded_nodes ... ok
[INFO] [stdout] test pattern_tests::sub2::runtime_arg_detection_valid_args_pass ... ok
[INFO] [stdout] test pattern_tests::sub2::pattern_with_property_always_implies ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub1::test_assert_always_parametric ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub1::test_assert_never_parametric ... ok
[INFO] [stdout] test pattern_tests::sub2::prefix_two_calls_get_different_indices ... ok
[INFO] [stdout] test pattern_tests::sub2::verilog_no_origin_comment_on_hand_written ... ok
[INFO] [stdout] test pattern_tests::sub2::json_output_includes_origin_on_expanded ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub1::test_alu_unary_negate_parametric ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub1::test_ctr_init_parametric_target ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub1::test_alu_unary_not_parametric ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub1::test_ctr_query_parametric ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub1::test_ctr_tick_parametric_guard ... ok
[INFO] [stdout] test pattern_tests::sub2::verilog_origin_comment_present ... ok
[INFO] [stdout] test pattern_tests::sub2::sva_emitted_for_pattern_property ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub1::test_g_type_field_layout ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub1::test_guard_and_parametric ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub1::test_guard_or_parametric ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub1::test_i_type_field_layout ... ok
[INFO] [stdout] test pattern_tests::sub2::undeclared_signal_arg_detected_at_validation ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub1::test_load_imm_parametric_values ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub1::test_load_input_parametric_ports ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub1::test_mov_parametric_registers ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub1::test_opcode_field_extracted_correctly_for_all_assigned ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub1::test_opcode_field_position ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub1::test_r_type_field_layout ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub1::test_reflex_if_parametric ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub1::test_s_type_deadline_set_imm26 ... ok
[INFO] [stdout] test pattern_tests::sub2::prefix_internal_signals_get_prefixed ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub1::test_sr_query_parametric ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub1::test_sr_tick_parametric_guard ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub1::test_tag_check_parametric ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub1::test_prev_parametric_delay ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub1::test_sr_init_parametric_length ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub1::test_trap_if_parametric ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub2::test_alu_all_binary_ops_roundtrip ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub1::test_store_output_parametric_ports ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub2::test_alu_b_register_field_encoding ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub1::test_tag_load_parametric ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub1::test_tag_read_parametric ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub1::test_trap_parametric_codes ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub2::test_alu_funct_code_ordering ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub2::test_e706_alu_imm_immediate_overflow ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub2::test_alu_imm_boundary_values ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub2::test_alu_imm_field_encoding ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub2::test_alu_imm_ops_0_through_7_roundtrip ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub2::test_alu_unary_funct_codes ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub2::test_deadline_set_parametric ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub2::test_e706_alu_b_register_max_boundary ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub2::test_e706_alu_b_register_overflow ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub2::test_e706_alu_imm_comparison_ops_rejected ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub2::test_e706_ctr_init_target_overflow ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub2::test_e706_load_input_port_overflow ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub1::test_s_type_field_layout ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub2::test_e706_deadline_set_boundary ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub2::test_e707_max_opcode_63 ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub2::test_e707_unknown_opcodes_30_through_63 ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub2::test_emit_binary_empty_program ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub2::test_emit_binary_single_instruction ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub2::test_emit_binary_stress_bounded ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub2::test_e706_deadline_set_overflow ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub2::test_encoded_instruction_debug_format ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub2::test_emit_binary_multi_instruction_roundtrip ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub2::test_encoded_instruction_copy_clone ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub2::test_e706_load_imm_overflow ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub2::test_e706_prev_delay_overflow ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub2::test_encoded_instruction_equality ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub2::test_e706_store_output_port_overflow ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub2::test_e706_sr_init_length_overflow ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub2::test_mode_switch_parametric ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub2::test_roundtrip_every_opcode_comprehensive ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub2::test_s_type_zero_payload_instructions ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_alu_all_zero_operands ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_alu_imm_zero_immediate ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_assert_always_field_packing ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_assert_always_zero_property ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_assert_never_field_packing ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_assert_never_max_property ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_deadline_set_zero ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_different_alu_ops_produce_different_words ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_distinct_opcodes_produce_distinct_words ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_emit_binary_all_formats_program ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_encode_decode_deterministic ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_g_type_fields_no_overlap ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_guard_and_same_operands ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_guard_or_same_operands ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_i_type_fields_no_overlap ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_imm10_boundary_sweep_load_input ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_load_imm_max_width_clamped ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_emit_binary_exceeds_max_instructions ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_load_imm_zero_value_zero_width ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_imm10_boundary_sweep_ctr_init ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_mode_switch_zero ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_mov_same_register ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_different_register_values_produce_different_words ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_emit_binary_exactly_max_instructions ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_prev_max_delay ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_decode_known_bit_patterns ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_imm10_boundary_sweep_sr_init ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_decode_all_zero_word ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_mode_switch_max ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_prev_zero_delay ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_r_type_fields_no_overlap ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_s_type_imm26_max ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_trap_code_max ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_trap_code_zero ... ok
[INFO] [stdout] test rspu_encoding_extended_tests::sub3::test_trap_if_field_packing ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part1::test_alu_add ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part1::test_alu_bitwise_and ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part1::test_alu_bitwise_or ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part1::test_alu_bitwise_xor ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part1::test_alu_imm_add ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part1::test_alu_imm_sub ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part1::test_alu_comparisons ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part1::test_alu_mul ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part1::test_alu_shl ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part1::test_alu_shr ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part1::test_alu_sub ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part1::test_alu_unary_negate ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part1::test_alu_unary_not ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part1::test_emergency_stop ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part1::test_empty_program_halts_immediately ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part1::test_empty_program_run ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part1::test_halt_sets_exception_state ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part1::test_halt_stops_execution ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part1::test_load_imm_unsigned ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part1::test_load_imm_zero_width_is_bool ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part1::test_mov_copies_value_and_tag ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part1::test_load_input_store_output_roundtrip ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part1::test_multiple_io_ports ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part1::test_load_imm_bool_width ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part1::test_nop_advances_pc ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part1::test_read_output_out_of_range ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part1::test_nop_sequence ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part2::test_assert_always_no_violation ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part2::test_assert_never_no_violation ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part1::test_sim_all_guards_initially_false ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part1::test_sim_default_trait ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part2::test_assert_never_violation ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part2::test_ctr_init_activates_guard_on_nonzero_cond ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part2::test_deadline_miss ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part2::test_deadline_set_no_miss ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part1::test_sim_initial_state ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part2::test_alu_unary_on_uninitialized_errors ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part1::test_step_after_halt_returns_halted ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part2::test_assert_always_violation ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part2::test_guard_and_both_true ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part2::test_ctr_tick_is_noop ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part2::test_guard_or_one_true ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part2::test_fence_is_noop ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part2::test_guard_or_both_false ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part2::test_guard_and_one_false ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part2::test_tag_load ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part2::test_mode_switch_invalid_mode ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part2::test_mode_switch_same_mode_tolerant ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part2::test_mode_switch_to_host ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part2::test_multiple_property_violations ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part2::test_prev_copies_signal ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part2::test_reflex_if_guard_active ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part2::test_reflex_if_guard_inactive ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part2::test_sr_init_activates_guard_on_nonzero_cond ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part2::test_sr_init_inactive_on_zero_cond ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part2::test_sr_tick_is_noop ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part2::test_tag_check_fail ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part2::test_tag_check_pass ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part2::test_tag_read ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part2::test_trap_if_condition_false ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part2::test_trap_if_condition_true ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part2::test_trap_raises_software_trap ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part3::test_add_wrapping_overflow ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part3::test_alu_imm_preserves_operand_tag ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part3::test_alu_tag_mismatch_unsigned_signed ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part3::test_comparison_produces_bool_tag ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part3::test_conditional_datapath_with_guard ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part3::test_ctr_query_produces_bool_tag ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part3::test_cycle_counter_increments_per_step ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part3::test_deadline_cleared_after_miss ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part3::test_eq_false ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part3::test_exception_terminates_run ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part3::test_full_datapath_input_alu_output ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part3::test_guard_out_of_bounds_reads_false ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part3::test_load_imm_large_width_clamped ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part3::test_max_cycles_exceeded_error ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part3::test_max_sim_cycles_cap ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part3::test_multiple_guards_independent ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part3::test_mul_wrapping_overflow ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part3::test_pc_stays_on_halt ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part3::test_read_output_partition ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part3::test_pc_past_end_halts ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part3::test_signed_arithmetic ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part3::test_pc_advances_on_continue ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part3::test_sim_result_fields ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part3::test_sim_result_collects_outputs ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part3::test_set_input_registers ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part3::test_sim_result_no_outputs_when_none_written ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part3::test_sr_query_produces_bool_tag ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part3::test_uninitialized_register_is_zero_valued ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part3::test_sub_wrapping_underflow ... ok
[INFO] [stdout] test sexpr_convert_tests::part1::ast_to_sexpr_annotations_effect_stateful ... ok
[INFO] [stdout] test sexpr_convert_tests::part1::ast_to_sexpr_annotations_linearity_linear ... ok
[INFO] [stdout] test sexpr_convert_tests::part1::ast_to_sexpr_annotations_clock_domain ... ok
[INFO] [stdout] test sexpr_convert_tests::part1::ast_to_sexpr_empty_program_has_program_head ... ok
[INFO] [stdout] test sexpr_convert_tests::part1::ast_to_sexpr_guard_with_integer_literal ... ok
[INFO] [stdout] test rspu_sim_extended_tests::part3::test_stress_many_nops ... ok
[INFO] [stdout] test sexpr_convert_tests::part1::ast_to_sexpr_annotations_effect_pure ... ok
[INFO] [stdout] test sexpr_convert_tests::part1::ast_to_sexpr_binary_shr_operator ... ok
[INFO] [stdout] test sexpr_convert_tests::part1::ast_to_sexpr_annotations_refinement_range ... ok
[INFO] [stdout] test sexpr_convert_tests::part1::ast_to_sexpr_guard_with_prev_expr ... ok
[INFO] [stdout] test sexpr_convert_tests::part1::ast_to_sexpr_guard_with_signal_expr ... ok
[INFO] [stdout] test sexpr_convert_tests::part1::ast_to_sexpr_guard_with_unary_negate ... ok
[INFO] [stdout] test sexpr_convert_tests::part1::ast_to_sexpr_module_name_preserved ... ok
[INFO] [stdout] test sexpr_convert_tests::part1::ast_to_sexpr_annotations_phantom_tag ... ok
[INFO] [stdout] test sexpr_convert_tests::part1::ast_to_sexpr_signal_all_three_kinds ... ok
[INFO] [stdout] test sexpr_convert_tests::part1::ast_to_sexpr_annotations_refinement_predicate ... ok
[INFO] [stdout] test sexpr_convert_tests::part1::ast_to_sexpr_guard_with_unary_not ... ok
[INFO] [stdout] test sexpr_convert_tests::part1::ast_to_sexpr_all_binary_operators ... ok
[INFO] [stdout] test sexpr_convert_tests::part1::ast_to_sexpr_nested_binary_expression ... ok
[INFO] [stdout] test sexpr_convert_tests::part1::ast_to_sexpr_signal_input_bool ... ok
[INFO] [stdout] test sexpr_convert_tests::part1::ast_to_sexpr_default_annotations_omitted ... ok
[INFO] [stdout] test sexpr_convert_tests::part1::ast_to_sexpr_guard_with_bool_literal ... ok
[INFO] [stdout] test sexpr_convert_tests::part1::ast_to_sexpr_empty_patterns_section ... ok
[INFO] [stdout] test sexpr_convert_tests::part1::ast_to_sexpr_signal_output_unsigned ... ok
[INFO] [stdout] test sexpr_convert_tests::part2::ast_to_sexpr_pattern_calls ... ok
[INFO] [stdout] test sexpr_convert_tests::part1::ast_to_sexpr_signal_internal_signed ... ok
[INFO] [stdout] test sexpr_convert_tests::part2::ast_to_sexpr_pattern_origins ... ok
[INFO] [stdout] test sexpr_convert_tests::part2::ast_to_sexpr_property_always ... ok
[INFO] [stdout] test sexpr_convert_tests::part2::sexpr_to_ast_roundtrip_guards ... ok
[INFO] [stdout] test sexpr_convert_tests::part2::ast_to_sexpr_property_always_followed_by ... ok
[INFO] [stdout] test sexpr_convert_tests::part2::sexpr_to_ast_roundtrip_pattern_calls ... ok
[INFO] [stdout] test sexpr_convert_tests::part2::ast_to_sexpr_property_always_implies ... ok
[INFO] [stdout] test sexpr_convert_tests::part2::ast_to_sexpr_property_eventually_within ... ok
[INFO] [stdout] test sexpr_convert_tests::part2::ast_to_sexpr_property_never ... ok
[INFO] [stdout] test sexpr_convert_tests::part2::ast_to_sexpr_property_never_implies ... ok
[INFO] [stdout] test sexpr_convert_tests::part2::ast_to_sexpr_reflex_with_assignments ... ok
[INFO] [stdout] test sexpr_convert_tests::part2::roundtrip_expr_bool_false ... ok
[INFO] [stdout] test sexpr_convert_tests::part2::roundtrip_expr_bool_true ... ok
[INFO] [stdout] test sexpr_convert_tests::part2::roundtrip_expr_integer_large ... ok
[INFO] [stdout] test sexpr_convert_tests::part2::roundtrip_expr_integer_zero ... ok
[INFO] [stdout] test sexpr_convert_tests::part2::roundtrip_expr_signal_ref ... ok
[INFO] [stdout] test sexpr_convert_tests::part2::sexpr_to_ast_roundtrip_annotations ... ok
[INFO] [stdout] test sexpr_convert_tests::part2::sexpr_to_ast_roundtrip_empty_program ... ok
[INFO] [stdout] test sexpr_convert_tests::part2::ast_to_sexpr_pattern_def_with_params ... ok
[INFO] [stdout] test sexpr_convert_tests::part2::sexpr_to_ast_roundtrip_pattern_def ... ok
[INFO] [stdout] test sexpr_convert_tests::part2::sexpr_to_ast_roundtrip_pattern_origins ... ok
[INFO] [stdout] test sexpr_convert_tests::part2::sexpr_to_ast_roundtrip_reflexes ... ok
[INFO] [stdout] test sexpr_convert_tests::part2::sexpr_to_ast_roundtrip_signals ... ok
[INFO] [stdout] test sexpr_convert_tests::part2::sexpr_to_ast_roundtrip_properties_all_formulas ... ok
[INFO] [stdout] test sexpr_convert_tests::part3::roundtrip_multiple_patterns ... ok
[INFO] [stdout] test sexpr_convert_tests::part3::bounded_multiple_signals_roundtrip ... ok
[INFO] [stdout] test sexpr_convert_tests::part3::full_program_roundtrip ... ok
[INFO] [stdout] test sexpr_convert_tests::part3::roundtrip_annotations_predicate_refinement ... ok
[INFO] [stdout] test sexpr_convert_tests::part3::roundtrip_pattern_call_no_args ... ok
[INFO] [stdout] test sexpr_convert_tests::part3::roundtrip_annotations_pure_effect ... ok
[INFO] [stdout] test sexpr_convert_tests::part3::roundtrip_pattern_no_params ... ok
[INFO] [stdout] test sexpr_convert_tests::part3::roundtrip_empty_guard_names_in_reflex ... ok
[INFO] [stdout] test sexpr_convert_tests::part3::roundtrip_expr_all_binary_ops ... ok
[INFO] [stdout] test sexpr_convert_tests::part3::roundtrip_expr_nested_binary ... ok
[INFO] [stdout] test sexpr_convert_tests::part3::roundtrip_pattern_param_constant_with_annotations ... ok
[INFO] [stdout] test sexpr_convert_tests::part3::roundtrip_expr_prev ... ok
[INFO] [stdout] test sexpr_convert_tests::part3::roundtrip_expr_unary_negate ... ok
[INFO] [stdout] test sexpr_convert_tests::part3::roundtrip_expr_unary_not ... ok
[INFO] [stdout] test sexpr_convert_tests::part3::bounded_multiple_guards_roundtrip ... ok
[INFO] [stdout] test sexpr_convert_tests::part3::roundtrip_pattern_param_signal_with_annotations ... ok
[INFO] [stdout] test sexpr_convert_tests::part3::roundtrip_prev_delay_one ... ok
[INFO] [stdout] test sexpr_convert_tests::part3::roundtrip_zero_width_unsigned ... ok
[INFO] [stdout] test sexpr_convert_tests::part3::sexpr_to_ast_rejects_empty_list ... ok
[INFO] [stdout] test sexpr_convert_tests::part3::sexpr_to_ast_rejects_non_list ... ok
[INFO] [stdout] test sexpr_convert_tests::part3::sexpr_to_ast_rejects_too_short_program ... ok
[INFO] [stdout] test sexpr_convert_tests::part3::sexpr_to_ast_rejects_wrong_head ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 871 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.31s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/allocation_audit.rs (/opt/rustwide/target/debug/deps/allocation_audit-0f0df9fa61d35ae6)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test allocation_audit_hot_path_no_new_allocs_after_init ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/arm_integration_tests.rs (/opt/rustwide/target/debug/deps/arm_integration_tests-fd02d8d5d7f1fcb6)
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test arm_emit_alu_operations ... ok
[INFO] [stdout] test arm_emit_full_program ... ok
[INFO] [stdout] test arm_emit_reflex_if ... ok
[INFO] [stdout] test arm_emit_counter ... ok
[INFO] [stdout] test arm_emit_shift_register ... ok
[INFO] [stdout] test arm_emit_store_output ... ok
[INFO] [stdout] test arm_emit_assertions ... ok
[INFO] [stdout] test arm_halt_produces_bkpt ... ok
[INFO] [stdout] test arm_it_blocks ... ok
[INFO] [stdout] test arm_emit_load_input ... ok
[INFO] [stdout] test arm_thumb2_syntax ... ok
[INFO] [stdout] test arm_nop_produces_nop ... ok
[INFO] [stdout] test arm_emit_empty_program ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/audit_tests.rs (/opt/rustwide/target/debug/deps/audit_tests-d0643939101721b0)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test tests::test_refinement_gap_e801 ... FAILED
[INFO] [stdout] test tests::test_refinement_no_gap ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- tests::test_refinement_gap_e801 stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'tests::test_refinement_gap_e801' (1341) panicked at tests/audit_tests.rs:43:14:
[INFO] [stdout] Failed to run mirr-audit: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x611cbb91139a - std[29689e6404d28ef9]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x611cbb91139a - std[29689e6404d28ef9]::backtrace_rs::backtrace::trace_unsynchronized::<std[29689e6404d28ef9]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x611cbb91139a - std[29689e6404d28ef9]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x611cbb91139a - <<std[29689e6404d28ef9]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[e929cb53b82a81ca]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x611cbb92529a - <core[e929cb53b82a81ca]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x611cbb92529a - core[e929cb53b82a81ca]::fmt::write
[INFO] [stdout]    6:     0x611cbb915cb2 - std[29689e6404d28ef9]::io::default_write_fmt::<alloc[9d7caffeb3b5d2c6]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/io/mod.rs:621:11
[INFO] [stdout]    7:     0x611cbb915cb2 - <alloc[9d7caffeb3b5d2c6]::vec::Vec<u8> as std[29689e6404d28ef9]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/io/mod.rs:1976:13
[INFO] [stdout]    8:     0x611cbb8eeb4f - <std[29689e6404d28ef9]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x611cbb8eeb4f - std[29689e6404d28ef9]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x611cbb908ff9 - std[29689e6404d28ef9]::panicking::default_hook
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x611cbb89963c - <alloc[9d7caffeb3b5d2c6]::boxed::Box<dyn for<'a, 'b> core[e929cb53b82a81ca]::ops::function::Fn<(&'a std[29689e6404d28ef9]::panic::PanicHookInfo<'b>,), Output = ()> + core[e929cb53b82a81ca]::marker::Send + core[e929cb53b82a81ca]::marker::Sync> as core[e929cb53b82a81ca]::ops::function::Fn<(&std[29689e6404d28ef9]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/alloc/src/boxed.rs:2285:9
[INFO] [stdout]   12:     0x611cbb89963c - test[a24b3028667022f7]::test_main_inner::<test[a24b3028667022f7]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x611cbb9091b2 - <alloc[9d7caffeb3b5d2c6]::boxed::Box<dyn for<'a, 'b> core[e929cb53b82a81ca]::ops::function::Fn<(&'a std[29689e6404d28ef9]::panic::PanicHookInfo<'b>,), Output = ()> + core[e929cb53b82a81ca]::marker::Send + core[e929cb53b82a81ca]::marker::Sync> as core[e929cb53b82a81ca]::ops::function::Fn<(&std[29689e6404d28ef9]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/alloc/src/boxed.rs:2285:9
[INFO] [stdout]   14:     0x611cbb9091b2 - std[29689e6404d28ef9]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x611cbb8eec08 - std[29689e6404d28ef9]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x611cbb8e3d39 - std[29689e6404d28ef9]::sys::backtrace::__rust_end_short_backtrace::<std[29689e6404d28ef9]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x611cbb8ef91d - __rustc[3aed6af316653e63]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x611cbb9259ec - core[e929cb53b82a81ca]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x611cbb925762 - core[e929cb53b82a81ca]::result::unwrap_failed
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/core/src/result.rs:1867:5
[INFO] [stdout]   20:     0x611cbb88722c - <core[e929cb53b82a81ca]::result::Result<std[29689e6404d28ef9]::process::Output, std[29689e6404d28ef9]::io::error::Error>>::expect
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/core/src/result.rs:1185:23
[INFO] [stdout]   21:     0x611cbb8891bb - audit_tests[5e04c7e0b8a00567]::tests::test_refinement_gap_e801
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/audit_tests.rs:43:14
[INFO] [stdout]   22:     0x611cbb8869d7 - audit_tests[5e04c7e0b8a00567]::tests::test_refinement_gap_e801::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/audit_tests.rs:17:34
[INFO] [stdout]   23:     0x611cbb88c7e6 - <audit_tests[5e04c7e0b8a00567]::tests::test_refinement_gap_e801::{closure#0} as core[e929cb53b82a81ca]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x611cbb88c91b - <fn() -> core[e929cb53b82a81ca]::result::Result<(), alloc[9d7caffeb3b5d2c6]::string::String> as core[e929cb53b82a81ca]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x611cbb88c91b - test[a24b3028667022f7]::__rust_begin_short_backtrace::<core[e929cb53b82a81ca]::result::Result<(), alloc[9d7caffeb3b5d2c6]::string::String>, fn() -> core[e929cb53b82a81ca]::result::Result<(), alloc[9d7caffeb3b5d2c6]::string::String>>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/test/src/lib.rs:724:18
[INFO] [stdout]   26:     0x611cbb89a10b - test[a24b3028667022f7]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/test/src/lib.rs:747:74
[INFO] [stdout]   27:     0x611cbb89a10b - <core[e929cb53b82a81ca]::panic::unwind_safe::AssertUnwindSafe<test[a24b3028667022f7]::run_test_in_process::{closure#0}> as core[e929cb53b82a81ca]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   28:     0x611cbb89a10b - std[29689e6404d28ef9]::panicking::catch_unwind::do_call::<core[e929cb53b82a81ca]::panic::unwind_safe::AssertUnwindSafe<test[a24b3028667022f7]::run_test_in_process::{closure#0}>, core[e929cb53b82a81ca]::result::Result<(), alloc[9d7caffeb3b5d2c6]::string::String>>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:581:40
[INFO] [stdout]   29:     0x611cbb89a10b - std[29689e6404d28ef9]::panicking::catch_unwind::<core[e929cb53b82a81ca]::result::Result<(), alloc[9d7caffeb3b5d2c6]::string::String>, core[e929cb53b82a81ca]::panic::unwind_safe::AssertUnwindSafe<test[a24b3028667022f7]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:544:19
[INFO] [stdout]   30:     0x611cbb89a10b - std[29689e6404d28ef9]::panic::catch_unwind::<core[e929cb53b82a81ca]::panic::unwind_safe::AssertUnwindSafe<test[a24b3028667022f7]::run_test_in_process::{closure#0}>, core[e929cb53b82a81ca]::result::Result<(), alloc[9d7caffeb3b5d2c6]::string::String>>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x611cbb89a10b - test[a24b3028667022f7]::run_test_in_process
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/test/src/lib.rs:747:27
[INFO] [stdout]   32:     0x611cbb89a10b - test[a24b3028667022f7]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/test/src/lib.rs:668:43
[INFO] [stdout]   33:     0x611cbb893824 - test[a24b3028667022f7]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/test/src/lib.rs:698:41
[INFO] [stdout]   34:     0x611cbb893824 - std[29689e6404d28ef9]::sys::backtrace::__rust_begin_short_backtrace::<test[a24b3028667022f7]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   35:     0x611cbb89cd12 - std[29689e6404d28ef9]::thread::lifecycle::spawn_unchecked::<test[a24b3028667022f7]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   36:     0x611cbb89cd12 - <core[e929cb53b82a81ca]::panic::unwind_safe::AssertUnwindSafe<std[29689e6404d28ef9]::thread::lifecycle::spawn_unchecked<test[a24b3028667022f7]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[e929cb53b82a81ca]::ops::function::FnOnce<()>>::call_once
[INFO] [stderr] error: test failed, to rerun pass `--test audit_tests`
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   37:     0x611cbb89cd12 - std[29689e6404d28ef9]::panicking::catch_unwind::do_call::<core[e929cb53b82a81ca]::panic::unwind_safe::AssertUnwindSafe<std[29689e6404d28ef9]::thread::lifecycle::spawn_unchecked<test[a24b3028667022f7]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:581:40
[INFO] [stdout]   38:     0x611cbb89cd12 - std[29689e6404d28ef9]::panicking::catch_unwind::<(), core[e929cb53b82a81ca]::panic::unwind_safe::AssertUnwindSafe<std[29689e6404d28ef9]::thread::lifecycle::spawn_unchecked<test[a24b3028667022f7]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:544:19
[INFO] [stdout]   39:     0x611cbb89cd12 - std[29689e6404d28ef9]::panic::catch_unwind::<core[e929cb53b82a81ca]::panic::unwind_safe::AssertUnwindSafe<std[29689e6404d28ef9]::thread::lifecycle::spawn_unchecked<test[a24b3028667022f7]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x611cbb89cd12 - std[29689e6404d28ef9]::thread::lifecycle::spawn_unchecked::<test[a24b3028667022f7]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   41:     0x611cbb89cd12 - <std[29689e6404d28ef9]::thread::lifecycle::spawn_unchecked<test[a24b3028667022f7]::run_test::{closure#1}, ()>::{closure#1} as core[e929cb53b82a81ca]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x611cbb910adf - <alloc[9d7caffeb3b5d2c6]::boxed::Box<dyn core[e929cb53b82a81ca]::ops::function::FnOnce<(), Output = ()> + core[e929cb53b82a81ca]::marker::Send> as core[e929cb53b82a81ca]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/alloc/src/boxed.rs:2271:9
[INFO] [stdout]   43:     0x611cbb910adf - <std[29689e6404d28ef9]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   44:     0x709e77c11aa4 - <unknown>
[INFO] [stdout]   45:     0x709e77c9ea64 - clone
[INFO] [stdout]   46:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- tests::test_refinement_no_gap stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'tests::test_refinement_no_gap' (1342) panicked at tests/audit_tests.rs:87:14:
[INFO] [stdout] Failed to run mirr-audit: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x611cbb91139a - std[29689e6404d28ef9]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x611cbb91139a - std[29689e6404d28ef9]::backtrace_rs::backtrace::trace_unsynchronized::<std[29689e6404d28ef9]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x611cbb91139a - std[29689e6404d28ef9]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x611cbb91139a - <<std[29689e6404d28ef9]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[e929cb53b82a81ca]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x611cbb92529a - <core[e929cb53b82a81ca]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x611cbb92529a - core[e929cb53b82a81ca]::fmt::write
[INFO] [stdout]    6:     0x611cbb915cb2 - std[29689e6404d28ef9]::io::default_write_fmt::<alloc[9d7caffeb3b5d2c6]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/io/mod.rs:621:11
[INFO] [stdout]    7:     0x611cbb915cb2 - <alloc[9d7caffeb3b5d2c6]::vec::Vec<u8> as std[29689e6404d28ef9]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/io/mod.rs:1976:13
[INFO] [stdout]    8:     0x611cbb8eeb4f - <std[29689e6404d28ef9]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x611cbb8eeb4f - std[29689e6404d28ef9]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x611cbb908ff9 - std[29689e6404d28ef9]::panicking::default_hook
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x611cbb89963c - <alloc[9d7caffeb3b5d2c6]::boxed::Box<dyn for<'a, 'b> core[e929cb53b82a81ca]::ops::function::Fn<(&'a std[29689e6404d28ef9]::panic::PanicHookInfo<'b>,), Output = ()> + core[e929cb53b82a81ca]::marker::Send + core[e929cb53b82a81ca]::marker::Sync> as core[e929cb53b82a81ca]::ops::function::Fn<(&std[29689e6404d28ef9]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/alloc/src/boxed.rs:2285:9
[INFO] [stdout]   12:     0x611cbb89963c - test[a24b3028667022f7]::test_main_inner::<test[a24b3028667022f7]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x611cbb9091b2 - <alloc[9d7caffeb3b5d2c6]::boxed::Box<dyn for<'a, 'b> core[e929cb53b82a81ca]::ops::function::Fn<(&'a std[29689e6404d28ef9]::panic::PanicHookInfo<'b>,), Output = ()> + core[e929cb53b82a81ca]::marker::Send + core[e929cb53b82a81ca]::marker::Sync> as core[e929cb53b82a81ca]::ops::function::Fn<(&std[29689e6404d28ef9]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/alloc/src/boxed.rs:2285:9
[INFO] [stdout]   14:     0x611cbb9091b2 - std[29689e6404d28ef9]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x611cbb8eec08 - std[29689e6404d28ef9]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x611cbb8e3d39 - std[29689e6404d28ef9]::sys::backtrace::__rust_end_short_backtrace::<std[29689e6404d28ef9]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x611cbb8ef91d - __rustc[3aed6af316653e63]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x611cbb9259ec - core[e929cb53b82a81ca]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x611cbb925762 - core[e929cb53b82a81ca]::result::unwrap_failed
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/core/src/result.rs:1867:5
[INFO] [stdout]   20:     0x611cbb88722c - <core[e929cb53b82a81ca]::result::Result<std[29689e6404d28ef9]::process::Output, std[29689e6404d28ef9]::io::error::Error>>::expect
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/core/src/result.rs:1185:23
[INFO] [stdout]   21:     0x611cbb8889af - audit_tests[5e04c7e0b8a00567]::tests::test_refinement_no_gap
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/audit_tests.rs:87:14
[INFO] [stdout]   22:     0x611cbb8869a7 - audit_tests[5e04c7e0b8a00567]::tests::test_refinement_no_gap::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/audit_tests.rs:60:32
[INFO] [stdout]   23:     0x611cbb88c7a6 - <audit_tests[5e04c7e0b8a00567]::tests::test_refinement_no_gap::{closure#0} as core[e929cb53b82a81ca]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x611cbb88c91b - <fn() -> core[e929cb53b82a81ca]::result::Result<(), alloc[9d7caffeb3b5d2c6]::string::String> as core[e929cb53b82a81ca]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x611cbb88c91b - test[a24b3028667022f7]::__rust_begin_short_backtrace::<core[e929cb53b82a81ca]::result::Result<(), alloc[9d7caffeb3b5d2c6]::string::String>, fn() -> core[e929cb53b82a81ca]::result::Result<(), alloc[9d7caffeb3b5d2c6]::string::String>>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/test/src/lib.rs:724:18
[INFO] [stdout]   26:     0x611cbb89a10b - test[a24b3028667022f7]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/test/src/lib.rs:747:74
[INFO] [stdout]   27:     0x611cbb89a10b - <core[e929cb53b82a81ca]::panic::unwind_safe::AssertUnwindSafe<test[a24b3028667022f7]::run_test_in_process::{closure#0}> as core[e929cb53b82a81ca]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   28:     0x611cbb89a10b - std[29689e6404d28ef9]::panicking::catch_unwind::do_call::<core[e929cb53b82a81ca]::panic::unwind_safe::AssertUnwindSafe<test[a24b3028667022f7]::run_test_in_process::{closure#0}>, core[e929cb53b82a81ca]::result::Result<(), alloc[9d7caffeb3b5d2c6]::string::String>>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:581:40
[INFO] [stdout]   29:     0x611cbb89a10b - std[29689e6404d28ef9]::panicking::catch_unwind::<core[e929cb53b82a81ca]::result::Result<(), alloc[9d7caffeb3b5d2c6]::string::String>, core[e929cb53b82a81ca]::panic::unwind_safe::AssertUnwindSafe<test[a24b3028667022f7]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:544:19
[INFO] [stdout]   30:     0x611cbb89a10b - std[29689e6404d28ef9]::panic::catch_unwind::<core[e929cb53b82a81ca]::panic::unwind_safe::AssertUnwindSafe<test[a24b3028667022f7]::run_test_in_process::{closure#0}>, core[e929cb53b82a81ca]::result::Result<(), alloc[9d7caffeb3b5d2c6]::string::String>>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x611cbb89a10b - test[a24b3028667022f7]::run_test_in_process
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/test/src/lib.rs:747:27
[INFO] [stdout]   32:     0x611cbb89a10b - test[a24b3028667022f7]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/test/src/lib.rs:668:43
[INFO] [stdout]   33:     0x611cbb893824 - test[a24b3028667022f7]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/test/src/lib.rs:698:41
[INFO] [stdout]   34:     0x611cbb893824 - std[29689e6404d28ef9]::sys::backtrace::__rust_begin_short_backtrace::<test[a24b3028667022f7]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   35:     0x611cbb89cd12 - std[29689e6404d28ef9]::thread::lifecycle::spawn_unchecked::<test[a24b3028667022f7]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   36:     0x611cbb89cd12 - <core[e929cb53b82a81ca]::panic::unwind_safe::AssertUnwindSafe<std[29689e6404d28ef9]::thread::lifecycle::spawn_unchecked<test[a24b3028667022f7]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[e929cb53b82a81ca]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   37:     0x611cbb89cd12 - std[29689e6404d28ef9]::panicking::catch_unwind::do_call::<core[e929cb53b82a81ca]::panic::unwind_safe::AssertUnwindSafe<std[29689e6404d28ef9]::thread::lifecycle::spawn_unchecked<test[a24b3028667022f7]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:581:40
[INFO] [stdout]   38:     0x611cbb89cd12 - std[29689e6404d28ef9]::panicking::catch_unwind::<(), core[e929cb53b82a81ca]::panic::unwind_safe::AssertUnwindSafe<std[29689e6404d28ef9]::thread::lifecycle::spawn_unchecked<test[a24b3028667022f7]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panicking.rs:544:19
[INFO] [stdout]   39:     0x611cbb89cd12 - std[29689e6404d28ef9]::panic::catch_unwind::<core[e929cb53b82a81ca]::panic::unwind_safe::AssertUnwindSafe<std[29689e6404d28ef9]::thread::lifecycle::spawn_unchecked<test[a24b3028667022f7]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x611cbb89cd12 - std[29689e6404d28ef9]::thread::lifecycle::spawn_unchecked::<test[a24b3028667022f7]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   41:     0x611cbb89cd12 - <std[29689e6404d28ef9]::thread::lifecycle::spawn_unchecked<test[a24b3028667022f7]::run_test::{closure#1}, ()>::{closure#1} as core[e929cb53b82a81ca]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x611cbb910adf - <alloc[9d7caffeb3b5d2c6]::boxed::Box<dyn core[e929cb53b82a81ca]::ops::function::FnOnce<(), Output = ()> + core[e929cb53b82a81ca]::marker::Send> as core[e929cb53b82a81ca]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/alloc/src/boxed.rs:2271:9
[INFO] [stdout]   43:     0x611cbb910adf - <std[29689e6404d28ef9]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/ec6f9a5b4413f74386267ef8efc93712c2ce6db6/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   44:     0x709e77c11aa4 - <unknown>
[INFO] [stdout]   45:     0x709e77c9ea64 - clone
[INFO] [stdout]   46:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     tests::test_refinement_gap_e801
[INFO] [stdout]     tests::test_refinement_no_gap
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 0 passed; 2 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "3d54357a7c117dc95ec10ebac8694032944d9d0d286c05473ae91c585ee8b2f8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3d54357a7c117dc95ec10ebac8694032944d9d0d286c05473ae91c585ee8b2f8", kill_on_drop: false }`
[INFO] [stdout] 3d54357a7c117dc95ec10ebac8694032944d9d0d286c05473ae91c585ee8b2f8
