[INFO] fetching crate symbolic-mgu 0.1.0-alpha.10...
[INFO] testing symbolic-mgu-0.1.0-alpha.10 against master#c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38 for pr-146098-8
[INFO] extracting crate symbolic-mgu 0.1.0-alpha.10 into /workspace/builds/worker-3-tc1/source
[INFO] started tweaking crates.io crate symbolic-mgu 0.1.0-alpha.10
[INFO] finished tweaking crates.io crate symbolic-mgu 0.1.0-alpha.10
[INFO] tweaked toml for crates.io crate symbolic-mgu 0.1.0-alpha.10 written to /workspace/builds/worker-3-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate symbolic-mgu 0.1.0-alpha.10 on toolchain c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate symbolic-mgu 0.1.0-alpha.10 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" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded bit-vec v0.6.3
[INFO] [stderr]   Downloaded bit-set v0.5.3
[INFO] [stderr]   Downloaded proptest v1.5.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 2e33f97a85eaf048d0369eee303886c6f9d367df5e10dffcb918d0cbdbc83b20
[INFO] running `Command { std: "docker" "start" "-a" "2e33f97a85eaf048d0369eee303886c6f9d367df5e10dffcb918d0cbdbc83b20", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "2e33f97a85eaf048d0369eee303886c6f9d367df5e10dffcb918d0cbdbc83b20", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2e33f97a85eaf048d0369eee303886c6f9d367df5e10dffcb918d0cbdbc83b20", kill_on_drop: false }`
[INFO] [stdout] 2e33f97a85eaf048d0369eee303886c6f9d367df5e10dffcb918d0cbdbc83b20
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a943bdb268450d043bce7f1a34ad21b0480e6053b71afe1f4ae0fe93b5ddab83
[INFO] running `Command { std: "docker" "start" "-a" "a943bdb268450d043bce7f1a34ad21b0480e6053b71afe1f4ae0fe93b5ddab83", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.103
[INFO] [stderr]    Compiling quote v1.0.41
[INFO] [stderr]    Compiling unicode-ident v1.0.20
[INFO] [stderr]    Compiling thiserror v2.0.17
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling symbolic-mgu v0.1.0-alpha.10 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling syn v2.0.108
[INFO] [stderr]    Compiling strum_macros v0.26.4
[INFO] [stderr]    Compiling thiserror-impl v2.0.17
[INFO] [stderr]    Compiling strum v0.26.3
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 12.74s
[INFO] running `Command { std: "docker" "inspect" "a943bdb268450d043bce7f1a34ad21b0480e6053b71afe1f4ae0fe93b5ddab83", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a943bdb268450d043bce7f1a34ad21b0480e6053b71afe1f4ae0fe93b5ddab83", kill_on_drop: false }`
[INFO] [stdout] a943bdb268450d043bce7f1a34ad21b0480e6053b71afe1f4ae0fe93b5ddab83
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e7ca1fbca48b133ead94ba63944ab47c23b225368e1f352a0c4ea2fa136b36af
[INFO] running `Command { std: "docker" "start" "-a" "e7ca1fbca48b133ead94ba63944ab47c23b225368e1f352a0c4ea2fa136b36af", kill_on_drop: false }`
[INFO] [stderr]    Compiling rustix v1.1.2
[INFO] [stderr]    Compiling fastrand v2.3.0
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling bit-vec v0.6.3
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling rand_xorshift v0.3.0
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling bit-set v0.5.3
[INFO] [stderr]    Compiling tempfile v3.23.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling proptest v1.5.0
[INFO] [stderr]    Compiling symbolic-mgu v0.1.0-alpha.10 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 12.16s
[INFO] running `Command { std: "docker" "inspect" "e7ca1fbca48b133ead94ba63944ab47c23b225368e1f352a0c4ea2fa136b36af", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e7ca1fbca48b133ead94ba63944ab47c23b225368e1f352a0c4ea2fa136b36af", kill_on_drop: false }`
[INFO] [stdout] e7ca1fbca48b133ead94ba63944ab47c23b225368e1f352a0c4ea2fa136b36af
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 6297a945791d294df173271895ab04157a10ac72d6108fad9e6a3bd755281124
[INFO] running `Command { std: "docker" "start" "-a" "6297a945791d294df173271895ab04157a10ac72d6108fad9e6a3bd755281124", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.08s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/symbolic_mgu-4660b948b3f3c328)
[INFO] [stdout] running 61 tests
[INFO] [stdout] test bool_eval::tests::all_variants_u64_truth_tables ... ok
[INFO] [stdout] test bool_eval::tests::all_variants_u8_truth_tables ... ok
[INFO] [stdout] test bool_eval::tests::tautology_not_tautology ... ok
[INFO] [stdout] test error::base::tests::unknown_error ... ok
[INFO] [stdout] test bool_eval::tests::tautology_simple ... ok
[INFO] [stdout] test bool_eval::tests::all_variants_make_truth_tables ... 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 bool_eval::tests::tautology_de_morgan ... 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::unary_operator_formatting ... ok
[INFO] [stdout] test metavariable::enums::tests::ascii_metavar ... ok
[INFO] [stdout] test metavariable::wide::tests::default_is_valid_boolean_metavariable ... ok
[INFO] [stdout] test formatter::tests::term_utf8_formatting ... ok
[INFO] [stdout] test metavariable::wide::tests::subscript_formatting ... ok
[INFO] [stdout] test metavariable::wide::tests::wide_metavariable_display ... ok
[INFO] [stdout] test metavariable::wide::tests::enumerate_produces_unique_variables ... ok
[INFO] [stdout] test metavariable::wide_factory::tests::default_factory_works ... 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::tests::metavariable_wide ... ok
[INFO] [stdout] test mgutype::base::tests::type_setvar ... ok
[INFO] [stdout] test node::node_byte::base::tests::node_u8 ... ok
[INFO] [stdout] test metavariable::wide_factory::tests::metavariable_max_index_is_large ... ok
[INFO] [stdout] test mgutype::base::tests::type_boolean ... 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::dd211_phi_implies_phi ... ok
[INFO] [stdout] test statement::compact_proof::tests::invalid_token_fails ... ok
[INFO] [stdout] test statement::compact_proof::tests::axioms_directly ... ok
[INFO] [stdout] test statement::compact_proof::tests::stack_underflow_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::axiom_included_in_itself ... ok
[INFO] [stdout] test statement::inclusion::tests::different_variables_same_structure_are_identical ... ok
[INFO] [stdout] test statement::inclusion::tests::hypothesis_order_doesnt_matter ... ok
[INFO] [stdout] test statement::inclusion::tests::more_hypotheses_with_distinctness ... ok
[INFO] [stdout] test statement::inclusion::tests::more_specific_included_in_general ... ok
[INFO] [stdout] test statement::inclusion::tests::relabeling_prevents_occurs_check_failure ... ok
[INFO] [stdout] test statement::inclusion::tests::unrelated_structures_not_included ... 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::occurs_check_detects_cycle ... ok
[INFO] [stdout] test term::substitution::tests::occurs_check_prevents_unification ... ok
[INFO] [stdout] test term::substitution::tests::single_binding ... ok
[INFO] [stdout] test mgutype::base::tests::type_class ... ok
[INFO] [stdout] test statement::compact_proof::tests::d_with_placeholders ... ok
[INFO] [stdout] test term::substitution::tests::type_mismatch_fails ... ok
[INFO] [stdout] test tests::it_works ... ok
[INFO] [stdout] test bool_eval::tests::specific_operations ... ok
[INFO] [stderr]      Running unittests src/bin/compact.rs (/opt/rustwide/target/debug/deps/compact-3223b464bcf914fe)
[INFO] [stdout] test term::substitution::tests::identical_terms_unify ... ok
[INFO] [stderr]      Running tests/regression_compact_proofs.rs (/opt/rustwide/target/debug/deps/regression_compact_proofs-a3e4292942180486)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 61 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.11s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [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_proofs_parse_successfully ... ok
[INFO] [stdout] test regression_ddd1d221d2d2d11_produces_tautology ... 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]    Doc-tests symbolic_mgu
[INFO] [stdout] 
[INFO] [stdout] running 81 tests
[INFO] [stdout] test src/bool_eval/mod.rs - bool_eval::test_contingent (line 976) ... ignored
[INFO] [stdout] test src/bool_eval/mod.rs - bool_eval::test_contradiction (line 942) ... ignored
[INFO] [stdout] test src/bool_eval/mod.rs - bool_eval::test_tautology (line 908) ... ignored
[INFO] [stdout] test src/bool_eval/mod.rs - bool_eval::test_term (line 575) ... ignored
[INFO] [stdout] test src/formatter/mod.rs - formatter (line 31) ... ignored
[INFO] [stdout] test src/formatter/output_formatter.rs - formatter::output_formatter::OutputFormatter (line 32) ... ignored
[INFO] [stdout] test src/formatter/registry.rs - formatter::registry::get_formatter (line 103) ... ignored
[INFO] [stdout] test src/formatter/registry.rs - formatter::registry::register_formatter (line 69) ... ignored
[INFO] [stdout] test src/macros.rs - macros::byte_try_from_signed (line 107) ... ignored
[INFO] [stdout] test src/macros.rs - macros::byte_try_from_unsigned (line 215) ... ignored
[INFO] [stdout] test src/macros.rs - macros::byte_try_from_unsigned (line 225) ... ignored
[INFO] [stdout] test src/macros.rs - macros::dlgt0 (line 342) ... ignored
[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/mod.rs - logic::transp (line 276) ... ok
[INFO] [stdout] test src/macros.rs - macros::enum0 (line 413) ... ignored
[INFO] [stdout] test src/formatter/type_colors.rs - formatter::type_colors::get_type_color (line 74) ... 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 478) ... ignored
[INFO] [stdout] test src/macros.rs - macros::ub_prim_impl (line 489) ... ignored
[INFO] [stdout] test src/metavariable/factory.rs - metavariable::factory (line 101) ... ignored
[INFO] [stdout] test src/metavariable/factory.rs - metavariable::factory (line 116) ... ignored
[INFO] [stdout] test src/macros.rs - macros::dlgt0 (line 361) ... 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 55) ... ok
[INFO] [stdout] test src/formatter/color.rs - formatter::color::Color::to_xterm256 (line 41) ... ok
[INFO] [stdout] test src/metavariable/factory.rs - metavariable::factory (line 61) ... ignored
[INFO] [stdout] test src/formatter/type_colors.rs - formatter::type_colors::get_type_color_from_trait (line 109) ... ok
[INFO] [stdout] test src/metavariable/mod.rs - metavariable::Metavariable::format_with (line 85) ... ignored
[INFO] [stdout] test src/metavariable/mod.rs - metavariable::Metavariable::to_ascii (line 110) ... ignored
[INFO] [stdout] test src/metavariable/mod.rs - metavariable::Metavariable::to_utf8 (line 133) ... ignored
[INFO] [stdout] test src/macros.rs - macros::enforce_primitive_type (line 15) ... ok
[INFO] [stdout] test src/formatter/type_colors.rs - formatter::type_colors::register_type_color (line 45) ... ok
[INFO] [stdout] test src/distinct/pair.rs - distinct::pair::Pair (line 28) ... ok
[INFO] [stdout] test src/macros.rs - macros::byte_try_from_signed (line 118) ... ok
[INFO] [stdout] test src/metavariable/factory.rs - metavariable::factory (line 130) ... ok
[INFO] [stdout] test src/logic/mod.rs - logic::simp (line 129) ... ok
[INFO] [stdout] test src/logic/mod.rs - logic::modus_ponens (line 58) ... ok
[INFO] [stdout] test src/logic/mod.rs - logic::create_dict (line 357) ... ok
[INFO] [stdout] test src/node/base.rs - node::base::Node::format_with (line 97) ... ignored
[INFO] [stdout] test src/node/base.rs - node::base::Node::to_ascii_symbol (line 122) ... ignored
[INFO] [stdout] test src/metavariable/factory.rs - metavariable::factory (line 43) ... ok
[INFO] [stdout] test src/node/base.rs - node::base::Node::to_latex_symbol (line 167) ... ignored
[INFO] [stdout] test src/node/base.rs - node::base::Node::to_utf8_symbol (line 145) ... ignored
[INFO] [stdout] test src/node/factory.rs - node::factory (line 111) ... ignored
[INFO] [stdout] test src/logic/mod.rs - logic::frege (line 192) ... ok
[INFO] [stdout] test src/node/factory.rs - node::factory (line 151) ... ignored
[INFO] [stdout] test src/macros.rs - macros::enum0 (line 429) ... ok
[INFO] [stdout] test src/node/factory.rs - node::factory (line 57) ... ignored
[INFO] [stdout] test src/metavariable/factory.rs - metavariable::factory (line 143) ... ok
[INFO] [stdout] test src/mgutype/base.rs - mgutype::base::SimpleType::as_long_str (line 256) ... ok
[INFO] [stdout] test src/node/factory.rs - node::factory (line 96) ... ignored
[INFO] [stdout] test src/metavariable/wide_factory.rs - metavariable::wide_factory::WideMetavariableFactory::new (line 41) ... ok
[INFO] [stdout] test src/node/base.rs - node::base::Node::to_boolean_op (line 64) ... ok
[INFO] [stdout] test src/macros.rs - macros::last_ident (line 308) ... ok
[INFO] [stdout] test src/term/base.rs - term::base::Term::format_with (line 141) ... ignored
[INFO] [stdout] test src/mgutype/base.rs - mgutype::base::SimpleType (line 58) ... ok
[INFO] [stdout] test src/term/factory.rs - term::factory (line 131) ... ignored
[INFO] [stdout] test src/term/factory.rs - term::factory (line 157) ... ignored
[INFO] [stdout] test src/mgutype/base.rs - mgutype::base::SimpleType::as_short_str (line 240) ... ok
[INFO] [stdout] test src/mgutype/base.rs - mgutype::base::SimpleType::name_to_value (line 225) ... ok
[INFO] [stdout] test src/node/factory.rs - node::factory (line 127) ... ok
[INFO] [stdout] test src/term/factory.rs - term::factory (line 263) ... ignored
[INFO] [stdout] test src/metavariable/wide_factory.rs - metavariable::wide_factory::WideMetavariableFactory (line 15) ... ok
[INFO] [stdout] test src/term/factory.rs - term::factory (line 64) ... ignored
[INFO] [stdout] test src/term/substitution.rs - term::substitution::NormalizingSubstitution<V,N,T,TF>::try_normalize (line 255) ... ignored
[INFO] [stdout] test src/term/factory.rs - term::factory (line 208) - compile ... ok
[INFO] [stdout] test src/metavariable/wide.rs - metavariable::wide (line 30) ... ok
[INFO] [stdout] test src/metavariable/factory.rs - metavariable::factory (line 89) ... ok
[INFO] [stdout] test src/node/factory.rs - node::factory (line 85) ... ok
[INFO] [stdout] test src/term/factory.rs - term::factory (line 111) ... ok
[INFO] [stdout] test src/mgutype/base.rs - mgutype::base::SimpleType::uc_name_to_value (line 200) ... ok
[INFO] [stdout] test src/term/factory.rs - term::factory (line 232) ... ok
[INFO] [stdout] test src/term/factory.rs - term::factory (line 43) ... ok
[INFO] [stdout] test src/node/factory.rs - node::factory (line 39) ... ok
[INFO] [stdout] test src/metavariable/factory.rs - metavariable::factory (line 164) ... ok
[INFO] [stdout] test src/term/factory.rs - term::factory (line 178) ... ok
[INFO] [stdout] test src/statement/operations.rs - statement::operations::Statement<Ty,V,N,T>::condensed_detach (line 431) ... ok
[INFO] [stdout] test src/statement/inclusion.rs - statement::inclusion::Statement<Ty,V,N,T>::is_identical (line 246) ... ok
[INFO] [stdout] test src/statement/compact_proof.rs - statement::compact_proof::Statement<Ty,V,N,T>::from_compact_proof (line 55) ... ok
[INFO] [stdout] test src/statement/inclusion.rs - statement::inclusion::Statement<Ty,V,N,T>::is_included_in (line 67) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 46 passed; 0 failed; 35 ignored; 0 measured; 0 filtered out; finished in 3.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "6297a945791d294df173271895ab04157a10ac72d6108fad9e6a3bd755281124", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6297a945791d294df173271895ab04157a10ac72d6108fad9e6a3bd755281124", kill_on_drop: false }`
[INFO] [stdout] 6297a945791d294df173271895ab04157a10ac72d6108fad9e6a3bd755281124