[INFO] cloning repository https://github.com/pstlab/SeMiTONE
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/pstlab/SeMiTONE" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpstlab%2FSeMiTONE", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpstlab%2FSeMiTONE'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 00f4018202f848b2119dea7b9b0df2a194d1d25d
[INFO] testing pstlab/SeMiTONE against 1.100.0-beta.1 for beta-1.100-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpstlab%2FSeMiTONE" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/pstlab/SeMiTONE
[INFO] removed 0 missing tests
[INFO] finished tweaking git repo https://github.com/pstlab/SeMiTONE
[INFO] tweaked toml for git repo https://github.com/pstlab/SeMiTONE written to /workspace/builds/worker-4-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/pstlab/SeMiTONE 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 git repo https://github.com/pstlab/SeMiTONE already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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] 1a34840eef4b61f7e65369f796f391759a0ceb040ee95c3725875f956ac27f52
[INFO] running `Command { std: "docker" "start" "1a34840eef4b61f7e65369f796f391759a0ceb040ee95c3725875f956ac27f52", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1a34840eef4b61f7e65369f796f391759a0ceb040ee95c3725875f956ac27f52", 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" "1a34840eef4b61f7e65369f796f391759a0ceb040ee95c3725875f956ac27f52" "/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" "1a34840eef4b61f7e65369f796f391759a0ceb040ee95c3725875f956ac27f52", 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" "1a34840eef4b61f7e65369f796f391759a0ceb040ee95c3725875f956ac27f52" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling gmp-mpfr-sys v1.7.1
[INFO] [stderr]    Compiling libc v0.2.189
[INFO] [stderr]    Compiling log v0.4.33
[INFO] [stderr]    Compiling rug v1.30.0
[INFO] [stderr]    Compiling thread_local v1.1.10
[INFO] [stderr]    Compiling syn v2.0.119
[INFO] [stderr]    Compiling smallvec v1.15.2
[INFO] [stderr]    Compiling az v1.3.0
[INFO] [stderr]    Compiling rustc-hash v2.1.3
[INFO] [stderr]    Compiling tracing-log v0.2.0
[INFO] [stderr]    Compiling tracing-subscriber v0.3.23
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling semitone v0.0.26 (/opt/rustwide/workdir)
[INFO] [stderr] warning: unused dependency `tracing-subscriber`
[INFO] [stderr]   --> Cargo.toml:14:1
[INFO] [stderr]    |
[INFO] [stderr] 14 | tracing-subscriber = "0.3.23"
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `tracing-subscriber`
[INFO] [stderr] warning: `semitone` (manifest) generated 1 warning
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 4m 23s
[INFO] running `Command { std: "docker" "inspect" "1a34840eef4b61f7e65369f796f391759a0ceb040ee95c3725875f956ac27f52", 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" "1a34840eef4b61f7e65369f796f391759a0ceb040ee95c3725875f956ac27f52" "/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 serde_core v1.0.229
[INFO] [stderr]    Compiling crossbeam-utils v0.8.22
[INFO] [stderr]    Compiling zerocopy v0.8.56
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.20
[INFO] [stderr]    Compiling crossbeam-deque v0.8.7
[INFO] [stderr]    Compiling syn v2.0.119
[INFO] [stderr]    Compiling syn v3.0.3
[INFO] [stderr]    Compiling find-msvc-tools v0.1.10
[INFO] [stderr]    Compiling serde v1.0.229
[INFO] [stderr]    Compiling cc v1.4.2
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling rayon-core v1.13.0
[INFO] [stderr]    Compiling either v1.17.0
[INFO] [stderr]    Compiling regex-syntax v0.8.11
[INFO] [stderr]    Compiling rand_core v0.10.1
[INFO] [stderr]    Compiling getrandom v0.4.3
[INFO] [stderr]    Compiling clap_builder v4.6.6
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]    Compiling alloca v0.4.0
[INFO] [stderr]    Compiling regex-automata v0.4.18
[INFO] [stderr]    Compiling gmp-mpfr-sys v1.7.1
[INFO] [stderr]    Compiling cpufeatures v0.3.1
[INFO] [stderr]    Compiling criterion-plot v0.8.2
[INFO] [stderr]    Compiling serde_derive v1.0.229
[INFO] [stderr]    Compiling serde_json v1.0.151
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling regex v1.13.1
[INFO] [stderr]    Compiling clap v4.6.6
[INFO] [stderr]    Compiling chacha20 v0.10.2
[INFO] [stderr]    Compiling rug v1.30.0
[INFO] [stderr]    Compiling rayon v1.12.0
[INFO] [stderr]    Compiling page_size v0.6.0
[INFO] [stderr]    Compiling oorandom v11.1.5
[INFO] [stderr]    Compiling rand v0.10.3
[INFO] [stderr]    Compiling zerocopy-derive v0.8.56
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling criterion v0.8.2
[INFO] [stderr]    Compiling semitone v0.0.26 (/opt/rustwide/workdir)
[INFO] [stderr] warning: unused dependency `tracing-subscriber`
[INFO] [stderr]   --> Cargo.toml:14:1
[INFO] [stderr]    |
[INFO] [stderr] 14 | tracing-subscriber = "0.3.23"
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `tracing-subscriber`
[INFO] [stderr] warning: `semitone` (manifest) generated 1 warning
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 12.34s
[INFO] running `Command { std: "docker" "inspect" "1a34840eef4b61f7e65369f796f391759a0ceb040ee95c3725875f956ac27f52", 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" "1a34840eef4b61f7e65369f796f391759a0ceb040ee95c3725875f956ac27f52" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr] warning: unused dependency `tracing-subscriber`
[INFO] [stderr]   --> Cargo.toml:14:1
[INFO] [stderr]    |
[INFO] [stderr] 14 | tracing-subscriber = "0.3.23"
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `tracing-subscriber`
[INFO] [stderr] warning: `semitone` (manifest) generated 1 warning
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.06s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/build/semitone/3bcc2187df28b82f/out/semitone-3bcc2187df28b82f)
[INFO] [stdout] 
[INFO] [stdout] running 134 tests
[INFO] [stdout] test ast::tests::arith_display_div ... ok
[INFO] [stdout] test ast::tests::arith_display_add ... ok
[INFO] [stdout] test ast::tests::arith_display_int_real ... ok
[INFO] [stdout] test ast::tests::arith_display_sub ... ok
[INFO] [stdout] test ast::tests::arith_display_mul ... ok
[INFO] [stdout] test ast::tests::arith_display_lit ... ok
[INFO] [stdout] test ast::tests::bool_display_and ... ok
[INFO] [stdout] test ast::tests::bool_display_comparisons ... ok
[INFO] [stdout] test ast::tests::bool_display_eq ... ok
[INFO] [stdout] test ast::tests::bool_display_not ... ok
[INFO] [stdout] test ast::tests::bool_display_lit ... ok
[INFO] [stdout] test ast::tests::bool_display_or ... ok
[INFO] [stdout] test ast::tests::distribute_atom_unchanged ... ok
[INFO] [stdout] test ast::tests::distribute_cartesian_product_two_ands ... ok
[INFO] [stdout] test ast::tests::distribute_and_inside_and_flattened ... ok
[INFO] [stdout] test ast::tests::distribute_and_of_atoms ... ok
[INFO] [stdout] test ast::tests::bool_display_var ... ok
[INFO] [stdout] test ast::tests::distribute_or_of_atoms ... ok
[INFO] [stdout] test ast::tests::distribute_flattens_nested_or ... ok
[INFO] [stdout] test ast::tests::push_negations_double_not_eliminates ... ok
[INFO] [stdout] test ast::tests::distribute_flattens_nested_and ... ok
[INFO] [stdout] test ast::tests::distribute_or_over_and ... ok
[INFO] [stdout] test ast::tests::push_negations_literal_unchanged ... ok
[INFO] [stdout] test ast::tests::push_negations_not_and_demorgan ... ok
[INFO] [stdout] test ast::tests::push_negations_not_eq_stays_not_eq ... ok
[INFO] [stdout] test ast::tests::push_negations_not_gt_becomes_le ... ok
[INFO] [stdout] test ast::tests::push_negations_not_ge_becomes_lt ... ok
[INFO] [stdout] test ast::tests::push_negations_not_lt_becomes_ge ... ok
[INFO] [stdout] test ast::tests::push_negations_not_var_becomes_not_var ... ok
[INFO] [stdout] test ast::tests::push_negations_recurses_into_and ... ok
[INFO] [stdout] test ast::tests::push_negations_recurses_into_or ... ok
[INFO] [stdout] test ast::tests::push_negations_not_or_demorgan ... ok
[INFO] [stdout] test ast::tests::push_negations_triple_not ... ok
[INFO] [stdout] test ast::tests::push_negations_not_le_becomes_gt ... ok
[INFO] [stdout] test ast::tests::push_negations_var_unchanged ... ok
[INFO] [stdout] test ast::tests::to_cnf_atom_unchanged ... ok
[INFO] [stdout] test ast::tests::to_cnf_double_negation ... ok
[INFO] [stdout] test ast::tests::to_cnf_nested_not_and_or ... ok
[INFO] [stdout] test ast::tests::to_cnf_not_comparison_flipped ... ok
[INFO] [stdout] test ast::tests::to_cnf_already_cnf ... ok
[INFO] [stdout] test ast::tests::to_cnf_not_and_demorgan_then_distribute ... ok
[INFO] [stdout] test ast::tests::to_cnf_not_or_demorgan ... ok
[INFO] [stdout] test ast::tests::to_cnf_or_over_and_distributes ... ok
[INFO] [stdout] test dl_theory::tests::test_current_value_model ... ok
[INFO] [stdout] test dl_theory::tests::test_backtracking_cancel_until ... ok
[INFO] [stdout] test dl_theory::tests::test_initialization_and_vars ... ok
[INFO] [stdout] test dl_theory::tests::test_negative_cycle_detection ... ok
[INFO] [stdout] test dl_theory::tests::test_simple_bounds_extraction ... ok
[INFO] [stdout] test dl_theory::tests::test_strict_inequality_infinitesimal_cycle ... ok
[INFO] [stdout] test enum_theory::tests::test_enum_positive_assignment_removes_others ... ok
[INFO] [stdout] test enum_theory::tests::test_enum_backtracking_recovers_domain ... ok
[INFO] [stdout] test enum_theory::tests::test_enum_exhaustive_denial_conflict ... ok
[INFO] [stdout] test enum_theory::tests::test_enum_positive_contradiction ... ok
[INFO] [stdout] test euf_theory::regression_tests::app_created_at_depth_is_registered_correctly ... ok
[INFO] [stdout] test euf_theory::regression_tests::creation_time_congruence_survives_backtracking ... ok
[INFO] [stdout] test euf_theory::regression_tests::late_app_congruent_at_creation_is_undone_and_redone ... ok
[INFO] [stdout] test lra_theory::tests::test_check_resolves_out_of_bounds ... ok
[INFO] [stdout] test lra_theory::tests::test_check_detects_conflict ... ok
[INFO] [stdout] test euf_theory::regression_tests::term_created_after_merge_is_congruent ... ok
[INFO] [stdout] test lra_theory::tests::test_optimize_degenerate_tie_picks_lowest_index ... ok
[INFO] [stdout] test lra_theory::tests::test_optimize_minimize_simple_bound ... ok
[INFO] [stdout] test lra_theory::tests::test_optimize_maximize_simple_bound ... ok
[INFO] [stdout] test lra_theory::tests::test_canonicalize_substitutes_basic_variables ... ok
[INFO] [stdout] test lra_theory::tests::test_optimize_unbounded ... ok
[INFO] [stdout] test lra_theory::tests::test_pivot_and_update_maintains_equality ... ok
[INFO] [stdout] test lra_theory::tests::test_optimize_requires_pivot ... ok
[INFO] [stdout] test lra_theory::tests::test_optimize_objective_on_basic_variable ... ok
[INFO] [stdout] test lra_theory::tests::test_pure_pivot_algebra ... ok
[INFO] [stdout] test lra_theory::tests::test_tableau_pivot_nested_substitution ... ok
[INFO] [stdout] test lra_theory::tests::test_sparse_row_add_scaled_cancellation ... ok
[INFO] [stdout] test rational::tests::add_finite_finite ... ok
[INFO] [stdout] test rational::tests::add_assign_finite ... ok
[INFO] [stdout] test rational::tests::add_inf_absorbs ... ok
[INFO] [stdout] test rational::tests::add_same_inf ... ok
[INFO] [stdout] test euf_theory::regression_tests::explanation_is_linear_on_shared_subproofs ... ok
[INFO] [stdout] test rational::tests::default_is_zero ... ok
[INFO] [stdout] test rational::tests::display_finite ... ok
[INFO] [stdout] test rational::tests::add_assign_inf ... ok
[INFO] [stdout] test rational::tests::display_pos_inf ... ok
[INFO] [stdout] test rational::tests::div_finite_finite ... ok
[INFO] [stdout] test rational::tests::div_finite_inf_is_zero ... ok
[INFO] [stdout] test rational::tests::display_neg_inf ... ok
[INFO] [stdout] test rational::tests::div_inf_by_negative_finite ... ok
[INFO] [stdout] test rational::tests::div_inf_by_positive_finite ... ok
[INFO] [stdout] test rational::tests::div_negative_by_zero ... ok
[INFO] [stdout] test euf_theory::regression_tests::none_reason_on_variables_is_rejected - should panic ... ok
[INFO] [stdout] test rational::tests::div_positive_by_zero ... ok
[INFO] [stdout] test rational::tests::add_neg_inf_pos_inf_panics - should panic ... ok
[INFO] [stdout] test rational::tests::infrational_sub_ref_ref ... ok
[INFO] [stdout] test rational::tests::add_pos_inf_neg_inf_panics - should panic ... ok
[INFO] [stdout] test rational::tests::infrational_total_order ... ok
[INFO] [stdout] test rational::tests::div_inf_by_inf_panics - should panic ... ok
[INFO] [stdout] test rational::tests::mul_assign_finite ... ok
[INFO] [stdout] test rational::tests::mul_assign_inf ... ok
[INFO] [stdout] test rational::tests::div_neg_inf_by_zero_panics - should panic ... ok
[INFO] [stdout] test rational::tests::mul_finite_finite ... ok
[INFO] [stdout] test rational::tests::mul_inf_inf ... ok
[INFO] [stdout] test rational::tests::mul_inf_negative_finite ... ok
[INFO] [stdout] test rational::tests::mul_inf_positive_finite ... ok
[INFO] [stdout] test rational::tests::neg_finite ... ok
[INFO] [stdout] test rational::tests::neg_neg_inf_is_pos_inf ... ok
[INFO] [stdout] test rational::tests::neg_pos_inf_is_neg_inf ... ok
[INFO] [stdout] test rational::tests::ordering_equal ... ok
[INFO] [stdout] test rational::tests::ordering_finite_values ... ok
[INFO] [stdout] test rational::tests::ordering_neg_inf_lt_finite_lt_pos_inf ... ok
[INFO] [stdout] test rational::tests::sub_finite ... ok
[INFO] [stdout] test rational::tests::div_pos_inf_by_zero_panics - should panic ... ok
[INFO] [stdout] test rational::tests::sub_inf ... ok
[INFO] [stdout] test rational::tests::sub_ref_ref ... ok
[INFO] [stdout] test sat_solver::tests::test_conflict_analysis ... ok
[INFO] [stdout] test rational::tests::sub_ref_ref_undefined_panics - should panic ... ok
[INFO] [stdout] test sat_solver::tests::unit_clause_at_decision_level_returns_conflict_to_backtrack ... ok
[INFO] [stdout] test rational::tests::mul_neg_inf_zero_panics - should panic ... ok
[INFO] [stdout] test tests::test_constant_arithmetic_evaluations ... ok
[INFO] [stdout] test tests::test_dl_backtracking_via_push_pop ... ok
[INFO] [stdout] test tests::test_dl_chain_upper_bounds ... ok
[INFO] [stdout] test rational::tests::div_zero_by_zero_panics - should panic ... ok
[INFO] [stdout] test rational::tests::mul_pos_inf_zero_panics - should panic ... ok
[INFO] [stdout] test tests::test_dl_eq_pins_value ... ok
[INFO] [stdout] test tests::test_dl_lower_and_upper_bound_interval ... ok
[INFO] [stdout] test tests::test_dl_negated_le_forces_strict_gt ... ok
[INFO] [stdout] test tests::test_dl_non_strict_boundary_is_sat ... ok
[INFO] [stdout] test tests::test_dl_negative_cycle_conflict ... ok
[INFO] [stdout] test tests::test_dl_strict_boundary_conflict ... ok
[INFO] [stdout] test tests::test_early_bounding_unsat ... ok
[INFO] [stdout] test tests::test_enum_exhaustive_denial_integration ... ok
[INFO] [stdout] test tests::test_enum_out_of_domain_unsat ... ok
[INFO] [stdout] test tests::test_pure_sat_resolution ... ok
[INFO] [stdout] test tests::test_negated_variable_inequalities ... ok
[INFO] [stdout] test tests::test_simplex_system_unsat ... ok
[INFO] [stdout] test tests::test_encode_eq_type_mismatch_panic - should panic ... ok
[INFO] [stdout] test tests::test_equality_mutually_exclusive ... ok
[INFO] [stdout] test euf_theory::regression_tests::fuzz_with_terms_created_at_any_level ... ok
[INFO] [stdout] test euf_theory::regression_tests::fuzz_against_naive_closure ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 134 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.81s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests semitone
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test src/lib.rs - (line 41) ... 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] [stdout] all doctests ran in 0.19s; merged doctests compilation took 0.18s
[INFO] running `Command { std: "docker" "inspect" "1a34840eef4b61f7e65369f796f391759a0ceb040ee95c3725875f956ac27f52", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1a34840eef4b61f7e65369f796f391759a0ceb040ee95c3725875f956ac27f52", kill_on_drop: false }`
[INFO] [stdout] 1a34840eef4b61f7e65369f796f391759a0ceb040ee95c3725875f956ac27f52
