[INFO] fetching crate synth-verify 0.79.0...
[INFO] testing synth-verify-0.79.0 against 1.100.0-beta.1 for beta-1.100-2
[INFO] extracting crate synth-verify 0.79.0 into /workspace/builds/worker-6-tc2/source
[INFO] started tweaking crates.io crate synth-verify 0.79.0
[INFO] removed 0 missing examples
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate synth-verify 0.79.0
[INFO] tweaked toml for crates.io crate synth-verify 0.79.0 written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate synth-verify 0.79.0 on toolchain 1.100.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate synth-verify 0.79.0 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" "+1.100.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:68:12
[INFO] [stderr]    |
[INFO] [stderr] 68 | homepage = "https://github.com/pulseengine/synth"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 73 | repository = "https://github.com/pulseengine/synth"
[INFO] [stderr]    |              --------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `synth-verify` (manifest) generated 1 warning
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3111399a4047eeb3a02b7a90e478d715f38a8c6669b5c4b49d30a17385265909" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] fe1f3d36a90ca7a9f72eaec76874a48449170b39e1157fd91ab0cdc121741a01
[INFO] running `Command { std: "docker" "start" "fe1f3d36a90ca7a9f72eaec76874a48449170b39e1157fd91ab0cdc121741a01", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "fe1f3d36a90ca7a9f72eaec76874a48449170b39e1157fd91ab0cdc121741a01", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "fe1f3d36a90ca7a9f72eaec76874a48449170b39e1157fd91ab0cdc121741a01" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "fe1f3d36a90ca7a9f72eaec76874a48449170b39e1157fd91ab0cdc121741a01", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "fe1f3d36a90ca7a9f72eaec76874a48449170b39e1157fd91ab0cdc121741a01" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:68:12
[INFO] [stderr]    |
[INFO] [stderr] 68 | homepage = "https://github.com/pulseengine/synth"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 73 | repository = "https://github.com/pulseengine/synth"
[INFO] [stderr]    |              --------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `synth-verify` (manifest) generated 1 warning
[INFO] [stderr]    Compiling libc v0.2.177
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling bitflags v2.13.2
[INFO] [stderr]    Compiling zerocopy v0.8.27
[INFO] [stderr]    Compiling serde v1.0.229
[INFO] [stderr]    Compiling rustix v1.1.2
[INFO] [stderr]    Compiling hybrid-array v0.4.12
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling anyhow v1.0.104
[INFO] [stderr]    Compiling thiserror v2.0.21
[INFO] [stderr]    Compiling serde_json v1.0.151
[INFO] [stderr]    Compiling semver v1.0.27
[INFO] [stderr]    Compiling hashbrown v0.17.1
[INFO] [stderr]    Compiling itoa v1.0.15
[INFO] [stderr]    Compiling syn v3.0.2
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling fastrand v2.3.0
[INFO] [stderr]    Compiling leb128fmt v0.1.0
[INFO] [stderr]    Compiling wasm-encoder v0.258.0
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling synth-cfg v0.79.0
[INFO] [stderr]    Compiling ordeal-lrat v0.22.1
[INFO] [stderr]    Compiling regex-syntax v0.8.8
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling synth-opt v0.79.0
[INFO] [stderr]    Compiling ordeal v0.22.1
[INFO] [stderr]    Compiling crypto-common v0.2.2
[INFO] [stderr]    Compiling block-buffer v0.12.0
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling indexmap v2.14.0
[INFO] [stderr]    Compiling chrono v0.4.45
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling rand_core v0.9.3
[INFO] [stderr]    Compiling digest v0.11.3
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling gimli v0.34.0
[INFO] [stderr]    Compiling sha2 v0.11.0
[INFO] [stderr]    Compiling serde_derive v1.0.229
[INFO] [stderr]    Compiling thiserror-impl v2.0.21
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling tempfile v3.23.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling proptest v1.11.0
[INFO] [stderr]    Compiling wasmparser v0.256.0
[INFO] [stderr]    Compiling synth-core v0.79.0
[INFO] [stderr]    Compiling synth-synthesis v0.79.0
[INFO] [stderr]    Compiling synth-verify v0.79.0 (/opt/rustwide/workdir)
[INFO] [stderr] warning: unused dependency `chrono`
[INFO] [stderr]  --> Cargo.toml:4:15
[INFO] [stderr]   |
[INFO] [stderr] 4 | [dependencies.chrono]
[INFO] [stderr]   |               ^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `chrono`
[INFO] [stderr] warning: `synth-verify` (manifest) generated 1 warning
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 58.11s
[INFO] running `Command { std: "docker" "inspect" "fe1f3d36a90ca7a9f72eaec76874a48449170b39e1157fd91ab0cdc121741a01", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "fe1f3d36a90ca7a9f72eaec76874a48449170b39e1157fd91ab0cdc121741a01" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:68:12
[INFO] [stderr]    |
[INFO] [stderr] 68 | homepage = "https://github.com/pulseengine/synth"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 73 | repository = "https://github.com/pulseengine/synth"
[INFO] [stderr]    |              --------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `synth-verify` (manifest) generated 1 warning
[INFO] [stderr]    Compiling zerocopy v0.8.27
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling find-msvc-tools v0.1.5
[INFO] [stderr]    Compiling syn v2.0.110
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]    Compiling regex-automata v0.4.13
[INFO] [stderr]    Compiling clap_builder v4.6.7
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling page_size v0.6.0
[INFO] [stderr]    Compiling cc v1.2.46
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling chrono v0.4.45
[INFO] [stderr]    Compiling alloca v0.4.0
[INFO] [stderr]    Compiling regex v1.12.2
[INFO] [stderr]    Compiling criterion-plot v0.8.2
[INFO] [stderr]    Compiling clap v4.6.7
[INFO] [stderr]    Compiling zerocopy-derive v0.8.27
[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.9.0
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling proptest v1.11.0
[INFO] [stderr]    Compiling criterion v0.8.2
[INFO] [stderr]    Compiling synth-verify v0.79.0 (/opt/rustwide/workdir)
[INFO] [stderr] warning: unused dependency `chrono`
[INFO] [stderr]  --> Cargo.toml:4:15
[INFO] [stderr]   |
[INFO] [stderr] 4 | [dependencies.chrono]
[INFO] [stderr]   |               ^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `chrono`
[INFO] [stderr] help: to still use for development builds, move to `dev-dependencies`
[INFO] [stderr] warning: `synth-verify` (manifest) generated 1 warning
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 26.42s
[INFO] running `Command { std: "docker" "inspect" "fe1f3d36a90ca7a9f72eaec76874a48449170b39e1157fd91ab0cdc121741a01", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "fe1f3d36a90ca7a9f72eaec76874a48449170b39e1157fd91ab0cdc121741a01" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:68:12
[INFO] [stderr]    |
[INFO] [stderr] 68 | homepage = "https://github.com/pulseengine/synth"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 73 | repository = "https://github.com/pulseengine/synth"
[INFO] [stderr]    |              --------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `synth-verify` (manifest) generated 1 warning
[INFO] [stderr] warning: unused dependency `chrono`
[INFO] [stderr]  --> Cargo.toml:4:15
[INFO] [stderr]   |
[INFO] [stderr] 4 | [dependencies.chrono]
[INFO] [stderr]   |               ^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `chrono`
[INFO] [stderr] help: to still use for development builds, move to `dev-dependencies`
[INFO] [stderr] warning: `synth-verify` (manifest) generated 1 warning
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.19s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/build/synth-verify/07405d457e533cde/out/synth_verify-07405d457e533cde)
[INFO] [stdout] 
[INFO] [stdout] running 181 tests
[INFO] [stdout] test arm_semantics::tests::test_arm_shift_ops ... ok
[INFO] [stdout] test arm_semantics::tests::test_arm_setcond_signed ... ok
[INFO] [stdout] test arm_semantics::tests::test_arm_mls ... ok
[INFO] [stdout] test expansion_validator::tests::backward_branch_is_held_out_loudly ... ok
[INFO] [stdout] test arm_semantics::tests::test_arm_add_semantics ... ok
[INFO] [stdout] test arm_semantics::tests::test_arm_mov_immediate ... ok
[INFO] [stdout] test arm_semantics::tests::test_arm_ror_comprehensive ... ok
[INFO] [stdout] test arm_semantics::tests::test_arm_setcond_eq ... ok
[INFO] [stdout] test arm_semantics::tests::test_arm_bitwise_ops ... ok
[INFO] [stdout] test arm_semantics::tests::test_arm_sub_semantics ... ok
[INFO] [stdout] test expansion_validator::tests::decoder_rejects_unknown_loudly ... ok
[INFO] [stdout] test arm_semantics::tests::test_arm_flags_all_combinations ... ok
[INFO] [stdout] test expansion_validator::tests::div_rem_pseudo_ops_are_unsupported ... ok
[INFO] [stdout] test arm_semantics::tests::test_arm_clz_comprehensive ... ok
[INFO] [stdout] test arm_semantics::tests::test_arm_setcond_unsigned ... ok
[INFO] [stdout] test arm_semantics::tests::test_arm_cmp_flags ... ok
[INFO] [stdout] test arm_semantics::tests::test_arm_rbit_comprehensive ... ok
[INFO] [stdout] test fact_spec::tests::const_rem_u_no_fact_declines_byte_identically_494 ... ok
[INFO] [stdout] test fact_spec::tests::const_rem_u_variable_divisor_declines_identity_and_keeps_op_494 ... ok
[INFO] [stdout] test expansion_validator::tests::hand_built_eqz_wrong_polarity_rejected ... ok
[INFO] [stdout] test fact_spec::tests::div_with_no_premise_declines_loudly_494 ... ok
[INFO] [stdout] test fact_spec::tests::access_ending_exactly_at_bound_is_in_bounds_boundary_494 ... ok
[INFO] [stdout] test fact_spec::tests::bounded_index_elides_all_mem_bounds_guards_494 ... ok
[INFO] [stdout] test fact_spec::tests::i64_div_on_undeclared_width_declines_no_marks_494 ... ok
[INFO] [stdout] test fact_spec::tests::i64_div_s_nonzero_fact_zero_guard_only_overflow_retained_494 ... ok
[INFO] [stdout] test fact_spec::tests::guard_marks_are_remapped_through_a_clamp_elision_494 ... ok
[INFO] [stdout] test fact_spec::tests::if_with_else_declines_494 ... ok
[INFO] [stdout] test fact_spec::tests::mask_elision_no_facts_changes_nothing_494 ... ok
[INFO] [stdout] test fact_spec::tests::mask_without_constraining_premise_declines_no_false_elision_494 ... ok
[INFO] [stdout] test fact_spec::tests::narrow_value_elides_redundant_mask_494 ... ok
[INFO] [stdout] test expansion_validator::tests::schoolbook_mul_matches_u64_mul ... ok
[INFO] [stdout] test expansion_validator::tests::bitcount_references_sanity ... ok
[INFO] [stdout] test fact_spec::tests::i64_div_s_positive_range_discharges_both_obligations_494 ... ok
[INFO] [stdout] test fact_spec::tests::nested_opener_inside_elided_body_fixes_block_arity_ordinals_494 ... ok
[INFO] [stdout] test fact_spec::tests::clamp_shape_elides_both_branches_under_the_proven_bound_494 ... ok
[INFO] [stdout] test fact_spec::tests::const_rem_u_pow2_divisor_still_elides_under_narrow_bound_494 ... ok
[INFO] [stdout] test fact_spec::tests::declined_if_havocs_its_locals_no_false_admit_downstream_494 ... ok
[INFO] [stdout] test expansion_validator::tests::hand_built_eqz_sequence_certifies ... ok
[INFO] [stdout] test fact_spec::tests::no_facts_changes_nothing_494 ... ok
[INFO] [stdout] test fact_spec::tests::mem_marks_are_remapped_through_a_clamp_elision_494 ... ok
[INFO] [stdout] test fact_spec::tests::divisor_range_excluding_zero_elides_zero_guard_all_rem_div_494 ... ok
[INFO] [stdout] test fact_spec::tests::nonzero_fact_elides_zero_guard_but_retains_div_s_overflow_guard_494 ... ok
[INFO] [stdout] test fact_spec::tests::out_of_range_value_id_is_vacuous_494 ... ok
[INFO] [stdout] test fact_spec::tests::select_without_constraining_premise_declines_no_false_collapse_494 ... ok
[INFO] [stdout] test fact_spec::tests::signed_narrow_bound_that_admits_negative_keeps_the_mask_494 ... ok
[INFO] [stdout] test fact_spec::tests::unknown_memory_size_declines_mem_bounds_494 ... ok
[INFO] [stdout] test fact_spec::tests::unconstrained_index_declines_mem_bounds_494 ... ok
[INFO] [stdout] test fact_spec::tests::range_including_zero_is_sat_and_declines_the_zero_guard_494 ... ok
[INFO] [stdout] test fact_spec::tests::wide_bound_makes_mask_live_and_declines_byte_identically_494 ... ok
[INFO] [stdout] test fact_spec::tests::select_collapses_to_true_arm_when_condition_proven_nonzero_494 ... ok
[INFO] [stdout] test fact_spec::tests::tee_condition_slice_is_not_erasable_494 ... ok
[INFO] [stdout] test fact_spec::tests::oob_admissible_bound_is_sat_and_declines_494 ... ok
[INFO] [stdout] test fact_spec::tests::positive_range_discharges_both_div_s_obligations_494 ... ok
[INFO] [stdout] test fact_spec::tests::wraparound_index_plus_offset_never_falsely_unsat_494 ... ok
[INFO] [stdout] test properties::arithmetic_tests::test_sub_overflow_consistency ... ok
[INFO] [stdout] test properties::arithmetic_tests::test_add_overflow_consistency ... ok
[INFO] [stdout] test properties::comparison_tests::test_eq_correctness ... ok
[INFO] [stdout] test properties::bitwise_tests::test_and_bit_precision ... ok
[INFO] [stdout] test fact_spec::tests::untracked_op_stops_tracking_loudly_494 ... ok
[INFO] [stdout] test properties::comparison_tests::test_ge_signed_correctness ... ok
[INFO] [stdout] test properties::bitwise_tests::test_or_bit_precision ... ok
[INFO] [stdout] test properties::arithmetic_tests::test_mul_overflow_consistency ... ok
[INFO] [stdout] test properties::comparison_tests::test_le_signed_correctness ... ok
[INFO] [stdout] test properties::comparison_tests::test_lt_unsigned_correctness ... ok
[INFO] [stdout] test fact_spec::tests::wrong_wide_bound_is_sat_and_declines_loudly_494 ... ok
[INFO] [stdout] test fact_spec::tests::partially_dead_bound_elides_only_the_proven_branch_494 ... ok
[INFO] [stdout] test properties::comparison_tests::test_lt_signed_correctness ... ok
[INFO] [stdout] test properties::bitwise_tests::test_xor_bit_precision ... ok
[INFO] [stdout] test properties::comparison_tests::test_gt_signed_correctness ... ok
[INFO] [stdout] test properties::optimization_tests::test_constant_folding_soundness ... ok
[INFO] [stdout] test properties::optimization_tests::test_dead_code_elimination_soundness ... ok
[INFO] [stdout] test properties::shift_tests::test_shr_arithmetic_edge_cases ... ok
[INFO] [stdout] test expansion_validator::tests::rbit_clz_is_ctz ... ok
[INFO] [stdout] test properties::shift_tests::test_shl_edge_cases ... ok
[INFO] [stdout] test expansion_validator::tests::pre_1048_shl_amount_clobber_rejected ... ok
[INFO] [stdout] test properties::memory_tests::test_stack_pointer_validity ... ok
[INFO] [stdout] test properties::optimization_tests::test_strength_reduction_soundness ... ok
[INFO] [stdout] test properties::memory_tests::test_memory_bounds_checking ... ok
[INFO] [stdout] test term::tests::commutative_construction_is_canonical ... ok
[INFO] [stdout] test term::tests::const_folding_matches_z3_idiom ... ok
[INFO] [stdout] test solver::tests::bool_var_bridge_is_symbolic ... ok
[INFO] [stdout] test properties::shift_tests::test_shr_logical_edge_cases ... ok
[INFO] [stdout] test term::tests::display_uses_smtlib_mnemonics ... ok
[INFO] [stdout] test tests::test_default_solver_decides ... ok
[INFO] [stdout] test solver::tests::ordeal_finds_counterexample_with_model ... ok
[INFO] [stdout] test translation_validator::tests::call_indirect_dropped_null_check_is_rejected ... ok
[INFO] [stdout] test translation_validator::tests::call_indirect_wrong_table_size_is_rejected ... ok
[INFO] [stdout] test properties::comparison_tests::test_ne_correctness ... ok
[INFO] [stdout] test translation_validator::tests::call_indirect_dropped_type_check_is_rejected ... ok
[INFO] [stdout] test properties::optimization_tests::test_algebraic_simplification_soundness ... ok
[INFO] [stdout] test translation_validator::tests::call_indirect_matching_guards_preserve_the_traps ... ok
[INFO] [stdout] test fact_spec::tests::select_clamp_wrong_bound_is_sat_and_declines_byte_identically_494 ... ok
[INFO] [stdout] test fact_spec::tests::select_clamp_collapses_both_selects_under_the_proven_bound_494 ... ok
[INFO] [stdout] test translation_validator::tests::i64_div_s_dropped_both_guards_is_rejected ... ok
[INFO] [stdout] test translation_validator::tests::i64_div_s_dropped_overflow_guard_is_rejected ... ok
[INFO] [stdout] test fact_spec::tests::const_rem_u_wrong_bound_is_sat_and_declines_byte_identically_494 ... ok
[INFO] [stdout] test translation_validator::tests::i64_div_s_overflow_field_is_load_bearing ... ok
[INFO] [stdout] test solver::tests::deadline_degrades_to_unknown_never_to_proven ... ok
[INFO] [stdout] test solver::tests::default_deadline_decides_the_corpus ... ok
[INFO] [stdout] test solver::tests::ordeal_decides_the_corpus ... ok
[INFO] [stdout] test translation_validator::tests::div_lowering_with_guard_preserves_the_trap ... ok
[INFO] [stdout] test expansion_validator::tests::pre_1048_clz_operand_hi_clear_rejected ... ok
[INFO] [stdout] test translation_validator::tests::load_without_bounds_guard_is_rejected ... ok
[INFO] [stdout] test translation_validator::tests::offset_overflow_software_bounds_guard_always_traps_752 ... ok
[INFO] [stdout] test fact_spec::tests::const_rem_u_identity_elided_under_proven_narrow_dividend_494 ... ok
[INFO] [stdout] test translation_validator::tests::div_guard_with_inverted_polarity_is_rejected ... ok
[INFO] [stdout] test translation_validator::tests::div_lowering_without_guard_is_rejected_as_trap_drop ... ok
[INFO] [stdout] test translation_validator::tests::signed_div_with_overflow_guard_stripped_is_rejected ... ok
[INFO] [stdout] test translation_validator::tests::rems_single_zero_guard_is_exactly_right ... ok
[INFO] [stdout] test translation_validator::tests::retired_add_computed_guard_stays_invalid_at_the_address_top_752 ... ok
[INFO] [stdout] test translation_validator::tests::test_verify_and_correct ... ok
[INFO] [stdout] test translation_validator::tests::test_verify_bitwise_ops ... ok
[INFO] [stdout] test translation_validator::tests::test_verify_add_correct ... ok
[INFO] [stdout] test translation_validator::tests::test_verify_incorrect_rule ... ok
[INFO] [stdout] test translation_validator::tests::test_verify_shift_ops ... ok
[INFO] [stdout] test translation_validator::tests::test_verify_sub_correct ... ok
[INFO] [stdout] test translation_validator::tests::trap_preservation_gate_rejects_non_div_ops ... ok
[INFO] [stdout] test translation_validator::tests::test_verify_mul_correct ... ok
[INFO] [stdout] test translation_validator::tests::trunc_f32_s_domain_guard_preserves_the_trap ... ok
[INFO] [stdout] test translation_validator::tests::trunc_f32_with_only_upper_guard_is_rejected ... ok
[INFO] [stdout] test translation_validator::tests::trunc_f32_without_domain_guard_is_rejected ... ok
[INFO] [stdout] test translation_validator::tests::signed_div_double_guard_preserves_both_zero_and_overflow_traps ... ok
[INFO] [stdout] test translation_validator::tests::trunc_f32_u_domain_guard_preserves_the_trap ... ok
[INFO] [stdout] test translation_validator::tests::trunc_f64_with_only_upper_guard_is_rejected ... ok
[INFO] [stdout] test translation_validator::tests::trunc_f64_without_domain_guard_is_rejected ... ok
[INFO] [stdout] test translation_validator::tests::trunc_f64_s_domain_guard_preserves_the_trap ... ok
[INFO] [stdout] test translation_validator::tests::trunc_f64_u_domain_guard_preserves_the_trap ... ok
[INFO] [stdout] test translation_validator::tests::unreachable_lowered_to_nop_is_rejected ... ok
[INFO] [stdout] test translation_validator::tests::unreachable_udf_lowering_preserves_the_trap ... ok
[INFO] [stdout] test translation_validator::tests::verify_rule_routes_partial_ops_through_the_trap_gate ... ok
[INFO] [stdout] test validator_pattern::tests::certified_selection_witness_roundtrip ... ok
[INFO] [stdout] test validator_pattern::tests::i32_add_certifies ... ok
[INFO] [stdout] test validator_pattern::tests::i32_arith_logic_certifies ... ok
[INFO] [stdout] test translation_validator::tests::i64_div_rem_all_four_full_guards_preserve_the_trap ... ok
[INFO] [stdout] test translation_validator::tests::byte_load_software_bounds_guard_preserves_the_trap ... ok
[INFO] [stdout] test validator_pattern::tests::i32_div_certify ... ok
[INFO] [stdout] test validator_pattern::tests::i32_eqz_certifies ... ok
[INFO] [stdout] test validator_pattern::tests::i32_rem_is_scoped_out ... ok
[INFO] [stdout] test validator_pattern::tests::i64_add_certifies ... ok
[INFO] [stdout] test validator_pattern::tests::i32_shifts_certify ... ok
[INFO] [stdout] test validator_pattern::tests::i64_compare_references_match_native ... ok
[INFO] [stdout] test validator_pattern::tests::i32_comparisons_certify ... ok
[INFO] [stdout] test validator_pattern::tests::i64_eqz_certifies ... ok
[INFO] [stdout] test validator_pattern::tests::i64_comparisons_certify ... ok
[INFO] [stdout] test validator_pattern::tests::i64_logic_certifies ... ok
[INFO] [stdout] test validator_pattern::tests::i64_div_is_scoped_out ... ok
[INFO] [stdout] test validator_pattern::tests::i64_rotates_certify ... ok
[INFO] [stdout] test validator_pattern::tests::i64_shifts_certify ... ok
[INFO] [stdout] test validator_pattern::tests::i64_mul_certifies ... ok
[INFO] [stdout] test validator_pattern::tests::i64_sub_certifies ... ok
[INFO] [stdout] test validator_pattern::tests::unsupported_op_returns_structured_error ... ok
[INFO] [stdout] test validator_pattern::tests::wrong_i32_lt_s_lowering_rejected ... ok
[INFO] [stdout] test validator_pattern::tests::wrong_i64_add_lowering_rejected ... ok
[INFO] [stdout] test wasm_semantics::tests::test_wasm_add_encoding ... ok
[INFO] [stdout] test wasm_semantics::tests::test_wasm_bitwise_ops ... ok
[INFO] [stdout] test wasm_semantics::tests::test_wasm_clz_comprehensive ... ok
[INFO] [stdout] test wasm_semantics::tests::test_wasm_comparison ... ok
[INFO] [stdout] test wasm_semantics::tests::test_wasm_const_encoding ... ok
[INFO] [stdout] test wasm_semantics::tests::test_wasm_ctz_comprehensive ... ok
[INFO] [stdout] test wasm_semantics::tests::test_wasm_popcnt ... ok
[INFO] [stdout] test wasm_semantics::tests::test_wasm_rem_ops ... ok
[INFO] [stdout] test wasm_semantics::tests::test_wasm_rotation_ops ... ok
[INFO] [stdout] test wasm_semantics::tests::test_wasm_select ... ok
[INFO] [stdout] test wasm_semantics::tests::test_wasm_shift_modulo ... ok
[INFO] [stdout] test wasm_semantics::tests::test_wasm_shift_ops ... ok
[INFO] [stdout] test wasm_semantics::tests::test_wasm_sub_encoding ... ok
[INFO] [stdout] test translation_validator::tests::large_offset_software_bounds_guard_verifies_752 ... ok
[INFO] [stdout] test validator_pattern::tests::wrong_i64_shl_lowering_rejected ... ok
[INFO] [stdout] test translation_validator::tests::wraparound_safe_bounds_guard_verifies ... ok
[INFO] [stdout] test translation_validator::tests::word_load_software_bounds_guard_survives_the_address_top_752 ... ok
[INFO] [stdout] test translation_validator::tests::i64_rem_shipped_value_is_verified ... ok
[INFO] [stdout] test translation_validator::tests::i64_rem_value_model_closes_a_trap_only_gap ... ok
[INFO] [stdout] test translation_validator::tests::i64_div_rem_dropped_zero_guard_is_rejected ... ok
[INFO] [stdout] test translation_validator::tests::i64_rem_wrong_destination_register_is_rejected ... ok
[INFO] [stdout] test translation_validator::tests::i64_rem_destination_field_is_load_bearing ... ok
[INFO] [stdout] test translation_validator::tests::store_software_bounds_guard_verifies_752 ... ok
[INFO] [stdout] test translation_validator::tests::dump_756_non_vacuity_verdicts ... ok
[INFO] [stdout] test translation_validator::tests::all_load_widths_software_bounds_guard_verify_752 ... ok
[INFO] [stdout] test validator_pattern::tests::i64_shift_references_match_native ... ok
[INFO] [stdout] test expansion_validator::tests::popcnt_hakmem_formula_is_popcnt has been running for over 60 seconds
[INFO] [stdout] test translation_validator::tests::i64_rem_wrong_signedness_is_rejected has been running for over 60 seconds
[INFO] [stdout] test translation_validator::tests::i64_rem_wrong_signedness_is_rejected ... ok
[INFO] [stdout] test expansion_validator::tests::popcnt_hakmem_formula_is_popcnt ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 181 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 135.31s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/arm_semantics_isa_faithfulness_923.rs (/opt/rustwide/target/debug/build/synth-verify/68bcf3877050e48c/out/arm_semantics_isa_faithfulness_923-68bcf3877050e48c)
[INFO] [stdout] 
[INFO] [stdout] running 25 tests
[INFO] [stdout] test a_sequence_containing_an_unmodeled_op_declines_by_name ... ok
[INFO] [stdout] test i64_remainders_match_native_64_bit_arithmetic ... ok
[INFO] [stdout] test movw_movt_materialize_a_32_bit_constant ... ok
[INFO] [stdout] test cmn_sets_addition_flags_and_drives_the_div_s_overflow_guard ... ok
[INFO] [stdout] test i64_add_and_sub_propagate_carry_and_borrow_across_the_pair ... ok
[INFO] [stdout] test a_lowering_that_destroys_its_own_result_is_rejected ... ok
[INFO] [stdout] test cmp_sets_arm_flag_polarity_including_carry_is_not_borrow ... ok
[INFO] [stdout] test every_trap_subset_delegate_is_actually_modeled ... ok
[INFO] [stdout] test an_unmasked_shift_lowering_is_still_rejected ... ok
[INFO] [stdout] test sdiv_truncates_toward_zero_and_wraps_at_int_min_over_minus_one ... ok
[INFO] [stdout] test rsb_immediate_is_imm_minus_rn ... ok
[INFO] [stdout] test udiv_and_mls_form_the_remainder_idiom ... ok
[INFO] [stdout] test sign_and_zero_extension_take_the_low_byte_or_halfword ... ok
[INFO] [stdout] test umull_produces_the_full_64_bit_unsigned_product ... ok
[INFO] [stdout] test the_rocq_proved_shipped_rotl_rule_verifies_instruction_for_instruction ... ok
[INFO] [stdout] test i64_comparisons_are_lexicographic_with_an_unsigned_low_word ... ok
[INFO] [stdout] test bit_counting_ops_match_the_rust_intrinsics ... ok
[INFO] [stdout] test lsr_register_masks_rm_low_eight_bits ... ok
[INFO] [stdout] test ror_register_rotates_by_rm_low_eight_bits ... ok
[INFO] [stdout] test lsl_register_masks_rm_low_eight_bits_not_mod_32_and_not_raw ... ok
[INFO] [stdout] test asr_register_sign_fills_beyond_31_and_masks_rm_low_eight_bits ... ok
[INFO] [stdout] test f32_ordered_compares_follow_ieee754_including_nan_and_signed_zero ... ok
[INFO] [stdout] test f64_ordered_compares_follow_ieee754_including_nan_and_signed_zero ... ok
[INFO] [stdout] test setcond_after_cmp_matches_the_arm_condition_table ... ok
[INFO] [stdout] test the_shipped_shift_and_rotate_lowerings_now_verify ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 25 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.79s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/comprehensive_verification.rs (/opt/rustwide/target/debug/build/synth-verify/9f84b7b1cfa8650b/out/comprehensive_verification-9f84b7b1cfa8650b)
[INFO] [stdout] 
[INFO] [stdout] running 53 tests
[INFO] [stdout] test test_arm_ror_semantics ... ok
[INFO] [stdout] test verify_br_table_empty ... ok
[INFO] [stdout] test test_remainder_sequences_concrete ... ok
[INFO] [stdout] test verify_block ... ok
[INFO] [stdout] test verify_end ... ok
[INFO] [stdout] test verify_global_get ... ok
[INFO] [stdout] test verify_call ... ok
[INFO] [stdout] test verify_else ... ok
[INFO] [stdout] test verify_i32_add ... ok
[INFO] [stdout] test verify_call_indirect ... ok
[INFO] [stdout] test verify_i32_const ... ok
[INFO] [stdout] test batch_verify_all_bitwise ... ok
[INFO] [stdout] test verify_global_set ... ok
[INFO] [stdout] test verify_i32_eqz ... ok
[INFO] [stdout] test verify_i32_ge_u ... ok
[INFO] [stdout] test verify_i32_ge_s ... ok
[INFO] [stdout] test verify_i32_and ... ok
[INFO] [stdout] test verify_br_table ... ok
[INFO] [stdout] test verify_i32_lt_s ... ok
[INFO] [stdout] test verify_i32_clz ... ok
[INFO] [stdout] test verify_i32_lt_u ... ok
[INFO] [stdout] test verify_i32_or ... ok
[INFO] [stdout] test verify_i32_popcnt ... ok
[INFO] [stdout] test verify_i32_rotl_transformation ... ok
[INFO] [stdout] test verify_i32_rotr_parameterized ... ok
[INFO] [stdout] test verify_i32_shl_parameterized ... ok
[INFO] [stdout] test verify_i32_gt_s ... ok
[INFO] [stdout] test verify_i32_shr_s_parameterized ... ok
[INFO] [stdout] test verify_i32_sub ... ok
[INFO] [stdout] test verify_i32_xor ... ok
[INFO] [stdout] test verify_if ... ok
[INFO] [stdout] test verify_local_get ... ok
[INFO] [stdout] test verify_i32_shr_u_parameterized ... ok
[INFO] [stdout] test verify_local_tee ... ok
[INFO] [stdout] test verify_local_set ... ok
[INFO] [stdout] test verify_loop ... ok
[INFO] [stdout] test verify_nop ... ok
[INFO] [stdout] test verify_select ... ok
[INFO] [stdout] test verify_unreachable ... ok
[INFO] [stdout] test verify_i32_mul ... ok
[INFO] [stdout] test verify_i32_gt_u ... ok
[INFO] [stdout] test verify_i32_eq ... ok
[INFO] [stdout] test verify_i32_le_s ... ok
[INFO] [stdout] test verify_i32_le_u ... ok
[INFO] [stdout] test verify_i32_ne ... ok
[INFO] [stdout] test test_ctz_sequence_concrete ... ok
[INFO] [stdout] test verify_i32_div_s ... ok
[INFO] [stdout] test batch_verify_all_arithmetic ... ok
[INFO] [stdout] test generate_verification_report ... ok
[INFO] [stdout] test verify_i32_div_u ... ok
[INFO] [stdout] test verify_i32_rem_u ... ok
[INFO] [stdout] test verify_i32_rem_s ... ok
[INFO] [stdout] test verify_i32_ctz ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 53 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.38s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/trap_preservation.rs (/opt/rustwide/target/debug/build/synth-verify/90493d0f3cf79c27/out/trap_preservation-90493d0f3cf79c27)
[INFO] [stdout] 
[INFO] [stdout] running 11 tests
[INFO] [stdout] test trunc_op_maps_all_six_wasm_variants ... ok
[INFO] [stdout] test trunc_classifier_eval_matches_709_boundary_table ... ok
[INFO] [stdout] test unreachable_elision_is_caught_and_preservation_accepted ... ok
[INFO] [stdout] test trunc_signedness_confused_guard_is_caught ... ok
[INFO] [stdout] test trunc_gate_decides_709_boundary_table_through_certified_pipeline ... ok
[INFO] [stdout] test call_indirect_statically_discharged_drop_is_caught_and_preservation_accepted ... ok
[INFO] [stdout] test call_indirect_runtime_type_drop_is_caught_and_preservation_accepted ... ok
[INFO] [stdout] test load_store_oob_bounds_drop_is_caught_and_preservation_accepted ... ok
[INFO] [stdout] test trunc_all_six_ops_catch_the_drop_and_accept_preservation ... ok
[INFO] [stdout] test signed_div_overflow_only_drop_is_caught ... ok
[INFO] [stdout] test div_rem_all_four_ops_catch_the_drop_and_accept_preservation ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/verify_wire_shift_sensitivity_981.rs (/opt/rustwide/target/debug/build/synth-verify/ed33569df8499fed/out/verify_wire_shift_sensitivity_981-ed33569df8499fed)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test extra_masking_instruction_is_invalid ... ok
[INFO] [stdout] test swapped_operand_order_is_invalid ... ok
[INFO] [stdout] test corrupted_rotl_negation_is_invalid ... ok
[INFO] [stdout] test wrong_shift_opcode_is_invalid ... ok
[INFO] [stdout] test dropped_or_weakened_mask_is_invalid ... ok
[INFO] [stderr]    Doc-tests synth_verify
[INFO] [stdout] test all_five_shipped_shift_and_rotate_rules_verify_via_verify_rule ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.86s
[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] running `Command { std: "docker" "inspect" "fe1f3d36a90ca7a9f72eaec76874a48449170b39e1157fd91ab0cdc121741a01", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fe1f3d36a90ca7a9f72eaec76874a48449170b39e1157fd91ab0cdc121741a01", kill_on_drop: false }`
[INFO] [stdout] fe1f3d36a90ca7a9f72eaec76874a48449170b39e1157fd91ab0cdc121741a01
