[INFO] fetching crate symbolic-mgu 0.1.0-alpha.15...
[INFO] testing symbolic-mgu-0.1.0-alpha.15 against beta-2026-04-21 for beta-1.96-2
[INFO] extracting crate symbolic-mgu 0.1.0-alpha.15 into /workspace/builds/worker-2-tc2/source
[INFO] started tweaking crates.io crate symbolic-mgu 0.1.0-alpha.15
[INFO] finished tweaking crates.io crate symbolic-mgu 0.1.0-alpha.15
[INFO] tweaked toml for crates.io crate symbolic-mgu 0.1.0-alpha.15 written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate symbolic-mgu 0.1.0-alpha.15 on toolchain beta-2026-04-21
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2026-04-21" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate symbolic-mgu 0.1.0-alpha.15 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" "+beta-2026-04-21" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 9f93948b84f05e38ffe8a44acc726b5bacdf0fbd21089e3760169dae3530e6d1
[INFO] running `Command { std: "docker" "start" "-a" "9f93948b84f05e38ffe8a44acc726b5bacdf0fbd21089e3760169dae3530e6d1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9f93948b84f05e38ffe8a44acc726b5bacdf0fbd21089e3760169dae3530e6d1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9f93948b84f05e38ffe8a44acc726b5bacdf0fbd21089e3760169dae3530e6d1", kill_on_drop: false }`
[INFO] [stdout] 9f93948b84f05e38ffe8a44acc726b5bacdf0fbd21089e3760169dae3530e6d1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ddc6ed8b73043ec88a16fdd89be9b36db0531592642ccd04989a949eb85852ae
[INFO] running `Command { std: "docker" "start" "-a" "ddc6ed8b73043ec88a16fdd89be9b36db0531592642ccd04989a949eb85852ae", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.104
[INFO] [stderr]    Compiling quote v1.0.41
[INFO] [stderr]    Compiling unicode-ident v1.0.20
[INFO] [stderr]    Compiling libm v0.2.15
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling indexmap v1.9.3
[INFO] [stderr]    Compiling symbolic-mgu v0.1.0-alpha.15 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling syn v2.0.108
[INFO] [stderr]    Compiling strum_macros v0.27.2
[INFO] [stderr]    Compiling thiserror-impl v2.0.17
[INFO] [stderr]    Compiling thiserror v2.0.17
[INFO] [stderr]    Compiling strum v0.27.2
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 24.51s
[INFO] running `Command { std: "docker" "inspect" "ddc6ed8b73043ec88a16fdd89be9b36db0531592642ccd04989a949eb85852ae", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ddc6ed8b73043ec88a16fdd89be9b36db0531592642ccd04989a949eb85852ae", kill_on_drop: false }`
[INFO] [stdout] ddc6ed8b73043ec88a16fdd89be9b36db0531592642ccd04989a949eb85852ae
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 2a98f711f750602648ec0857a2aab0c68c66184b91d24aaed15c4b950d549dc5
[INFO] running `Command { std: "docker" "start" "-a" "2a98f711f750602648ec0857a2aab0c68c66184b91d24aaed15c4b950d549dc5", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.177
[INFO] [stderr]    Compiling zerocopy v0.8.27
[INFO] [stderr]    Compiling rustix v1.1.2
[INFO] [stderr]    Compiling bitflags v2.10.0
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling bit-vec v0.6.3
[INFO] [stderr]    Compiling bit-set v0.5.3
[INFO] [stderr]    Compiling getrandom v0.2.16
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling rand_xorshift v0.3.0
[INFO] [stderr]    Compiling tempfile v3.23.0
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling proptest v1.5.0
[INFO] [stderr]    Compiling symbolic-mgu v0.1.0-alpha.15 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 30.82s
[INFO] running `Command { std: "docker" "inspect" "2a98f711f750602648ec0857a2aab0c68c66184b91d24aaed15c4b950d549dc5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2a98f711f750602648ec0857a2aab0c68c66184b91d24aaed15c4b950d549dc5", kill_on_drop: false }`
[INFO] [stdout] 2a98f711f750602648ec0857a2aab0c68c66184b91d24aaed15c4b950d549dc5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 8ff5ed07a68b08eba014dbda1d790774ca28878851dd3acf49e63cf6baad1796
[INFO] running `Command { std: "docker" "start" "-a" "8ff5ed07a68b08eba014dbda1d790774ca28878851dd3acf49e63cf6baad1796", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.09s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/symbolic_mgu-67f3cef356930f3a)
[INFO] [stdout] 
[INFO] [stdout] running 365 tests
[INFO] [stdout] test bool_eval::tests::all_variants_make_truth_tables ... ok
[INFO] [stdout] test bool_eval::tests::all_variants_u128_truth_tables ... ok
[INFO] [stdout] test bool_eval::tests::all_variants_u16_truth_tables ... ok
[INFO] [stdout] test bool_eval::tests::all_variants_u32_truth_tables ... ok
[INFO] [stdout] test bool_eval::tests::all_variants_u8_truth_tables ... ok
[INFO] [stdout] test bool_eval::tests::boolean_simple_node_from_op ... ok
[INFO] [stdout] test bool_eval::tests::all_variants_u64_truth_tables ... ok
[INFO] [stdout] test bool_eval::tests::specific_operations ... ok
[INFO] [stdout] test bool_eval::tests::extract_truth_table_two_vars ... ok
[INFO] [stdout] test bool_eval::tests::extract_truth_table_single_var ... ok
[INFO] [stdout] test bool_eval::tests::boolean_simple_op_truth_tables_u16 ... ok
[INFO] [stdout] test bool_eval::tests::is_supported_op_boolean_nodes ... ok
[INFO] [stdout] test bool_eval::tests::t_term_contradiction ... ok
[INFO] [stdout] test bool_eval::tests::t_term_simple_variable ... ok
[INFO] [stdout] test bool_eval::tests::t_term_tautology ... ok
[INFO] [stdout] test bool_eval::tests::tautology_de_morgan ... ok
[INFO] [stdout] test bool_eval::tests::tautology_not_tautology ... ok
[INFO] [stdout] test bool_eval::tests::tautology_simple ... ok
[INFO] [stdout] test distinct::pair::tests::check_validates_proper_pair ... ok
[INFO] [stdout] test distinct::pair::tests::clone_works ... ok
[INFO] [stdout] test distinct::pair::tests::copy_works_for_copy_types ... ok
[INFO] [stdout] test distinct::pair::tests::from_pair_to_array ... ok
[INFO] [stdout] test distinct::pair::tests::from_pair_to_tuple ... ok
[INFO] [stdout] test distinct::pair::tests::from_pair_to_vec ... ok
[INFO] [stdout] test distinct::pair::tests::hash_consistent_for_equal_pairs ... ok
[INFO] [stdout] test distinct::pair::tests::index_bool_false_returns_first ... ok
[INFO] [stdout] test distinct::pair::tests::index_bool_true_returns_second ... ok
[INFO] [stdout] test distinct::pair::tests::index_i32_works ... ok
[INFO] [stdout] test distinct::pair::tests::index_usize_0_returns_first ... ok
[INFO] [stdout] test distinct::pair::tests::index_usize_1_returns_second ... ok
[INFO] [stdout] test distinct::pair::tests::into_iter_yields_both_elements ... ok
[INFO] [stdout] test distinct::pair::tests::make_pair_clones_elements ... ok
[INFO] [stdout] test distinct::pair::tests::make_pair_rejects_equal_elements ... ok
[INFO] [stdout] test distinct::pair::tests::new_creates_pair_in_order ... ok
[INFO] [stdout] test distinct::pair::tests::new_rejects_equal_elements ... ok
[INFO] [stdout] test distinct::pair::tests::new_swaps_if_needed ... ok
[INFO] [stdout] test distinct::pair::tests::new_symmetric_pairs_are_equal ... ok
[INFO] [stdout] test distinct::pair::tests::ord_consistent_with_partial_ord ... ok
[INFO] [stdout] test distinct::pair::tests::partial_eq_compares_correctly ... ok
[INFO] [stdout] test distinct::pair::tests::partial_ord_lexicographic_ordering ... ok
[INFO] [stdout] test distinct::pair::tests::try_from_array_ref_succeeds ... ok
[INFO] [stdout] test distinct::pair::tests::try_from_array_rejects_equal ... ok
[INFO] [stdout] test distinct::pair::tests::try_from_array_succeeds ... ok
[INFO] [stdout] test distinct::pair::tests::try_from_tuple_ref_succeeds ... ok
[INFO] [stdout] test distinct::pair::tests::try_from_tuple_rejects_equal ... ok
[INFO] [stdout] test distinct::pair::tests::try_from_tuple_succeeds ... ok
[INFO] [stdout] test distinct::pair::tests::works_with_chars ... ok
[INFO] [stdout] test distinct::pair::tests::works_with_strings ... ok
[INFO] [stdout] test error::base::tests::unknown_error ... ok
[INFO] [stdout] test formatter::tests::color_formatters_provide_colors ... ok
[INFO] [stdout] test formatter::tests::complex_term_formatting ... ok
[INFO] [stdout] test formatter::tests::formatter_registry ... ok
[INFO] [stdout] test formatter::tests::metabyte_ascii_formatting ... ok
[INFO] [stdout] test formatter::tests::metabyte_utf8_formatting ... ok
[INFO] [stdout] test formatter::tests::nodebyte_ascii_formatting ... ok
[INFO] [stdout] test formatter::tests::nodebyte_latex_formatting ... ok
[INFO] [stdout] test formatter::tests::nodebyte_utf8_formatting ... ok
[INFO] [stdout] test formatter::tests::term_ascii_formatting ... ok
[INFO] [stdout] test formatter::tests::term_latex_formatting ... ok
[INFO] [stdout] test formatter::tests::term_utf8_formatting ... ok
[INFO] [stdout] test formatter::tests::unary_operator_formatting ... ok
[INFO] [stdout] test logic::polish::tests::clear_state_preserves_operator_map ... ok
[INFO] [stdout] test logic::polish::tests::default_has_all_24_operators ... ok
[INFO] [stdout] test logic::polish::tests::default_has_standard_mappings ... ok
[INFO] [stdout] test logic::polish::tests::insert_control_character_fails ... ok
[INFO] [stdout] test logic::polish::tests::insert_lowercase_fails ... ok
[INFO] [stdout] test logic::polish::tests::insert_semicolon_fails ... ok
[INFO] [stdout] test logic::polish::tests::insert_valid_character_succeeds ... ok
[INFO] [stdout] test logic::polish::tests::insert_whitespace_fails ... ok
[INFO] [stdout] test logic::polish::tests::new_creates_empty_mapping ... ok
[INFO] [stdout] test logic::propositional::axioms::cn_basis::tests::frege_equals_polish ... ok
[INFO] [stdout] test logic::propositional::axioms::cn_basis::tests::frege_tautology ... ok
[INFO] [stdout] test logic::propositional::axioms::cn_basis::tests::meredith_cn_equals_polish ... ok
[INFO] [stdout] test logic::propositional::axioms::cn_basis::tests::meredith_cn_tautology ... ok
[INFO] [stdout] test logic::propositional::axioms::cn_basis::tests::pm2_06_equals_polish ... ok
[INFO] [stdout] test logic::propositional::axioms::cn_basis::tests::pm2_12_tautology ... ok
[INFO] [stdout] test logic::propositional::axioms::cn_basis::tests::pm2_04_tautology ... ok
[INFO] [stdout] test logic::propositional::axioms::cn_basis::tests::pm2_14_equals_polish ... ok
[INFO] [stdout] test logic::propositional::axioms::cn_basis::tests::pm2_14_tautology ... ok
[INFO] [stdout] test logic::propositional::axioms::cn_basis::tests::pm2_16_equals_polish ... ok
[INFO] [stdout] test logic::propositional::axioms::cn_basis::tests::pm2_06_tautology ... ok
[INFO] [stdout] test logic::propositional::axioms::cn_basis::tests::pm2_16_tautology ... ok
[INFO] [stdout] test logic::propositional::axioms::cn_basis::tests::pm2_18_equals_polish ... ok
[INFO] [stdout] test logic::propositional::axioms::cn_basis::tests::pm2_18_tautology ... ok
[INFO] [stdout] test logic::propositional::axioms::cn_basis::tests::pm2_24_equals_polish ... ok
[INFO] [stdout] test logic::propositional::axioms::cn_basis::tests::pm2_24_tautology ... ok
[INFO] [stdout] test logic::propositional::axioms::cn_basis::tests::simp_equals_polish ... ok
[INFO] [stdout] test logic::propositional::axioms::cn_basis::tests::simp_tautology ... ok
[INFO] [stdout] test logic::propositional::axioms::cn_basis::tests::transp_equals_polish ... ok
[INFO] [stdout] test logic::propositional::axioms::cn_basis::tests::transp_tautology ... ok
[INFO] [stdout] test logic::propositional::definitions::cn_basis::tests::define_and_equals_polish ... ok
[INFO] [stdout] test logic::propositional::axioms::cn_basis::tests::pm2_04_equals_polish ... ok
[INFO] [stdout] test logic::propositional::axioms::cn_basis::tests::pm2_12_equals_polish ... ok
[INFO] [stdout] test logic::propositional::definitions::cn_basis::tests::define_and_tautology ... ok
[INFO] [stdout] test logic::propositional::definitions::cn_basis::tests::define_biimp_equals_polish ... ok
[INFO] [stdout] test logic::propositional::definitions::cn_basis::tests::define_or_tautology ... ok
[INFO] [stdout] test logic::propositional::definitions::cn_basis::tests::define_biimp_tautology ... ok
[INFO] [stdout] test logic::propositional::library::tests::entry_primary_name ... ok
[INFO] [stdout] test logic::propositional::definitions::cn_basis::tests::define_or_equals_polish ... ok
[INFO] [stdout] test logic::propositional::library::tests::entry_has_pm_name ... ok
[INFO] [stdout] test logic::propositional::library::tests::entry_to_owned ... ok
[INFO] [stdout] test logic::propositional::library::tests::formula_library ... ok
[INFO] [stdout] test logic::propositional::rules::cn_basis::tests::modus_ponens_constants ... ok
[INFO] [stdout] test logic::propositional::library::tests::entry_builder ... ok
[INFO] [stdout] test logic::propositional::library::tests::entry_display ... ok
[INFO] [stdout] test logic::propositional::rules::cn_basis::tests::modus_ponens_equals_polish ... ok
[INFO] [stdout] test logic::tests::build_boolean_stack_underflow ... ok
[INFO] [stdout] test logic::tests::build_boolean_empty_string ... ok
[INFO] [stdout] test logic::tests::build_boolean_stack_overflow ... ok
[INFO] [stdout] test logic::tests::build_boolean_std ... ok
[INFO] [stdout] test logic::tests::build_boolean_terms ... ok
[INFO] [stdout] test logic::tests::build_boolean_ws_and_cntrl ... ok
[INFO] [stdout] test metamath::comment::tests::contribution_date_size ... ok
[INFO] [stdout] test metamath::comment::tests::month_display ... ok
[INFO] [stdout] test metamath::comment::tests::month_from_str ... ok
[INFO] [stdout] test metamath::comment::tests::parse_contributor_with_question_mark ... ok
[INFO] [stdout] test metamath::comment::tests::parse_date ... ok
[INFO] [stdout] test metamath::comment::tests::parse_date_display ... ok
[INFO] [stdout] test metamath::comment::tests::parse_invalid_date ... ok
[INFO] [stdout] test metamath::comment::tests::parse_multiple_contributions ... ok
[INFO] [stdout] test metamath::comment::tests::raw_text_preserved ... ok
[INFO] [stdout] test metamath::comment::tests::month_as_number ... ok
[INFO] [stdout] test metamath::comment::tests::parse_contributor_with_apostrophe ... ok
[INFO] [stdout] test metamath::comment::tests::parse_revised_contribution ... ok
[INFO] [stdout] test metamath::database::tests::assert_send_sync ... ok
[INFO] [stdout] test metamath::database::tests::database_constant_declaration ... ok
[INFO] [stdout] test metamath::database::tests::database_constant_in_inner_scope ... ok
[INFO] [stdout] test metamath::comment::tests::parse_single_contribution ... ok
[INFO] [stdout] test logic::propositional::library::tests::library_of_valid_statements ... ok
[INFO] [stdout] test metamath::database::tests::database_variable_declaration ... ok
[INFO] [stdout] test metamath::database::tests::database_variable_in_nested_scopes ... ok
[INFO] [stdout] test metamath::database::tests::database_creation ... ok
[INFO] [stdout] test metamath::database::tests::scope_hypothesis_collection ... ok
[INFO] [stdout] test metamath::database::tests::floating_hyp_index_inheritance ... ok
[INFO] [stdout] test metamath::database::tests::floating_hyp_index_lookup ... ok
[INFO] [stdout] test metamath::database::tests::database_scope_push_pop ... ok
[INFO] [stdout] test metamath::database::tests::scope_variable_lookup ... ok
[INFO] [stdout] test metamath::database::tests::symbol_registry_constant ... ok
[INFO] [stdout] test metamath::database::tests::symbol_registry_unknown ... ok
[INFO] [stdout] test metamath::database::tests::symbol_registry_idempotent ... ok
[INFO] [stdout] test metamath::database::tests::symbol_registry_variable ... ok
[INFO] [stdout] test metamath::database::tests::variable_indices_by_type ... ok
[INFO] [stdout] test metamath::database::tests::scope_variable_declaration ... ok
[INFO] [stdout] test metamath::database::tests::type_mapping_hol_mm ... ok
[INFO] [stdout] test metamath::database::tests::type_mapping_set_mm ... ok
[INFO] [stdout] test metamath::database::tests::variable_registration_idempotent ... ok
[INFO] [stdout] test metamath::expr_parser::tests::parse_error_unknown_symbol ... ok
[INFO] [stdout] test metamath::database::tests::variable_type_conflict ... ok
[INFO] [stdout] test metamath::expr_parser::tests::parse_error_empty_sequence ... ok
[INFO] [stdout] test metamath::expr_parser::tests::parse_implication ... ok
[INFO] [stdout] test metamath::filesystem::tests::memory_filesystem_basic_operations ... ok
[INFO] [stdout] test metamath::expr_parser::tests::parse_simple_variable ... ok
[INFO] [stdout] test metamath::filesystem::tests::memory_filesystem_with_base_dir ... ok
[INFO] [stdout] test metamath::filesystem::tests::std_filesystem_exists ... ok
[INFO] [stdout] test metamath::filesystem::tests::std_filesystem_open ... ok
[INFO] [stdout] test metamath::filesystem::tests::std_filesystem_resolve_identifier ... ok
[INFO] [stdout] test metamath::label::tests::empty_label ... ok
[INFO] [stdout] test metamath::label::tests::label_with_dollar_sign ... ok
[INFO] [stdout] test metamath::filesystem::tests::memory_filesystem_parser_integration ... ok
[INFO] [stdout] test metamath::label::tests::ascii_label ... ok
[INFO] [stdout] test metamath::label::tests::label_with_underscore ... ok
[INFO] [stdout] test metamath::label::tests::label_with_invalid_chars ... ok
[INFO] [stdout] test metamath::label::tests::label_with_period ... ok
[INFO] [stdout] test metamath::label::tests::label_with_whitespace ... ok
[INFO] [stdout] test metamath::label::tests::mixed_ascii_unicode ... ok
[INFO] [stdout] test metamath::label::tests::punycode_examples ... ok
[INFO] [stdout] test metamath::filesystem::tests::memory_filesystem_file_inclusion ... ok
[INFO] [stdout] test metamath::label::tests::punycode_roundtrip ... ok
[INFO] [stdout] test metamath::label::tests::utf8_label_encoding ... ok
[INFO] [stdout] test metamath::parser::tests::parse_demo0_full ... ok
[INFO] [stdout] test metamath::parser::tests::parse_scopes ... ok
[INFO] [stdout] test metamath::parser::tests::parse_simple_constants ... ok
[INFO] [stdout] test metamath::pattern::tests::pattern_from_implication_axiom ... ok
[INFO] [stdout] test metamath::parser::tests::comment_metadata_extraction ... ok
[INFO] [stdout] test metamath::proof::tests::compressed_proof_iterator_basic ... ok
[INFO] [stdout] test metamath::proof::tests::compressed_proof_iterator_multi_uy ... ok
[INFO] [stdout] test metamath::proof::tests::compressed_proof_with_z ... ok
[INFO] [stdout] test metamath::proof::tests::compressed_proof_with_labels ... ok
[INFO] [stdout] test metamath::proof::tests::parse_compressed_proof ... ok
[INFO] [stdout] test metamath::proof::tests::expanded_proof_iterator ... ok
[INFO] [stdout] test metamath::proof::tests::parse_expanded_proof ... ok
[INFO] [stdout] test metamath::proof::tests::reject_self_reference ... ok
[INFO] [stdout] test metamath::parser::tests::proof_parsing_integration ... ok
[INFO] [stdout] test metamath::proof::tests::compressed_proof_mixed_radix_examples ... ok
[INFO] [stdout] test metamath::proof::tests::reject_undefined_label ... ok
[INFO] [stdout] test metamath::proof::tests::compressed_proof_iterator_with_uy_prefix ... ok
[INFO] [stdout] test metamath::symbolic::tests::dbmetavariable_creation ... ok
[INFO] [stdout] test metamath::symbolic::tests::dbmetavariable_equality ... ok
[INFO] [stdout] test metamath::symbolic::tests::dbmetavariable_factory_count_by_type ... ok
[INFO] [stdout] test metamath::symbolic::tests::dbmetavariable_factory_create_by_type_and_index ... ok
[INFO] [stdout] test metamath::symbolic::tests::dbmetavariable_factory_creation ... ok
[INFO] [stdout] test metamath::symbolic::tests::dbmetavariable_factory_list_by_type ... ok
[INFO] [stdout] test metamath::symbolic::tests::dbmetavariable_get_type_and_index ... ok
[INFO] [stdout] test metamath::symbolic::tests::dbmetavariable_try_from_type_and_index ... ok
[INFO] [stdout] test metamath::symbolic::tests::dbnode_equality ... ok
[INFO] [stdout] test metamath::symbolic::tests::dbnode_creation ... ok
[INFO] [stdout] test metamath::symbolic::tests::dbnode_ordering ... ok
[INFO] [stdout] test metamath::symbolic::tests::dbmetavariable_ordering ... ok
[INFO] [stdout] test metamath::symbolic::tests::dbnode_to_boolean_op ... ok
[INFO] [stdout] test metamath::symbolic::tests::dbnode_unimplemented_methods ... ok
[INFO] [stdout] test metamath::symbolic::tests::dbtype_creation ... ok
[INFO] [stdout] test metamath::symbolic::tests::dbtype_equality ... ok
[INFO] [stdout] test metamath::parser::tests::parse_variables ... ok
[INFO] [stdout] test metamath::symbolic::tests::dbtype_ordering ... ok
[INFO] [stdout] test metamath::symbolic::tests::dbtype_subtyping ... ok
[INFO] [stdout] test metamath::symbolic::tests::integration_term_construction ... ok
[INFO] [stdout] test metamath::tokenizer::tests::circular_inclusion_detection ... ok
[INFO] [stdout] test metamath::tokenizer::tests::comment_accumulation ... ok
[INFO] [stdout] test metamath::tokenizer::tests::realistic_metamath_snippet ... ok
[INFO] [stdout] test metamath::tokenizer::tests::file_inclusion ... ok
[INFO] [stdout] test metamath::tokenizer::tests::token_kind_from_keyword ... ok
[INFO] [stdout] test metamath::tokenizer::tests::tokenize_multiple_lines ... ok
[INFO] [stdout] test metamath::tokenizer::tests::tokenize_simple ... ok
[INFO] [stdout] test metamath::verification::tests::distinctness_violation_missing_constraint ... ok
[INFO] [stdout] test metamath::tokenizer::tests::utf8_label_tokenization ... ok
[INFO] [stdout] test metamath::verification::tests::missing_proof ... ok
[INFO] [stdout] test metamath::verification::tests::distinctness_violation_same_variable ... ok
[INFO] [stdout] test metamath::verification::tests::final_statement_mismatch ... ok
[INFO] [stdout] test metamath::verification::tests::verify_set_mm_sample ... ignored
[INFO] [stdout] test metavariable::charset::tests::boolean_char_counts_match ... ok
[INFO] [stdout] test metavariable::charset::tests::max_index_matches_counts ... ok
[INFO] [stdout] test metavariable::charset::tests::out_of_bounds_returns_none ... ok
[INFO] [stdout] test distinct::pair::tests::index_i32_out_of_bounds_panics - should panic ... ok
[INFO] [stdout] test metamath::verification::tests::distinctness_with_proper_constraints ... ok
[INFO] [stdout] test distinct::pair::tests::index_usize_out_of_bounds_panics - should panic ... ok
[INFO] [stdout] test metavariable::charset::tests::class_char_counts_match ... ok
[INFO] [stdout] test metamath::verification::tests::verify_demo0_all_theorems ... ok
[INFO] [stdout] test metavariable::charset::tests::sample_boolean_chars ... ok
[INFO] [stdout] test metavariable::charset::tests::sample_class_chars ... ok
[INFO] [stdout] test metavariable::charset::tests::sample_setvar_chars ... ok
[INFO] [stdout] test metavariable::decorator::tests::prime_decorator_sequence ... ok
[INFO] [stdout] test metavariable::decorator::tests::prime_decorator_formats_correctly ... ok
[INFO] [stdout] test metavariable::decorator::tests::prime_default_is_none ... ok
[INFO] [stdout] test metamath::verification::tests::verify_demo0_th1 ... ok
[INFO] [stdout] test metavariable::charset::tests::type_dispatchers_work ... ok
[INFO] [stdout] test metavariable::decorator::tests::unit_decorator_is_bounded ... ok
[INFO] [stdout] test metavariable::charset::tests::setvar_char_counts_match ... ok
[INFO] [stdout] test metavariable::decorator::tests::prime_decorator_is_bounded_at_four ... ok
[INFO] [stdout] test metavariable::decorator::tests::unit_decorator_produces_empty_strings ... ok
[INFO] [stdout] test metavariable::decorator::tests::usize_decorator_can_increment ... ok
[INFO] [stdout] test metavariable::decorator::tests::usize_decorator_is_effectively_unbounded ... ok
[INFO] [stdout] test metavariable::decorator::tests::usize_decorator_zero_is_empty ... ok
[INFO] [stdout] test metavariable::decorator::tests::usize_decorator_formats_subscripts ... ok
[INFO] [stdout] test metavariable::parametric::tests::parametric_metavariable_basic ... ok
[INFO] [stdout] test metavariable::parametric::tests::parametric_metavariable_classes ... ok
[INFO] [stdout] test metavariable::parametric::tests::parametric_metavariable_sequence ... ok
[INFO] [stdout] test metavariable::enums::tests::ascii_metavar ... ok
[INFO] [stdout] test metavariable::parametric::tests::latex_formatting ... ok
[INFO] [stdout] test metavariable::tests::metavariable_is_not_dyn_safe ... ok
[INFO] [stdout] test metavariable::wide::tests::subscript_formatting ... ok
[INFO] [stdout] test metavariable::parametric::tests::parametric_metavariable_setvars ... ok
[INFO] [stdout] test metavariable::wide_factory::tests::factory_creates_valid_variables ... ok
[INFO] [stdout] test metavariable::wide_factory::tests::factory_list_works ... ok
[INFO] [stdout] test metavariable::wide_factory::tests::metavariable_max_index_is_large ... ok
[INFO] [stdout] test mgutype::base::tests::type_class ... ok
[INFO] [stdout] test mgutype::base::tests::type_boolean ... ok
[INFO] [stdout] test mgutype::base::tests::type_setvar ... ok
[INFO] [stdout] test mgutype::type_factory::tests::simple_type_factory_boolean ... ok
[INFO] [stdout] test mgutype::type_factory::tests::simple_type_factory_clone ... ok
[INFO] [stdout] test mgutype::type_factory::tests::simple_type_factory_default ... ok
[INFO] [stdout] test mgutype::type_factory::tests::simple_type_factory_class ... ok
[INFO] [stdout] test metavariable::parametric::tests::parametric_metavariable_with_subscripts ... ok
[INFO] [stdout] test mgutype::type_factory::tests::simple_type_factory_setvar ... ok
[INFO] [stdout] test mgutype::type_trait::tests::to_boxed_works ... ok
[INFO] [stdout] test mgutype::type_trait::tests::type_is_not_dyn_safe ... ok
[INFO] [stdout] test metavariable::wide::tests::metavariable_wide ... ok
[INFO] [stdout] test metavariable::wide::tests::sequential_variables_are_unique ... ok
[INFO] [stdout] test metavariable::wide::tests::wide_metavariable_display ... ok
[INFO] [stdout] test metavariable::parametric::tests::parametric_metavariable_round_trip ... ok
[INFO] [stdout] test mgutype::type_trait::tests::typecore_is_dyn_safe ... ok
[INFO] [stdout] test node::base::tests::node_is_not_dyn_safe ... ok
[INFO] [stdout] test node::node_byte::base::tests::node_u8 ... ok
[INFO] [stdout] test search::tests::depth_combination_iterator_arity1_depth1 ... ok
[INFO] [stdout] test search::tests::depth_combination_iterator_arity2_depth1 ... ok
[INFO] [stdout] test node::node_byte::base::tests::factory_rejects_metabyte_discriminant ... ok
[INFO] [stdout] test search::tests::depth_combination_iterator_arity2_depth2 ... ok
[INFO] [stdout] test search::tests::depth_combination_iterator_arity3_depth2 ... ok
[INFO] [stdout] test search::tests::depth_combination_iterator_edge_cases ... ok
[INFO] [stdout] test search::tests::get_iterator_caching ... ok
[INFO] [stdout] test search::tests::get_iterator_depth1_boolean ... ok
[INFO] [stdout] test search::tests::get_iterator_depth1_cartesian_product ... ok
[INFO] [stdout] test search::tests::get_iterator_no_vars ... ok
[INFO] [stdout] test search::tests::get_iterator_type_filtering ... ok
[INFO] [stdout] test search::tests::get_iterator_with_vars ... ok
[INFO] [stdout] test search::tests::search_static_state_all_nodes ... ok
[INFO] [stdout] test search::tests::search_static_state_all_types ... ok
[INFO] [stdout] test search::tests::get_iterator_depth2_nested_depth_combinations ... ok
[INFO] [stdout] test search::tests::search_static_state_all_vars ... ok
[INFO] [stdout] test statement::compact_proof::tests::empty_proof_fails ... ok
[INFO] [stdout] test statement::compact_proof::tests::final_placeholder_fails ... ok
[INFO] [stdout] test statement::compact_proof::tests::incomplete_proof_fails ... ok
[INFO] [stdout] test statement::compact_proof::tests::axioms_directly ... ok
[INFO] [stdout] test statement::compact_proof::tests::d_with_placeholders ... ok
[INFO] [stdout] test statement::compact_proof::tests::stack_underflow_fails ... ok
[INFO] [stdout] test statement::compact_proof::tests::invalid_token_fails ... ok
[INFO] [stdout] test statement::compact_proof::tests::unknown_statement_key_fails ... ok
[INFO] [stdout] test statement::inclusion::tests::axiom_identical_to_itself ... ok
[INFO] [stdout] test statement::inclusion::tests::hypothesis_order_doesnt_matter ... ok
[INFO] [stdout] test statement::inclusion::tests::axiom_included_in_itself ... ok
[INFO] [stdout] test statement::inclusion::tests::different_variables_same_structure_are_identical ... ok
[INFO] [stdout] test statement::inclusion::tests::more_hypotheses_with_distinctness ... ok
[INFO] [stdout] test statement::inclusion::tests::relabeling_prevents_occurs_check_failure ... ok
[INFO] [stdout] test statement::inclusion::tests::more_specific_included_in_general ... ok
[INFO] [stdout] test statement::inclusion::tests::unrelated_structures_not_included ... ok
[INFO] [stdout] test statement::operations::tests::apply_consumes_all_hypotheses ... ok
[INFO] [stdout] test statement::compact_proof::tests::dd211_phi_implies_phi ... ok
[INFO] [stdout] test statement::operations::tests::apply_multiple_modus_ponens ... ok
[INFO] [stdout] test statement::operations::tests::apply_multiple_with_too_few_proofs_fails ... ok
[INFO] [stdout] test statement::operations::tests::apply_multiple_with_empty_proofs_fails ... ok
[INFO] [stdout] test statement::operations::tests::apply_simple_axiom_to_modus_ponens ... ok
[INFO] [stdout] test statement::operations::tests::apply_multiple_with_too_many_proofs_fails ... ok
[INFO] [stdout] test statement::operations::tests::apply_with_out_of_bounds_index_fails ... ok
[INFO] [stdout] test statement::operations::tests::canonicalize_duplicate_hypotheses ... ok
[INFO] [stdout] test statement::operations::tests::canonicalize_is_idempotent ... ok
[INFO] [stdout] test statement::operations::tests::canonicalize_preserves_alpha_equivalence ... ok
[INFO] [stdout] test statement::operations::tests::apply_unification_failure ... ok
[INFO] [stdout] test statement::operations::tests::canonicalize_preserves_logical_meaning ... ok
[INFO] [stdout] test search::tests::get_iterator_depth2_boolean ... ok
[INFO] [stdout] test statement::operations::tests::canonicalize_produces_expected_form ... ok
[INFO] [stdout] test statement::operations::tests::canonicalize_simple_axiom ... ok
[INFO] [stdout] test statement::operations::tests::canonicalize_single_hypothesis ... ok
[INFO] [stdout] test statement::operations::tests::condensed_detach_with_unifiable_metavariables_succeeds ... ok
[INFO] [stdout] test statement::operations::tests::contract_identical_hypotheses_succeeds ... ok
[INFO] [stdout] test statement::operations::tests::condensed_detach_classic_modus_ponens ... ok
[INFO] [stdout] test statement::operations::tests::contract_different_operators_fails ... ok
[INFO] [stdout] test statement::operations::tests::contract_produces_additional_duplicates ... ok
[INFO] [stdout] test statement::operations::tests::condensed_detach_with_substitution ... ok
[INFO] [stdout] test statement::operations::tests::condensed_detach_non_implication_major_fails ... ok
[INFO] [stdout] test statement::operations::tests::contract_unifies_variables ... ok
[INFO] [stdout] test statement::operations::tests::contract_with_empty_distinctness_graph ... ok
[INFO] [stdout] test statement::operations::tests::contract_from_compact_proof ... ok
[INFO] [stdout] test statement::operations::tests::contract_with_equal_indices_fails ... ok
[INFO] [stdout] test statement::operations::tests::canonicalize_many_hypotheses ... ok
[INFO] [stdout] test statement::operations::tests::contract_with_out_of_bounds_m_fails ... ok
[INFO] [stdout] test statement::operations::tests::contract_with_out_of_bounds_n_fails ... ok
[INFO] [stdout] test statement::operations::tests::inclusion_is_transitive ... ok
[INFO] [stdout] test term::substitution::tests::apply_substitution_to_node ... ok
[INFO] [stdout] test term::substitution::tests::apply_substitution_to_var ... ok
[INFO] [stdout] test term::substitution::tests::different_variables_unify ... ok
[INFO] [stdout] test term::substitution::tests::empty_substitution ... ok
[INFO] [stdout] test term::substitution::tests::ensure_acyclic_accepts_acyclic ... ok
[INFO] [stdout] test term::substitution::tests::ensure_acyclic_direct_cycle ... ok
[INFO] [stdout] test term::substitution::tests::ensure_acyclic_longer_chain_cycle ... ok
[INFO] [stdout] test term::base::tests::term_is_not_dyn_safe ... ok
[INFO] [stdout] test term::substitution::tests::ensure_acyclic_two_element_cycle ... ok
[INFO] [stdout] test term::substitution::tests::identical_terms_unify ... ok
[INFO] [stdout] test term::substitution::tests::normalizing_substitution_complex_chain ... ok
[INFO] [stdout] test term::substitution::tests::normalizing_substitution_extend ... ok
[INFO] [stdout] test term::substitution::tests::normalizing_substitution_extend_conflict ... ok
[INFO] [stdout] test term::substitution::tests::normalizing_substitution_order_independence ... ok
[INFO] [stdout] test term::substitution::tests::normalizing_substitution_simple_chain ... ok
[INFO] [stdout] test term::substitution::tests::normalizing_substitution_try_normalize ... ok
[INFO] [stdout] test term::substitution::tests::normalizing_substitution_try_normalize_rejects_cycle ... ok
[INFO] [stdout] test term::substitution::tests::occurs_check_detects_cycle ... ok
[INFO] [stdout] test term::substitution::tests::occurs_check_prevents_unification ... ok
[INFO] [stdout] test term::substitution::tests::occurs_check_reverse_case ... ok
[INFO] [stdout] test term::substitution::tests::pathological_term_triggers_defensive_error ... ok
[INFO] [stdout] test term::substitution::tests::single_binding ... ok
[INFO] [stdout] test term::substitution::tests::substitution_iter ... ok
[INFO] [stdout] test term::substitution::tests::substitution_iter_mut ... ok
[INFO] [stdout] test term::substitution::tests::type_error_both_directions ... ok
[INFO] [stdout] test term::substitution::tests::type_mismatch_fails ... ok
[INFO] [stdout] test term::substitution::tests::unify_setvar_with_class_variable ... ok
[INFO] [stdout] test tests::it_works ... ok
[INFO] [stdout] test metamath::verification::tests::verify_big_unifier ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 364 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.67s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/compact.rs (/opt/rustwide/target/debug/deps/compact-be9c77b06d0893f0)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/verify_database.rs (/opt/rustwide/target/debug/deps/verify_database-fbda10d74133d0c2)
[INFO] [stdout] 
[INFO] [stderr]      Running tests/custom_formatter_test.rs (/opt/rustwide/target/debug/deps/custom_formatter_test-0d3016bffbcff32f)
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test test_formatter_registration_and_retrieval ... ok
[INFO] [stdout] test test_custom_formatter_implementation ... ok
[INFO] [stdout] test test_formatter_trait_methods ... ok
[INFO] [stdout] test test_custom_formatter_with_complex_proof ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/formatter_stress_test.rs (/opt/rustwide/target/debug/deps/formatter_stress_test-6088454954f082d0)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test stress_test_wide_metavariable_subscripts ... ok
[INFO] [stdout] test stress_test_very_deep_nesting ... ok
[INFO] [stdout] test stress_test_deep_proof_100_plus_variables ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.24s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/functional_completeness.rs (/opt/rustwide/target/debug/deps/functional_completeness-bc2d94872a38d553)
[INFO] [stdout] 
[INFO] [stdout] running 30 tests
[INFO] [stdout] test four_op_not_and_or_xor ... ok
[INFO] [stdout] test five_op_not_and_or_xor_true ... ok
[INFO] [stdout] test four_op_and_or_xor_true ... ok
[INFO] [stdout] test three_op_or_biimp_xor ... ok
[INFO] [stdout] test sheffer_nand_is_functionally_complete ... ok
[INFO] [stdout] test three_op_or_biimp_false ... ok
[INFO] [stdout] test three_op_and_xor_true ... ok
[INFO] [stdout] test three_op_and_biimp_false ... ok
[INFO] [stdout] test three_op_and_biimp_xor ... ok
[INFO] [stdout] test sheffer_nor_is_functionally_complete ... ok
[INFO] [stdout] test three_op_or_xor_true ... ok
[INFO] [stdout] test two_op_implied_by_not_implies ... ok
[INFO] [stdout] test two_op_implied_by_xor ... ok
[INFO] [stdout] test two_op_implied_by_not_implied_by ... ok
[INFO] [stdout] test two_op_implies_not_implies ... ok
[INFO] [stdout] test two_op_implies_not_implied_by ... ok
[INFO] [stdout] test sheffer_symmetry ... ok
[INFO] [stdout] test two_op_implies_xor ... ok
[INFO] [stdout] test two_op_biimp_not_implies ... ok
[INFO] [stdout] test two_op_biimp_not_implied_by ... ok
[INFO] [stdout] test two_op_not_implies ... ok
[INFO] [stdout] test two_op_not_implied_by ... ok
[INFO] [stdout] test two_op_not_not_implies ... ok
[INFO] [stdout] test two_op_not_not_implied_by ... ok
[INFO] [stdout] test two_op_implied_by_false ... ok
[INFO] [stdout] test two_op_true_not_implies ... ok
[INFO] [stdout] test two_op_implies_false ... ok
[INFO] [stdout] test two_op_true_not_implied_by ... ok
[INFO] [stdout] test two_op_not_and ... ok
[INFO] [stdout] test two_op_not_or ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 30 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 9.89s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/metamath_expr_parsing.rs (/opt/rustwide/target/debug/deps/metamath_expr_parsing-4e3435e3f5a6391e)
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test debug_pattern_registration ... ok
[INFO] [stdout] test parse_error_empty_sequence ... ok
[INFO] [stdout] test parse_error_malformed_expression ... ok
[INFO] [stdout] test parse_error_unknown_symbol ... ok
[INFO] [stdout] test parse_implication ... ok
[INFO] [stdout] test parse_minimal_database ... ok
[INFO] [stdout] test parse_negated_implication ... ok
[INFO] [stdout] test parse_negation ... ok
[INFO] [stdout] test parse_simple_variable ... ok
[INFO] [stdout] test parse_nested_implication ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/metamath_proof_building.rs (/opt/rustwide/target/debug/deps/metamath_proof_building-2bec520f56fc3438)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test build_condensed_detachment_proof ... ok
[INFO] [stdout] test build_proof_for_axiom ... ok
[INFO] [stdout] test build_application_proof ... ok
[INFO] [stdout] test build_proof_for_nonexistent_axiom ... ok
[INFO] [stdout] test build_proof_with_multiple_substitutions ... ok
[INFO] [stdout] test create_proof_builder ... ok
[INFO] [stdout] test proof_builder_with_multiple_axioms ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/metamath_proof_verification.rs (/opt/rustwide/target/debug/deps/metamath_proof_verification-5d25e3b8a96bf956)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test theorem_a1i_structure ... ok
[INFO] [stdout] test database_parsing_succeeds ... ok
[INFO] [stdout] test verify_simple_theorem_a1i ... ok
[INFO] [stdout] test verify_compressed_proof ... ok
[INFO] [stdout] test verify_theorem_id ... ok
[INFO] [stdout] test compressed_and_expanded_proofs_equivalent ... ok
[INFO] [stdout] test verify_all_theorems_in_database ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/metamath_statement_conversion.rs (/opt/rustwide/target/debug/deps/metamath_statement_conversion-756e3ea85001a640)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test convert_inference_rule_with_hypotheses ... ok
[INFO] [stdout] test syntax_axiom_conversion ... ok
[INFO] [stdout] test convert_simple_axiom_no_hypotheses ... ok
[INFO] [stdout] test verify_hypothesis_structure ... ok
[INFO] [stdout] test convert_axiom_with_nested_structure ... ok
[INFO] [stdout] test all_axioms_convert_successfully ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/pmproofs_validation.rs (/opt/rustwide/target/debug/deps/pmproofs_validation-827851e872bcb967)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/regression_compact_proofs.rs (/opt/rustwide/target/debug/deps/regression_compact_proofs-866876baf09507b9)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test disjointness_is_enforced_in_apply ... ok
[INFO] [stdout] test regression_ddd111d23_produces_tautology ... ok
[INFO] [stdout] test regression_ddd1d221d2d2d11_produces_tautology ... ok
[INFO] [stdout] test regression_proofs_parse_successfully ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/statement_conversion.rs (/opt/rustwide/target/debug/deps/statement_conversion-8478ad48fd273d9f)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test convert_implication_with_hypotheses ... ok
[INFO] [stdout] test convert_exhaustion_error ... ok
[INFO] [stdout] test convert_preserves_distinctness_graph ... ok
[INFO] [stdout] test convert_simple_axiom_wide_to_metabyte ... ok
[INFO] [stdout] test convert_round_trip ... ok
[INFO] [stdout] test convert_simple_axiom_metabyte_to_wide ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/term_invariants.rs (/opt/rustwide/target/debug/deps/term_invariants-6992509f11298f2e)
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test children_count_invariant ... ok
[INFO] [stdout] test children_slice_matches_iterator ... ok
[INFO] [stdout] test children_indexing_invariant ... ok
[INFO] [stdout] test collect_metavariables_completeness ... ok
[INFO] [stdout] test factory_terms_are_valid ... ok
[INFO] [stdout] test is_metavariable_correctness ... ok
[INFO] [stdout] test metavariable_node_mutual_exclusion ... ok
[INFO] [stdout] test node_type_consistency ... ok
[INFO] [stdout] test metavariable_type_consistency ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/type_capability_validation.rs (/opt/rustwide/target/debug/deps/type_capability_validation-c3e6e6d7c8eaa8bd)
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test capability_checking_in_generic_code ... ok
[INFO] [stdout] test capability_methods_match_types ... ok
[INFO] [stdout] test create_terms_with_all_types ... ok
[INFO] [stdout] test compound_boolean_expressions ... ok
[INFO] [stdout] test demonstrate_capability_check_pattern ... ok
[INFO] [stdout] test simple_type_supports_all_capabilities ... ok
[INFO] [stdout] test statements_reject_non_boolean_assertions ... ok
[INFO] [stdout] test statements_require_boolean_assertions ... ok
[INFO] [stdout] test subtyping_relationships ... ok
[INFO] [stdout] test type_checking_methods ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/unification_properties.rs (/opt/rustwide/target/debug/deps/unification_properties-70f49ffb3cf9aff5)
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test boolean_disjoint_from_class ... ok
[INFO] [stdout] test boolean_disjoint_from_setvar ... ok
[INFO] [stdout] test different_arities_fail ... ok
[INFO] [stdout] test different_operators_fail ... ok
[INFO] [stdout] test occurs_check_detects_cycles ... ok
[INFO] [stdout] test class_var_accepts_setvar_term ... ok
[INFO] [stdout] test setvar_rejects_class_only_terms ... ok
[INFO] [stdout] test unify_is_commutative_on_disjoint_terms ... ok
[INFO] [stdout] test term_unifies_with_itself ... ok
[INFO] [stdout] test substitution_is_idempotent ... ok
[INFO] [stdout] test unifying_unified_terms_succeeds ... ok
[INFO] [stdout] test successful_unification_produces_identical_terms ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests symbolic_mgu
[INFO] [stdout] 
[INFO] [stdout] running 152 tests
[INFO] [stdout] test src/bool_eval/mod.rs - bool_eval::test_contingent (line 1043) ... ok
[INFO] [stdout] test src/bool_eval/mod.rs - bool_eval::test_term (line 592) ... ok
[INFO] [stdout] test src/bool_eval/mod.rs - bool_eval::test_tautology (line 965) ... ok
[INFO] [stdout] test src/bool_eval/mod.rs - bool_eval::extract_truth_table (line 1305) ... ok
[INFO] [stdout] test src/bool_eval/mod.rs - bool_eval::TruthTable (line 1160) ... ok
[INFO] [stdout] test src/bool_eval/mod.rs - bool_eval::test_contradiction (line 1004) ... ok
[INFO] [stdout] test src/bool_eval/mod.rs - bool_eval::test_satisfiable (line 1085) ... ok
[INFO] [stdout] test src/distinct/pair.rs - distinct::pair::Pair (line 28) ... ok
[INFO] [stdout] test src/error/base.rs - error::base::MguError (line 926) ... ok
[INFO] [stdout] test src/error/base.rs - error::base (line 79) ... ok
[INFO] [stdout] test src/error/base.rs - error::base (line 14) ... ok
[INFO] [stdout] test src/error/base.rs - error::base (line 62) ... ok
[INFO] [stdout] test src/error/base.rs - error::base (line 110) ... ok
[INFO] [stdout] test src/error/base.rs - error::base (line 35) ... ok
[INFO] [stdout] test src/error/base.rs - error::base::MguError::IoError (line 352) ... ok
[INFO] [stdout] test src/error/base.rs - error::base::MguError::ParseError (line 371) ... ok
[INFO] [stdout] test src/error/base.rs - error::base::MguError::from_index_and_len (line 451) ... ok
[INFO] [stdout] test src/error/base.rs - error::base::MguError::from_type_index_and_len (line 471) ... ok
[INFO] [stdout] test src/error/base.rs - error::base::MguErrorType::IoError (line 352) ... ok
[INFO] [stdout] test src/error/base.rs - error::base::MguErrorType::ParseError (line 371) ... ok
[INFO] [stdout] test src/formatter/color.rs - formatter::color::Color::new (line 26) ... ok
[INFO] [stdout] test src/formatter/color.rs - formatter::color::Color::to_html (line 57) ... ok
[INFO] [stdout] test src/formatter/color.rs - formatter::color::Color::to_xterm256 (line 42) ... ok
[INFO] [stdout] test src/formatter/color.rs - formatter::color::Color::to_rgb (line 75) ... ok
[INFO] [stdout] test src/formatter/mod.rs - formatter (line 31) - compile fail ... ok
[INFO] [stdout] test src/formatter/registry.rs - formatter::registry::register_formatter (line 70) ... ok
[INFO] [stdout] test src/formatter/type_colors.rs - formatter::type_colors::get_type_color (line 75) ... ok
[INFO] [stdout] test src/formatter/output_formatter.rs - formatter::output_formatter::OutputFormatter (line 32) ... ok
[INFO] [stdout] test src/formatter/registry.rs - formatter::registry::get_formatter (line 104) ... ok
[INFO] [stdout] test src/formatter/type_colors.rs - formatter::type_colors::get_type_color_from_trait (line 111) ... ok
[INFO] [stdout] test src/formatter/type_colors.rs - formatter::type_colors::register_type_color (line 46) ... ok
[INFO] [stdout] test src/logic/polish.rs - logic::polish::PolishNotationEngine (line 34) ... ok
[INFO] [stdout] test src/logic/polish.rs - logic::polish::PolishNotationEngine<V,N,T,TF,TyF>::insert_operator (line 118) ... ok
[INFO] [stdout] test src/logic/polish.rs - logic::polish::PolishNotationEngine<V,N,T,TF,TyF>::get_operator (line 160) ... ok
[INFO] [stdout] test src/logic/mod.rs - logic::create_dict (line 139) ... ok
[INFO] [stdout] test src/logic/polish.rs - logic::polish::PolishNotationEngine<V,N,T,TF,TyF>::new (line 78) ... ok
[INFO] [stdout] test src/logic/propositional/axioms/cn_basis/mod.rs - logic::propositional::axioms::cn_basis::simp (line 32) ... ok
[INFO] [stdout] test src/logic/propositional/axioms/cn_basis/mod.rs - logic::propositional::axioms::cn_basis::frege (line 97) ... ok
[INFO] [stdout] test src/logic/propositional/axioms/cn_basis/mod.rs - logic::propositional::axioms::cn_basis::transp (line 182) ... ok
[INFO] [stdout] test src/logic/propositional/library/mod.rs - logic::propositional::library::FormulaLibrary (line 446) ... ok
[INFO] [stdout] test src/logic/propositional/library/mod.rs - logic::propositional::library::FormulaLibrary::find_by_pm_name (line 494) ... ok
[INFO] [stdout] test src/logic/propositional/library/mod.rs - logic::propositional::library::FormulaLibrary::find_by_polish (line 532) ... ok
[INFO] [stdout] test src/logic/propositional/library/mod.rs - logic::propositional::library::FormulaLibrary::find_by_set_mm_name (line 513) ... ok
[INFO] [stdout] test src/logic/propositional/library/mod.rs - logic::propositional::library::LibraryFormula<&'staticstr>::to_owned (line 117) ... ok
[INFO] [stdout] test src/logic/propositional/library/mod.rs - logic::propositional::library::LibraryFormula<S>::borrow_description (line 201) ... ok
[INFO] [stdout] test src/logic/propositional/library/mod.rs - logic::propositional::library::LibraryFormula<S>::borrow_iset_mm_name (line 187) ... ok
[INFO] [stdout] test src/logic/propositional/library/mod.rs - logic::propositional::library::LibraryFormula<S>::borrow_polish (line 144) ... ok
[INFO] [stdout] test src/logic/propositional/library/mod.rs - logic::propositional::library::LibraryFormula<S>::borrow_pm_name (line 158) ... ok
[INFO] [stdout] test src/logic/propositional/library/mod.rs - logic::propositional::library::LibraryFormula<S>::borrow_set_mm_name (line 173) ... ok
[INFO] [stdout] test src/logic/propositional/library/mod.rs - logic::propositional::library::LibraryFormula<S>::has_pm_name (line 250) ... ok
[INFO] [stdout] test src/macros.rs - macros::byte_try_from_signed (line 107) - compile fail ... ok
[INFO] [stdout] test src/logic/propositional/library/mod.rs - logic::propositional::library::LibraryFormula<S>::borrow_source (line 215) ... ok
[INFO] [stdout] test src/macros.rs - macros::byte_try_from_unsigned (line 227) - compile fail ... ok
[INFO] [stdout] test src/macros.rs - macros::byte_try_from_unsigned (line 216) - compile fail ... ok
[INFO] [stdout] test src/macros.rs - macros::dlgt0 (line 344) - compile fail ... ok
[INFO] [stdout] test src/logic/propositional/library/mod.rs - logic::propositional::library::LibraryFormula<S>::primary_name (line 231) ... ok
[INFO] [stdout] test src/macros.rs - macros::enforce_bigger_than_byte (line 52) - compile fail ... ok
[INFO] [stdout] test src/macros.rs - macros::enforce_primitive_type (line 10) - compile fail ... ok
[INFO] [stdout] test src/logic/propositional/library/mod.rs - logic::propositional::library::LibraryFormulaBuilder (line 344) ... ok
[INFO] [stdout] test src/macros.rs - macros::enum0 (line 416) - compile fail ... ok
[INFO] [stdout] test src/macros.rs - macros::byte_try_from_signed (line 119) ... ok
[INFO] [stdout] test src/macros.rs - macros::dlgt0 (line 364) ... ok
[INFO] [stdout] test src/macros.rs - macros::enforce_bigger_than_byte (line 57) ... ok
[INFO] [stdout] test src/macros.rs - macros::ub_prim_impl (line 482) - compile fail ... ok
[INFO] [stdout] test src/macros.rs - macros::enforce_primitive_type (line 15) ... ok
[INFO] [stdout] test src/logic/propositional/library/mod.rs - logic::propositional::library::LibraryFormula<S>::build_statement (line 271) ... ok
[INFO] [stdout] test src/logic/propositional/rules/cn_basis/mod.rs - logic::propositional::rules::cn_basis::modus_ponens (line 33) ... ok
[INFO] [stdout] test src/macros.rs - macros::ub_prim_impl (line 494) - compile fail ... ok
[INFO] [stdout] test src/macros.rs - macros::enum0 (line 433) ... ok
[INFO] [stdout] test src/metamath/database.rs - metamath::database (line 21) - compile ... ok
[INFO] [stdout] test src/metamath/database.rs - metamath::database::AssertionCore::to_statement (line 517) - compile ... ok
[INFO] [stdout] test src/macros.rs - macros::last_ident (line 310) ... ok
[INFO] [stdout] test src/metamath/comment.rs - metamath::comment (line 15) ... ok
[INFO] [stdout] test src/metamath/filesystem.rs - metamath::filesystem::StdFilesystem (line 80) - compile ... ok
[INFO] [stdout] test src/metamath/comment.rs - metamath::comment::CommentMetadata::parse (line 253) ... ok
[INFO] [stdout] test src/metamath/comment.rs - metamath::comment::ContributionDate::parse (line 153) ... ok
[INFO] [stdout] test src/metamath/database.rs - metamath::database::MetamathDatabase::register_boolean_op (line 1757) ... ok
[INFO] [stdout] test src/metamath/database.rs - metamath::database::TypeMapping (line 184) ... ok
[INFO] [stdout] test src/metamath/mod.rs - metamath (line 11) - compile ... ok
[INFO] [stdout] test src/metamath/filesystem.rs - metamath::filesystem::MemoryFilesystem::add_file (line 228) ... ok
[INFO] [stdout] test src/metamath/proof_builder.rs - metamath::proof_builder::ProofBuilder (line 77) - compile ... ok
[INFO] [stdout] test src/metamath/proof_builder.rs - metamath::proof_builder::ProofBuilder::build_proof (line 146) - compile ... ok
[INFO] [stdout] test src/metamath/proof_builder.rs - metamath::proof_builder::ProofBuilder::new (line 108) - compile ... ok
[INFO] [stdout] test src/metamath/filesystem.rs - metamath::filesystem::StdFilesystem::with_base_dir (line 111) ... ok
[INFO] [stdout] test src/metamath/label.rs - metamath::label::Label::new (line 116) ... ok
[INFO] [stdout] test src/metamath/label.rs - metamath::label (line 34) ... ok
[INFO] [stdout] test src/metamath/proof.rs - metamath::proof (line 26) ... ok
[INFO] [stdout] test src/metamath/filesystem.rs - metamath::filesystem::MemoryFilesystem (line 177) ... ok
[INFO] [stdout] test src/metamath/symbolic.rs - metamath::symbolic::DbMetavariable::new (line 385) ... ok
[INFO] [stdout] test src/metamath/symbolic.rs - metamath::symbolic::DbMetavariableFactory::new (line 519) ... ok
[INFO] [stdout] test src/metamath/symbolic.rs - metamath::symbolic::DbNode::new (line 650) ... ok
[INFO] [stdout] test src/metamath/symbolic.rs - metamath::symbolic::DbType (line 247) ... ok
[INFO] [stdout] test src/metavariable/factory.rs - metavariable::factory (line 116) - compile fail ... ok
[INFO] [stdout] test src/metavariable/factory.rs - metavariable::factory (line 101) - compile fail ... ok
[INFO] [stdout] test src/metamath/symbolic.rs - metamath::symbolic::DbType::new (line 271) ... ok
[INFO] [stdout] test src/metamath/symbolic.rs - metamath::symbolic::DbTypeFactory::new (line 183) ... ok
[INFO] [stdout] test src/metamath/symbolic.rs - metamath::symbolic::DbTypeFactory (line 161) ... ok
[INFO] [stdout] test src/metavariable/decorator.rs - metavariable::decorator::Decorator (line 22) ... ok
[INFO] [stdout] test src/metavariable/factory.rs - metavariable::factory (line 61) - compile fail ... ok
[INFO] [stdout] test src/metavariable/factory.rs - metavariable::factory (line 143) ... ok
[INFO] [stdout] test src/metavariable/factory.rs - metavariable::factory (line 130) ... ok
[INFO] [stdout] test src/metavariable/meta_byte.rs - metavariable::meta_byte::MetaByteFactory<TyF>::new (line 221) ... ok
[INFO] [stdout] test src/metavariable/factory.rs - metavariable::factory (line 43) ... ok
[INFO] [stdout] test src/metavariable/factory.rs - metavariable::factory::MetavariableFactory::type_factory (line 230) ... ok
[INFO] [stdout] test src/metavariable/factory.rs - metavariable::factory (line 89) ... ok
[INFO] [stdout] test src/metavariable/factory.rs - metavariable::factory (line 164) ... ok
[INFO] [stdout] test src/metavariable/mod.rs - metavariable::Metavariable::to_ascii (line 119) ... ok
[INFO] [stdout] test src/metavariable/mod.rs - metavariable::Metavariable::format_with (line 88) ... ok
[INFO] [stdout] test src/metavariable/mod.rs - metavariable::Metavariable::to_utf8 (line 148) ... ok
[INFO] [stdout] test src/metavariable/wide_factory.rs - metavariable::wide_factory::WideMetavariableFactory<TyF>::new (line 52) ... ok
[INFO] [stdout] test src/metavariable/parametric.rs - metavariable::parametric::ParametricMetavariable<Ty,usize,WideCharSet>::format_as_ascii (line 76) ... ok
[INFO] [stdout] test src/metavariable/parametric.rs - metavariable::parametric (line 14) ... ok
[INFO] [stdout] test src/metavariable/wide.rs - metavariable::wide (line 31) ... ok
[INFO] [stdout] test src/metavariable/wide_factory.rs - metavariable::wide_factory::WideMetavariableFactory (line 17) ... ok
[INFO] [stdout] test src/mgutype/base.rs - mgutype::base::SimpleType (line 59) ... ok
[INFO] [stdout] test src/mgutype/base.rs - mgutype::base::SimpleType::as_long_str (line 265) ... ok
[INFO] [stdout] test src/mgutype/base.rs - mgutype::base::SimpleType::as_short_str (line 247) ... ok
[INFO] [stdout] test src/mgutype/base.rs - mgutype::base::SimpleType::name_to_value (line 230) ... ok
[INFO] [stdout] test src/mgutype/base.rs - mgutype::base::SimpleType::uc_name_to_value (line 203) ... ok
[INFO] [stdout] test src/mgutype/type_factory.rs - mgutype::type_factory (line 24) ... ok
[INFO] [stdout] test src/mgutype/type_factory.rs - mgutype::type_factory::SimpleTypeFactory (line 103) ... ok
[INFO] [stdout] test src/node/base.rs - node::base::Node::format_with (line 107) ... ok
[INFO] [stdout] test src/node/base.rs - node::base::Node::to_ascii_symbol (line 134) ... ok
[INFO] [stdout] test src/node/factory.rs - node::factory (line 111) - compile fail ... ok
[INFO] [stdout] test src/node/base.rs - node::base::Node::to_boolean_op (line 72) ... ok
[INFO] [stdout] test src/node/base.rs - node::base::Node::to_utf8_symbol (line 159) ... ok
[INFO] [stdout] test src/node/factory.rs - node::factory (line 151) - compile fail ... ok
[INFO] [stdout] test src/node/base.rs - node::base::Node::to_latex_symbol (line 183) ... ok
[INFO] [stdout] test src/node/factory.rs - node::factory (line 96) - compile fail ... ok
[INFO] [stdout] test src/node/factory.rs - node::factory (line 57) - compile fail ... ok
[INFO] [stdout] test src/node/factory.rs - node::factory (line 39) ... ok
[INFO] [stdout] test src/node/factory.rs - node::factory (line 127) ... ok
[INFO] [stdout] test src/node/factory.rs - node::factory (line 85) ... ok
[INFO] [stdout] test src/statement/operations.rs - statement::operations::Statement<Ty,V,N,T>::condensed_detach (line 438) ... ok
[INFO] [stdout] test src/statement/operations.rs - statement::operations::Statement<Ty,V,N,T>::convert (line 757) ... ok
[INFO] [stdout] test src/term/factory.rs - term::factory (line 133) - compile fail ... ok
[INFO] [stdout] test src/term/base.rs - term::base::Term::format_with (line 218) ... ok
[INFO] [stdout] test src/term/factory.rs - term::factory (line 159) - compile fail ... ok
[INFO] [stdout] test src/term/factory.rs - term::factory (line 112) ... ok
[INFO] [stdout] test src/term/factory.rs - term::factory (line 211) - compile ... ok
[INFO] [stdout] test src/statement/inclusion.rs - statement::inclusion::Statement<Ty,V,N,T>::is_included_in (line 67) ... ok
[INFO] [stdout] test src/statement/inclusion.rs - statement::inclusion::Statement<Ty,V,N,T>::is_identical (line 251) ... ok
[INFO] [stdout] test src/term/factory.rs - term::factory (line 268) - compile fail ... ok
[INFO] [stdout] test src/statement/compact_proof.rs - statement::compact_proof::Statement<Ty,V,N,T>::from_compact_proof (line 56) ... ok
[INFO] [stdout] test src/statement/operations.rs - statement::operations::Statement<Ty,V,N,T>::canonicalize (line 547) ... ok
[INFO] [stdout] test src/term/factory.rs - term::factory (line 65) - compile fail ... ok
[INFO] [stdout] test src/term/factory.rs - term::factory (line 236) ... ok
[INFO] [stdout] test src/term/factory.rs - term::factory (line 180) ... ok
[INFO] [stdout] test src/term/substitution.rs - term::substitution::NormalizingSubstitution<V,N,T,TF,TyF>::try_normalize (line 268) - compile fail ... ok
[INFO] [stdout] test src/term/simple.rs - term::simple::EnumTermFactory<T,V,N,TyF>::new (line 227) ... ok
[INFO] [stdout] test src/term/factory.rs - term::factory (line 43) ... ok
[INFO] [stdout] test src/term/factory.rs - term::factory::TermFactory::type_factory (line 338) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 152 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 2.90s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "8ff5ed07a68b08eba014dbda1d790774ca28878851dd3acf49e63cf6baad1796", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8ff5ed07a68b08eba014dbda1d790774ca28878851dd3acf49e63cf6baad1796", kill_on_drop: false }`
[INFO] [stdout] 8ff5ed07a68b08eba014dbda1d790774ca28878851dd3acf49e63cf6baad1796
