[INFO] fetching crate espresso-logic 5.4.0...
[INFO] testing espresso-logic-5.4.0 against 1.98.0-beta.1 for beta-1.98-1
[INFO] extracting crate espresso-logic 5.4.0 into /workspace/builds/worker-3-tc2/source
[INFO] started tweaking crates.io crate espresso-logic 5.4.0
[INFO] removed 0 missing examples
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate espresso-logic 5.4.0
[INFO] tweaked toml for crates.io crate espresso-logic 5.4.0 written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate espresso-logic 5.4.0 on toolchain 1.98.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.98.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate espresso-logic 5.4.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.98.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3d5ced03c013a94a2f102a4510f48a6e9184255caf5fd8244f58017bde7f5210" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 6089ee5bed86cc031b7a771aab5119f62579b3ece199c3842e277c813306d1e9
[INFO] running `Command { std: "docker" "start" "6089ee5bed86cc031b7a771aab5119f62579b3ece199c3842e277c813306d1e9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "6089ee5bed86cc031b7a771aab5119f62579b3ece199c3842e277c813306d1e9", 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" "6089ee5bed86cc031b7a771aab5119f62579b3ece199c3842e277c813306d1e9" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "6089ee5bed86cc031b7a771aab5119f62579b3ece199c3842e277c813306d1e9", 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" "6089ee5bed86cc031b7a771aab5119f62579b3ece199c3842e277c813306d1e9" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling cfg-if v1.0.4
[INFO] [stderr]    Compiling regex-syntax v0.8.11
[INFO] [stderr]    Compiling either v1.16.0
[INFO] [stderr]    Compiling glob v0.3.3
[INFO] [stderr]    Compiling scopeguard v1.2.0
[INFO] [stderr]    Compiling smallvec v1.15.2
[INFO] [stderr]    Compiling prettyplease v0.2.37
[INFO] [stderr]    Compiling rustix v0.38.44
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling bitflags v2.13.0
[INFO] [stderr]    Compiling dirs-sys-next v0.1.2
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling siphasher v1.0.3
[INFO] [stderr]    Compiling log v0.4.33
[INFO] [stderr]    Compiling syn v2.0.118
[INFO] [stderr]    Compiling linux-raw-sys v0.4.15
[INFO] [stderr]    Compiling lock_api v0.4.14
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling libloading v0.8.9
[INFO] [stderr]    Compiling dirs-next v2.0.0
[INFO] [stderr]    Compiling phf_shared v0.11.3
[INFO] [stderr]    Compiling fixedbitset v0.4.2
[INFO] [stderr]    Compiling bit-vec v0.6.3
[INFO] [stderr]    Compiling term v0.7.0
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]    Compiling home v0.5.12
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.6
[INFO] [stderr]    Compiling bindgen v0.69.5
[INFO] [stderr]    Compiling bit-set v0.5.3
[INFO] [stderr]    Compiling itertools v0.11.0
[INFO] [stderr]    Compiling itertools v0.12.1
[INFO] [stderr]    Compiling clang-sys v1.8.1
[INFO] [stderr]    Compiling ena v0.14.4
[INFO] [stderr]    Compiling unicode-xid v0.2.6
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling petgraph v0.6.5
[INFO] [stderr]    Compiling lazy_static v1.5.0
[INFO] [stderr]    Compiling pico-args v0.5.0
[INFO] [stderr]    Compiling ascii-canvas v3.0.0
[INFO] [stderr]    Compiling string_cache v0.8.9
[INFO] [stderr]    Compiling weak-table v0.3.2
[INFO] [stderr]    Compiling cexpr v0.6.0
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling which v4.4.2
[INFO] [stderr]    Compiling lalrpop-util v0.20.2
[INFO] [stderr]    Compiling regex v1.12.4
[INFO] [stderr]    Compiling espresso-logic-macros v5.3.0
[INFO] [stderr]    Compiling lalrpop v0.20.2
[INFO] [stderr]    Compiling espresso-logic v5.4.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 46.90s
[INFO] running `Command { std: "docker" "inspect" "6089ee5bed86cc031b7a771aab5119f62579b3ece199c3842e277c813306d1e9", 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" "6089ee5bed86cc031b7a771aab5119f62579b3ece199c3842e277c813306d1e9" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling libloading v0.8.9
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling rustix v0.38.44
[INFO] [stderr]    Compiling dirs-next v2.0.0
[INFO] [stderr]    Compiling zerocopy-derive v0.8.52
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling getrandom v0.4.3
[INFO] [stderr]    Compiling serde_json v1.0.150
[INFO] [stderr]    Compiling clap_builder v4.6.0
[INFO] [stderr]    Compiling is-terminal v0.4.17
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling clang-sys v1.8.1
[INFO] [stderr]    Compiling term v0.7.0
[INFO] [stderr]    Compiling string_cache v0.8.9
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling ascii-canvas v3.0.0
[INFO] [stderr]    Compiling zerocopy v0.8.52
[INFO] [stderr]    Compiling which v4.4.2
[INFO] [stderr]    Compiling clap v4.6.1
[INFO] [stderr]    Compiling regex v1.12.4
[INFO] [stderr]    Compiling lalrpop-util v0.20.2
[INFO] [stderr]    Compiling bindgen v0.69.5
[INFO] [stderr]    Compiling lalrpop v0.20.2
[INFO] [stderr]    Compiling serde v1.0.228
[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.5.1
[INFO] [stderr]    Compiling espresso-logic v5.4.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 58.27s
[INFO] running `Command { std: "docker" "inspect" "6089ee5bed86cc031b7a771aab5119f62579b3ece199c3842e277c813306d1e9", 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" "6089ee5bed86cc031b7a771aab5119f62579b3ece199c3842e277c813306d1e9" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.27s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/espresso_logic-7fedbeeb64a120e1)
[INFO] [stdout] 
[INFO] [stdout] running 444 tests
[INFO] [stdout] test bdd::tests::both_context_kinds_agree_fr ... ok
[INFO] [stdout] test bdd::tests::cofactor_is_restrict ... ok
[INFO] [stdout] test bdd::tests::both_context_kinds_agree ... ok
[INFO] [stdout] test bdd::tests::build_cover_round_trip ... ok
[INFO] [stdout] test bdd::tests::bdd_primes_contains_consensus_prime ... ok
[INFO] [stdout] test bdd::tests::compose_cache_hit_same_root ... ok
[INFO] [stdout] test bdd::tests::compose_absent_var_is_noop ... ok
[INFO] [stdout] test bdd::tests::compose_g_above_substituted_var ... ok
[INFO] [stdout] test bdd::tests::builder_recovers_the_same_manager_sync ... ok
[INFO] [stdout] test bdd::tests::compose_g_may_test_var_itself ... ok
[INFO] [stdout] test bdd::tests::compose_identity_projection ... ok
[INFO] [stdout] test bdd::tests::compose_map_empty_and_absent ... ok
[INFO] [stdout] test bdd::tests::compose_map_is_simultaneous ... ok
[INFO] [stdout] test bdd::tests::contradiction_and_tautology_fr ... ok
[INFO] [stdout] test bdd::tests::compose_map_hoisted_substitution_canonical ... ok
[INFO] [stdout] test bdd::tests::compose_singleton_map_agrees_with_compose ... ok
[INFO] [stdout] test bdd::tests::context_send_asymmetry ... ok
[INFO] [stdout] test bdd::tests::compose_on_sync_cell_agrees ... ok
[INFO] [stdout] test bdd::tests::builder_recovers_the_same_manager ... ok
[INFO] [stdout] test bdd::tests::cover_over_deduplicates_repeated_variable_name ... ok
[INFO] [stdout] test bdd::tests::contradiction_lowers_without_panicking ... ok
[INFO] [stdout] test bdd::tests::complement_not_and_operator_agree ... ok
[INFO] [stdout] test bdd::tests::cover_is_anonymous_single_output_onset ... ok
[INFO] [stdout] test bdd::tests::cover_over_agrees_with_bdd_forall ... ok
[INFO] [stdout] test bdd::tests::cover_fr_carries_both_sets ... ok
[INFO] [stdout] test bdd::tests::cover_over_fr_c_element_gap ... ok
[INFO] [stdout] test bdd::tests::cover_over_fr_subset_opens_undef_gap ... ok
[INFO] [stdout] test bdd::tests::cover_unchanged_after_refactor ... ok
[INFO] [stdout] test bdd::tests::equivalent_to_is_root_identity ... ok
[INFO] [stdout] test bdd::tests::cover_over_survives_irredundant_prime_trap ... ok
[INFO] [stdout] test bdd::tests::evaluate_complete_minterm_matches_truth_table ... ok
[INFO] [stdout] test bdd::tests::evaluate_partial_returns_residual ... ok
[INFO] [stdout] test bdd::tests::fold_closure_may_reenter_builder ... ok
[INFO] [stdout] test bdd::tests::evaluate_matches_truth_table ... ok
[INFO] [stdout] test bdd::tests::cover_over_keeps_partial_support_prime ... ok
[INFO] [stdout] test bdd::tests::compose_matches_naive_ite_oracle ... ok
[INFO] [stdout] test bdd::tests::fold_with_context_closures_may_reenter_builder ... ok
[INFO] [stdout] test bdd::tests::maximize_is_idempotent_and_deterministic ... ok
[INFO] [stdout] test bdd::tests::maximize_matches_cube_expand_to ... ok
[INFO] [stdout] test bdd::tests::maximize_single_var_splits_other ... ok
[INFO] [stdout] test bdd::tests::maximize_true_is_full_cube ... ok
[INFO] [stdout] test bdd::tests::maximize_fr_partitions_minterms ... ok
[INFO] [stdout] test bdd::tests::cover_over_subset_projects_universally ... ok
[INFO] [stdout] test bdd::tests::hash_agrees_with_canonical_equality ... ok
[INFO] [stdout] test bdd::tests::forall_exists_accept_owned_iterator_and_adaptor ... ok
[INFO] [stdout] test bdd::tests::fold_collects_support_variables ... ok
[INFO] [stdout] test bdd::tests::forall_exists_multiple_vars ... ok
[INFO] [stdout] test bdd::tests::maximize_widen_with_absent_variable ... ok
[INFO] [stdout] test bdd::tests::maximize_xor_two_vars ... ok
[INFO] [stdout] test bdd::tests::minimize_fr_on_constants ... ok
[INFO] [stdout] test bdd::tests::minimize_fr_returns_fr_cover ... ok
[INFO] [stdout] test bdd::tests::minimize_reduces_redundancy ... ok
[INFO] [stdout] test bdd::tests::minimize_fr_matches_plain_minimize_on_majority ... ok
[INFO] [stdout] test bdd::tests::operator_ref_combinations_compile_and_agree ... ok
[INFO] [stdout] test bdd::tests::operators_commute_and_canonicalise ... ok
[INFO] [stdout] test bdd::tests::restrict_absent_variable_is_noop ... ok
[INFO] [stdout] test bdd::tests::restrict_acceptance_table ... ok
[INFO] [stdout] test bdd::tests::scope_composes_without_clone ... ok
[INFO] [stdout] test bdd::tests::scope_lift_round_trips ... ok
[INFO] [stdout] test bdd::tests::scope_operand_reused_without_clone ... ok
[INFO] [stdout] test bdd::tests::restrict_to_constant ... ok
[INFO] [stdout] test bdd::tests::fold_with_context_evaluates_via_path_descent ... ok
[INFO] [stdout] test bdd::tests::scope_composes_on_sync_cell ... ok
[INFO] [stdout] test bdd::tests::sync_context_is_send_and_sync ... ok
[INFO] [stdout] test bdd::tests::sync_context_is_send_across_threads ... ok
[INFO] [stdout] test bdd::tests::tautology_and_contradiction ... ok
[INFO] [stdout] test bdd::tests::to_cubes_is_deprecated_alias_of_cover ... ok
[INFO] [stdout] test bdd::tests::sync_context_shared_by_reference_across_threads ... ok
[INFO] [stdout] test cover::error::tests::test_add_expr_error_to_io_error ... ok
[INFO] [stdout] test cover::error::tests::arity_mismatch_displays_side_and_counts ... ok
[INFO] [stdout] test cover::error::tests::test_add_expr_error_from_cover_error ... ok
[INFO] [stdout] test bdd::tests::scoped_compose_agrees_with_owned ... ok
[INFO] [stdout] test bdd::tests::scope_build_and_parse_agree_with_owned ... ok
[INFO] [stdout] test bdd::tests::scope_returns_interoperable_owned ... ok
[INFO] [stdout] test bdd::tests::scope_or_and_constant_compose ... ok
[INFO] [stdout] test cover::error::tests::test_cover_error_output_already_exists ... ok
[INFO] [stdout] test cover::error::tests::test_cover_error_output_index_out_of_bounds ... ok
[INFO] [stdout] test cover::error::tests::test_cover_error_output_not_found ... ok
[INFO] [stdout] test cover::error::tests::test_index_out_of_range_display ... ok
[INFO] [stdout] test cover::error::tests::test_index_out_of_range_to_io_error ... ok
[INFO] [stdout] test cover::error::tests::test_label_not_found_display ... ok
[INFO] [stdout] test cover::error::tests::test_cover_error_to_io_error ... ok
[INFO] [stdout] test cover::error::tests::test_label_not_found_to_io_error ... ok
[INFO] [stdout] test cover::error::tests::test_to_expr_error_from_cover_error ... ok
[INFO] [stdout] test cover::error::tests::test_to_expr_error_to_io_error ... ok
[INFO] [stdout] test cover::label::tests::named_label_covers_value_identity_labels ... ok
[INFO] [stdout] test cover::label::tests::string_reconcile_passes_non_colliding_through ... ok
[INFO] [stdout] test cover::label::tests::string_reconcile_suffixes_on_collision ... ok
[INFO] [stdout] test cover::minterm::tests::absent_variable_equals_dont_care ... ok
[INFO] [stdout] test cover::label::tests::anonymous_reconcile_appends ... ok
[INFO] [stdout] test cover::minterm::tests::cdist_fast_path_matches_merge_path_with_empty ... ok
[INFO] [stdout] test cover::minterm::tests::cdist_self_distance_counts_empty_fields ... ok
[INFO] [stdout] test cover::minterm::tests::cmp_equal_iff_eq_over_four_state_sweep ... ok
[INFO] [stdout] test cover::minterm::tests::comparison_aligns_by_name_not_position ... ok
[INFO] [stdout] test cover::minterm::tests::display_renders_empty_literal_as_question_mark ... ok
[INFO] [stdout] test cover::minterm::tests::empty_field_propagates ... ok
[INFO] [stdout] test cover::minterm::tests::cdist_matches_disjointness_law ... ok
[INFO] [stdout] test cover::minterm::tests::empty_result_is_canonical_eq_and_hash ... ok
[INFO] [stdout] test cover::minterm::tests::empty_subset_fast_path_matches_merge_join_path ... ok
[INFO] [stdout] test cover::minterm::tests::expand_over_empty_literal_yields_no_minterms ... ok
[INFO] [stdout] test cover::minterm::tests::expand_over_is_idempotent_when_already_maximal ... ok
[INFO] [stdout] test cover::minterm::tests::expand_over_splits_absent_dont_care ... ok
[INFO] [stdout] test cover::minterm::tests::expand_over_dont_care_yields_full_cube ... ok
[INFO] [stdout] test cover::minterm::tests::disjoint_across_word_boundary ... ok
[INFO] [stdout] test cover::minterm::tests::disjoint_headers_widen_to_union ... ok
[INFO] [stdout] test cover::minterm::tests::expand_over_widens_with_absent_variable ... ok
[INFO] [stdout] test cover::minterm::tests::fast_path_matches_slow_path ... ok
[INFO] [stdout] test cover::minterm::tests::field_at_past_arity_is_dont_care ... ok
[INFO] [stdout] test cover::minterm::tests::field_of_and_set_field_of_roundtrip ... ok
[INFO] [stdout] test cover::minterm::tests::fields_iterator_matches_field_at ... ok
[INFO] [stdout] test cover::minterm::tests::is_vacuous_false_for_dont_care ... ok
[INFO] [stdout] test cover::minterm::tests::hamming_distance_zero_for_equal_minterms ... ok
[INFO] [stdout] test cover::minterm::tests::input_field_operator_identities ... ok
[INFO] [stdout] test cover::minterm::tests::hamming_path_matches_shared_path ... ok
[INFO] [stdout] test cover::minterm::tests::hamming_distance_equals_disagreement_len ... ok
[INFO] [stdout] test cover::minterm::tests::input_field_operators_match_value_set_image ... ok
[INFO] [stdout] test cover::minterm::tests::is_vacuous_detects_empty_field_across_word_boundary ... ok
[INFO] [stdout] test cover::minterm::tests::input_field_operators_agree_with_minterm_operators ... ok
[INFO] [stdout] test cover::minterm::tests::hamming_distance_and_disagreement_set ... ok
[INFO] [stdout] test cover::minterm::tests::merge_path_matches_shared_path ... ok
[INFO] [stdout] test cover::minterm::tests::not_operator_forms_agree_with_method ... ok
[INFO] [stdout] test cover::minterm::tests::not_crosses_word_boundary ... ok
[INFO] [stdout] test cover::minterm::tests::is_vacuous_false_for_zero_arity ... ok
[INFO] [stdout] test cover::minterm::tests::not_truth_table ... ok
[INFO] [stdout] test cover::minterm::tests::not_result_is_canonical_eq_and_hash ... ok
[INFO] [stdout] test cover::minterm::tests::operator_forms_agree_with_methods ... ok
[INFO] [stdout] test cover::minterm::tests::not_is_self_inverse ... ok
[INFO] [stdout] test cover::minterm::tests::ops_match_scalar_reference_exhaustively ... ok
[INFO] [stdout] test cover::minterm::tests::ops_cross_word_boundary ... ok
[INFO] [stdout] test cover::minterm::tests::ord_is_dont_care_lt_false_lt_true ... ok
[INFO] [stdout] test cover::minterm::tests::project_to_arity_equal_is_noop ... ok
[INFO] [stdout] test cover::minterm::tests::pack_unpack_roundtrip ... ok
[INFO] [stdout] test cover::minterm::tests::ops_realize_value_set_image_over_four_states ... ok
[INFO] [stdout] test cover::minterm::tests::project_to_deduplicates_target_set ... ok
[INFO] [stdout] test cover::minterm::tests::operators_are_commutative ... ok
[INFO] [stdout] test cover::minterm::tests::project_to_empty_set_yields_no_vars ... ok
[INFO] [stdout] test cover::minterm::tests::project_to_labels_equals_primitive ... ok
[INFO] [stdout] test cover::minterm::tests::project_to_reorders_by_name ... ok
[INFO] [stdout] test cover::minterm::tests::reordered_header_aligns_by_identity ... ok
[INFO] [stdout] test cover::minterm::tests::result_is_canonical_eq_and_hash ... ok
[INFO] [stdout] test cover::minterm::tests::set_collapses_distinct_vacuous_patterns ... ok
[INFO] [stdout] test cover::minterm::tests::same_header_and_union_paths_agree ... ok
[INFO] [stdout] test cover::minterm::tests::set_field_at_roundtrips_all_four_states ... ok
[INFO] [stdout] test cover::minterm::tests::set_field_at_copy_on_write_isolates_clones ... ok
[INFO] [stdout] test cover::minterm::tests::set_field_of_absent_label_errors ... ok
[INFO] [stdout] test cover::minterm::tests::set_value_at_roundtrips ... ok
[INFO] [stdout] test cover::minterm::tests::set_ops_against_reference ... ok
[INFO] [stdout] test cover::minterm::tests::set_value_at_to_dont_care_equals_omitted_variable ... ok
[INFO] [stdout] test cover::minterm::tests::set_value_of_roundtrips ... ok
[INFO] [stdout] test cover::minterm::tests::set_value_of_absent_label_errors ... ok
[INFO] [stdout] test cover::minterm::tests::subset_both_ways_iff_eq_over_one_variable_four_state_sweep ... ok
[INFO] [stdout] test cover::minterm::tests::structurally_equal_tables_are_same_space ... ok
[INFO] [stdout] test cover::minterm::tests::vacuous_is_disjoint_with_itself ... ok
[INFO] [stdout] test cover::minterm::tests::vacuous_is_subset_of_everything_but_not_superset ... ok
[INFO] [stdout] test cover::minterm::tests::vacuous_is_subset_of_itself ... ok
[INFO] [stdout] test cover::minterm::tests::vacuous_differs_from_dont_care ... ok
[INFO] [stdout] test cover::minterm::tests::set_value_at_copy_on_write_isolates_clones ... ok
[INFO] [stdout] test cover::minterm::tests::set_value_at_crosses_word_boundary ... ok
[INFO] [stdout] test cover::minterm::tests::set_value_at_matches_fresh_build_eq_and_hash ... ok
[INFO] [stdout] test cover::minterm::tests::subset_both_ways_iff_eq_over_two_variable_four_state_sweep ... ok
[INFO] [stdout] test cover::minterm::tests::vacuous_minterms_are_equal_and_hash_alike ... ok
[INFO] [stdout] test cover::minterm::tests::vacuous_operand_absorbs ... ok
[INFO] [stdout] test cover::minterm::tests::vacuous_sorts_after_non_vacuous ... ok
[INFO] [stdout] test cover::minterm::tests::vacuous_multi_field_lhs_is_subset_regardless_of_fields ... ok
[INFO] [stdout] test cover::minterm::tests::vacuous_multi_field_lhs_qq11_is_subset_of_1q0 ... ok
[INFO] [stdout] test cover::output_set::tests::anonymous_alignment_reduces_to_positional ... ok
[INFO] [stdout] test cover::output_set::tests::complement_crosses_the_word_boundary_and_leaves_padding_zero ... ok
[INFO] [stdout] test cover::output_set::tests::differing_header_operators_are_commutative_under_eq ... ok
[INFO] [stdout] test cover::minterm::tests::value_of_by_name ... ok
[INFO] [stdout] test cover::output_set::tests::absent_output_reads_as_unasserted_in_eq_and_hash ... ok
[INFO] [stdout] test cover::output_set::tests::complement_flips_each_output_and_round_trips ... ok
[INFO] [stdout] test cover::output_set::tests::differing_labels_align_by_identity_with_absent_reading_zero ... ok
[INFO] [stdout] test cover::output_set::tests::in_cover_cube_outputs_compare_unchanged ... ok
[INFO] [stdout] test cover::output_set::tests::complement_operator_forms_agree_with_the_method ... ok
[INFO] [stdout] test cover::output_set::tests::ops_are_commutative_for_same_and_differing_headers ... ok
[INFO] [stdout] test cover::output_set::tests::ops_cross_the_word_boundary ... ok
[INFO] [stdout] test cover::output_set::tests::eq_and_hash_ignore_construction_path_and_padding ... ok
[INFO] [stdout] test cover::output_set::tests::ops_leave_padding_zero ... ok
[INFO] [stdout] test cover::output_set::tests::operator_forms_agree_with_the_named_methods ... ok
[INFO] [stdout] test cover::output_set::tests::same_header_and_or_xor_are_per_output_bitwise ... ok
[INFO] [stdout] test cover::output_set::tests::set_value_at_crosses_the_word_boundary ... ok
[INFO] [stdout] test cover::output_set::tests::ord_is_a_total_order_usable_as_a_btreeset_key ... ok
[INFO] [stdout] test cover::output_set::tests::set_value_at_out_of_range_reports_index_and_arity ... ok
[INFO] [stdout] test cover::output_set::tests::ord_runs_lexicographically_over_the_sorted_identity_union ... ok
[INFO] [stdout] test cover::output_set::tests::set_value_at_is_copy_on_write ... ok
[INFO] [stdout] test cover::output_set::tests::reordered_header_compares_and_hashes_equal ... ok
[INFO] [stdout] test cover::output_set::tests::value_at_and_iter_track_multi_word_packing ... ok
[INFO] [stdout] test cover::output_set::tests::set_value_at_round_trips_through_value_at_and_value_of ... ok
[INFO] [stdout] test cover::output_set::tests::setting_then_clearing_the_highest_output_leaves_padding_zero ... ok
[INFO] [stdout] test cover::pla::error::tests::test_pla_error_duplicate_input_directive ... ok
[INFO] [stdout] test cover::minterm::tests::set_value_at_out_of_range_errors ... ok
[INFO] [stdout] test cover::pla::error::tests::test_pla_error_duplicate_input_label_directive ... ok
[INFO] [stdout] test cover::output_set::tests::value_of_on_absent_label_is_false ... ok
[INFO] [stdout] test cover::minterm::tests::set_value_at_overwrites_empty_field ... ok
[INFO] [stdout] test cover::pla::error::tests::test_pla_error_duplicate_label ... ok
[INFO] [stdout] test cover::pla::error::tests::test_pla_error_cube_dimension_mismatch ... ok
[INFO] [stdout] test cover::pla::error::tests::test_pla_error_duplicate_output_directive ... ok
[INFO] [stdout] test cover::minterm::tests::subset_header_missing_var_is_dont_care ... ok
[INFO] [stdout] test cover::output_set::tests::xor_symmetric_difference_clears_shared_asserted_outputs ... ok
[INFO] [stdout] test cover::pla::error::tests::test_pla_error_to_io_error ... ok
[INFO] [stdout] test cover::pla::error::tests::test_pla_read_error_from_io_error ... ok
[INFO] [stdout] test cover::pla::error::tests::test_pla_read_error_from_pla_error ... ok
[INFO] [stdout] test cover::pla::error::tests::test_pla_error_duplicate_output_label_directive ... ok
[INFO] [stdout] test cover::pla::error::tests::test_pla_read_error_to_io_error_preserves_io_error ... ok
[INFO] [stdout] test cover::pla::error::tests::test_pla_error_missing_input_directive ... ok
[INFO] [stdout] test cover::pla::error::tests::test_pla_write_error_from_io_error ... ok
[INFO] [stdout] test cover::tests::accepts_i_and_o_directives_in_either_order ... ok
[INFO] [stdout] test cover::tests::anonymize_drops_labels_preserving_values ... ok
[INFO] [stdout] test cover::pla::error::tests::test_pla_read_error_pla_to_io_error ... ok
[INFO] [stdout] test cover::tests::cover_and_cube_equality_is_structural ... ok
[INFO] [stdout] test cover::tests::cover_converges_differing_variable_sets_from_labeled_new_cubes ... ok
[INFO] [stdout] test cover::tests::anonymous_cover_minimizes ... ok
[INFO] [stdout] test cover::pla::error::tests::test_pla_error_invalid_input_character ... ok
[INFO] [stdout] test cover::pla::error::tests::test_pla_write_error_to_io_error ... ok
[INFO] [stdout] test cover::tests::cover_hash_and_blanket_default ... ok
[INFO] [stdout] test cover::tests::cover_is_send_sync ... ok
[INFO] [stdout] test cover::tests::cover_labeled_rejects_duplicate_input ... ok
[INFO] [stdout] test cover::tests::cover_maximize_expands_dont_care ... ok
[INFO] [stdout] test cover::tests::cover_maximize_is_idempotent_when_already_maximal ... ok
[INFO] [stdout] test cover::minterm::tests::set_field_at_out_of_range_errors ... ok
[INFO] [stdout] test cover::tests::cover_with_labels_rejects_duplicate_input ... ok
[INFO] [stdout] test cover::tests::cover_minimize_exact_reduces_and_preserves ... ok
[INFO] [stdout] test cover::tests::cover_with_labels_rejects_duplicate_output ... ok
[INFO] [stdout] test cover::tests::cube_labeled_accepts_non_string_labels ... ok
[INFO] [stdout] test cover::tests::cube_expand_to_deduplicates_repeated_variable ... ok
[INFO] [stdout] test cover::tests::cube_expand_to_widens_with_absent_var ... ok
[INFO] [stdout] test cover::tests::cube_new_from_labeled_halves_yields_labeled_cube_and_pushes_into_cover ... ok
[INFO] [stdout] test cover::tests::display_and_into_iter_surface ... ok
[INFO] [stdout] test cover::tests::custom_u32_labels_via_relabel ... ok
[INFO] [stdout] test cover::tests::cube_rejects_duplicate_labels ... ok
[INFO] [stdout] test cover::tests::defaults_and_symbols_clone ... ok
[INFO] [stdout] test cover::tests::extend_appends_anonymous_outputs ... ok
[INFO] [stdout] test cover::tests::expr_via_bdd_to_anonymous_output_cover_roundtrips ... ok
[INFO] [stdout] test cover::output_set::tests::set_value_of_absent_label_errors_even_when_clearing ... ok
[INFO] [stdout] test cover::tests::extend_aligns_named_inputs_anonymous_outputs ... ok
[INFO] [stdout] test cover::tests::extend_reconciles_repeated_output_collisions ... ok
[INFO] [stdout] test cover::tests::extend_renames_colliding_named_outputs ... ok
[INFO] [stdout] test cover::tests::from_cubes_labeled_unions_headers_by_name ... ok
[INFO] [stdout] test cover::tests::extend_equals_merge_for_distinct_named_outputs ... ok
[INFO] [stdout] test cover::tests::from_pla_reader_surfaces_mid_stream_io_error ... ok
[INFO] [stdout] test cover::tests::merge_overlays_colliding_named_outputs ... ok
[INFO] [stdout] test cover::tests::merge_same_headers_appends_without_widening ... ok
[INFO] [stdout] test cover::tests::minimise_empty_cover_is_ok_with_no_cubes ... ok
[INFO] [stdout] test cover::tests::from_expr_and_from_bdd_agree ... ok
[INFO] [stdout] test cover::tests::input_output_labels_work_for_non_string_labels ... ok
[INFO] [stdout] test cover::tests::merge_widening_rebuilds_by_identity ... ok
[INFO] [stdout] test cover::tests::minimise_rejects_non_orthogonal_on_off_sets ... ok
[INFO] [stdout] test cover::tests::malformed_pla_other_errors ... ok
[INFO] [stdout] test cover::tests::minterm_hash_agrees_with_eq ... ok
[INFO] [stdout] test cover::tests::minterm_hash_permutation_independent ... ok
[INFO] [stdout] test cover::tests::minterm_labeled_builds_from_pairs_and_rejects_duplicates ... ok
[INFO] [stdout] test cover::tests::output_set_labeled_builds_from_pairs_and_rejects_duplicates ... ok
[INFO] [stdout] test cover::tests::merge_overlays_anonymous_outputs_by_position ... ok
[INFO] [stdout] test cover::tests::multi_output_minimise_keeps_each_output_independent ... ok
[INFO] [stdout] test cover::tests::from_pla_file_missing_path_is_io_error ... ok
[INFO] [stdout] test cover::tests::over_vars_and_with_labels_accept_owned_iterators ... ok
[INFO] [stdout] test cover::tests::over_labels_projection_keeps_dont_care_form ... ok
[INFO] [stdout] test cover::tests::over_vars_multi_output_universal ... ok
[INFO] [stdout] test cover::tests::over_labels_matches_over_vars_on_symbol_cover ... ok
[INFO] [stdout] test cover::tests::over_vars_deduplicates_repeated_variable_name ... ok
[INFO] [stdout] test cover::tests::over_vars_projection_keeps_dont_care_form ... ok
[INFO] [stdout] test cover::tests::pla_cover_minimize_exact_preserves_variant ... ok
[INFO] [stdout] test cover::tests::pla_cube_stream_chunks_by_char_count_like_c ... ok
[INFO] [stdout] test cover::tests::pla_delimiters_match_c_positional_reading ... ok
[INFO] [stdout] test cover::tests::pla_dimension_redeclaration_is_rejected ... ok
[INFO] [stdout] test cover::tests::pla_duplicate_labels_are_rejected ... ok
[INFO] [stdout] test cover::tests::pla_cover_minimize_preserves_variant ... ok
[INFO] [stdout] test cover::tests::pla_input_field_chars_match_c ... ok
[INFO] [stdout] test cover::tests::pla_cover_variant_tracks_label_sections ... ok
[INFO] [stdout] test cover::tests::pla_label_section_redeclaration_is_rejected ... ok
[INFO] [stdout] test cover::tests::pla_writer_output_unchanged_for_dont_care_only_cover ... ok
[INFO] [stdout] test cover::tests::primes_arity_zero_constant_output ... ok
[INFO] [stdout] test cover::tests::primes_arity_zero_no_assertion_is_empty ... ok
[INFO] [stdout] test cover::tests::primes_empty_on_set_yields_no_f_cubes ... ok
[INFO] [stdout] test cover::tests::push_aligns_labeled_cubes_by_name ... ok
[INFO] [stdout] test cover::tests::primes_retains_off_set_and_cover_type ... ok
[INFO] [stdout] test cover::tests::push_rehomes_non_f_cube_through_widening ... ok
[INFO] [stdout] test cover::tests::push_widens_labeled_cover_by_new_name ... ok
[INFO] [stdout] test cover::tests::relabel_outputs_keeps_inputs ... ok
[INFO] [stdout] test cover::tests::push_widens_outputs_and_remaps_by_name ... ok
[INFO] [stdout] test cover::tests::relabel_arity_mismatch_errors ... ok
[INFO] [stdout] test cover::tests::relabel_duplicate_label_errors ... ok
[INFO] [stdout] test cover::tests::multi_output_minimise_round_trips_across_word_boundary ... ok
[INFO] [stdout] test cover::tests::symbol_from_str ... ok
[INFO] [stdout] test cover::tests::rename_gives_string_names ... ok
[INFO] [stdout] test cover::tests::symbols_new_rejects_duplicate_label ... ok
[INFO] [stdout] test cover::tests::test_add_expr_duplicate_output_error ... ok
[INFO] [stdout] test cover::tests::test_add_expr_multiple_outputs ... ok
[INFO] [stdout] test cover::tests::test_add_expr_basic ... ok
[INFO] [stdout] test cover::tests::test_add_expr_variable_ordering_preserved ... ok
[INFO] [stdout] test cover::tests::test_add_expr_variable_matching ... ok
[INFO] [stdout] test cover::tests::test_add_expr_to_different_cover_types ... ok
[INFO] [stdout] test cover::tests::test_cover_with_labels ... ok
[INFO] [stdout] test cover::tests::test_complex_expression_with_minimization ... ok
[INFO] [stdout] test cover::tests::test_cover_creation ... ok
[INFO] [stdout] test cover::tests::test_dynamic_growth_inputs_only ... ok
[INFO] [stdout] test cover::tests::test_dynamic_growth_both_dimensions ... ok
[INFO] [stdout] test cover::tests::test_empty_cover_to_expr ... ok
[INFO] [stdout] test cover::tests::test_expression_with_constants ... ok
[INFO] [stdout] test cover::tests::test_f_type_cover ... ok
[INFO] [stdout] test cover::tests::test_dynamic_growth_outputs_only ... ok
[INFO] [stdout] test cover::tests::test_fd_type_cover ... ok
[INFO] [stdout] test cover::tests::test_dynamic_growth_preserves_existing_cubes ... ok
[INFO] [stdout] test cover::tests::test_fr_type_cover ... ok
[INFO] [stdout] test cover::tests::test_from_cubes_matches_push ... ok
[INFO] [stdout] test cover::tests::test_fdr_type_cover ... ok
[INFO] [stdout] test cover::tests::test_minimize ... ok
[INFO] [stdout] test cover::tests::test_pla_roundtrip_with_expressions ... ok
[INFO] [stdout] test cover::tests::test_to_expr_basic ... ok
[INFO] [stdout] test cover::tests::test_minimize_preserves_structure ... ok
[INFO] [stdout] test cover::tests::test_to_expr_index_out_of_bounds ... ok
[INFO] [stdout] test cover::tests::test_push ... ok
[INFO] [stdout] test cover::tests::cube_expand_to_splits_unconstrained_var ... ok
[INFO] [stdout] test cover::tests::test_to_expr_by_index ... ok
[INFO] [stdout] test cover::tests::cube_labeled_builds_expected_and_matches_with_labels ... ok
[INFO] [stdout] test cover::tests::test_to_expr_nonexistent ... ok
[INFO] [stdout] test cover::tests::test_to_exprs_after_minimization ... ok
[INFO] [stdout] test cover::tests::to_exprs_works_for_any_string_input_label ... ok
[INFO] [stdout] test cover::tests::pla_cover_equality_distinguishes_variants ... ok
[INFO] [stdout] test cover::tests::try_minimize_surfaces_instance_conflict ... ok
[INFO] [stdout] test cover::tests::to_expr_and_from_pla_string_accept_owned_string ... ok
[INFO] [stdout] test cover::tests::test_to_exprs_iterator ... ok
[INFO] [stdout] test cover::tests::try_new_rejects_oversized_dimensions ... ok
[INFO] [stdout] test cover::tests::value_of_by_name_wide ... ok
[INFO] [stdout] test cover::tests::wide_minimise_crosses_word_boundary ... ok
[INFO] [stdout] test cover::tests::write_pla_surfaces_io_error ... ok
[INFO] [stdout] test espresso::error::tests::test_cube_error_invalid_value ... ok
[INFO] [stdout] test espresso::error::tests::test_cube_error_to_io_error ... ok
[INFO] [stdout] test espresso::error::tests::test_instance_error_allocation_failure_to_io_error ... ok
[INFO] [stdout] test espresso::error::tests::test_instance_error_config_mismatch ... ok
[INFO] [stdout] test espresso::error::tests::test_instance_error_dimension_mismatch ... ok
[INFO] [stdout] test espresso::error::tests::test_minimization_error_cube_to_io_error ... ok
[INFO] [stdout] test espresso::error::tests::test_minimization_error_from_allocation_failure ... ok
[INFO] [stdout] test espresso::error::tests::test_instance_error_to_io_error ... ok
[INFO] [stdout] test espresso::error::tests::test_minimization_error_from_instance_error ... ok
[INFO] [stdout] test espresso::error::tests::test_minimization_error_instance_to_io_error ... ok
[INFO] [stdout] test espresso::tests::from_cubes_rejects_invalid_value ... ok
[INFO] [stdout] test espresso::error::tests::test_instance_error_allocation_failure ... ok
[INFO] [stdout] test espresso::error::tests::test_minimization_error_from_io_error ... ok
[INFO] [stdout] test espresso::error::tests::test_minimization_error_to_io_error_preserves_io_error ... ok
[INFO] [stdout] test espresso::tests::from_cubes_rejects_length_mismatch ... ok
[INFO] [stdout] test espresso::tests::test_complex_operations_same_thread ... ok
[INFO] [stdout] test espresso::tests::test_automatic_singleton_creation ... ok
[INFO] [stdout] test espresso::tests::test_espresso_cover_not_send ... ok
[INFO] [stdout] test espresso::tests::test_coverbuilder_handles_different_dimensions ... ok
[INFO] [stdout] test espresso::tests::test_espresso_not_send ... ok
[INFO] [stdout] test espresso::tests::test_espresso_single_dimension_per_thread ... ok
[INFO] [stdout] test espresso::tests::test_explicit_drop_between_dimensions ... ok
[INFO] [stdout] test espresso::tests::test_cover_dimension_conflict_errors ... ok
[INFO] [stdout] test espresso::error::tests::test_minimization_error_from_cube_error ... ok
[INFO] [stdout] test bdd::tests::compose_across_clashing_brands_panics - should panic ... ok
[INFO] [stdout] test bdd::tests::lift_across_clashing_brands_panics - should panic ... ok
[INFO] [stdout] test espresso::tests::test_different_problem_sizes ... ok
[INFO] [stdout] test espresso::tests::test_multiple_espresso_covers_same_thread ... ok
[INFO] [stdout] test bdd::tests::owned_operator_across_clashing_brands_panics - should panic ... ok
[INFO] [stdout] test espresso::tests::test_singleton_pattern ... ok
[INFO] [stdout] test cover::minterm::tests::expand_over_panics_past_capacity_guard - should panic ... ok
[INFO] [stdout] test cover::tests::minimize_panics_on_instance_conflict - should panic ... ok
[INFO] [stdout] test espresso::tests::minimize_panics_on_non_orthogonal_cover - should panic ... ok
[INFO] [stdout] test espresso::tests::test_singleton_conflict_panics - should panic ... ok
[INFO] [stdout] test espresso::tests::test_singleton_respects_explicit_config ... ok
[INFO] [stdout] test espresso::tests::try_minimize_catches_non_orthogonal_cover ... ok
[INFO] [stdout] test espresso::tests::try_new_reports_dimension_and_config_mismatch ... ok
[INFO] [stdout] test expression::builder::tests::a_handle_may_be_reused_without_cloning ... ok
[INFO] [stdout] test espresso::tests::try_primes_returns_complete_prime_set ... ok
[INFO] [stdout] test espresso::tests::test_rapid_creation_destruction ... ok
[INFO] [stdout] test espresso::tests::test_concurrent_espresso_minimize ... ok
[INFO] [stdout] test expression::builder::tests::constant_leaves_build ... ok
[INFO] [stdout] test espresso::tests::test_memory_cleanup ... ok
[INFO] [stdout] test espresso::tests::try_minimize_recovers_after_fatal ... ok
[INFO] [stdout] test espresso::tests::try_minimize_exact_catches_non_orthogonal_cover ... ok
[INFO] [stdout] test espresso::tests::test_long_running_threads ... ok
[INFO] [stdout] test expression::error::tests::test_expression_parse_error_without_position ... ok
[INFO] [stdout] test expression::error::tests::test_expression_parse_error_to_io_error ... ok
[INFO] [stdout] test expression::factorization::tests::test_common_divisor_extraction ... ok
[INFO] [stdout] test expression::error::tests::parse_bool_expr_error_is_clone_and_structural_eq ... ok
[INFO] [stdout] test expression::error::tests::test_parse_bool_expr_error ... ok
[INFO] [stdout] test expression::factorization::tests::test_no_factorisation_needed ... ok
[INFO] [stdout] test expression::factorization::tests::test_simple_factorisation ... ok
[INFO] [stdout] test expression::manager::tests::both_cells_agree ... ok
[INFO] [stdout] test expression::manager::tests::compose_cache_reuses_nodes ... ok
[INFO] [stdout] test expression::builder::tests::build_is_token_identical_to_operator_composition ... ok
[INFO] [stdout] test expression::error::tests::test_parse_bool_expr_error_to_io_error ... ok
[INFO] [stdout] test expression::manager::tests::compose_map_hoist_stays_canonical ... ok
[INFO] [stdout] test expression::manager::tests::compose_substitutes_on_local_cell ... ok
[INFO] [stdout] test expression::manager::tests::engine_runs_on_local_cell ... ok
[INFO] [stdout] test espresso::tests::test_config_isolation ... ok
[INFO] [stdout] test expression::builder::tests::graft_splices_an_existing_expression_verbatim ... ok
[INFO] [stdout] test expression::manager::tests::restrict_cofactors_on_local_cell ... ok
[INFO] [stdout] test expression::tests::bdd_build_canonicalises_commutativity ... ok
[INFO] [stdout] test expression::builder::tests::built_expression_is_equivalent_to_operator_form_as_a_bdd ... ok
[INFO] [stdout] test expression::tests::clone_is_structural_equal ... ok
[INFO] [stdout] test expression::tests::default_is_constant_false ... ok
[INFO] [stdout] test expression::tests::bdd_build_matches_parse ... ok
[INFO] [stdout] test expression::tests::display_reparses_to_equivalent ... ok
[INFO] [stdout] test espresso::tests::test_stress_concurrent_operations ... ok
[INFO] [stdout] test expression::tests::equality_is_syntactic ... ok
[INFO] [stdout] test expression::tests::display_round_trips_right_nested_associative ... ok
[INFO] [stdout] test expression::tests::display_uses_canonical_spellings_minimal_parens ... ok
[INFO] [stdout] test expression::error::tests::test_expression_parse_error_with_position ... ok
[INFO] [stdout] test expression::tests::hash_agrees_with_eq ... ok
[INFO] [stdout] test expression::tests::from_str_works ... ok
[INFO] [stdout] test expression::tests::fold_walks_the_token_structure_including_xor ... ok
[INFO] [stdout] test expression::tests::graft_accepts_postfix_expressions ... ok
[INFO] [stdout] test expression::tests::operator_ref_and_value_forms_agree ... ok
[INFO] [stdout] test expression::tests::operators_build_the_expected_functions ... ok
[INFO] [stdout] test expression::factorization::tests::test_factor_literal ... ok
[INFO] [stdout] test expression::tests::operators_match_named_methods ... ok
[INFO] [stdout] test expression::tests::to_expr_round_trips_semantically ... ok
[INFO] [stdout] test expression::tests::parse_respects_precedence ... ok
[INFO] [stdout] test espresso::tests::test_thread_local_cube_structure_isolation ... ok
[INFO] [stdout] test expression::tests::var_accepts_any_as_ref_str ... ok
[INFO] [stdout] test expression::tests::parse_round_trips_semantically ... ok
[INFO] [stdout] test expression::tests::sync_context_build_works ... ok
[INFO] [stdout] test symbol::tests::compares_against_str_in_both_directions ... ok
[INFO] [stdout] test expression::tests::variables_are_syntactic ... ok
[INFO] [stdout] test expression::tests::var_and_constant_construct ... ok
[INFO] [stdout] test symbol::tests::from_accepts_common_string_types ... ok
[INFO] [stdout] test expression::tests::parse_star_plus_equals_amp_pipe ... ok
[INFO] [stdout] test symbol::tests::is_send_and_sync ... ok
[INFO] [stdout] test symbol::tests::long_names_are_deduplicated ... ok
[INFO] [stdout] test symbol::tests::new_accepts_any_str_type_without_privilege ... ok
[INFO] [stdout] test symbol::tests::concurrent_distinct_intern_and_drop ... ok
[INFO] [stdout] test symbol::tests::from_arc_preserves_interning ... ok
[INFO] [stdout] test symbol::tests::inline_threshold ... ok
[INFO] [stdout] test cover::tests::large_cover_builds_and_drops ... ok
[INFO] [stdout] test symbol::tests::ord_hash_borrow_match_str ... ok
[INFO] [stdout] test symbol::tests::size_is_compact ... ok
[INFO] [stdout] test sys::bindgen_test_layout_cdata_struct ... ok
[INFO] [stdout] test sys::bindgen_test_layout_cube_struct ... ok
[INFO] [stdout] test sys::bindgen_test_layout_set_family ... ok
[INFO] [stdout] test symbol::tests::pool_prunes_on_drop ... ok
[INFO] [stdout] test symbol::tests::roundtrip_inline_and_heap ... ok
[INFO] [stdout] test expression::tests::macro_and_parser_agree ... ok
[INFO] [stdout] test expression::factorization::tests::test_complex_factorisation ... ok
[INFO] [stdout] test expression::factorization::tests::test_factorisation_equivalence ... ok
[INFO] [stdout] test symbol::tests::from_arc_splits_inline_heap_by_bytes_not_chars ... ok
[INFO] [stdout] test symbol::tests::concurrent_interning_shares_one_arc ... ok
[INFO] [stdout] test expression::builder::tests::deep_build_does_not_overflow_and_stays_linear ... ok
[INFO] [stdout] test expression::manager::tests::deep_chain_on_local_cell ... ok
[INFO] [stdout] test expression::manager::tests::restrict_deep_chain_no_overflow ... ok
[INFO] [stdout] test expression::manager::tests::compose_deep_chain_no_overflow ... ok
[INFO] [stdout] test bdd::tests::compose_deep_chain_no_overflow ... ok
[INFO] [stdout] test bdd::tests::forall_over_deep_chain_no_overflow ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 444 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 18.54s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_boolean_expressions.rs (/opt/rustwide/target/debug/deps/test_boolean_expressions-5bc0339e860950fb)
[INFO] [stdout] 
[INFO] [stdout] running 33 tests
[INFO] [stdout] test test_cover_empty_to_expr ... ok
[INFO] [stdout] test test_cover_error_duplicate_output ... ok
[INFO] [stdout] test test_composition_with_cover_integration ... ok
[INFO] [stdout] test test_cube_iteration ... ok
[INFO] [stdout] test test_de_morgan_laws ... ok
[INFO] [stdout] test test_cover_trait_basics ... ok
[INFO] [stdout] test test_complex_minimize_real_world ... ok
[INFO] [stdout] test test_cover_error_nonexistent_output ... ok
[INFO] [stdout] test test_composition_nested_sub_expressions ... ok
[INFO] [stdout] test test_minimization ... ok
[INFO] [stdout] test test_minimize_adjacent_minterms ... ok
[INFO] [stdout] test test_minimize_idempotence ... ok
[INFO] [stdout] test test_minimize_distributive ... ok
[INFO] [stdout] test test_parser_error_empty_string ... ok
[INFO] [stdout] test test_nested_parentheses_operators ... ok
[INFO] [stdout] test test_complex_parentheses ... ok
[INFO] [stdout] test test_parser_error_position_unrecognized_token ... ok
[INFO] [stdout] test test_parser_error_position_unrecognized_eof ... ok
[INFO] [stdout] test test_parser_error_invalid_syntax ... ok
[INFO] [stdout] test test_cover_error_output_index_out_of_bounds ... ok
[INFO] [stdout] test test_parser_error_position_is_byte_offset_not_char_count ... ok
[INFO] [stdout] test test_minimize_absorption ... ok
[INFO] [stdout] test test_xnor_expression ... ok
[INFO] [stdout] test test_minimize_consensus ... ok
[INFO] [stdout] test test_xor_expression ... ok
[INFO] [stdout] test test_parentheses_precedence ... ok
[INFO] [stdout] test test_parser_error_missing_operand ... ok
[INFO] [stdout] test test_parentheses_with_negation ... ok
[INFO] [stdout] test test_parser_error_unbalanced_parentheses ... ok
[INFO] [stdout] test test_parser_error_missing_operator ... ok
[INFO] [stdout] test test_nested_parentheses_minimize ... ok
[INFO] [stdout] test test_parser_error_position_invalid_token ... ok
[INFO] [stdout] test test_to_pla_string ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 33 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.11s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_cli.rs (/opt/rustwide/target/debug/deps/test_cli-8a3f4fbda638f26d)
[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/test_expr_macro.rs (/opt/rustwide/target/debug/deps/test_expr_macro-930c0f1b55fc9f81)
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test both_operator_spellings_agree ... ok
[INFO] [stdout] test integer_literals_are_constants ... ok
[INFO] [stdout] test macro_call_operands_graft ... ok
[INFO] [stdout] test macro_and_operator_forms_are_equivalent_as_bdds ... ok
[INFO] [stdout] test not_of_reference ... ok
[INFO] [stdout] test or_binds_looser_than_xor ... ok
[INFO] [stdout] test parentheses_override_precedence ... ok
[INFO] [stdout] test string_literals_are_fresh_variables ... ok
[INFO] [stdout] test unspaced_double_ampersand_prefix_and_infix ... ok
[INFO] [stdout] test reference_operands_graft ... ok
[INFO] [stdout] test xor_binds_looser_than_and ... ok
[INFO] [stdout] test hygiene_does_not_capture_a_user_ident_named_like_the_builder ... ok
[INFO] [stdout] test identifiers_graft_existing_expressions ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_integration.rs (/opt/rustwide/target/debug/deps/test_integration-8a65ed4827258a73)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test test_create_cover_from_pla ... ok
[INFO] [stdout] test test_pla_roundtrip_empty_literal ... ok
[INFO] [stdout] test test_pla_from_file ... ok
[INFO] [stdout] test test_pla_roundtrip ... 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/test_memory_safety.rs (/opt/rustwide/target/debug/deps/test_memory_safety-3b9b6075faea9912)
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test test_clone_independence_no_double_free ... ok
[INFO] [stdout] test test_dimension_changes_no_leak ... ignored, RSS-based leak check is macOS-only; use valgrind/heaptrack on Linux
[INFO] [stdout] test test_cover_keeps_espresso_alive ... ok
[INFO] [stdout] test test_large_cover_allocations ... ignored, RSS-based leak check is macOS-only; use valgrind/heaptrack on Linux
[INFO] [stdout] test test_memory_usage_stability ... ignored, RSS-based leak check is macOS-only; use valgrind/heaptrack on Linux
[INFO] [stdout] test test_into_raw_ownership_transfer ... ok
[INFO] [stdout] test test_repeated_operations_amplify_leaks ... ignored, RSS-based leak check is macOS-only; use valgrind/heaptrack on Linux
[INFO] [stdout] test test_minimize_with_explicit_covers ... ok
[INFO] [stdout] test test_multithreaded_memory_isolation ... ok
[INFO] [stdout] test test_coverbuilder_memory_management ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 4 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_thread_safety.rs (/opt/rustwide/target/debug/deps/test_thread_safety-52f33e744f723fd7)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test test_basic_thread_safety ... ok
[INFO] [stdout] test test_consistent_results ... ok
[INFO] [stdout] test test_multiple_sizes ... ok
[INFO] [stdout] test test_concurrent_execution ... ok
[INFO] [stdout] test concurrent_symbol_covers ... ok
[INFO] [stdout] test test_different_sizes_in_different_threads ... ok
[INFO] [stdout] test test_stress_concurrent ... ok
[INFO] [stderr]    Doc-tests espresso_logic
[INFO] [stdout] test concurrent_shared_manager_building_stays_canonical ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.15s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 205 tests
[INFO] [stdout] test src/bdd/scope.rs - bdd::scope::Scope<'s,B,C>::lift (line 263) - compile fail ... ok
[INFO] [stdout] test src/bdd/scope.rs - bdd::scope::ScopedBdd (line 39) - compile fail ... ok
[INFO] [stdout] test src/bdd/handle.rs - bdd::handle::Bdd (line 54) - compile fail ... ok
[INFO] [stdout] test src/bdd/brand.rs - bdd::brand::Brand (line 23) - compile fail ... ok
[INFO] [stdout] test src/bdd/scope.rs - bdd::scope::ScopedBdd (line 54) - compile fail ... ok
[INFO] [stdout] test src/bdd/builder.rs - bdd::builder::BddBuilder<B,C>::scope (line 171) ... ok
[INFO] [stdout] test src/cover/cubes.rs - cover::cubes::Cube<I,O>::with_labels (line 327) ... ok
[INFO] [stdout] test src/cover/conversions.rs - cover::conversions::Cover<Symbol,Anonymous> (line 62) ... ok
[INFO] [stdout] test src/cover/cubes.rs - cover::cubes::Cube<I,O>::new (line 114) ... ok
[INFO] [stdout] test src/cover/cubes.rs - cover::cubes::Cube<I,O>::new (line 129) ... ok
[INFO] [stdout] test src/cover/conversions.rs - cover::conversions::Cover<Symbol,Anonymous> (line 111) ... ok
[INFO] [stdout] test src/bdd/handle.rs - bdd::handle::Bdd<B,C>::builder (line 109) ... ok
[INFO] [stdout] test src/cover/cubes.rs - cover::cubes::Cube<I,O>::labeled (line 269) ... ok
[INFO] [stdout] test src/bdd/handle.rs - bdd::handle::Bdd<B,C>::compose (line 275) ... ok
[INFO] [stdout] test src/cover/expressions.rs - cover::expressions::Cover<I,O>::to_expr (line 234) ... ok
[INFO] [stdout] test src/cover/cubes.rs - cover::cubes::Cube<Anonymous,Anonymous>::anonymous (line 223) ... ok
[INFO] [stdout] test src/cover/conversions.rs - cover::conversions::Cover<Symbol,Anonymous> (line 95) ... ok
[INFO] [stdout] test src/cover/minterm.rs - cover::minterm::Minterm<L> (line 1529) ... ok
[INFO] [stdout] test src/cover/minterm.rs - cover::minterm::Minterm<Anonymous>::anonymous (line 704) ... ok
[INFO] [stdout] test src/cover/expressions.rs - cover::expressions::Cover<Symbol,Symbol>::add_expr (line 129) ... ok
[INFO] [stdout] test src/bdd/handle.rs - bdd::handle::Bdd<B,C>::compose_map (line 305) ... ok
[INFO] [stdout] test src/cover/minimisation.rs - cover::minimisation::Minimizable (line 37) ... ok
[INFO] [stdout] test src/cover/minterm.rs - cover::minterm::Minterm<Anonymous>::project_to_arity (line 728) ... ok
[INFO] [stdout] test src/cover/minterm.rs - cover::minterm::Minterm<L>::hamming_distance (line 1194) ... ok
[INFO] [stdout] test src/cover/minimisation.rs - cover::minimisation::Cover<I,O>::primes (line 470) ... ok
[INFO] [stdout] test src/cover/minterm.rs - cover::minterm::Minterm<L>::field_at (line 502) ... ok
[INFO] [stdout] test src/cover/minimisation.rs - cover::minimisation::Minimizable (line 24) ... ok
[INFO] [stdout] test src/cover/minterm.rs - cover::minterm::Minterm<L>::field_of (line 913) ... ok
[INFO] [stdout] test src/cover/cubes.rs - cover::cubes::Cube<I,O>::expand_to (line 190) ... ok
[INFO] [stdout] test src/cover/minimisation.rs - cover::minimisation::Minimizable (line 84) ... ok
[INFO] [stdout] test src/cover/minterm.rs - cover::minterm::Minterm<L>::fields (line 534) ... ok
[INFO] [stdout] test src/cover/minterm.rs - cover::minterm::Minterm<L>::and (line 1696) ... ok
[INFO] [stdout] test src/cover/minterm.rs - cover::minterm::Minterm<L>::labeled (line 775) ... ok
[INFO] [stdout] test src/cover/minterm.rs - cover::minterm::Minterm<L>::disagreement (line 1229) ... ok
[INFO] [stdout] test src/cover/expressions.rs - cover::expressions::Cover<I,O>::to_exprs (line 204) ... ok
[INFO] [stdout] test src/cover/expressions.rs - cover::expressions::Cover<I,O>::to_expr_by_index (line 168) ... ok
[INFO] [stdout] test src/cover/minterm.rs - cover::minterm::Minterm<L>::is_subset_of (line 1075) ... ok
[INFO] [stdout] test src/cover/minterm.rs - cover::minterm::Minterm<L>::is_superset_of (line 1116) ... ok
[INFO] [stdout] test src/cover/minterm.rs - cover::minterm::Minterm<L>::is_disjoint_with (line 1139) ... ok
[INFO] [stdout] test src/cover/minterm.rs - cover::minterm::Minterm<L>::set_field_at (line 602) ... ok
[INFO] [stdout] test src/cover/minterm.rs - cover::minterm::Minterm<L>::not (line 1808) ... ok
[INFO] [stdout] test src/cover/minterm.rs - cover::minterm::Minterm<L>::set_field_of (line 947) ... ok
[INFO] [stdout] test src/cover/minterm.rs - cover::minterm::Minterm<L>::with_labels (line 804) ... ok
[INFO] [stdout] test src/cover/minterm.rs - cover::minterm::Minterm<L>::or (line 1735) ... ok
[INFO] [stdout] test src/cover/minterm.rs - cover::minterm::Minterm<L>::project_to (line 836) ... ok
[INFO] [stdout] test src/cover/minterm.rs - cover::minterm::Minterm<L>::set_value_at (line 564) ... ok
[INFO] [stdout] test src/cover/minterm.rs - cover::minterm::Minterm<L>::project_to_labels (line 1032) ... ok
[INFO] [stdout] test src/cover/mod.rs - cover::Cover<I,O>::labeled (line 411) ... ok
[INFO] [stdout] test src/cover/output_set.rs - cover::output_set::OutputSet (line 61) ... ok
[INFO] [stdout] test src/cover/minterm.rs - cover::minterm::Minterm<L>::xor (line 1774) ... ok
[INFO] [stdout] test src/cover/mod.rs - cover::Cover<I,O>::with_labels (line 359) ... ok
[INFO] [stdout] test src/cover/mod.rs - cover::Cover (line 269) ... ok
[INFO] [stdout] test src/cover/minterm.rs - cover::minterm::Minterm<L>::set_value_of (line 884) ... ok
[INFO] [stdout] test src/cover/output_set.rs - cover::output_set::OutputSet<Anonymous>::anonymous (line 364) ... ok
[INFO] [stdout] test src/cover/output_set.rs - cover::output_set::OutputSet<O>::and (line 620) ... ok
[INFO] [stdout] test src/cover/mod.rs - cover::Cover<I,O>::rename (line 953) ... ok
[INFO] [stdout] test src/cover/output_set.rs - cover::output_set::OutputSet<O>::labeled (line 413) ... ok
[INFO] [stdout] test src/cover/output_set.rs - cover::output_set::OutputSet<O>::not (line 542) ... ok
[INFO] [stdout] test src/cover/mod.rs - cover::Cover<I,O>::push (line 1206) ... ok
[INFO] [stdout] test src/cover/mod.rs - cover::Cover<I,O>::relabel (line 846) ... ok
[INFO] [stdout] test src/cover/output_set.rs - cover::output_set::OutputSet<O>::or (line 645) ... ok
[INFO] [stdout] test src/cover/mod.rs - cover::Cover<I,O>::cubes (line 1097) ... ok
[INFO] [stdout] test src/cover/mod.rs - cover::Cover (line 254) ... ok
[INFO] [stdout] test src/cover/output_set.rs - cover::output_set::OutputSet<O>::with_labels (line 446) ... ok
[INFO] [stdout] test src/cover/pla/mod.rs - cover::pla (line 325) - compile ... ok
[INFO] [stdout] test src/cover/mod.rs - cover::Cover<I,O>::over_labels (line 635) ... ok
[INFO] [stdout] test src/cover/mod.rs - cover (line 77) ... ok
[INFO] [stdout] test src/cover/output_set.rs - cover::output_set::OutputSet<O>::set_value_of (line 503) ... ok
[INFO] [stdout] test src/cover/mod.rs - cover::Cover (line 285) ... ok
[INFO] [stdout] test src/cover/output_set.rs - cover::output_set::OutputSet<O>::set_value_at (line 131) ... ok
[INFO] [stdout] test src/cover/mod.rs - cover::Cover<I,O>::from_cubes (line 1149) ... ok
[INFO] [stdout] test src/cover/mod.rs - cover (line 60) ... ok
[INFO] [stdout] test src/cover/output_set.rs - cover::output_set::OutputSet<O>::xor (line 670) ... ok
[INFO] [stdout] test src/cover/output_set.rs - cover::output_set::OutputSet<O>::value_of (line 471) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso (line 107) ... ok
[INFO] [stdout] test src/cover/pla/mod.rs - cover::pla::PlaCover<S>::from_pla_string (line 735) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso (line 198) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso (line 274) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso (line 165) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso (line 299) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso (line 51) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso (line 70) ... ok
[INFO] [stdout] test src/cover/pla/mod.rs - cover::pla (line 289) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso (line 349) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso (line 321) ... ok
[INFO] [stdout] test src/cover/pla/mod.rs - cover::pla (line 24) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::Espresso (line 1274) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::Espresso::current (line 1610) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::Espresso::minimize (line 1708) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::Espresso::minimize (line 1725) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::Espresso::primes (line 1827) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::Espresso::minimize (line 1676) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::Espresso::minimize_exact (line 1955) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::Espresso::try_minimize (line 1785) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::Espresso::new (line 1376) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso (line 145) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::Espresso::try_new (line 1439) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::Espresso::try_minimize_exact (line 2000) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso (line 87) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::Espresso::try_primes (line 1860) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::EspressoConfig (line 3209) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::EspressoConfig (line 3241) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::EspressoConfig (line 3231) ... ok
[INFO] [stdout] test src/cover/pla/mod.rs - cover::pla (line 305) ... FAILED
[INFO] [stdout] test src/espresso/mod.rs - espresso::Espresso::new (line 1390) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::EspressoCover::from_cubes (line 688) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::EspressoConfig (line 3253) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::EspressoConfig (line 3264) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::EspressoCover::minimize (line 1045) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::EspressoCover::minimize_exact (line 1132) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::EspressoCover::from_cubes (line 704) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::EspressoCover (line 431) ... ok
[INFO] [stdout] test src/expression/builder.rs - expression::builder::Expr (line 97) - compile fail ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::EspressoCover::minimize (line 1025) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::EspressoCover::from_cubes (line 672) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::EspressoCover::try_minimize (line 1087) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::EspressoCover::try_minimize_exact (line 1175) ... ok
[INFO] [stdout] test src/expression/ast.rs - expression::ast::BoolExpr::fold (line 136) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::EspressoConfig (line 3188) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::EspressoCover::to_cubes (line 950) ... ok
[INFO] [stdout] test src/expression/ast.rs - expression::ast::BoolExpr::fold_with_context (line 211) ... ok
[INFO] [stdout] test src/expression/display.rs - expression::display::BoolExpr (line 111) ... ok
[INFO] [stdout] test src/expression/ast.rs - expression::ast::BoolExpr::fold_with_context (line 187) ... ok
[INFO] [stdout] test src/lib.rs - (line 101) ... ok
[INFO] [stdout] test src/expression/builder.rs - expression::builder::BoolExpr::build (line 190) ... ok
[INFO] [stdout] test src/lib.rs - (line 116) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression::BoolExpr (line 69) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 23) ... ok
[INFO] [stdout] test src/lib.rs - (line 263) ... ok
[INFO] [stdout] test src/expression/display.rs - expression::display::BoolExpr (line 128) ... ok
[INFO] [stdout] test src/lib.rs - (line 299) ... ok
[INFO] [stdout] test src/lib.rs - (line 328) ... ok
[INFO] [stdout] test src/lib.rs - (line 144) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1009) ... ok
[INFO] [stdout] test src/lib.rs - (line 87) ... ok
[INFO] [stdout] test src/lib.rs - (line 239) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1084) ... ok
[INFO] [stdout] test src/lib.rs - (line 75) ... ok
[INFO] [stdout] test src/lib.rs - bdd_builder (line 506) ... ok
[INFO] [stdout] test src/lib.rs - (line 172) ... ok
[INFO] [stdout] test src/lib.rs - (line 198) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1032) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1209) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 600) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1053) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1229) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1098) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1246) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1193) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 652) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1258) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 633) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1162) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 618) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1178) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1141) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 689) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 670) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 739) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 805) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 789) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 711) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 764) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 839) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 866) ... ok
[INFO] [stdout] test src/lib.rs - doc::cli (line 735) - compile ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1115) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 941) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 879) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 906) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 895) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 1055) - compile ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 959) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 824) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 997) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 1037) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 928) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 628) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 644) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 702) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 979) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 684) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 908) - compile ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 592) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 945) - compile ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 608) ... ok
[INFO] [stdout] test src/lib.rs - expr (line 437) - compile fail ... ok
[INFO] [stdout] test src/lib.rs - doc::pla_format (line 855) - compile ... ok
[INFO] [stdout] test src/lib.rs - expr (line 442) - compile fail ... ok
[INFO] [stdout] test src/lib.rs - expr (line 450) - compile fail ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 1011) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 990) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 662) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 724) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 775) ... ok
[INFO] [stdout] test src/lib.rs - expr (line 416) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 970) ... ok
[INFO] [stdout] test src/lib.rs - sync_bdd_builder (line 535) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 793) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 745) ... ok
[INFO] [stdout] test src/lib.rs - doc::pla_format (line 819) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 838) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 861) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 813) ... ok
[INFO] [stderr] error: doctest failed, to rerun pass `--doc`
[INFO] [stdout] test src/lib.rs - doc::pla_format (line 835) ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- src/cover/pla/mod.rs - cover::pla (line 305) stdout ----
[INFO] [stdout] Test executable failed (exit status: 1).
[INFO] [stdout] 
[INFO] [stdout] stderr:
[INFO] [stdout] Error: Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] ---- src/lib.rs - doc::pla_format (line 835) stdout ----
[INFO] [stdout] Test executable failed (exit status: 1).
[INFO] [stdout] 
[INFO] [stdout] stderr:
[INFO] [stdout] Error: Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     src/cover/pla/mod.rs - cover::pla (line 305)
[INFO] [stdout]     src/lib.rs - doc::pla_format (line 835)
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 203 passed; 2 failed; 0 ignored; 0 measured; 0 filtered out; finished in 19.09s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "6089ee5bed86cc031b7a771aab5119f62579b3ece199c3842e277c813306d1e9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6089ee5bed86cc031b7a771aab5119f62579b3ece199c3842e277c813306d1e9", kill_on_drop: false }`
[INFO] [stdout] 6089ee5bed86cc031b7a771aab5119f62579b3ece199c3842e277c813306d1e9
