[INFO] cloning repository https://github.com/rahulmutt/shinri
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/rahulmutt/shinri" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Frahulmutt%2Fshinri", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Frahulmutt%2Fshinri'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] af000627d20e419fbb87a0f419a065d39aaf6162
[INFO] testing rahulmutt/shinri/af000627d20e419fbb87a0f419a065d39aaf6162 against 1.98.0-beta.1 for beta-1.98-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Frahulmutt%2Fshinri" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/rahulmutt/shinri
[INFO] finished tweaking git repo https://github.com/rahulmutt/shinri
[INFO] tweaked toml for git repo https://github.com/rahulmutt/shinri written to /workspace/builds/worker-7-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/rahulmutt/shinri on toolchain 1.98.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.98.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/rahulmutt/shinri 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.98.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:3d5ced03c013a94a2f102a4510f48a6e9184255caf5fd8244f58017bde7f5210" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 27bca7f8ebecec0886a97cae3ab7e5cfa1bbccbe5bcf5fc2d0626aa8d7d2837c
[INFO] running `Command { std: "docker" "start" "27bca7f8ebecec0886a97cae3ab7e5cfa1bbccbe5bcf5fc2d0626aa8d7d2837c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "27bca7f8ebecec0886a97cae3ab7e5cfa1bbccbe5bcf5fc2d0626aa8d7d2837c", 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" "27bca7f8ebecec0886a97cae3ab7e5cfa1bbccbe5bcf5fc2d0626aa8d7d2837c" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "27bca7f8ebecec0886a97cae3ab7e5cfa1bbccbe5bcf5fc2d0626aa8d7d2837c", 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" "27bca7f8ebecec0886a97cae3ab7e5cfa1bbccbe5bcf5fc2d0626aa8d7d2837c" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling shinri-num v0.1.0 (/opt/rustwide/workdir/crates/shinri-num)
[INFO] [stderr]    Compiling rustc-hash v2.1.2
[INFO] [stderr]    Compiling unicode-ident v1.0.24
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]    Compiling lazy_static v1.5.0
[INFO] [stderr]    Compiling beef v0.5.2
[INFO] [stderr]    Compiling regex-syntax v0.8.11
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling quote v1.0.45
[INFO] [stderr]    Compiling shinri-core v0.1.0 (/opt/rustwide/workdir/crates/shinri-core)
[INFO] [stderr]    Compiling shinri-sat v0.1.0 (/opt/rustwide/workdir/crates/shinri-sat)
[INFO] [stderr]    Compiling shinri-bv v0.1.0 (/opt/rustwide/workdir/crates/shinri-bv)
[INFO] [stderr]    Compiling shinri-frontend v0.1.0 (/opt/rustwide/workdir/crates/shinri-frontend)
[INFO] [stderr]    Compiling syn v2.0.118
[INFO] [stderr]    Compiling shinri-theory v0.0.0 (/opt/rustwide/workdir/crates/shinri-theory)
[INFO] [stderr]    Compiling shinri-abv v0.1.0 (/opt/rustwide/workdir/crates/shinri-abv)
[INFO] [stderr]    Compiling shinri-fp v0.1.0 (/opt/rustwide/workdir/crates/shinri-fp)
[INFO] [stderr]    Compiling shinri-str v0.1.0 (/opt/rustwide/workdir/crates/shinri-str)
[INFO] [stderr]    Compiling shinri-euf v0.1.0 (/opt/rustwide/workdir/crates/shinri-euf)
[INFO] [stderr]    Compiling shinri-arrays v0.1.0 (/opt/rustwide/workdir/crates/shinri-arrays)
[INFO] [stderr]    Compiling shinri-arith v0.0.1 (/opt/rustwide/workdir/crates/shinri-arith)
[INFO] [stderr]    Compiling shinri-solver v0.1.0 (/opt/rustwide/workdir/crates/shinri-solver)
[INFO] [stderr]    Compiling logos-codegen v0.14.4
[INFO] [stderr]    Compiling logos-derive v0.14.4
[INFO] [stderr]    Compiling logos v0.14.4
[INFO] [stderr]    Compiling shinri-parser v0.1.0 (/opt/rustwide/workdir/crates/shinri-parser)
[INFO] [stderr]    Compiling shinri-cli v0.1.0 (/opt/rustwide/workdir/crates/shinri-cli)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 14.85s
[INFO] running `Command { std: "docker" "inspect" "27bca7f8ebecec0886a97cae3ab7e5cfa1bbccbe5bcf5fc2d0626aa8d7d2837c", 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" "27bca7f8ebecec0886a97cae3ab7e5cfa1bbccbe5bcf5fc2d0626aa8d7d2837c" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling regex-syntax v0.8.11
[INFO] [stderr]    Compiling autocfg v1.5.1
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling bitflags v2.13.0
[INFO] [stderr]    Compiling getrandom v0.4.3
[INFO] [stderr]    Compiling zerocopy v0.8.52
[INFO] [stderr]    Compiling linux-raw-sys v0.12.1
[INFO] [stderr]    Compiling once_cell v1.21.4
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling unicode-segmentation v1.13.3
[INFO] [stderr]    Compiling log v0.4.32
[INFO] [stderr]    Compiling shinri-str v0.1.0 (/opt/rustwide/workdir/crates/shinri-str)
[INFO] [stderr]    Compiling shinri-arrays v0.1.0 (/opt/rustwide/workdir/crates/shinri-arrays)
[INFO] [stderr]    Compiling shinri-bv v0.1.0 (/opt/rustwide/workdir/crates/shinri-bv)
[INFO] [stderr]    Compiling shinri-fp v0.1.0 (/opt/rustwide/workdir/crates/shinri-fp)
[INFO] [stderr]    Compiling shinri-abv v0.1.0 (/opt/rustwide/workdir/crates/shinri-abv)
[INFO] [stderr]    Compiling shinri-frontend v0.1.0 (/opt/rustwide/workdir/crates/shinri-frontend)
[INFO] [stderr]    Compiling splr v0.17.2
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling easy-smt v0.2.8
[INFO] [stderr]    Compiling rand v0.9.4
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling logos-codegen v0.14.4
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling logos-derive v0.14.4
[INFO] [stderr]    Compiling logos v0.14.4
[INFO] [stderr]    Compiling shinri-parser v0.1.0 (/opt/rustwide/workdir/crates/shinri-parser)
[INFO] [stderr]    Compiling shinri-solver v0.1.0 (/opt/rustwide/workdir/crates/shinri-solver)
[INFO] [stderr]    Compiling shinri-cli v0.1.0 (/opt/rustwide/workdir/crates/shinri-cli)
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling proptest v1.11.0
[INFO] [stderr]    Compiling shinri-sat v0.1.0 (/opt/rustwide/workdir/crates/shinri-sat)
[INFO] [stderr]    Compiling shinri-euf v0.1.0 (/opt/rustwide/workdir/crates/shinri-euf)
[INFO] [stderr]    Compiling shinri-core v0.1.0 (/opt/rustwide/workdir/crates/shinri-core)
[INFO] [stderr]    Compiling shinri-num v0.1.0 (/opt/rustwide/workdir/crates/shinri-num)
[INFO] [stderr]    Compiling shinri-theory v0.0.0 (/opt/rustwide/workdir/crates/shinri-theory)
[INFO] [stderr]    Compiling shinri-arith v0.0.1 (/opt/rustwide/workdir/crates/shinri-arith)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 31.33s
[INFO] running `Command { std: "docker" "inspect" "27bca7f8ebecec0886a97cae3ab7e5cfa1bbccbe5bcf5fc2d0626aa8d7d2837c", 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" "27bca7f8ebecec0886a97cae3ab7e5cfa1bbccbe5bcf5fc2d0626aa8d7d2837c" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.14s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/shinri_abv-fdeb0cc57381a9c5)
[INFO] [stdout] 
[INFO] [stdout] running 18 tests
[INFO] [stdout] test abstraction::tests::array_eq_becomes_bool_proxy ... ok
[INFO] [stdout] test abstraction::tests::read_of_or_make_is_idempotent ... ok
[INFO] [stdout] test abstraction::tests::select_becomes_fresh_bv_var_of_element_width ... ok
[INFO] [stdout] test check::tests::ext_false_proxy_mints_witness_disequality ... ok
[INFO] [stdout] test check::tests::equal_index_values_but_unequal_reads_emit_congruence_lemma ... ok
[INFO] [stdout] test check::tests::row1_equal_index_emits_read_equals_stored ... ok
[INFO] [stdout] test collect::tests::collects_select_store_and_array_eq ... ok
[INFO] [stdout] test check::tests::ext_true_proxy_emits_agreement_when_reads_differ ... ok
[INFO] [stdout] test check::tests::row2_unequal_index_emits_read_equals_aliased_read ... ok
[INFO] [stdout] test model::tests::renders_nested_store_over_const ... ok
[INFO] [stdout] test normalize::tests::binary_eq_unchanged ... ok
[INFO] [stdout] test driver::loop_tests::converges_to_unsat_when_congruence_forces_contradiction ... ok
[INFO] [stdout] test normalize::tests::non_array_eq_untouched ... ok
[INFO] [stdout] test normalize::tests::nary_distinct_becomes_all_pairs_negated ... ok
[INFO] [stdout] test normalize::tests::nested_array_distinct_under_not_is_rewritten ... ok
[INFO] [stdout] test normalize::tests::nary_eq_becomes_adjacent_chain ... ok
[INFO] [stdout] test driver::loop_tests::consistent_model_returns_sat_without_lemmas ... ok
[INFO] [stdout] test normalize::tests::binary_distinct_becomes_not_eq ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 18 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/shinri_arith-306cf03193e3504c)
[INFO] [stdout] 
[INFO] [stdout] running 57 tests
[INFO] [stdout] test apriori_tests::apriori_box_seeded_via_propagate_before_decision ... ok
[INFO] [stdout] test apriori_tests::apriori_seeded_only_once ... ok
[INFO] [stdout] test assert_tests::flipped_strict_lower_conflicts_with_upper_at_boundary ... ok
[INFO] [stdout] test bounds::tests::redundant_bound_is_ignored ... ok
[INFO] [stdout] test apriori_tests::assert_conflict_against_sentinel_no_sentinel_in_core ... ok
[INFO] [stdout] test apriori_tests::apriori_not_seeded_on_real_vars ... ok
[INFO] [stdout] test bounds::tests::tighten_detects_crossing_conflict_other_direction ... ok
[INFO] [stdout] test assert_tests::contradictory_bounds_on_one_var_conflict_at_assert ... ok
[INFO] [stdout] test bounds::tests::tighten_detects_crossing_conflict ... ok
[INFO] [stdout] test bounds::tests::undo_removes_a_freshly_installed_bound ... ok
[INFO] [stdout] test bounds::tests::undo_restores_previous_bounds ... ok
[INFO] [stdout] test branch::tests::round_int_bound_handles_all_cases ... ok
[INFO] [stdout] test branch::tests::floor_ceil_handles_fractions_and_delta ... ok
[INFO] [stdout] test backtrack_tests::assert_then_pop_is_consistent_again ... ok
[INFO] [stdout] test apriori_tests::apriori_box_seeded_on_int_vars_at_level_zero ... ok
[INFO] [stdout] test check_tests::feasible_system_is_sat ... ok
[INFO] [stdout] test cut_wiring_tests::stage_b_decides_simple_unsat_fast ... ok
[INFO] [stdout] test check_tests::unsat_conflict_cites_participating_literals ... ok
[INFO] [stdout] test cuts::tests::integral_row_yields_no_cut ... ok
[INFO] [stdout] test cuts::tests::gmi_cut_separates_fractional_vertex ... ok
[INFO] [stdout] test farkas::tests::conflict_cites_the_pinning_bound_side_not_the_opposite ... ok
[INFO] [stdout] test model_tests::model_equal_shared_pairs_reports_beta_equal_int_pair ... ok
[INFO] [stdout] test model_tests::model_picks_concrete_value_for_strict_bound ... ok
[INFO] [stdout] test check_tests::infeasible_system_is_unsat ... ok
[INFO] [stdout] test integer_branch_tests::fractional_int_var_triggers_split ... ok
[INFO] [stdout] test nelson_oppen_tests::interface_equality_undone_on_pop ... ok
[INFO] [stdout] test nelson_oppen_tests::interface_equality_conflict ... ok
[INFO] [stdout] test nelson_oppen_tests::nonfixed_entailed ... ok
[INFO] [stdout] test nelson_oppen_tests::explain_cites_only_input_lits ... ok
[INFO] [stdout] test nelson_oppen_tests::numeral_pinning ... ok
[INFO] [stdout] test check_tests::sat_requiring_a_pivot ... ok
[INFO] [stdout] test nelson_oppen_tests::probe_does_not_perturb_state ... ok
[INFO] [stdout] test fbbt_wiring_tests::fbbt_shrinks_box_at_level_zero ... ok
[INFO] [stdout] test fbbt_wiring_tests::fbbt_disabled_when_stage_b_off ... ok
[INFO] [stdout] test nelson_oppen_tests::order_independence ... ok
[INFO] [stdout] test normalize::tests::eq_subtracts_sides ... ok
[INFO] [stdout] test nelson_oppen_tests::not_entailed_when_separable ... ok
[INFO] [stdout] test normalize::tests::ge_is_flipped_to_le ... ok
[INFO] [stdout] test nelson_oppen_tests::entailed_eq_antecedent_retains_interface_dependency ... ok
[INFO] [stdout] test nelson_oppen_tests::fixed_vars_entailed_equal ... ok
[INFO] [stdout] test propagate::tests::fbbt_tightens_from_a_sum_bound ... ok
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/shinri_arrays-1279b366cf28f8b3)
[INFO] [stdout] test rounding_tests::int_coefficient_division_rounds ... ok
[INFO] [stdout] test propagate::tests::fbbt_rounds_to_integer ... ok
[INFO] [stdout] test rounding_tests::real_strict_bound_keeps_delta ... ok
[INFO] [stdout] test normalize::tests::le_with_constant_folds_to_rhs ... ok
[INFO] [stdout] test tableau::tableau_tests::define_slack_creates_a_basic_row ... ok
[INFO] [stdout] test normalize::tests::sub_negates_second_term ... ok
[INFO] [stdout] test tableau::tableau_tests::pivot_sums_shared_variable_across_rows ... ok
[INFO] [stdout] test vars::tests::problem_and_slack_vars_intern_by_identity ... ok
[INFO] [stdout] test vars::tests::problem_var_records_int_sortedness ... ok
[INFO] [stdout] test normalize::tests::neg_inverts_coefficients ... ok
[INFO] [stdout] test rounding_tests::int_strict_bound_rounds_and_drops_delta ... ok
[INFO] [stdout] test tableau::row_tests::from_rationals_reduces_to_shared_denominator ... ok
[INFO] [stdout] test nelson_oppen_tests::numeral_pin_keeps_value ... ok
[INFO] [stdout] test rounding_tests::stage_b_off_preserves_delta_for_int_strict ... ok
[INFO] [stdout] test tableau::row_tests::reduce_strips_common_factor_and_normalizes_sign ... ok
[INFO] [stdout] test tableau::tableau_tests::pivot_swaps_basis_and_rewrites ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 57 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test tests::row1_emits_select_equals_stored_value ... ok
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/shinri_bv-339f1a76866b3d19)
[INFO] [stdout] test tests::row2_emits_disjunctive_split_when_index_undecided ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 98 tests
[INFO] [stdout] test blast::arith::tests::bvneg_two_complement ... ok
[INFO] [stdout] test blast::arith::tests::bvsub_and_neg ... ok
[INFO] [stdout] test blast::arith::tests::bvadd_wraps_mod_2pow_w ... ok
[INFO] [stdout] test blast::bitwise::tests::bvand_basic ... ok
[INFO] [stdout] test blast::bitwise::tests::bvnor_spot_checks ... ok
[INFO] [stdout] test blast::bitwise::tests::bvnot_zero ... ok
[INFO] [stdout] test blast::bitwise::tests::bvnot_all_ones ... ok
[INFO] [stdout] test blast::bitwise::tests::bvnand_spot_checks ... ok
[INFO] [stdout] test blast::bitwise::tests::bvnot_basic ... ok
[INFO] [stdout] test blast::bitwise::tests::bvor_basic ... ok
[INFO] [stdout] test blast::bitwise::tests::bvnand_basic ... ok
[INFO] [stdout] test blast::bitwise::tests::bvnor_basic ... ok
[INFO] [stdout] test blast::bitwise::tests::bvxnor_basic ... ok
[INFO] [stdout] test blast::bitwise::tests::bvxnor_spot_checks ... ok
[INFO] [stdout] test blast::shift::tests::rotate_k_eq_n_is_identity ... ok
[INFO] [stdout] test blast::shift::tests::ashr_sign_fills ... ok
[INFO] [stdout] test blast::shift::tests::lshr_zero_is_identity ... ok
[INFO] [stdout] test blast::bitwise::tests::bvxor_basic ... ok
[INFO] [stdout] test blast::shift::tests::rotate_left_matches_native ... ok
[INFO] [stdout] test blast::shift::tests::rotate_right_matches_native ... ok
[INFO] [stdout] test blast::structural::tests::extract_slices_inclusive ... ok
[INFO] [stdout] test blast::compare::tests::unsigned_and_signed_compares ... ok
[INFO] [stdout] test blast::structural::tests::concat_orders_first_arg_high ... ok
[INFO] [stdout] test blast::shift::tests::ashr_matches_native ... ok
[INFO] [stdout] test blast::shift::tests::shl_zero_is_identity ... ok
[INFO] [stdout] test blast::structural::tests::sign_extend_copies_msb ... ok
[INFO] [stdout] test blast::tests::and2_solve_verify ... ok
[INFO] [stdout] test blast::tests::blast_atom_eq_is_solvable_true ... ok
[INFO] [stdout] test blast::tests::blast_atom_ult_true_and_false ... ok
[INFO] [stdout] test blast::tests::blast_word_constant_and_var_and_add ... ok
[INFO] [stdout] test blast::tests::blast_word_bvadd_of_consts ... ok
[INFO] [stdout] test blast::tests::blast_word_constant_values ... ok
[INFO] [stdout] test blast::tests::blast_word_variable_memoization ... ok
[INFO] [stdout] test blast::tests::full_adder_truth_table_structural ... ok
[INFO] [stdout] test blast::tests::const_bits_and_fresh_allocate_distinct_vars ... ok
[INFO] [stdout] test blast::tests::incremental_drain_returns_only_new_clauses ... ok
[INFO] [stdout] test blast::arith::tests::bvmul_mod_256 ... ok
[INFO] [stdout] test blast::structural::tests::zero_extend_pads_zero ... ok
[INFO] [stdout] test blast::tests::mux2_solve_verify ... ok
[INFO] [stdout] test blast::tests::blast_atom_eq_true_and_false ... ok
[INFO] [stdout] test blast::tests::wordsink_generic_matches_inherent_bvadd ... ok
[INFO] [stdout] test blast::tests::full_adder_solve_all_8_combinations ... ok
[INFO] [stdout] test blast::tests::xor2_solve_verify ... ok
[INFO] [stdout] test lower_tests::lower_produces_atom_lits_and_var_bits ... ok
[INFO] [stdout] test lower_tests::lower_atom_lit_keyed_by_original_not_rewritten ... ok
[INFO] [stdout] test model::tests::pack_two_hundred ... ok
[INFO] [stdout] test lower_tests::lower_const_atom_no_var_bits ... ok
[INFO] [stdout] test lower_tests::lower_multiple_atoms_share_blaster ... ok
[INFO] [stdout] test blast::shift::tests::lshr_matches_native ... ok
[INFO] [stdout] test model::tests::pack_zero ... ok
[INFO] [stdout] test blast::bitwise::tests::bvand_exhaustive_4bit ... ok
[INFO] [stdout] test blast::bitwise::tests::bvor_exhaustive_4bit ... ok
[INFO] [stdout] test rewrite::tests::folds_constants_and_identities ... ok
[INFO] [stdout] test model::tests::pack_wide_beyond_64 ... ok
[INFO] [stdout] test rewrite::tests::const_fold_wrap_around ... ok
[INFO] [stdout] test model::tests::pack_five ... ok
[INFO] [stdout] test rewrite::tests::idempotent ... ok
[INFO] [stdout] test rewrite::tests::identity_and_all_ones ... ok
[INFO] [stdout] test rewrite::tests::identity_mul_one ... ok
[INFO] [stdout] test rewrite::tests::identity_or_all_ones ... ok
[INFO] [stdout] test rewrite::tests::identity_mul_zero ... ok
[INFO] [stdout] test rewrite::tests::identity_sub_zero ... ok
[INFO] [stdout] test rewrite::tests::identity_and_zero ... ok
[INFO] [stdout] test blast::div::tests::srem_sign_follows_dividend ... ok
[INFO] [stdout] test rewrite::tests::identity_shl_zero ... ok
[INFO] [stdout] test rewrite::tests::identity_sub_self ... ok
[INFO] [stdout] test blast::div::tests::udiv_urem_including_zero_divisor ... ok
[INFO] [stdout] test blast::tests::or2_solve_verify ... ok
[INFO] [stdout] test rewrite::tests::identity_xor_zero ... ok
[INFO] [stdout] test rewrite::tests::identity_or_zero ... ok
[INFO] [stdout] test rewrite::tests::miter::miter_const_fold_bvadd ... ok
[INFO] [stdout] test rewrite::tests::miter::miter_const_fold_bvxor ... ok
[INFO] [stdout] test rewrite::tests::miter::miter_const_fold_bvsub ... ok
[INFO] [stdout] test rewrite::tests::miter::miter_identity_bvand_zero ... ok
[INFO] [stdout] test rewrite::tests::miter::miter_identity_bvand_all_ones ... ok
[INFO] [stdout] test rewrite::tests::miter::miter_identity_bvadd_zero ... ok
[INFO] [stdout] test rewrite::tests::miter::miter_const_fold_bvneg ... ok
[INFO] [stdout] test rewrite::tests::miter::miter_const_fold_bvmul ... ok
[INFO] [stdout] test rewrite::tests::miter::miter_const_fold_bvshl ... ok
[INFO] [stdout] test rewrite::tests::miter::miter_const_fold_bvor ... ok
[INFO] [stdout] test rewrite::tests::miter::miter_const_fold_bvand ... ok
[INFO] [stdout] test rewrite::tests::miter::miter_const_fold_bvnot ... ok
[INFO] [stdout] test rewrite::tests::miter::miter_identity_bvor_all_ones ... ok
[INFO] [stdout] test rewrite::tests::miter::miter_structural_extract_entirely_in_hi ... ok
[INFO] [stdout] test rewrite::tests::miter::miter_structural_extract_of_extract ... ok
[INFO] [stdout] test rewrite::tests::miter::miter_structural_extract_entirely_in_lo ... ok
[INFO] [stdout] test rewrite::tests::miter::miter_identity_bvsub_zero ... ok
[INFO] [stdout] test rewrite::tests::miter::miter_identity_bvor_zero ... ok
[INFO] [stdout] test rewrite::tests::miter::miter_identity_bvxor_zero ... ok
[INFO] [stdout] test rewrite::tests::miter::miter_identity_bvshl_zero ... ok
[INFO] [stdout] test rewrite::tests::miter::miter_identity_bvsub_self ... ok
[INFO] [stdout] test blast::div::tests::sdiv_all_sign_combos ... ok
[INFO] [stdout] test rewrite::tests::miter::miter_identity_bvmul_zero ... ok
[INFO] [stdout] test blast::shift::tests::shifts_match_native ... ok
[INFO] [stdout] test blast::bitwise::tests::bvxor_exhaustive_4bit ... ok
[INFO] [stdout] test rewrite::tests::miter::miter_identity_bvmul_one ... ok
[INFO] [stdout] test blast::div::tests::smod_sign_follows_divisor ... ok
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/shinri-55a7c277783c5f52)
[INFO] [stdout] test blast::div::tests::signed_div_by_zero ... ok
[INFO] [stderr]      Running tests/cli.rs (/opt/rustwide/target/debug/deps/cli-9da9cbfe74965190)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 98 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.12s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test args::tests::file_arg_is_file_input ... ok
[INFO] [stdout] test args::tests::no_args_reads_stdin ... ok
[INFO] [stdout] test args::tests::two_files_error ... ok
[INFO] [stdout] test args::tests::unknown_flag_errors ... ok
[INFO] [stdout] test driver::channel_tests::default_print_success_is_true ... ok
[INFO] [stdout] test driver::channel_tests::file_channel_writes_lines ... ok
[INFO] [stdout] test driver::channel_tests::open_maps_standard_streams ... ok
[INFO] [stdout] test args::tests::help_and_version_flags ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test parse_error_does_not_stop_the_stream ... ok
[INFO] [stdout] test file_mode_matches_stdin_mode ... ok
[INFO] [stdout] test print_success_emits_success_lines ... ok
[INFO] [stdout] test regular_output_channel_redirects_to_file ... ok
[INFO] [stdout] test unreadable_file_exits_two ... ok
[INFO] [stdout] test stdin_qf_uf_unsat_quiet ... ok
[INFO] [stdout] test help_exits_zero ... ok
[INFO] [stdout] test unknown_flag_exits_two ... ok
[INFO] [stdout] test streaming_agrees_with_known_oracle_scripts ... ok
[INFO] [stdout] test version_prints_and_exits_zero ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/shinri_core-ca747b5562bd6aad)
[INFO] [stdout] 
[INFO] [stdout] running 37 tests
[INFO] [stdout] test context::tests::array_select_store_sorts ... ok
[INFO] [stdout] test context::tests::bool_consts_intern ... ok
[INFO] [stdout] test context::tests::bv_const_roundtrips_value_and_sort ... ok
[INFO] [stdout] test context::tests::bv_width_mismatch_is_error ... ok
[INFO] [stdout] test context::tests::const_real_value_rejects_symbolic ... ok
[INFO] [stdout] test context::tests::bv_op_result_widths ... ok
[INFO] [stdout] test context::tests::declare_sort_interns ... ok
[INFO] [stdout] test context::tests::fp_and_rm_sorts_intern_and_roundtrip ... ok
[INFO] [stdout] test context::tests::fp_arith_compare_classify_sortcheck ... ok
[INFO] [stdout] test context::tests::fp_and_rm_constants_roundtrip ... ok
[INFO] [stdout] test context::tests::fp_conversion_sortcheck ... ok
[INFO] [stdout] test context::tests::mk_app_checks_arithmetic_sorts ... ok
[INFO] [stdout] test context::tests::mk_app_rejects_bool_in_arithmetic ... ok
[INFO] [stdout] test context::tests::mk_eq_requires_matching_sorts ... ok
[INFO] [stdout] test context::tests::numerals_intern_by_value ... ok
[INFO] [stdout] test context::tests::reduce_mod_pow2_negative_and_over_width ... ok
[INFO] [stdout] test context::tests::numeral_value_reads_back_the_rational ... ok
[INFO] [stdout] test context::tests::string_const_roundtrips_and_dedups ... ok
[INFO] [stdout] test context::tests::const_real_value_folds_literals_and_neg ... ok
[INFO] [stdout] test context::tests::string_sort_is_stable_singleton ... ok
[INFO] [stdout] test context::tests::substitute_replaces_leaves_and_reinterns ... ok
[INFO] [stdout] test context::tests::string_predicate_sorts ... ok
[INFO] [stdout] test context::tests::uninterpreted_application_checks_signature ... ok
[INFO] [stdout] test context::tests::well_known_sorts_distinct_and_stable ... ok
[INFO] [stdout] test ids::tests::lit_packs_var_and_sign ... ok
[INFO] [stdout] test context::tests::string_ops_sort_check ... ok
[INFO] [stdout] test ids::tests::option_id_is_four_bytes ... ok
[INFO] [stdout] test proof::tests::recorder_captures_learn_chain ... ok
[INFO] [stdout] test ids::tests::termid_roundtrips_and_rejects_zero ... ok
[INFO] [stdout] test symbol::tests::interns_idempotently ... ok
[INFO] [stdout] test symbol::tests::lookup_finds_interned_and_misses_unknown ... ok
[INFO] [stdout] test undo::tests::pop_to_current_level_is_noop ... ok
[INFO] [stderr]      Running tests/rational_reexport.rs (/opt/rustwide/target/debug/deps/rational_reexport-daa883da7d84b616)
[INFO] [stdout] test context::tests::bv_sort_interns_by_width ... ok
[INFO] [stdout] test context::tests::substitute_is_identity_when_no_param_occurs ... ok
[INFO] [stdout] test undo::tests::levels_and_lifo_replay ... ok
[INFO] [stdout] test proof::tests::noproof_is_zero_sized ... ok
[INFO] [stdout] test ids::tests::lit_code_roundtrips ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 37 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test core_reexports_rational_with_fast_path ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/term_interning.rs (/opt/rustwide/target/debug/deps/term_interning-d929faa2d51f090a)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test identical_numerals_share_one_node_and_one_rat ... ok
[INFO] [stdout] test distinct_bools_are_distinct_ids ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/undo_restore.rs (/opt/rustwide/target/debug/deps/undo_restore-d93136765a4fd102)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/shinri_euf-734669a89b3aa4d1)
[INFO] [stdout] test snapshot_mutate_pop_restores_state ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test solver::tests::euf_constructs_and_has_theory_id_one ... ok
[INFO] [stdout] test egraph::tests::add_term_registers_apps_and_args ... ok
[INFO] [stdout] test solver::tests::shared_arith_terms_includes_int_uf_apps ... ok
[INFO] [stderr]      Running tests/euf_props.rs (/opt/rustwide/target/debug/deps/euf_props-e60f1af2ad921831)
[INFO] [stdout] test egraph::tests::stale_pending_congruence_not_drained_after_backtrack ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test transitivity_chain_conflicts ... ok
[INFO] [stderr]      Running tests/qfuf_euf.rs (/opt/rustwide/target/debug/deps/qfuf_euf-8cd9f3dc0cc05ff1)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test conflict_bridges_to_diseq_endpoints_sufficiency ... ok
[INFO] [stdout] test model_assigns_equal_terms_the_same_element ... ok
[INFO] [stdout] test pop_undoes_congruence_merge ... ok
[INFO] [stdout] test predicate_conflict_survives_push_pop ... ok
[INFO] [stdout] test predicate_congruence_conflict ... ok
[INFO] [stdout] test propagates_forced_equality_with_explanation ... ok
[INFO] [stdout] test nary_congruence_conflict ... ok
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/shinri_fp-8a80826b00feb6b2)
[INFO] [stdout] test congruence_conflict_x_eq_y_implies_fx_eq_fy ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.23s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 89 tests
[INFO] [stdout] test blast::compare::tests::abs_neg_words_match_reference ... ok
[INFO] [stdout] test blast::compare::tests::fp_eq_and_core_eq_match_reference ... ok
[INFO] [stdout] test blast::classify::tests::classify_float32_representatives ... ok
[INFO] [stdout] test blast::classify::tests::classify_tiny_format_exhaustive ... ok
[INFO] [stdout] test blast::minmax::tests::min_max_words_match_reference ... ok
[INFO] [stdout] test blast_tests::blast_const_and_var_words_have_width_w ... ok
[INFO] [stdout] test blast_tests::blast_dispatch_relations_and_minmax_wired ... ok
[INFO] [stdout] test bridge::tests::f16_rows_match_reference ... ok
[INFO] [stdout] test bridge::tests::f32_normal_subnormal_zero_match_reference ... ok
[INFO] [stdout] test bridge::tests::signed_zero_is_zero ... ok
[INFO] [stdout] test blast::compare::tests::fp_lt_and_relations_match_reference ... ok
[INFO] [stdout] test blast::roundint::tests::roundint_tiny_exhaustive ... ok
[INFO] [stdout] test blast::add::tests::fp_add_float32_specials_and_random has been running for over 60 seconds
[INFO] [stdout] test blast::add::tests::fp_add_tiny_exhaustive_all_modes has been running for over 60 seconds
[INFO] [stdout] test blast::div::tests::fp_div_float32_specials_and_random has been running for over 60 seconds
[INFO] [stdout] test blast::div::tests::fp_div_tiny_exhaustive_all_modes has been running for over 60 seconds
[INFO] [stdout] test blast::fma::tests::fp_fma_float32_specials_and_random has been running for over 60 seconds
[INFO] [stdout] test blast::fma::tests::fp_fma_tiny_sampled_all_modes has been running for over 60 seconds
[INFO] [stdout] test blast::mul::tests::fp_mul_float32_specials_and_random has been running for over 60 seconds
[INFO] [stdout] test blast::mul::tests::fp_mul_tiny_exhaustive_all_modes has been running for over 60 seconds
[INFO] [stdout] test blast::rem::tests::rem_float32_specials_and_random has been running for over 60 seconds
[INFO] [stdout] test blast::rem::tests::rem_tiny_exhaustive has been running for over 60 seconds
[INFO] [stdout] test blast::roundint::tests::roundint_float32_specials_and_random has been running for over 60 seconds
[INFO] [stdout] test blast::sqrt::tests::fp_sqrt_float32_specials_and_random has been running for over 60 seconds
[INFO] [stdout] test blast::sqrt::tests::fp_sqrt_tiny_exhaustive_all_modes has been running for over 60 seconds
[INFO] [stdout] test convert::tests::fp_to_int_f16_f32_specials_and_random has been running for over 60 seconds
[INFO] [stdout] test convert::tests::fp_to_int_tiny_exhaustive_both_faces has been running for over 60 seconds
[INFO] [stdout] test blast::sqrt::tests::fp_sqrt_tiny_exhaustive_all_modes ... ok
[INFO] [stdout] test convert::tests::to_fp_fp_f64_f32_specials_and_random has been running for over 60 seconds
[INFO] [stdout] test convert::tests::fp_to_int_tiny_exhaustive_both_faces ... ok
[INFO] [stdout] test convert::tests::to_fp_fp_tiny_exhaustive_both_directions has been running for over 60 seconds
[INFO] [stdout] test convert::tests::to_fp_int_64bit_random_into_f32 has been running for over 60 seconds
[INFO] [stdout] test blast::add::tests::fp_add_float32_specials_and_random ... ok
[INFO] [stdout] test convert::tests::to_fp_int_64bit_random_into_f32 ... ok
[INFO] [stdout] test convert::tests::to_fp_int_tiny_width_edges ... ok
[INFO] [stdout] test convert::tests::to_fp_real_const_folds_all_modes ... ok
[INFO] [stdout] test lower::tests::fp_to_bv_congruence_equal_args_force_equal_results ... ok
[INFO] [stdout] test lower::tests::fp_to_bv_unspecified_free_across_modes_and_faces ... ok
[INFO] [stdout] test lower::tests::mixed_bv_and_fp_atoms_share_one_cache_and_split_vars ... ok
[INFO] [stdout] test lower_tests::fp_from_bits_wires_children_lsb_first ... ok
[INFO] [stdout] test lower_tests::lower_core_eq_over_floats_is_an_atom ... ok
[INFO] [stdout] test lower_tests::lower_fp_add_eq_atom ... ok
[INFO] [stdout] test lower_tests::lower_fp_div_eq_atom ... ok
[INFO] [stdout] test lower_tests::lower_fp_mul_eq_atom ... ok
[INFO] [stdout] test lower_tests::lower_fp_rem_eq_atom ... ok
[INFO] [stdout] test lower_tests::lower_isnan_atom_keys_and_vars ... ok
[INFO] [stdout] test lower_tests::lower_mixed_blasts_bv_and_fp_and_unions_vars ... ok
[INFO] [stdout] test lower_tests::lower_to_fp_fp_and_const_real_atoms ... ok
[INFO] [stdout] test lower_tests::to_fp_1arg_bitcast_is_identity ... ok
[INFO] [stdout] test lower_tests::to_fp_2arg_bv_source_blasts_to_fp_width ... ok
[INFO] [stdout] test lower_tests::to_fp_unsigned_blasts_to_fp_width ... ok
[INFO] [stdout] test lower_tests::wordsink_generic_matches_inherent_fp_isnan ... ok
[INFO] [stdout] test lzc::tests::lzc_exhaustive_width5 ... ok
[INFO] [stdout] test lzc::tests::lzc_exhaustive_width8 ... ok
[INFO] [stdout] test reference::slice2d_tests::ref_fma_finite_and_single_rounding ... ok
[INFO] [stdout] test reference::slice2d_tests::ref_fma_specials ... ok
[INFO] [stdout] test reference::slice2d_tests::ref_fma_zero_sign_rule ... ok
[INFO] [stdout] test reference::slice2d_tests::ref_leq_gt_geq_derive_correctly ... ok
[INFO] [stdout] test reference::slice2d_tests::ref_lt_matches_extended_order ... ok
[INFO] [stdout] test reference::slice2d_tests::ref_min_max_with_nan_and_zero_tie ... ok
[INFO] [stdout] test reference::tests::abs_and_neg_bits ... ok
[INFO] [stdout] test reference::tests::decode_and_classify_float32 ... ok
[INFO] [stdout] test reference::tests::fp_eq_and_core_eq_semantics ... ok
[INFO] [stdout] test reference::tests::ref_add_known_float32 ... ok
[INFO] [stdout] test convert::tests::to_fp_int_8bit_exhaustive_both_faces has been running for over 60 seconds
[INFO] [stdout] test convert::tests::to_fp_fp_f64_f32_specials_and_random ... ok
[INFO] [stdout] test reference::tests::ref_div_known_float32 ... ok
[INFO] [stdout] test reference::tests::ref_add_tiny_total_and_canonical ... ok
[INFO] [stdout] test reference::tests::ref_fp_from_bits_packs_one_float32 ... ok
[INFO] [stdout] test reference::tests::ref_fp_to_bv_round_then_range_check ... ok
[INFO] [stdout] test reference::tests::ref_fp_to_sbv_bounds_and_encoding ... ok
[INFO] [stdout] test reference::tests::ref_int_to_fp_pins_known_values ... ok
[INFO] [stdout] test reference::tests::ref_mul_known_float32 ... ok
[INFO] [stdout] test reference::tests::ref_div_tiny_total_and_canonical ... ok
[INFO] [stdout] test reference::tests::ref_rem_known_float32 ... ok
[INFO] [stdout] test reference::tests::ref_rem_specials ... ok
[INFO] [stdout] test reference::tests::ref_rem_tiny_total_and_bounded ... ok
[INFO] [stdout] test reference::tests::ref_round_to_integral_float32_modes ... ok
[INFO] [stdout] test reference::tests::ref_round_to_integral_specials_and_sign_preserving_zero ... ok
[INFO] [stdout] test reference::tests::ref_sqrt_known_float32 ... ok
[INFO] [stdout] test reference::tests::ref_sqrt_monotone_tiny ... ok
[INFO] [stdout] test reference::tests::ref_to_fp_fp_specials ... ok
[INFO] [stdout] test reference::tests::ref_to_fp_fp_widen_and_narrow ... ok
[INFO] [stdout] test reference::tests::round_known_float32_encodings ... ok
[INFO] [stdout] test reference::tests::round_rational_overflow_saturates_by_mode ... ok
[INFO] [stdout] test reference::tests::round_rational_to_integer_all_modes ... ok
[INFO] [stdout] test rm::tests::literal_is_one_hot ... ok
[INFO] [stdout] test rm::tests::rm_eq_literal_pairs_exhaustive ... ok
[INFO] [stdout] test rm::tests::rm_eq_symbolic_vs_literal_forces_mode ... ok
[INFO] [stdout] test rm::tests::symbolic_is_exactly_one_hot_and_excludes_illegal ... ok
[INFO] [stdout] test reference::tests::ref_mul_tiny_total_and_commutative ... ok
[INFO] [stdout] test round::tests::round_matches_reference_tiny_exhaustive ... ok
[INFO] [stdout] test round::tests::round_overflow_saturates_by_mode ... ok
[INFO] [stdout] test convert::tests::to_fp_int_8bit_exhaustive_both_faces ... ok
[INFO] [stdout] test round::tests::round_matches_reference_float32_random has been running for over 60 seconds
[INFO] [stdout] test round::tests::round_matches_reference_float32_random ... ok
[INFO] [stdout] test blast::sqrt::tests::fp_sqrt_float32_specials_and_random ... ok
[INFO] [stdout] test convert::tests::fp_to_int_f16_f32_specials_and_random ... ok
[INFO] [stdout] test blast::roundint::tests::roundint_float32_specials_and_random ... ok
[ERROR] error running command: no output for 300 seconds
[INFO] running `Command { std: "docker" "inspect" "27bca7f8ebecec0886a97cae3ab7e5cfa1bbccbe5bcf5fc2d0626aa8d7d2837c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "27bca7f8ebecec0886a97cae3ab7e5cfa1bbccbe5bcf5fc2d0626aa8d7d2837c", kill_on_drop: false }`
[INFO] [stdout] 27bca7f8ebecec0886a97cae3ab7e5cfa1bbccbe5bcf5fc2d0626aa8d7d2837c
