[INFO] fetching crate r2smt-slicer 0.4.0...
[INFO] testing r2smt-slicer-0.4.0 against 1.100.0-beta.1 for beta-1.100-2
[INFO] extracting crate r2smt-slicer 0.4.0 into /workspace/builds/worker-7-tc2/source
[INFO] started tweaking crates.io crate r2smt-slicer 0.4.0
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate r2smt-slicer 0.4.0
[INFO] tweaked toml for crates.io crate r2smt-slicer 0.4.0 written to /workspace/builds/worker-7-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate r2smt-slicer 0.4.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 r2smt-slicer 0.4.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] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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] a052017e7ea3139b9aa4e8bb4af3b1a8f546a05af4c1bc81dfdf5ba95de7ea58
[INFO] running `Command { std: "docker" "start" "a052017e7ea3139b9aa4e8bb4af3b1a8f546a05af4c1bc81dfdf5ba95de7ea58", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "a052017e7ea3139b9aa4e8bb4af3b1a8f546a05af4c1bc81dfdf5ba95de7ea58", 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" "a052017e7ea3139b9aa4e8bb4af3b1a8f546a05af4c1bc81dfdf5ba95de7ea58" "/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" "a052017e7ea3139b9aa4e8bb4af3b1a8f546a05af4c1bc81dfdf5ba95de7ea58", 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" "a052017e7ea3139b9aa4e8bb4af3b1a8f546a05af4c1bc81dfdf5ba95de7ea58" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling syn v3.0.3
[INFO] [stderr]    Compiling thiserror-impl v2.0.20
[INFO] [stderr]    Compiling thiserror v2.0.20
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling r2smt-common v0.4.0
[INFO] [stderr]    Compiling r2smt-ir v0.4.0
[INFO] [stderr]    Compiling r2smt-pcode v0.4.0
[INFO] [stderr]    Compiling r2smt-esil v0.4.0
[INFO] [stderr]    Compiling r2smt-slicer v0.4.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 14.66s
[INFO] running `Command { std: "docker" "inspect" "a052017e7ea3139b9aa4e8bb4af3b1a8f546a05af4c1bc81dfdf5ba95de7ea58", 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" "a052017e7ea3139b9aa4e8bb4af3b1a8f546a05af4c1bc81dfdf5ba95de7ea58" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling r2smt-ir v0.4.0
[INFO] [stderr]    Compiling r2smt-esil v0.4.0
[INFO] [stderr]    Compiling r2smt-pcode v0.4.0
[INFO] [stderr]    Compiling r2smt-slicer v0.4.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 12.08s
[INFO] running `Command { std: "docker" "inspect" "a052017e7ea3139b9aa4e8bb4af3b1a8f546a05af4c1bc81dfdf5ba95de7ea58", 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" "a052017e7ea3139b9aa4e8bb4af3b1a8f546a05af4c1bc81dfdf5ba95de7ea58" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.06s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/build/r2smt-slicer/b960d86bab5f4805/out/r2smt_slicer-b960d86bab5f4805)
[INFO] [stdout] 
[INFO] [stdout] running 531 tests
[INFO] [stdout] test collector::tests::jmp_unconditional_is_ignored ... ok
[INFO] [stdout] test condition::tests::aarch32_thumb_wide_conditional_branch_classifies ... ok
[INFO] [stdout] test condition::tests::aarch32_b_cond_family_classifies ... ok
[INFO] [stdout] test condition::tests::aarch64_b_cond_family_resolves_to_branch_conditions ... ok
[INFO] [stdout] test condition::tests::aarch64_unconditional_and_unsupported_return_none ... ok
[INFO] [stdout] test condition::tests::cmovcc_family_classified ... ok
[INFO] [stdout] test condition::tests::aarch64_compare_and_branch_family_resolves ... ok
[INFO] [stdout] test condition::tests::formula_is_non_empty_for_every_condition ... ok
[INFO] [stdout] test condition::tests::cx_zero_family ... ok
[INFO] [stdout] test collector::tests::indirect_jcc_emits_candidate_without_target ... ok
[INFO] [stdout] test collector::tests::setcc_and_cmovcc_have_no_taken_target ... ok
[INFO] [stdout] test condition::tests::jcc_synonyms_resolve_to_same_condition ... ok
[INFO] [stdout] test condition::tests::miscellaneous_flag_branches ... ok
[INFO] [stdout] test collector::tests::collect_function_branches_respects_function_address ... ok
[INFO] [stdout] test condition::tests::setcc_family_classified ... ok
[INFO] [stdout] test condition::tests::signed_family_classified ... ok
[INFO] [stdout] test condition::tests::unconditional_and_unknown_return_none ... ok
[INFO] [stdout] test condition::tests::x86_mnemonics_do_not_classify_under_aarch64 ... ok
[INFO] [stdout] test collector::tests::jne_with_immediate_target_resolves_both_edges ... ok
[INFO] [stdout] test effect::tests::aarch32_aapcs_vector_alias_is_still_a_general_purpose_register ... ok
[INFO] [stdout] test effect::tests::aarch32_bcond_is_still_a_conditional_branch ... ok
[INFO] [stdout] test effect::tests::aarch32_bfi_is_not_a_conditional_branch ... ok
[INFO] [stdout] test effect::tests::aarch32_cbz_reads_the_compared_register ... ok
[INFO] [stdout] test effect::tests::aarch32_general_purpose_register_list_is_not_a_vector_shape ... ok
[INFO] [stdout] test effect::tests::aarch32_general_purpose_push_list_is_still_data_movement ... ok
[INFO] [stdout] test effect::tests::aarch32_register_post_index_reads_its_delta_register ... ok
[INFO] [stdout] test effect::tests::aarch32_packed_integer_also_reads_its_destination ... ok
[INFO] [stdout] test effect::tests::aarch32_packed_integer_defines_its_vector_destination ... ok
[INFO] [stdout] test effect::tests::aarch32_store_writeback_defines_its_base_register ... ok
[INFO] [stdout] test effect::tests::aarch32_plain_offset_load_does_not_define_its_base_register ... ok
[INFO] [stdout] test effect::tests::aarch32_unpredicated_move_does_not_read_its_destination ... ok
[INFO] [stdout] test effect::tests::aarch32_strd_reads_both_named_registers ... ok
[INFO] [stdout] test effect::tests::aarch32_thumb_two_operand_arith_reads_its_destination ... ok
[INFO] [stdout] test effect::tests::aarch32_thumb_wide_suffix_keeps_the_base_effect ... ok
[INFO] [stdout] test effect::tests::aarch32_vldr_defines_its_register_and_touches_memory ... ok
[INFO] [stdout] test effect::tests::aarch32_untyped_bitwise_neon_is_classified_as_simd ... ok
[INFO] [stdout] test effect::tests::aarch32_indexed_vector_lane_declines ... ok
[INFO] [stdout] test effect::tests::aarch32_ldrd_defines_both_named_registers ... ok
[INFO] [stdout] test condition::tests::aarch64_classify_uppercases_safely ... ok
[INFO] [stdout] test effect::tests::aarch32_ldrsb_is_a_modelled_load_not_an_opaque_other ... ok
[INFO] [stdout] test effect::tests::aarch32_movs_defines_flags_unlike_plain_mov ... ok
[INFO] [stdout] test effect::tests::aarch64_bl_is_call ... ok
[INFO] [stdout] test effect::tests::aarch64_bitwise_select_reads_its_destination ... ok
[INFO] [stdout] test effect::tests::aarch32_post_index_writeback_defines_its_base_register ... ok
[INFO] [stdout] test effect::tests::aarch32_vpush_reads_its_registers_and_writes_sp ... ok
[INFO] [stdout] test effect::tests::aarch32_vstr_reads_its_register_and_defines_none ... ok
[INFO] [stdout] test effect::tests::aarch64_add_is_3op_no_flags_adds_sets_flags ... ok
[INFO] [stdout] test effect::tests::aarch64_b_cond_is_jcc ... ok
[INFO] [stdout] test effect::tests::aarch64_element_insert_still_defines_its_destination ... ok
[INFO] [stdout] test effect::tests::aarch64_broadcast_immediate_reads_no_register ... ok
[INFO] [stdout] test effect::tests::aarch64_deinterleaving_store_defines_no_register ... ok
[INFO] [stdout] test effect::tests::aarch64_cmp_uses_both_no_def ... ok
[INFO] [stdout] test effect::tests::aarch32_predicated_instruction_also_reads_its_destination ... ok
[INFO] [stdout] test effect::tests::aarch64_contiguous_store_reads_its_listed_registers ... ok
[INFO] [stdout] test effect::tests::aarch64_contiguous_load_defines_its_listed_register ... ok
[INFO] [stdout] test effect::tests::aarch64_deinterleaving_load_defines_every_listed_register ... ok
[INFO] [stdout] test effect::tests::aarch64_deinterleaving_load_reads_only_its_base_register ... ok
[INFO] [stdout] test effect::tests::aarch64_element_insert_reads_its_destination ... ok
[INFO] [stdout] test effect::tests::aarch32_vpop_range_records_every_member_parent ... ok
[INFO] [stdout] test effect::tests::aarch64_element_to_general_register_defines_the_general_register ... ok
[INFO] [stdout] test effect::tests::aarch32_vmrs_flag_transfer_is_kept_not_truncated ... ok
[INFO] [stdout] test effect::tests::aarch64_narrowing_two_form_reads_its_destination ... ok
[INFO] [stdout] test effect::tests::aarch64_mov_defines_destination_without_flags ... ok
[INFO] [stdout] test effect::tests::aarch64_multiply_accumulate_reads_its_destination ... ok
[INFO] [stdout] test effect::tests::aarch64_narrowing_base_form_does_not_read_its_destination ... ok
[INFO] [stdout] test effect::tests::aarch64_packed_add_defines_its_vector_destination ... ok
[INFO] [stdout] test effect::tests::aarch64_packed_add_reads_both_vector_sources ... ok
[INFO] [stdout] test condition::tests::unsigned_family_classified ... ok
[INFO] [stdout] test effect::tests::aarch64_packed_add_is_classified_as_simd ... ok
[INFO] [stdout] test effect::tests::aarch64_indexed_lane_operand_declines ... ok
[INFO] [stdout] test effect::tests::aarch64_long_multiply_accumulate_reads_its_destination ... ok
[INFO] [stdout] test effect::tests::aarch64_multi_register_list_operand_recovers_every_parent ... ok
[INFO] [stdout] test effect::tests::aarch64_packed_floating_point_defines_its_vector_destination ... ok
[INFO] [stdout] test effect::tests::aarch64_postindex_ldp_defines_its_base ... ok
[INFO] [stdout] test effect::tests::aarch64_scalar_arithmetic_is_unaffected_by_the_arrangement_guard ... ok
[INFO] [stdout] test effect::tests::aarch64_scalar_saturating_unary_defines_its_destination ... ok
[INFO] [stdout] test effect::tests::aarch64_structured_list_of_an_unmodelled_shape_still_declines ... ok
[INFO] [stdout] test effect::tests::aarch64_scalar_saturating_unary_does_not_read_its_destination ... ok
[INFO] [stdout] test effect::tests::aarch64_structured_post_index_defines_its_base_register ... ok
[INFO] [stdout] test effect::tests::aarch64_structured_load_is_a_memory_access ... ok
[INFO] [stdout] test effect::tests::aarch64_w_subregister_canonicalises_to_x ... ok
[INFO] [stdout] test effect::tests::aarch64_structured_single_element_load_reads_its_destination ... ok
[INFO] [stdout] test effect::tests::canonical_register_covers_aliases ... ok
[INFO] [stdout] test effect::tests::aarch64_unmodelled_vector_mnemonic_declines ... ok
[INFO] [stdout] test effect::tests::canonical_register_recognises_aarch64_simd_aliases ... ok
[INFO] [stdout] test effect::tests::aarch64_unconditional_b_is_jmp ... ok
[INFO] [stdout] test effect::tests::call_is_flagged ... ok
[INFO] [stdout] test effect::tests::aarch64_packed_vector_instruction_sets_no_flags ... ok
[INFO] [stdout] test effect::tests::canonical_register_rejects_names_from_other_isas ... ok
[INFO] [stdout] test effect::tests::cmp_uses_both_operands_no_def ... ok
[INFO] [stdout] test effect::tests::aarch64_widening_long_defines_its_destination ... ok
[INFO] [stdout] test effect::tests::memory_operand_width_reads_simd_size_prefixes ... ok
[INFO] [stdout] test effect::tests::memory_operand_width_ignores_size_keywords_inside_symbols ... ok
[INFO] [stdout] test effect::tests::lea_does_not_access_memory ... ok
[INFO] [stdout] test effect::tests::aarch64_permutation_does_not_read_its_destination ... ok
[INFO] [stdout] test effect::tests::aarch64_postindex_stp_defines_its_base ... ok
[INFO] [stdout] test effect::tests::aarch64_scalar_floating_point_is_unaffected_by_the_arrangement_guard ... ok
[INFO] [stdout] test effect::tests::imul_two_operand_is_arithmetic ... ok
[INFO] [stdout] test effect::tests::aarch64_plain_offset_ldr_does_not_define_its_base ... ok
[INFO] [stdout] test effect::tests::mov_load_from_stack_slot_is_modellable_memory ... ok
[INFO] [stdout] test effect::tests::mov_load_from_register_indirect_is_modellable_memory ... ok
[INFO] [stdout] test effect::tests::registers_in_operand_surfaces_arm_simd_names ... ok
[INFO] [stdout] test effect::tests::stack_slot_rejects_dynamic_indexing ... ok
[INFO] [stdout] test effect::tests::shifts_define_dest_and_flags ... ok
[INFO] [stdout] test effect::tests::test_uses_both_operands_no_def ... ok
[INFO] [stdout] test effect::tests::stack_slot_recognises_widths ... ok
[INFO] [stdout] test effect::tests::xor_eax_eax_is_still_zero_idiom ... ok
[INFO] [stdout] test effect::tests::x86_mnemonics_under_aarch64_are_other ... ok
[INFO] [stdout] test effect::tests::xor_different_registers_uses_both ... ok
[INFO] [stdout] test effect::tests::xor_same_register_is_zero_idiom ... ok
[INFO] [stdout] test effect::tests::xor_sub_register_is_not_zero_idiom ... ok
[INFO] [stdout] test lift::aarch64::neon::structured::tests::test_resolve_accepts_a_four_register_contiguous_load ... ok
[INFO] [stdout] test lift::aarch64::neon::structured::tests::test_resolve_accepts_a_list_wrapping_past_the_last_register ... ok
[INFO] [stdout] test effect::tests::mov_store_to_stack_slot_uses_address_register_no_reg_def ... ok
[INFO] [stdout] test lift::aarch64::neon::structured::tests::test_resolve_contiguous_load_writes_the_listed_registers ... ok
[INFO] [stdout] test lift::aarch64::neon::structured::tests::test_resolve_reads_the_replicating_load_arrangement ... ok
[INFO] [stdout] test lift::aarch64::neon::structured::tests::test_resolve_contiguous_store_reads_the_listed_registers ... ok
[INFO] [stdout] test lift::aarch64::neon::structured::tests::test_resolve_register_post_index_marks_the_base_written ... ok
[INFO] [stdout] test lift::aarch64::neon::structured::tests::test_resolve_rejects_a_deinterleaving_list_of_the_wrong_length ... ok
[INFO] [stdout] test lift::aarch64::neon::structured::tests::test_resolve_rejects_a_replicating_single_element_list ... ok
[INFO] [stdout] test lift::aarch64::neon::structured::tests::test_resolve_post_index_marks_the_base_written ... ok
[INFO] [stdout] test lift::aarch64::neon::structured::tests::test_resolve_rejects_a_non_memory_second_operand ... ok
[INFO] [stdout] test lift::aarch64::neon::structured::tests::test_resolve_rejects_a_non_consecutive_list ... ok
[INFO] [stdout] test lift::aarch64::neon::structured::tests::test_resolve_rejects_mixed_arrangements_in_one_list ... ok
[INFO] [stdout] test effect::tests::registers_in_operand_dispatches_on_arch ... ok
[INFO] [stdout] test lift::aarch64::neon::structured::tests::test_resolve_single_element_load_also_reads_its_destination ... ok
[INFO] [stdout] test effect::tests::registers_in_operand_extracts_from_memory_expression ... ok
[INFO] [stdout] test lift::aarch64::neon::structured::tests::test_resolve_rejects_a_replicating_store ... ok
[INFO] [stdout] test effect::tests::unknown_mnemonic_is_other ... ok
[INFO] [stdout] test effect::tests::mov_reg_imm_defines_no_flags ... ok
[INFO] [stdout] test lift::simd::tests::fused_multiply_lane_accepts_a_binary32_lane_over_a_binary64_intermediate ... ok
[INFO] [stdout] test effect::tests::registers_in_operand_collapses_arm32_d_to_v_parent ... ok
[INFO] [stdout] test effect::tests::segment_prefixed_memory_is_unmodellable ... ok
[INFO] [stdout] test effect::tests::aarch64_preindex_str_defines_its_base ... ok
[INFO] [stdout] test effect::tests::canonical_register_dispatches_on_arch ... ok
[INFO] [stdout] test lift::aarch64::neon::structured::tests::test_resolve_rejects_the_scalar_load_family ... ok
[INFO] [stdout] test lift::simd::tests::fused_multiply_lane_accepts_a_binary64_lane_over_a_binary128_intermediate ... ok
[INFO] [stdout] test lift::aarch64::neon::structured::tests::test_resolve_rejects_an_out_of_range_lane_index ... ok
[INFO] [stdout] test lift::simd::tests::a_binary16_lane_widens_to_binary32_and_not_to_something_narrower ... ok
[INFO] [stdout] test lift::simd::tests::a_binary64_lane_widens_to_binary128_and_not_to_something_narrower ... ok
[INFO] [stdout] test lift::simd::tests::fused_multiply_lane_accepts_a_binary16_lane_over_a_binary32_intermediate ... ok
[INFO] [stdout] test lift::tests::aarch32_a_shift_specifier_register_is_a_use ... ok
[INFO] [stdout] test lift::tests::aarch32_aapcs_vector_alias_is_unaffected_by_the_shape_guard ... ok
[INFO] [stdout] test lift::simd::tests::fused_multiply_lane_declines_a_lane_that_names_no_ieee_format ... ok
[INFO] [stdout] test lift::tests::aarch32_adcs_leaves_carry_and_overflow_imprecise ... ok
[INFO] [stdout] test lift::tests::aarch32_adc_adds_the_carry_flag ... ok
[INFO] [stdout] test lift::tests::aarch32_bic_emits_and_not_pattern ... ok
[INFO] [stdout] test lift::tests::aarch32_empty_element_type_suffix_does_not_panic ... ok
[INFO] [stdout] test lift::tests::aarch32_floating_point_arithmetic_pins_the_rounding_mode ... ok
[INFO] [stdout] test lift::tests::aarch32_cmn_sets_flags_from_addition ... ok
[INFO] [stdout] test lift::tests::aarch32_gpr_alias_is_not_mistaken_for_a_vector_register ... ok
[INFO] [stdout] test lift::tests::aarch32_double_precision_on_a_d_register_stays_scalar ... ok
[INFO] [stdout] test lift::tests::aarch32_arm_pc_reads_two_instructions_ahead ... ok
[INFO] [stdout] test lift::tests::aarch32_bare_width_element_no_longer_hides_the_permutation_family ... ok
[INFO] [stdout] test lift::tests::aarch32_adc_and_sbc_sit_on_opposite_sides_of_the_carry_inversion ... ok
[INFO] [stdout] test lift::tests::aarch32_indexed_lane_operand_declines_at_the_lifter ... ok
[INFO] [stdout] test lift::tests::aarch32_integer_typed_vector_mnemonic_is_not_scalar_floating_point ... ok
[INFO] [stdout] test lift::aarch64::neon::structured::tests::test_resolve_rejects_a_single_lane_arrangement_for_deinterleaving ... ok
[INFO] [stdout] test lift::tests::aarch32_ldrd_loads_two_consecutive_words ... ok
[INFO] [stdout] test lift::tests::aarch32_ldrsh_sign_extends_the_loaded_halfword ... ok
[INFO] [stdout] test lift::tests::aarch32_middle_register_write_preserves_bits_above_and_below ... ok
[INFO] [stdout] test lift::tests::aarch32_mla_accumulates_the_fourth_operand ... ok
[INFO] [stdout] test lift::tests::aarch32_ldrd_puts_the_second_register_one_word_higher ... ok
[INFO] [stdout] test lift::tests::aarch32_movs_leaves_carry_and_overflow_untouched ... ok
[INFO] [stdout] test lift::tests::aarch32_mls_subtracts_the_product_from_the_accumulator ... ok
[INFO] [stdout] test lift::tests::aarch32_ldrb_still_zero_extends ... ok
[INFO] [stdout] test lift::tests::aarch32_lsls_sets_flags_and_is_not_a_conditional_lsl ... ok
[INFO] [stdout] test lift::tests::aarch32_ldrsb_sign_extends_the_loaded_byte ... ok
[INFO] [stdout] test lift::tests::aarch32_ldmfd_is_the_ascending_pop_not_the_descending_push ... ok
[INFO] [stdout] test lift::tests::aarch32_fpscr_write_is_recognised ... ok
[INFO] [stdout] test lift::tests::aarch32_families_are_covered_by_both_effect_and_lifter ... ok
[INFO] [stdout] test lift::tests::aarch32_movw_clears_the_top_half ... ok
[INFO] [stdout] test lift::tests::aarch32_permutation_destination_is_also_a_use_because_the_write_merges ... ok
[INFO] [stdout] test lift::tests::aarch32_paired_permutation_stashes_the_second_result_before_writing ... ok
[INFO] [stdout] test lift::tests::aarch32_packed_integer_add_lifts_one_addition_per_lane ... ok
[INFO] [stdout] test lift::tests::aarch32_pc_relative_load_no_longer_reads_a_free_register ... ok
[INFO] [stdout] test lift::tests::aarch32_permutation_destination_is_a_definition_the_slicer_keeps ... ok
[INFO] [stdout] test lift::tests::aarch32_packed_vcvt_resolves_at_both_register_classes ... ok
[INFO] [stdout] test lift::tests::aarch32_movs_sets_zero_flag_from_the_moved_value ... ok
[INFO] [stdout] test lift::tests::aarch32_packed_vcvt_is_not_lowered_as_a_scalar_conversion ... ok
[INFO] [stdout] test lift::tests::aarch32_predicated_store_loads_the_old_bytes_before_storing ... ok
[INFO] [stdout] test lift::tests::aarch32_predicated_vfp_peels_its_condition_suffix ... ok
[INFO] [stdout] test lift::tests::aarch32_non_rounding_floating_point_does_not_pin_the_rounding_mode ... ok
[INFO] [stdout] test lift::tests::aarch32_movt_preserves_the_bottom_half ... ok
[INFO] [stdout] test lift::tests::aarch32_predicated_pop_lifts_rather_than_declining ... ok
[INFO] [stdout] test lift::tests::aarch32_predicated_load_wraps_its_destination_in_an_ite ... ok
[INFO] [stdout] test lift::tests::aarch32_packed_half_precision_vcvt_lifts ... ok
[INFO] [stdout] test lift::tests::aarch32_paired_permutation_defines_both_named_registers ... ok
[INFO] [stdout] test lift::tests::aarch32_register_post_index_updates_its_base_by_the_delta_register ... ok
[INFO] [stdout] test lift::tests::aarch32_register_pre_index_writes_back_the_index_register ... ok
[INFO] [stdout] test lift::tests::aarch32_rotated_register_offset_lifts ... ok
[INFO] [stdout] test lift::tests::aarch32_rounding_right_shifts_lift ... ok
[INFO] [stdout] test lift::tests::aarch32_rev_reverses_every_byte ... ok
[INFO] [stdout] test lift::tests::aarch32_single_precision_on_a_d_register_covers_both_lanes ... ok
[INFO] [stdout] test lift::tests::aarch32_single_precision_on_an_s_register_stays_scalar ... ok
[INFO] [stdout] test lift::tests::aarch32_smull_writes_both_halves_to_different_registers ... ok
[INFO] [stdout] test lift::tests::aarch32_shifts_leave_the_overflow_flag_alone ... ok
[INFO] [stdout] test lift::tests::aarch32_predicated_vfp_reads_its_destination_on_the_false_path ... ok
[INFO] [stdout] test lift::tests::aarch32_register_offset_load_addresses_base_plus_index ... ok
[INFO] [stdout] test lift::tests::aarch32_standalone_rotate_lifts_in_both_flag_forms ... ok
[INFO] [stdout] test lift::tests::aarch32_standalone_rrx_lifts_and_reads_the_carry ... ok
[INFO] [stdout] test lift::tests::aarch32_stmdb_starts_a_full_word_below_the_base ... ok
[INFO] [stdout] test lift::tests::aarch32_stmda_ends_at_the_base ... ok
[INFO] [stdout] test lift::tests::aarch32_stmia_starts_at_the_base ... ok
[INFO] [stdout] test lift::tests::aarch32_stmib_starts_one_word_above_the_base ... ok
[INFO] [stdout] test lift::tests::aarch32_rrx_register_offset_lifts_and_reads_the_carry ... ok
[INFO] [stdout] test lift::tests::aarch32_rsb_swaps_operands_and_subtracts ... ok
[INFO] [stdout] test lift::tests::aarch32_shifted_register_offset_scales_the_index ... ok
[INFO] [stdout] test lift::tests::aarch32_subtracted_register_offset_negates_the_index ... ok
[INFO] [stdout] test lift::tests::aarch32_teq_sets_flags_from_xor ... ok
[INFO] [stdout] test lift::tests::aarch32_thumb_pc_in_a_literal_access_stays_word_aligned ... ok
[INFO] [stdout] test lift::tests::aarch32_thumb_pc_as_a_data_operand_is_not_word_aligned ... ok
[INFO] [stdout] test lift::tests::aarch32_store_register_offset_addresses_base_plus_index ... ok
[INFO] [stdout] test lift::tests::aarch32_thumb_pc_reads_one_word_ahead_and_word_aligned ... ok
[INFO] [stdout] test lift::tests::aarch32_strd_stores_two_consecutive_words ... ok
[INFO] [stdout] test lift::tests::aarch32_sxtb_sign_extends_the_low_byte ... ok
[INFO] [stdout] test lift::tests::aarch32_thumb_two_operand_arith_expands_the_destination ... ok
[INFO] [stdout] test lift::tests::aarch32_top_quarter_register_reads_the_top_quarter_of_its_parent ... ok
[INFO] [stdout] test lift::tests::aarch32_top_quarter_write_preserves_the_bits_on_both_sides ... ok
[INFO] [stdout] test lift::tests::aarch32_umull_widens_before_multiplying ... ok
[INFO] [stdout] test lift::tests::aarch32_thumb_two_operand_subs_sets_flags_from_the_destination ... ok
[INFO] [stdout] test lift::tests::aarch32_unpredicated_store_stays_a_plain_store ... ok
[INFO] [stdout] test lift::tests::aarch32_thumb_wide_suffix_dispatches_as_the_base_mnemonic ... ok
[INFO] [stdout] test lift::tests::aarch32_unpredicated_vfp_is_not_mistaken_for_a_peeled_form ... ok
[INFO] [stdout] test lift::tests::aarch32_vadd_takes_its_precision_from_the_mnemonic ... ok
[INFO] [stdout] test lift::tests::aarch32_vcmp_writes_flags_and_defines_no_register ... ok
[INFO] [stdout] test lift::tests::aarch32_untyped_bitwise_neon_lowers_over_the_whole_view ... ok
[INFO] [stdout] test lift::tests::aarch32_upper_half_register_reads_the_upper_half_of_its_parent ... ok
[INFO] [stdout] test lift::tests::aarch32_upper_half_write_preserves_the_lower_half ... ok
[INFO] [stdout] test lift::tests::aarch32_uxth_zero_extends_the_low_halfword ... ok
[INFO] [stdout] test lift::tests::aarch32_vcvt_fixed_point_lifts_at_a_legal_amount ... ok
[INFO] [stdout] test lift::tests::aarch32_vdup_from_a_vector_element_declines_at_the_lifter ... ok
[INFO] [stdout] test lift::tests::aarch32_vcvt_is_recognised_by_the_dispatch_gate_and_the_effect_table ... ok
[INFO] [stdout] test lift::tests::aarch32_vcvt_between_float_widths_reads_the_narrower_source ... ok
[INFO] [stdout] test lift::tests::aarch32_vfp_arithmetic_reads_its_destination ... ok
[INFO] [stdout] test lift::tests::aarch32_vfp_write_preserves_the_rest_of_the_register_file ... ok
[INFO] [stdout] test lift::tests::aarch32_vcvt_fixed_point_amount_is_bounded_by_the_fixed_side ... ok
[INFO] [stdout] test lift::tests::aarch32_vmrs_flag_transfer_is_a_modelled_nop ... ok
[INFO] [stdout] test lift::tests::aarch32_vmrs_gpr_read_declines ... ok
[INFO] [stdout] test lift::tests::aarch32_vpop_range_expands_every_member ... ok
[INFO] [stdout] test lift::tests::aarch32_vpush_stores_each_doubleword_register ... ok
[INFO] [stdout] test lift::tests::aarch32_vcvt_without_a_float_end_declines ... ok
[INFO] [stdout] test lift::tests::aarch32_vcvt_pins_the_rounding_mode_only_where_fpscr_supplies_it ... ok
[INFO] [stdout] test lift::tests::aarch64_across_lane_reduction_declines_an_arranged_destination ... ok
[INFO] [stdout] test lift::tests::aarch64_across_lane_reduction_declines_an_unencodable_arrangement ... ok
[INFO] [stdout] test lift::tests::aarch32_vldr_loads_the_register_width_through_the_byte_model ... ok
[INFO] [stdout] test lift::tests::aarch32_vldr_pc_relative_literal_pool_resolves_its_address ... ok
[INFO] [stdout] test lift::tests::aarch32_vstr_stores_the_register_width ... ok
[INFO] [stdout] test lift::tests::aarch64_bitwise_select_declines_a_non_byte_arrangement ... ok
[INFO] [stdout] test lift::tests::aarch64_by_element_declines_a_mismatched_element_width ... ok
[INFO] [stdout] test lift::tests::aarch64_by_element_fused_multiply_lifts_double_lanes ... ok
[INFO] [stdout] test lift::tests::aarch64_accumulate_lifts_a_by_element_source ... ok
[INFO] [stdout] test lift::tests::aarch64_by_element_operand_reads_the_named_element ... ok
[INFO] [stdout] test lift::tests::aarch32_rrx_indexed_store_reads_the_carry ... ok
[INFO] [stdout] test lift::tests::aarch64_by_element_long_form_lifts ... ok
[INFO] [stdout] test lift::tests::aarch32_saturating_shift_left_immediate_lifts_but_register_form_declines ... ok
[INFO] [stdout] test lift::tests::aarch64_byte_arrangement_floating_point_declines ... ok
[INFO] [stdout] test lift::tests::aarch32_stmfd_is_the_descending_stack_push ... ok
[INFO] [stdout] test lift::tests::aarch64_compare_declines_a_non_zero_immediate ... ok
[INFO] [stdout] test lift::tests::aarch64_convert_declines_mismatched_lane_geometry ... ok
[INFO] [stdout] test lift::tests::aarch64_dot_product_by_element_declines_an_out_of_range_group ... ok
[INFO] [stdout] test lift::tests::aarch64_doubling_multiply_declines_an_unencodable_element_width ... ok
[INFO] [stdout] test lift::tests::aarch64_dot_product_declines_a_mismatched_source_geometry ... ok
[INFO] [stdout] test lift::tests::aarch64_across_lane_reduction_declines_a_mismatched_destination_width ... ok
[INFO] [stdout] test lift::tests::aarch64_bitwise_select_lowers_once_over_the_whole_view ... ok
[INFO] [stdout] test lift::tests::aarch64_ext_declines_an_out_of_range_byte_index ... ok
[INFO] [stdout] test lift::tests::aarch64_ext_windows_the_two_sources_with_the_first_at_the_low_end ... ok
[INFO] [stdout] test lift::tests::aarch64_dup_from_a_general_register_replicates_the_low_element ... ok
[INFO] [stdout] test lift::tests::aarch64_dup_from_an_element_reads_the_indexed_lane ... ok
[INFO] [stdout] test lift::tests::aarch64_ext_declines_a_non_byte_arrangement ... ok
[INFO] [stdout] test lift::tests::aarch64_fadd_single_operates_on_the_32bit_lane_of_the_vector_parent ... ok
[INFO] [stdout] test lift::tests::aarch64_fcmp_against_the_zero_immediate_is_supported ... ok
[INFO] [stdout] test lift::tests::aarch64_fcmp_equality_flag_is_false_when_unordered ... ok
[INFO] [stdout] test lift::tests::aarch64_fcmp_marks_unordered_in_the_overflow_flag ... ok
[INFO] [stdout] test lift::tests::aarch64_fcvtzs_fixed_point_applies_the_fraction_immediate ... ok
[INFO] [stdout] test lift::tests::aarch64_fixed_point_conversion_declines_an_out_of_range_fraction_width ... ok
[INFO] [stdout] test lift::tests::aarch64_fixed_point_conversion_lifts ... ok
[INFO] [stdout] test lift::tests::aarch64_fixed_point_convert_lifts_at_a_half_width_arrangement ... ok
[INFO] [stdout] test lift::tests::aarch64_float_across_lane_reduction_declines_a_non_ieee_lane ... ok
[INFO] [stdout] test lift::tests::aarch64_floating_point_arithmetic_pins_the_rounding_mode ... ok
[INFO] [stdout] test lift::tests::aarch64_float_width_conversion_has_no_fixed_point_form ... ok
[INFO] [stdout] test lift::tests::aarch64_float_compare_declines_a_byte_arrangement ... ok
[INFO] [stdout] test lift::tests::aarch64_fadd_double_uses_the_64bit_sort ... ok
[INFO] [stdout] test lift::tests::aarch64_fneg_flips_only_the_sign_bit ... ok
[INFO] [stdout] test lift::tests::aarch64_float_widen_two_form_reads_the_upper_half ... ok
[INFO] [stdout] test lift::tests::aarch64_fused_multiply_add_declines_a_lane_width_that_names_no_format ... ok
[INFO] [stdout] test lift::tests::aarch64_fp_effect_defines_the_vector_parent_without_reading_it ... ok
[INFO] [stdout] test lift::tests::aarch64_fused_multiply_add_lifts_a_half_precision_lane ... ok
[INFO] [stdout] test lift::tests::aarch64_fused_multiply_add_lifts_for_single_lanes ... ok
[INFO] [stdout] test lift::tests::aarch64_immediate_shift_declines_a_vector_amount ... ok
[INFO] [stdout] test lift::tests::aarch64_half_width_arrangement_write_zeroes_the_upper_half ... ok
[INFO] [stdout] test lift::tests::aarch64_ins_declines_a_source_element_of_a_different_width ... ok
[INFO] [stdout] test lift::tests::aarch64_ins_from_a_general_register_preserves_the_other_lanes ... ok
[INFO] [stdout] test lift::tests::aarch64_ins_from_an_element_moves_between_lanes ... ok
[INFO] [stdout] test lift::tests::aarch64_fp_mnemonics_are_covered_by_both_effect_and_lifter ... ok
[INFO] [stdout] test lift::tests::aarch64_left_shift_declines_an_amount_at_the_element_width ... ok
[INFO] [stdout] test lift::tests::aarch64_fused_multiply_add_lifts_double_lanes ... ok
[INFO] [stdout] test lift::tests::aarch64_mla_accumulates_the_product_into_the_destination ... ok
[INFO] [stdout] test lift::tests::aarch64_mismatched_arrangement_on_a_modelled_mnemonic_declines ... ok
[INFO] [stdout] test lift::tests::aarch64_mov_alias_routes_by_operand_shape ... ok
[INFO] [stdout] test lift::tests::aarch64_movi_fills_the_mask_shift_form_with_ones ... ok
[INFO] [stdout] test lift::tests::aarch64_mls_subtracts_the_product_from_the_destination ... ok
[INFO] [stdout] test lift::tests::aarch64_movi_ones_shift_declines_outside_its_encoding ... ok
[INFO] [stdout] test lift::tests::aarch64_movi_shifts_the_immediate_before_replicating ... ok
[INFO] [stdout] test lift::tests::aarch64_movi_replicates_the_immediate_to_every_lane ... ok
[INFO] [stdout] test lift::tests::aarch64_movi_with_a_ones_shift_lifts ... ok
[INFO] [stdout] test lift::tests::aarch64_mvni_replicates_the_inverted_immediate ... ok
[INFO] [stdout] test lift::tests::aarch64_narrowing_2_forms_read_their_destination ... ok
[INFO] [stdout] test lift::tests::aarch64_non_rounding_floating_point_does_not_pin_the_rounding_mode ... ok
[INFO] [stdout] test lift::tests::aarch64_packed_bitwise_and_lowers_once_over_the_whole_view ... ok
[INFO] [stdout] test lift::tests::aarch64_packed_integer_add_lifts_one_addition_per_lane ... ok
[INFO] [stdout] test lift::tests::aarch64_packed_double_precision_add_lifts_one_addition_per_lane ... ok
[INFO] [stdout] test lift::tests::aarch64_packed_integer_add_writes_the_vector_parent ... ok
[INFO] [stdout] test lift::tests::aarch64_polynomial_multiply_declines_an_unencodable_element ... ok
[INFO] [stdout] test lift::tests::aarch64_packed_single_precision_add_lifts_four_lanes ... ok
[INFO] [stdout] test lift::tests::aarch64_polynomial_multiply_lifts_both_encodings ... ok
[INFO] [stdout] test lift::tests::aarch64_fmov_between_general_and_vector_registers_moves_raw_bits ... ok
[INFO] [stdout] test lift::tests::aarch64_reciprocal_estimate_assigns_the_destination ... ok
[INFO] [stdout] test lift::tests::aarch64_indexed_element_declines_an_out_of_range_index ... ok
[INFO] [stdout] test lift::tests::aarch64_reciprocal_estimate_declines_a_non_ieee_lane ... ok
[INFO] [stdout] test lift::tests::aarch64_reciprocal_step_lifts_for_single_lanes ... ok
[INFO] [stdout] test lift::tests::aarch64_reciprocal_estimate_never_reads_its_source ... ok
[INFO] [stdout] test lift::tests::aarch64_register_shift_builds_both_directions ... ok
[INFO] [stdout] test lift::tests::aarch64_rev16_reverses_bytes_within_each_halfword ... ok
[INFO] [stdout] test lift::tests::aarch64_rev_declines_a_container_no_wider_than_its_element ... ok
[INFO] [stdout] test lift::tests::aarch64_right_shift_declines_a_zero_amount ... ok
[INFO] [stdout] test lift::tests::aarch64_right_shift_declines_an_amount_past_the_element_width ... ok
[INFO] [stdout] test lift::tests::aarch64_saddl_sign_extends_both_sources ... ok
[INFO] [stdout] test lift::tests::aarch64_same_width_accumulate_has_no_two_form ... ok
[INFO] [stdout] test lift::tests::aarch64_same_width_polynomial_multiply_still_declines ... ok
[INFO] [stdout] test lift::tests::aarch64_same_width_saturating_has_no_two_form ... ok
[INFO] [stdout] test lift::tests::aarch64_saturating_add_writes_the_vector_parent ... ok
[INFO] [stdout] test lift::tests::aarch64_saturating_narrow_declines_mismatched_source_width ... ok
[INFO] [stdout] test lift::tests::aarch64_scalar_arithmetic_is_unaffected_by_the_shape_guard ... ok
[INFO] [stdout] test lift::tests::aarch64_saturating_narrow_two_form_preserves_the_lower_half ... ok
[INFO] [stdout] test lift::tests::aarch64_scvtf_fixed_point_applies_the_fraction_immediate ... ok
[INFO] [stdout] test lift::tests::aarch64_scalar_write_zeroes_the_rest_of_the_vector_register ... ok
[INFO] [stdout] test lift::tests::aarch64_shift_narrow_declines_a_shift_past_the_element_width ... ok
[INFO] [stdout] test lift::tests::aarch64_shift_narrow_declines_a_zero_shift ... ok
[INFO] [stdout] test lift::tests::aarch64_smlal2_reads_the_upper_half_of_its_sources ... ok
[INFO] [stdout] test lift::tests::aarch64_smov_sign_extends_the_element ... ok
[INFO] [stdout] test lift::tests::aarch64_ssubl_subtracts_at_the_widened_width ... ok
[INFO] [stdout] test lift::tests::aarch64_subs_dst_overlap_emits_flags_before_destination_write ... ok
[INFO] [stdout] test lift::tests::aarch64_sxtl_sign_extends ... ok
[INFO] [stdout] test lift::tests::aarch64_table_lookup_declines_a_half_width_table ... ok
[INFO] [stdout] test lift::tests::aarch64_table_lookup_lifts_the_single_register_form ... ok
[INFO] [stdout] test lift::tests::aarch64_test_bits_has_no_compare_with_zero_form ... ok
[INFO] [stdout] test lift::tests::aarch64_trn1_transposes_the_even_lanes ... ok
[INFO] [stdout] test lift::tests::aarch64_table_lookup_lifts_a_multi_register_table ... ok
[INFO] [stdout] test lift::tests::aarch64_trn2_transposes_the_odd_lanes ... ok
[INFO] [stdout] test lift::tests::aarch64_two_form_declines_a_half_register_source ... ok
[INFO] [stdout] test lift::tests::aarch64_two_form_declines_a_half_width_full_register_operand ... ok
[INFO] [stdout] test lift::tests::aarch64_uaddw2_halves_only_the_narrow_source ... ok
[INFO] [stdout] test lift::tests::aarch64_uaddl_widens_both_sources_before_adding ... ok
[INFO] [stdout] test lift::tests::aarch64_ucvtf_converts_the_unsigned_range_exactly ... ok
[INFO] [stdout] test lift::tests::aarch64_uaddw_reads_its_first_source_at_the_destination_width ... ok
[INFO] [stdout] test lift::tests::aarch64_umlsl_subtracts_the_widened_product ... ok
[INFO] [stdout] test lift::tests::aarch64_umov_zero_extends_the_element_into_the_general_register ... ok
[INFO] [stdout] test lift::tests::aarch64_umlal_multiplies_at_the_accumulator_width ... ok
[INFO] [stdout] test lift::tests::aarch64_unmodelled_vector_mnemonic_declines ... ok
[INFO] [stdout] test lift::tests::aarch64_ushll2_reads_the_upper_half_of_its_source ... ok
[INFO] [stdout] test condition::tests::aarch32_thumb_compare_and_branch_classifies ... ok
[INFO] [stdout] test collector::tests::json_round_trip_preserves_all_fields ... ok
[INFO] [stdout] test lift::tests::aarch64_number_flavoured_float_reduction_lifts ... ok
[INFO] [stdout] test lift::tests::aarch64_uzp1_takes_the_even_lanes_of_each_source_in_turn ... ok
[INFO] [stdout] test lift::tests::aarch64_uxtl_is_the_zero_shift_alias ... ok
[INFO] [stdout] test lift::tests::aarch64_uzp2_takes_the_odd_lanes ... ok
[INFO] [stdout] test lift::tests::aarch64_widening_declines_a_non_two_form_reading_a_full_register ... ok
[INFO] [stdout] test lift::tests::aarch64_widening_declines_a_source_of_the_wrong_width ... ok
[INFO] [stdout] test lift::tests::aarch64_vector_compare_sets_no_flags ... ok
[INFO] [stdout] test lift::tests::aarch64_vector_compare_writes_a_mask_not_a_flag ... ok
[INFO] [stdout] test lift::tests::aarch64_xtn2_preserves_the_destination_lower_half ... ok
[INFO] [stdout] test lift::tests::aarch64_xtn_zeroes_the_destination_upper_half ... ok
[INFO] [stdout] test lift::tests::aarch64_zip1_interleaves_the_lower_halves ... ok
[INFO] [stdout] test lift::tests::add_flags_reference_pre_op_value_not_post_op ... ok
[INFO] [stdout] test lift::tests::addpd_uses_two_double_lanes_not_four_single_ones ... ok
[INFO] [stdout] test lift::tests::addps_applies_the_lane_operation_to_all_four_single_lanes ... ok
[INFO] [stdout] test lift::tests::aarch64_zip2_interleaves_the_upper_halves ... ok
[INFO] [stdout] test lift::tests::addss_lifts_to_scalar_fp_add_on_low_lane ... ok
[INFO] [stdout] test lift::tests::an_aarch64_variable_shift_masks_its_amount_to_the_datasize ... ok
[INFO] [stdout] test lift::tests::an_esil_lowering_that_produced_nothing_does_not_win_the_ladder ... ok
[INFO] [stdout] test lift::tests::an_esil_operator_parsed_as_a_register_no_longer_shadows_the_handler ... ok
[INFO] [stdout] test lift::tests::an_extended_register_operand_keeps_the_per_mnemonic_handler ... ok
[INFO] [stdout] test lift::tests::and_flags_reference_pre_op_value_not_post_op ... ok
[INFO] [stdout] test lift::tests::arm_fpcr_write_is_recognised_through_its_operand ... ok
[INFO] [stdout] test lift::tests::arm_unrelated_system_register_write_is_not_a_rounding_control_write ... ok
[INFO] [stdout] test lift::tests::branch_condition_above_combines_cf_and_zf ... ok
[INFO] [stdout] test lift::tests::cbz_xzr_resolves_to_constant_zero_not_free_var ... ok
[INFO] [stdout] test lift::tests::cmp_dword_ptr_memory_loads_at_prefix_width_not_pointer_width ... ok
[INFO] [stdout] test lift::tests::cmp_emits_tmp_and_flag_assignments ... ok
[INFO] [stdout] test lift::tests::cmpeqps_writes_an_all_ones_mask_per_lane ... ok
[INFO] [stdout] test lift::tests::cmpltss_masks_only_the_low_lane ... ok
[INFO] [stdout] test lift::tests::cmpneqps_is_the_negation_of_the_equality_predicate ... ok
[INFO] [stdout] test lift::tests::all_ones_above_the_payload_width_concatenates_full_chunks ... ok
[INFO] [stdout] test lift::tests::cmpordps_negates_the_unordered_predicate ... ok
[INFO] [stdout] test lift::tests::all_ones_below_the_payload_width_is_a_single_constant ... ok
[INFO] [stdout] test lift::tests::cmpunordpd_tests_both_operands_for_nan_over_two_lanes ... ok
[INFO] [stdout] test lift::tests::cvtsd2ss_narrows_the_low_lane_to_the_single_sort ... ok
[INFO] [stdout] test lift::tests::cvtsi2ss_converts_a_signed_register_into_the_low_lane ... ok
[INFO] [stdout] test lift::tests::cvtss2sd_widens_the_low_lane_to_the_double_sort ... ok
[INFO] [stdout] test lift::tests::cvttss2si_truncates_toward_zero_into_the_destination_register ... ok
[INFO] [stdout] test lift::tests::cvtss2si_without_truncation_uses_the_default_rounding_mode ... ok
[INFO] [stdout] test lift::tests::every_sse_scalar_move_is_covered_by_both_effect_and_lifter ... ok
[INFO] [stdout] test lift::tests::every_vector_flag_compare_reaches_the_lifter_and_writes_flags ... ok
[INFO] [stdout] test lift::tests::float_to_integer_conversion_does_not_read_its_destination_register ... ok
[INFO] [stdout] test lift::tests::every_generated_fp_mask_compare_is_covered_by_both_effect_and_lifter ... ok
[INFO] [stdout] test lift::tests::floating_point_slice_stays_complete_without_an_mxcsr_write ... ok
[INFO] [stdout] test lift::tests::floating_point_slice_truncates_when_the_function_reprograms_mxcsr ... ok
[INFO] [stdout] test lift::tests::json_round_trips ... ok
[INFO] [stdout] test lift::tests::maxps_selects_the_second_operand_rather_than_computing_an_fp_max ... ok
[INFO] [stdout] test lift::tests::maxss_writes_only_the_low_lane_and_preserves_the_rest ... ok
[INFO] [stdout] test lift::tests::minps_guards_with_the_operands_in_the_opposite_order_to_maxps ... ok
[INFO] [stdout] test lift::tests::mov_ah_preserves_low_and_high_bits_of_rax ... ok
[INFO] [stdout] test lift::tests::mov_al_preserves_upper_bits_of_rax ... ok
[INFO] [stdout] test lift::tests::mov_eax_zero_extends_to_rax_on_x86_64 ... ok
[INFO] [stdout] test lift::tests::mov_rax_full_replace_on_x86_64 ... ok
[INFO] [stdout] test lift::tests::movaps_copies_xmm_view_preserving_upper_parent_bits ... ok
[INFO] [stdout] test lift::tests::movaps_load_reads_the_whole_vector_view_in_one_load ... ok
[INFO] [stdout] test lift::tests::movaps_store_writes_the_whole_vector_view ... ok
[INFO] [stdout] test lift::tests::movd_to_xmm_is_legacy_and_preserves_upper_parent_bits ... ok
[INFO] [stdout] test lift::tests::every_simd_mnemonic_is_covered_by_both_effect_and_lifter ... ok
[INFO] [stdout] test lift::tests::movsd_reg_reg_effect_reads_its_destination ... ok
[INFO] [stdout] test lift::tests::movsd_string_form_is_not_claimed_by_the_scalar_move_handler ... ok
[INFO] [stdout] test lift::tests::movsd_reg_reg_merges_the_low_64_bits ... ok
[INFO] [stdout] test lift::tests::movss_load_from_memory_zeroes_everything_above_the_lane ... ok
[INFO] [stdout] test lift::tests::movss_load_reads_the_lane_width_not_the_vector_view ... ok
[INFO] [stdout] test lift::tests::aarch32_packed_write_preserves_the_rest_of_the_vector_register ... ok
[INFO] [stdout] test lift::tests::movss_reg_reg_merges_the_low_lane_preserving_upper_parent_bits ... ok
[INFO] [stdout] test lift::tests::movss_store_writes_only_the_lane ... ok
[INFO] [stdout] test lift::tests::integer_to_float_conversion_reads_its_destination_register ... ok
[INFO] [stdout] test lift::tests::aarch32_predicated_store_becomes_a_read_modify_write ... ok
[INFO] [stdout] test lift::tests::movsx_eax_ah_sign_extends_to_eax_then_zero_extends_to_rax ... ok
[INFO] [stdout] test lift::tests::palignr_effect_reads_its_destination_despite_having_three_operands ... ok
[INFO] [stdout] test lift::tests::packed_arithmetic_against_memory_loads_the_operand_once ... ok
[INFO] [stdout] test lift::tests::pandn_distinct_registers_lifts_to_andnot_preserving_upper ... ok
[INFO] [stdout] test lift::tests::parse_immediate_strips_arm_hash_prefix ... ok
[INFO] [stdout] test lift::tests::no_aarch64_handler_names_a_vector_register_at_the_pointer_width ... ok
[INFO] [stdout] test lift::tests::movss_load_names_its_temp_after_the_stack_slot ... ok
[INFO] [stdout] test lift::tests::ptest_defines_flags_and_no_vector_register ... ok
[INFO] [stdout] test lift::tests::ptest_is_claimed_by_the_x86_simd_gate_so_esil_does_not_win ... ok
[INFO] [stdout] test lift::tests::pxor_distinct_registers_lifts_to_xor_preserving_upper ... ok
[INFO] [stdout] test lift::tests::opaque_predicate_yields_full_chain ... ok
[INFO] [stdout] test lift::tests::scalar_fp_compare_defines_flags_without_touching_its_destination ... ok
[INFO] [stdout] test lift::tests::segment_prefixed_memory_stays_opaque_not_absolute_load ... ok
[INFO] [stdout] test lift::tests::rounding_insensitive_floating_point_survives_an_mxcsr_write ... ok
[INFO] [stdout] test lift::tests::scalar_fp_compare_effect_reads_both_operands_and_writes_flags ... ok
[INFO] [stdout] test lift::tests::parse_immediate_supports_hex_decimal_negative ... ok
[INFO] [stdout] test lift::tests::shl_flags_reference_pre_op_value_not_post_op ... ok
[INFO] [stdout] test lift::tests::simd_memory_the_lifter_cannot_address_still_analyzes_as_other ... ok
[INFO] [stdout] test lift::tests::plain_integer_cmp_is_not_parsed_as_a_float_compare ... ok
[INFO] [stdout] test lift::tests::simd_memory_without_a_size_prefix_is_declined ... ok
[INFO] [stdout] test lift::tests::sqrtps_takes_the_root_of_every_lane ... ok
[INFO] [stdout] test lift::tests::sub_dst_dst_flags_reference_pre_op_value_not_post_op ... ok
[INFO] [stdout] test lift::tests::subregister_cmp_uses_register_width_not_immediate_pseudo_width ... ok
[INFO] [stdout] test lift::tests::tbz_unparsed_bit_index_is_free_not_silently_bit_zero ... ok
[INFO] [stdout] test lift::tests::tbz_valid_bit_index_extracts_that_bit ... ok
[INFO] [stdout] test lift::tests::the_movsd_string_instruction_is_not_claimed_as_a_scalar_move ... ok
[INFO] [stdout] test lift::tests::the_scalar_read_path_refuses_a_simd_parent ... ok
[INFO] [stdout] test lift::tests::the_simd_membership_table_covers_every_modelled_mnemonic ... ok
[INFO] [stdout] test lift::tests::the_x86_scalar_read_path_declines_a_vector_register_by_width ... ok
[INFO] [stdout] test lift::tests::ucomiss_lifts_carry_flag_to_less_than_or_unordered ... ok
[INFO] [stdout] test lift::tests::unsupported_mnemonic_is_marked ... ok
[INFO] [stdout] test lift::tests::vaddps_on_ymm_covers_eight_lanes_and_zeroes_the_upper_parent_bits ... ok
[INFO] [stdout] test lift::tests::tbz_out_of_range_bit_index_is_free ... ok
[INFO] [stdout] test lift::tests::sqrtss_roots_only_the_low_lane_and_preserves_the_rest ... ok
[INFO] [stdout] test lift::tests::the_scalar_write_path_refuses_a_simd_parent ... ok
[INFO] [stdout] test lift::tests::vcvtph2ps_widens_four_half_lanes_into_single_lanes ... ok
[INFO] [stdout] test lift::tests::ucomiss_lifts_parity_flag_to_the_exact_unordered_predicate ... ok
[INFO] [stdout] test lift::tests::vcvtps2ph_narrows_with_an_explicit_rounding_immediate ... ok
[INFO] [stdout] test lift::tests::vex_scalar_compare_takes_upper_lanes_from_src1_and_zeroes_above_the_view ... ok
[INFO] [stdout] test lift::tests::vmovd_to_xmm_zeroes_the_upper_parent_bits ... ok
[INFO] [stdout] test lift::tests::vmovsd_three_operand_effect_does_not_read_its_destination ... ok
[INFO] [stdout] test lift::tests::vmovss_three_operand_takes_the_upper_lanes_from_src1_and_zeroes_above_the_view ... ok
[INFO] [stdout] test lift::tests::vpalignr_effect_does_not_read_its_destination ... ok
[INFO] [stdout] test lift::tests::vpxor_same_register_lifts_to_zero_with_upper_bits_zeroed ... ok
[INFO] [stdout] test lift::tests::vector_flag_compares_are_claimed_by_the_gate_so_esil_does_not_win ... ok
[INFO] [stdout] test lift::tests::x86_a_shift_by_a_literal_zero_leaves_every_flag_alone ... ok
[INFO] [stdout] test lift::tests::x86_conditional_instructions_declare_that_they_read_flags ... ok
[INFO] [stdout] test lift::tests::x86_setcc_to_memory_still_reads_its_address_registers ... ok
[INFO] [stdout] test lift::tests::xor_ah_al_produces_real_arithmetic_not_unknown ... ok
[INFO] [stdout] test lift::tests::xor_same_reg_emits_zero_assignment_and_zf_one ... ok
[INFO] [stdout] test slice::tests::aarch64_floating_point_slice_truncates_when_the_function_reprograms_fpcr ... ok
[INFO] [stdout] test slice::tests::aarch64_packed_write_supersedes_the_earlier_definition_it_overwrites ... ok
[INFO] [stdout] test slice::tests::aarch64_unmodelled_packed_write_over_a_live_vector_register_truncates ... ok
[INFO] [stdout] test slice::tests::aarch64_packed_write_over_a_live_vector_register_is_modelled ... ok
[INFO] [stdout] test slice::tests::call_before_flag_producer_truncates ... ok
[INFO] [stdout] test slice::tests::benign_nop_does_not_over_truncate_the_slice ... ok
[INFO] [stdout] test slice::tests::canonical_opaque_predicate_yields_complete_slice ... ok
[INFO] [stdout] test slice::tests::constant_propagation_has_no_roots ... ok
[INFO] [stdout] test slice::tests::json_round_trips ... ok
[INFO] [stdout] test slice::tests::missing_flag_producer_truncates ... ok
[INFO] [stdout] test slice::tests::modellable_memory_load_resolves_by_default ... ok
[INFO] [stdout] test lift::tests::vpxor_ymm_lifts_to_256bit_xor_with_upper_bits_zeroed ... ok
[INFO] [stdout] test slice::tests::instruction_limit_truncates ... ok
[INFO] [stdout] test slice::tests::multi_block_budget_exhausted_with_needs_flags_truncates ... ok
[INFO] [stdout] test slice::tests::multi_block_call_in_predecessor_truncates_inside_walk ... ok
[INFO] [stdout] test slice::tests::multi_block_cycle_back_to_self_truncates ... ok
[INFO] [stdout] test slice::tests::multi_block_join_truncates_with_phi_reason ... ok
[INFO] [stdout] test lift::tests::vcvtps2ph_declines_when_the_immediate_defers_to_mxcsr ... ok
[INFO] [stdout] test slice::tests::multi_block_resolves_definition_in_predecessor ... ok
[INFO] [stdout] test lift::tests::vcvtps2ph_narrowing_uses_the_immediate_rounding_mode ... ok
[INFO] [stdout] test slice::tests::permitted_aarch64_bl_is_a_value_barrier_too ... ok
[INFO] [stdout] test slice::tests::permitted_call_after_the_slice_is_satisfied_is_never_reached ... ok
[INFO] [stdout] test slice::tests::multi_block_resolves_flag_producer_in_predecessor ... ok
[INFO] [stdout] test slice::tests::permitted_call_before_the_flag_producer_still_truncates ... ok
[INFO] [stdout] test slice::tests::permitted_call_does_not_resolve_a_register_the_callee_returns ... ok
[INFO] [stdout] test slice::tests::single_block_default_keeps_root_when_definition_lives_upstream ... ok
[INFO] [stdout] test slice::tests::test_bounded_diamond_default_off_byte_identical ... ok
[INFO] [stdout] test slice::tests::test_allow_join_merge_does_not_promote_non_join_truncations ... ok
[INFO] [stdout] test slice::tests::test_bounded_diamond_lift_polarity_taken_edge_is_then_branch ... ok
[INFO] [stdout] test slice::tests::test_bounded_diamond_merge_recovered_as_complete ... ok
[INFO] [stdout] test slice::tests::test_chained_diamonds_recover_two_merges ... ok
[INFO] [stdout] test slice::tests::permitted_call_leaves_the_live_register_as_a_free_root ... ok
[INFO] [stdout] test slice::tests::test_join_default_off_truncates_byte_identical ... ok
[INFO] [stdout] test slice::tests::test_join_merge_promotes_live_to_free_inputs_soundly ... ok
[INFO] [stdout] test slice::tests::test_flag_merge_discharges_flag_obligation ... ok
[INFO] [stdout] test slice::tests::unmodeled_register_writer_truncates_instead_of_being_skipped ... ok
[INFO] [stdout] test slice::tests::xor_zero_idiom_terminates_slice_without_roots ... ok
[INFO] [stdout] test slice::tests::unmodellable_memory_load_truncates_when_not_allowed ... ok
[INFO] [stdout] test slice::tests::test_multiblock_arm_diamond_recovered_as_complete ... ok
[INFO] [stdout] test lift::tests::aarch64_across_lane_reduction_lifts_from_the_source_arrangement ... ok
[INFO] [stdout] test lift::tests::aarch64_dot_product_lifts_the_by_element_spelling ... ok
[INFO] [stdout] test lift::tests::aarch64_dot_product_lifts ... ok
[INFO] [stdout] test lift::tests::aarch32_vcvt_int_to_float_lifts ... ok
[INFO] [stdout] test lift::tests::aarch32_vcvt_float_to_int_lifts ... ok
[INFO] [stdout] test effect::tests::aarch32_pre_index_writeback_defines_its_base_register ... ok
[INFO] [stdout] test lift::tests::aarch64_register_shift_declines_an_immediate_amount ... ok
[INFO] [stdout] test lift::tests::aarch64_rev64_reverses_elements_within_each_doubleword ... ok
[INFO] [stdout] test lift::tests::aarch64_umull_multiplies_at_the_widened_width ... ok
[INFO] [stdout] test lift::tests::aarch64_ushll_extends_each_element_before_shifting ... ok
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/target/debug/build/r2smt-slicer/b960d86bab5f4805/out/r2smt_slicer-b960d86bab5f4805` (signal: 9, SIGKILL: kill)
[INFO] running `Command { std: "docker" "inspect" "a052017e7ea3139b9aa4e8bb4af3b1a8f546a05af4c1bc81dfdf5ba95de7ea58", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a052017e7ea3139b9aa4e8bb4af3b1a8f546a05af4c1bc81dfdf5ba95de7ea58", kill_on_drop: false }`
[INFO] [stdout] a052017e7ea3139b9aa4e8bb4af3b1a8f546a05af4c1bc81dfdf5ba95de7ea58
