[INFO] fetching crate espresso-logic 3.1.2...
[INFO] testing espresso-logic-3.1.2 against try#db823df02fd0c2cf67b43025ac3fef3f2d743245 for pr-150681
[INFO] extracting crate espresso-logic 3.1.2 into /workspace/builds/worker-0-tc2/source
[INFO] started tweaking crates.io crate espresso-logic 3.1.2
[INFO] removed 0 missing examples
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate espresso-logic 3.1.2
[INFO] tweaked toml for crates.io crate espresso-logic 3.1.2 written to /workspace/builds/worker-0-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate espresso-logic 3.1.2 on toolchain db823df02fd0c2cf67b43025ac3fef3f2d743245
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+db823df02fd0c2cf67b43025ac3fef3f2d743245" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate espresso-logic 3.1.2 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" "+db823df02fd0c2cf67b43025ac3fef3f2d743245" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+db823df02fd0c2cf67b43025ac3fef3f2d743245" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 6063aa79e7c972fb11d61828e06042b066848b9b0716e921628890f6404f244e
[INFO] running `Command { std: "docker" "start" "-a" "6063aa79e7c972fb11d61828e06042b066848b9b0716e921628890f6404f244e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "6063aa79e7c972fb11d61828e06042b066848b9b0716e921628890f6404f244e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6063aa79e7c972fb11d61828e06042b066848b9b0716e921628890f6404f244e", kill_on_drop: false }`
[INFO] [stdout] 6063aa79e7c972fb11d61828e06042b066848b9b0716e921628890f6404f244e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=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:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+db823df02fd0c2cf67b43025ac3fef3f2d743245" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 2b82e7993160ec0872f02ddedc9aa479cee354a243118ec1b1d67b3ec915d6bc
[INFO] running `Command { std: "docker" "start" "-a" "2b82e7993160ec0872f02ddedc9aa479cee354a243118ec1b1d67b3ec915d6bc", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.177
[INFO] [stderr]    Compiling cfg-if v1.0.4
[INFO] [stderr]    Compiling regex-syntax v0.8.8
[INFO] [stderr]    Compiling quote v1.0.41
[INFO] [stderr]    Compiling glob v0.3.3
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling rustix v0.38.44
[INFO] [stderr]    Compiling scopeguard v1.2.0
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling crunchy v0.2.4
[INFO] [stderr]    Compiling hashbrown v0.16.0
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling equivalent v1.0.2
[INFO] [stderr]    Compiling linux-raw-sys v0.4.15
[INFO] [stderr]    Compiling bitflags v2.10.0
[INFO] [stderr]    Compiling siphasher v1.0.1
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling log v0.4.28
[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 phf_shared v0.11.3
[INFO] [stderr]    Compiling bit-vec v0.6.3
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.6
[INFO] [stderr]    Compiling fixedbitset v0.4.2
[INFO] [stderr]    Compiling bindgen v0.69.5
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]    Compiling home v0.5.12
[INFO] [stderr]    Compiling ena v0.14.3
[INFO] [stderr]    Compiling walkdir v2.5.0
[INFO] [stderr]    Compiling itertools v0.11.0
[INFO] [stderr]    Compiling itertools v0.12.1
[INFO] [stderr]    Compiling find-msvc-tools v0.1.4
[INFO] [stderr]    Compiling lazycell v1.3.0
[INFO] [stderr]    Compiling bit-set v0.5.3
[INFO] [stderr]    Compiling unicode-xid v0.2.6
[INFO] [stderr]    Compiling lazy_static v1.5.0
[INFO] [stderr]    Compiling clang-sys v1.8.1
[INFO] [stderr]    Compiling syn v2.0.108
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling pico-args v0.5.0
[INFO] [stderr]    Compiling cc v1.2.44
[INFO] [stderr]    Compiling indexmap v2.12.0
[INFO] [stderr]    Compiling dirs-sys-next v0.1.2
[INFO] [stderr]    Compiling dirs-next v2.0.0
[INFO] [stderr]    Compiling term v0.7.0
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling string_cache v0.8.9
[INFO] [stderr]    Compiling ascii-canvas v3.0.0
[INFO] [stderr]    Compiling petgraph v0.6.5
[INFO] [stderr]    Compiling regex-automata v0.4.13
[INFO] [stderr]    Compiling which v4.4.2
[INFO] [stderr]    Compiling cexpr v0.6.0
[INFO] [stderr]    Compiling prettyplease v0.2.37
[INFO] [stderr]    Compiling lalrpop-util v0.20.2
[INFO] [stderr]    Compiling espresso-logic-macros v3.1.0
[INFO] [stderr]    Compiling regex v1.12.2
[INFO] [stderr]    Compiling lalrpop v0.20.2
[INFO] [stderr]    Compiling espresso-logic v3.1.2 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 48.79s
[INFO] running `Command { std: "docker" "inspect" "2b82e7993160ec0872f02ddedc9aa479cee354a243118ec1b1d67b3ec915d6bc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2b82e7993160ec0872f02ddedc9aa479cee354a243118ec1b1d67b3ec915d6bc", kill_on_drop: false }`
[INFO] [stdout] 2b82e7993160ec0872f02ddedc9aa479cee354a243118ec1b1d67b3ec915d6bc
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=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:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+db823df02fd0c2cf67b43025ac3fef3f2d743245" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f54e2131211c0a61c1615c796a361912c0407882a321b0fe70c714c59f6e1baa
[INFO] running `Command { std: "docker" "start" "-a" "f54e2131211c0a61c1615c796a361912c0407882a321b0fe70c714c59f6e1baa", kill_on_drop: false }`
[INFO] [stderr]    Compiling zerocopy v0.8.27
[INFO] [stderr]    Compiling regex-automata v0.4.13
[INFO] [stderr]    Compiling dirs-next v2.0.0
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling rustix v0.38.44
[INFO] [stderr]    Compiling zerocopy-derive v0.8.27
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling clang-sys v1.8.1
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling serde_json v1.0.145
[INFO] [stderr]    Compiling plotters-backend v0.3.7
[INFO] [stderr]    Compiling ciborium-io v0.2.2
[INFO] [stderr]    Compiling rayon-core v1.13.0
[INFO] [stderr]    Compiling clap_builder v4.5.51
[INFO] [stderr]    Compiling cast v0.3.0
[INFO] [stderr]    Compiling term v0.7.0
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling is-terminal v0.4.17
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling anes v0.1.6
[INFO] [stderr]    Compiling oorandom v11.1.5
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling ascii-canvas v3.0.0
[INFO] [stderr]    Compiling plotters-svg v0.3.7
[INFO] [stderr]    Compiling string_cache v0.8.9
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling tempfile v3.23.0
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling clap v4.5.51
[INFO] [stderr]    Compiling which v4.4.2
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling criterion-plot v0.5.0
[INFO] [stderr]    Compiling regex v1.12.2
[INFO] [stderr]    Compiling lalrpop-util v0.20.2
[INFO] [stderr]    Compiling lalrpop v0.20.2
[INFO] [stderr]    Compiling bindgen v0.69.5
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling criterion v0.5.1
[INFO] [stderr]    Compiling espresso-logic v3.1.2 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 50.09s
[INFO] running `Command { std: "docker" "inspect" "f54e2131211c0a61c1615c796a361912c0407882a321b0fe70c714c59f6e1baa", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f54e2131211c0a61c1615c796a361912c0407882a321b0fe70c714c59f6e1baa", kill_on_drop: false }`
[INFO] [stdout] f54e2131211c0a61c1615c796a361912c0407882a321b0fe70c714c59f6e1baa
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=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:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+db823df02fd0c2cf67b43025ac3fef3f2d743245" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] cbf055bf14dce5639a6b1769ae5c15d3b7da306aed12f17f23bc4683399b6da9
[INFO] running `Command { std: "docker" "start" "-a" "cbf055bf14dce5639a6b1769ae5c15d3b7da306aed12f17f23bc4683399b6da9", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.46s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/espresso_logic-75e0fbd8f8fb7977)
[INFO] [stdout] 
[INFO] [stdout] running 170 tests
[INFO] [stdout] test cover::dnf::tests::test_dnf_creation ... ok
[INFO] [stdout] test cover::dnf::tests::test_dnf_to_bool_expr_or ... ok
[INFO] [stdout] test cover::dnf::tests::test_dnf_from_bool_expr ... ok
[INFO] [stdout] test cover::dnf::tests::test_dnf_to_bool_expr ... ok
[INFO] [stdout] test cover::error::tests::test_add_expr_error_from_cover_error ... 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_to_io_error ... ok
[INFO] [stdout] test cover::dnf::tests::test_tautology_dnf ... ok
[INFO] [stdout] test cover::dnf::tests::test_empty_dnf ... ok
[INFO] [stdout] test cover::error::tests::test_cover_error_output_not_found ... ok
[INFO] [stdout] test cover::error::tests::test_to_expr_error_to_io_error ... 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_invalid_input_character ... 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::dnf::tests::test_roundtrip_bool_expr ... ok
[INFO] [stdout] test cover::error::tests::test_add_expr_error_to_io_error ... ok
[INFO] [stdout] test cover::pla::error::tests::test_pla_write_error_to_io_error ... ok
[INFO] [stdout] test cover::tests::test_add_cube ... ok
[INFO] [stdout] test cover::pla::error::tests::test_pla_read_error_to_io_error_preserves_io_error ... ok
[INFO] [stdout] test cover::error::tests::test_to_expr_error_from_cover_error ... ok
[INFO] [stdout] test cover::tests::test_add_expr_basic ... ok
[INFO] [stdout] test cover::tests::test_add_cubes_then_expressions ... ok
[INFO] [stdout] test cover::dnf::tests::test_dnf_from_bdd ... ok
[INFO] [stdout] test cover::tests::test_add_expr_multiple_outputs ... ok
[INFO] [stdout] test cover::tests::test_add_expr_duplicate_output_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_read_error_pla_to_io_error ... ok
[INFO] [stdout] test cover::tests::test_add_expr_variable_ordering_preserved ... ok
[INFO] [stdout] test cover::tests::test_add_expressions_then_cubes ... ok
[INFO] [stdout] test cover::tests::test_auto_generated_output_labels ... ok
[INFO] [stdout] test cover::tests::test_add_expr_to_different_cover_types ... ok
[INFO] [stdout] test cover::tests::test_cover_creation ... ok
[INFO] [stdout] test cover::tests::test_cover_with_labels ... ok
[INFO] [stdout] test cover::tests::test_dynamic_growth_both_dimensions ... ok
[INFO] [stdout] test cover::tests::test_dynamic_growth ... ok
[INFO] [stdout] test cover::tests::test_add_expr_with_existing_cubes ... ok
[INFO] [stdout] test cover::pla::error::tests::test_pla_write_error_from_io_error ... ok
[INFO] [stdout] test cover::tests::test_add_expr_variable_matching ... ok
[INFO] [stdout] test cover::tests::test_dynamic_growth_inputs_only ... ok
[INFO] [stdout] test cover::tests::test_complex_expression_with_minimization ... ok
[INFO] [stdout] test cover::dnf::tests::test_roundtrip_bool_expr_and ... ok
[INFO] [stdout] test cover::tests::test_auto_generated_input_labels ... ok
[INFO] [stdout] test cover::tests::test_dynamic_growth_outputs_only ... ok
[INFO] [stdout] test cover::pla::error::tests::test_pla_read_error_from_pla_error ... ok
[INFO] [stdout] test cover::tests::test_dynamic_growth_preserves_existing_cubes ... ok
[INFO] [stdout] test cover::tests::test_dynamic_naming_no_collision ... ok
[INFO] [stdout] test cover::tests::test_expression_with_constants ... ok
[INFO] [stdout] test cover::tests::test_empty_cover_to_expr ... ok
[INFO] [stdout] test cover::tests::test_label_uniqueness_on_growth ... 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_f_type_cover ... ok
[INFO] [stdout] test cover::tests::test_mixed_labels_and_growth ... ok
[INFO] [stdout] test cover::tests::test_fd_type_cover ... ok
[INFO] [stdout] test cover::tests::test_to_expr_by_index ... ok
[INFO] [stdout] test cover::tests::test_minimize_preserves_structure ... 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_fr_type_cover ... ok
[INFO] [stdout] test cover::tests::test_to_exprs_after_minimization ... ok
[INFO] [stdout] test espresso::error::tests::test_minimization_error_cube_to_io_error ... ok
[INFO] [stdout] test cover::tests::test_to_exprs_iterator ... ok
[INFO] [stdout] test cover::tests::test_to_expr_index_out_of_bounds ... ok
[INFO] [stdout] test espresso::error::tests::test_minimization_error_from_cube_error ... ok
[INFO] [stdout] test espresso::error::tests::test_cube_error_invalid_value ... ok
[INFO] [stdout] test cover::tests::test_unlabeled_cover_to_expr_uses_auto_names ... ok
[INFO] [stdout] test espresso::error::tests::test_cube_error_to_io_error ... ok
[INFO] [stdout] test cover::tests::test_to_expr_nonexistent ... ok
[INFO] [stdout] test espresso::error::tests::test_minimization_error_from_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::test_complex_operations_same_thread ... ok
[INFO] [stdout] test espresso::tests::test_automatic_singleton_creation ... ok
[INFO] [stdout] test espresso::tests::test_cover_dimension_conflict_errors ... ok
[INFO] [stdout] test espresso::error::tests::test_minimization_error_to_io_error_preserves_io_error ... 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_single_dimension_per_thread ... ok
[INFO] [stdout] test espresso::tests::test_explicit_drop_between_dimensions ... ok
[INFO] [stdout] test espresso::tests::test_multiple_espresso_covers_same_thread ... ok
[INFO] [stdout] test espresso::error::tests::test_instance_error_dimension_mismatch ... ok
[INFO] [stdout] test espresso::error::tests::test_instance_error_to_io_error ... ok
[INFO] [stdout] test espresso::error::tests::test_instance_error_config_mismatch ... ok
[INFO] [stdout] test espresso::tests::test_singleton_pattern ... ok
[INFO] [stdout] test espresso::tests::test_espresso_not_send ... ok
[INFO] [stdout] test expression::factorization::tests::test_common_divisor_extraction ... ok
[INFO] [stdout] test expression::error::tests::test_expression_parse_error_without_position ... ok
[INFO] [stdout] test expression::error::tests::test_parse_bool_expr_error ... ok
[INFO] [stdout] test expression::error::tests::test_parse_bool_expr_error_to_io_error ... ok
[INFO] [stdout] test expression::error::tests::test_expression_parse_error_with_position ... ok
[INFO] [stdout] test espresso::tests::test_singleton_respects_explicit_config ... ok
[INFO] [stdout] test expression::error::tests::test_expression_parse_error_to_io_error ... ok
[INFO] [stdout] test espresso::tests::test_config_isolation ... ok
[INFO] [stdout] test espresso::tests::test_long_running_threads ... ok
[INFO] [stdout] test espresso::tests::test_concurrent_espresso_minimize ... ok
[INFO] [stdout] test expression::factorization::tests::test_complex_factorisation ... ok
[INFO] [stdout] test expression::factorization::tests::test_factor_literal ... ok
[INFO] [stdout] test expression::factorization::tests::test_simple_factorisation ... ok
[INFO] [stdout] test expression::tests::test_and_operation_bdd ... ok
[INFO] [stdout] test expression::tests::test_bdd_caching ... ok
[INFO] [stdout] test expression::tests::test_bdd_subexpression_caching ... ok
[INFO] [stdout] test expression::tests::test_bdd_xor ... ok
[INFO] [stdout] test expression::tests::test_collect_variables ... ok
[INFO] [stdout] test expression::tests::test_commutativity_bdd ... ok
[INFO] [stdout] test expression::tests::test_commutative_properties ... ok
[INFO] [stdout] test expression::tests::test_constants_formatting ... ok
[INFO] [stdout] test expression::factorization::tests::test_no_factorisation_needed ... ok
[INFO] [stdout] test espresso::tests::test_different_problem_sizes ... ok
[INFO] [stdout] test expression::tests::test_distributivity_bdd ... ok
[INFO] [stdout] test espresso::tests::test_thread_local_cube_structure_isolation ... ok
[INFO] [stdout] test espresso::tests::test_rapid_creation_destruction ... ok
[INFO] [stdout] test expression::tests::test_and_or_combination_bdd ... ok
[INFO] [stdout] test expression::tests::test_associativity_bdd ... ok
[INFO] [stdout] test expression::tests::test_bdd_consensus_theorem ... ok
[INFO] [stdout] test expression::tests::test_dnf_cache_local_per_instance ... ok
[INFO] [stdout] test expression::tests::test_de_morgans_laws_bdd ... ok
[INFO] [stdout] test expression::tests::test_expr_macro_basic_operators ... ok
[INFO] [stdout] test expression::tests::test_expr_macro_complex_expression ... ok
[INFO] [stdout] test expression::tests::test_expr_macro_precedence ... ok
[INFO] [stdout] test espresso::tests::test_memory_cleanup ... ok
[INFO] [stdout] test expression::tests::test_expr_macro_mixed_variables_and_strings ... ok
[INFO] [stdout] test expression::tests::test_dnf_cache_updated_with_smaller_cover ... ok
[INFO] [stdout] test expression::factorization::tests::test_factorisation_equivalence ... ok
[INFO] [stdout] test expression::tests::test_dnf_cache_updates_with_better_version ... ok
[INFO] [stdout] test expression::tests::test_double_negation_equivalence ... ok
[INFO] [stdout] test expression::tests::test_expr_macro_with_sub_expressions ... ok
[INFO] [stdout] test expression::tests::test_ite_terminal_cases ... ok
[INFO] [stdout] test expression::tests::test_hash_consing ... ok
[INFO] [stdout] test expression::tests::test_global_manager_sharing ... ok
[INFO] [stdout] test expression::tests::test_complex_nested_parentheses ... ok
[INFO] [stdout] test expression::tests::test_dnf_cache_updated_after_minimization ... ok
[INFO] [stdout] test espresso::tests::test_stress_concurrent_operations ... ok
[INFO] [stdout] test expression::tests::test_expr_macro_string_literals ... ok
[INFO] [stdout] test expression::tests::test_deeply_nested_expressions ... ok
[INFO] [stdout] test expression::tests::test_node_count ... ok
[INFO] [stdout] test expression::tests::test_majority_function_formatting ... ok
[INFO] [stdout] test expression::tests::test_expr_macro_with_parens ... ok
[INFO] [stdout] test expression::tests::test_not_operation_bdd ... ok
[INFO] [stdout] test expression::tests::test_not_equivalent_expressions ... ok
[INFO] [stdout] test expression::tests::test_operator_overloading_basic ... ok
[INFO] [stdout] test expression::tests::test_roundtrip_bdd_expr ... ok
[INFO] [stdout] test expression::tests::test_to_cubes_constant ... ok
[INFO] [stdout] test expression::tests::test_terminal_nodes ... ok
[INFO] [stdout] test expression::tests::test_to_cubes_or ... ok
[INFO] [stdout] test expression::tests::test_or_operation_bdd ... ok
[INFO] [stdout] test expression::tests::test_operator_overloading_complex ... ok
[INFO] [stdout] test expression::tests::test_not_precedence ... ok
[INFO] [stdout] test expression::tests::test_parse_display_operator_macro_equivalence ... ok
[INFO] [stdout] test expression::tests::test_to_cubes_complex ... ok
[INFO] [stdout] test expression::tests::test_operator_overloading_xor_pattern ... ok
[INFO] [stdout] test expression::tests::test_precedence_or_in_and_needs_parens ... ok
[INFO] [stdout] test expression::tests::test_precedence_and_over_or ... ok
[INFO] [stdout] test expression::tests::test_not_of_compound_requires_parens ... ok
[INFO] [stdout] test sys::bindgen_test_layout_symbolic_label_struct ... ok
[INFO] [stdout] test sys::bindgen_test_layout_cdata_struct ... ok
[INFO] [stdout] test sys::bindgen_test_layout_symbolic_list_struct ... ok
[INFO] [stdout] test expression::tests::test_var_count ... ok
[INFO] [stdout] test sys::bindgen_test_layout_PLA_t ... ok
[INFO] [stdout] test sys::bindgen_test_layout__IO_FILE ... ok
[INFO] [stdout] test sys::bindgen_test_layout_cost_struct ... ok
[INFO] [stdout] test sys::bindgen_test_layout_cube_struct ... ok
[INFO] [stdout] test sys::bindgen_test_layout_pair_struct ... ok
[INFO] [stdout] test sys::bindgen_test_layout_set_family ... ok
[INFO] [stdout] test expression::tests::test_to_cubes_simple ... ok
[INFO] [stdout] test sys::bindgen_test_layout_symbolic_struct ... ok
[INFO] [stdout] test expression::tests::test_variable_creation ... ok
[INFO] [stderr]      Running tests/test_boolean_expressions.rs (/opt/rustwide/target/debug/deps/test_boolean_expressions-792b12ac85138c81)
[INFO] [stdout] test expression::tests::test_xor_pattern_formatting ... ok
[INFO] [stdout] test espresso::tests::test_singleton_conflict_panics - should panic ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 170 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.18s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 32 tests
[INFO] [stdout] test test_cover_error_duplicate_output ... ok
[INFO] [stdout] test test_cover_error_output_index_out_of_bounds ... ok
[INFO] [stdout] test test_cover_empty_to_expr ... ok
[INFO] [stdout] test test_cover_trait_basics ... ok
[INFO] [stdout] test test_cover_without_labels_to_expr ... ok
[INFO] [stdout] test test_cube_iteration ... ok
[INFO] [stdout] test test_de_morgan_laws ... ok
[INFO] [stdout] test test_cover_error_nonexistent_output ... ok
[INFO] [stdout] test test_cover_without_labels_minimize_and_convert ... ok
[INFO] [stdout] test test_cover_without_labels_multiple_outputs ... ok
[INFO] [stdout] test test_complex_parentheses ... ok
[INFO] [stdout] test test_complex_minimize_real_world ... ok
[INFO] [stdout] test test_minimization ... ok
[INFO] [stdout] test test_composition_with_cover_integration ... ok
[INFO] [stdout] test test_to_pla_string ... ok
[INFO] [stdout] test test_xnor_expression ... ok
[INFO] [stdout] test test_xor_expression ... ok
[INFO] [stdout] test test_parser_error_empty_string ... ok
[INFO] [stdout] test test_composition_nested_sub_expressions ... ok
[INFO] [stdout] test test_minimize_adjacent_minterms ... ok
[INFO] [stdout] test test_minimize_idempotence ... ok
[INFO] [stdout] test test_minimize_absorption ... ok
[INFO] [stdout] test test_nested_parentheses_macro ... ok
[INFO] [stdout] test test_minimize_distributive ... ok
[INFO] [stdout] test test_nested_parentheses_minimize ... ok
[INFO] [stdout] test test_parser_error_missing_operator ... ok
[INFO] [stdout] test test_parser_error_unbalanced_parentheses ... ok
[INFO] [stdout] test test_parser_error_missing_operand ... ok
[INFO] [stdout] test test_parser_error_invalid_syntax ... ok
[INFO] [stdout] test test_minimize_consensus ... ok
[INFO] [stdout] test test_parentheses_with_negation ... ok
[INFO] [stdout] test test_parentheses_precedence ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 32 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_integration.rs (/opt/rustwide/target/debug/deps/test_integration-307a7dc3104ec7ca)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test test_create_cover_from_pla ... ok
[INFO] [stderr]      Running tests/test_memory_safety.rs (/opt/rustwide/target/debug/deps/test_memory_safety-ae64b1ec8ed82093)
[INFO] [stdout] test test_pla_roundtrip ... ok
[INFO] [stdout] test test_pla_from_file ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test test_clone_independence_no_double_free ... ok
[INFO] [stdout] test test_cover_keeps_espresso_alive ... ok
[INFO] [stdout] test test_minimize_with_explicit_covers ... ok
[INFO] [stdout] test test_dimension_changes_no_leak ... ok
[INFO] [stdout] test test_into_raw_ownership_transfer ... ok
[INFO] [stdout] test test_coverbuilder_memory_management ... ok
[INFO] [stdout] test test_multithreaded_memory_isolation ... ok
[INFO] [stdout] test test_large_cover_allocations ... ok
[INFO] [stdout] test test_repeated_operations_amplify_leaks ... ok
[INFO] [stdout] test test_memory_usage_stability ... ok
[INFO] [stderr]      Running tests/test_thread_safety.rs (/opt/rustwide/target/debug/deps/test_thread_safety-29ea1bccb2bab8d2)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.27s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test test_basic_thread_safety ... ok
[INFO] [stdout] test test_multiple_sizes ... ok
[INFO] [stdout] test test_consistent_results ... ok
[INFO] [stdout] test test_concurrent_execution ... ok
[INFO] [stdout] test test_different_sizes_in_different_threads ... ok
[INFO] [stderr]    Doc-tests espresso_logic
[INFO] [stdout] test test_stress_concurrent ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 239 tests
[INFO] [stdout] test src/cover/mod.rs - cover (line 49) ... ok
[INFO] [stdout] test src/cover/conversions.rs - cover::conversions::Cover (line 71) ... ok
[INFO] [stdout] test src/cover/mod.rs - cover::Cover (line 216) ... ok
[INFO] [stdout] test src/cover/dnf.rs - cover::dnf::Dnf::new (line 71) ... ok
[INFO] [stdout] test src/cover/dnf.rs - cover::dnf::Dnf (line 48) ... ok
[INFO] [stdout] test src/cover/conversions.rs - cover::conversions::Cover (line 98) ... ok
[INFO] [stdout] test src/cover/expressions.rs - cover::expressions::Cover::add_expr (line 29) ... ok
[INFO] [stdout] test src/cover/dnf.rs - cover::dnf::Dnf::is_empty (line 115) ... ok
[INFO] [stdout] test src/cover/minimisation.rs - cover::minimisation::Minimizable (line 22) ... ok
[INFO] [stdout] test src/cover/expressions.rs - cover::expressions::Cover::to_expr (line 177) ... ok
[INFO] [stdout] test src/cover/dnf.rs - cover::dnf::Dnf::len (line 130) ... ok
[INFO] [stdout] test src/cover/pla/mod.rs - cover::pla::PLAReader::from_pla_file (line 287) - compile ... ok
[INFO] [stdout] test src/cover/minimisation.rs - cover::minimisation::Minimizable (line 35) ... ok
[INFO] [stdout] test src/cover/mod.rs - cover (line 66) ... ok
[INFO] [stdout] test src/cover/mod.rs - cover::Cover (line 246) ... ok
[INFO] [stdout] test src/cover/expressions.rs - cover::expressions::Cover::to_exprs (line 150) ... ok
[INFO] [stdout] test src/cover/expressions.rs - cover::expressions::Cover::to_expr_by_index (line 205) ... ok
[INFO] [stdout] test src/cover/pla/mod.rs - cover::pla (line 312) - compile ... ok
[INFO] [stdout] test src/cover/mod.rs - cover::Cover (line 231) ... ok
[INFO] [stdout] test src/cover/mod.rs - cover::Cover::add_cube (line 441) ... ok
[INFO] [stdout] test src/cover/mod.rs - cover::Cover::with_labels (line 306) ... ok
[INFO] [stdout] test src/cover/minimisation.rs - cover::minimisation::Minimizable (line 74) ... ok
[INFO] [stdout] test src/cover/mod.rs - cover::Cover::new (line 281) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso (line 162) ... ok
[INFO] [stdout] test src/cover/pla/mod.rs - cover::pla (line 276) ... ok
[INFO] [stdout] test src/cover/pla/mod.rs - cover::pla (line 292) ... FAILED
[INFO] [stdout] test src/espresso/mod.rs - espresso (line 142) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso (line 296) ... ok
[INFO] [stdout] test src/cover/pla/mod.rs - cover::pla (line 24) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso (line 104) ... ok
[INFO] [stdout] test src/cover/pla/mod.rs - cover::pla::PLAReader::from_pla_string (line 267) ... ok
[INFO] [stdout] test src/cover/mod.rs - cover::Cover::cubes (line 387) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso (line 346) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso (line 48) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso (line 67) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso (line 84) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso (line 195) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::Espresso::new (line 1094) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso (line 271) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::Espresso::minimize (line 1391) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso (line 318) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::Espresso::minimize_exact (line 1462) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::Espresso::minimize (line 1342) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::Espresso::minimize (line 1374) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::EspressoConfig (line 2416) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::Espresso (line 1006) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::EspressoConfig (line 2373) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::EspressoCover::minimize (line 838) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::Espresso::new (line 1108) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::Espresso::current (line 1280) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::EspressoConfig (line 2426) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::EspressoCover::to_cubes (line 723) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::EspressoConfig (line 2394) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::EspressoCover::from_cubes (line 570) ... ok
[INFO] [stdout] test src/examples.rs - examples (line 367) - compile ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::EspressoCover::from_cubes (line 538) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::EspressoConfig (line 2438) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::EspressoConfig (line 2449) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::Espresso::try_new (line 1151) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::EspressoCover::from_cubes (line 554) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::EspressoCover (line 414) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::EspressoCover::minimize_exact (line 905) ... ok
[INFO] [stdout] test src/examples.rs - examples (line 159) ... ok
[INFO] [stdout] test src/espresso/mod.rs - espresso::EspressoCover::minimize (line 858) ... ok
[INFO] [stdout] test src/examples.rs - examples (line 123) ... ok
[INFO] [stdout] test src/examples.rs - examples (line 264) ... ok
[INFO] [stdout] test src/examples.rs - examples (line 190) ... ok
[INFO] [stdout] test src/examples.rs - examples (line 234) ... ok
[INFO] [stdout] test src/examples.rs - examples (line 411) ... ok
[INFO] [stdout] test src/examples.rs - examples (line 212) ... ok
[INFO] [stdout] test src/examples.rs - examples (line 298) ... ok
[INFO] [stdout] test src/examples.rs - examples (line 769) - compile ... ok
[INFO] [stdout] test src/examples.rs - examples (line 742) - compile ... ok
[INFO] [stdout] test src/examples.rs - examples (line 432) ... ok
[INFO] [stdout] test src/examples.rs - examples (line 501) ... ok
[INFO] [stdout] test src/examples.rs - examples (line 695) ... ok
[INFO] [stdout] test src/examples.rs - examples (line 643) ... ok
[INFO] [stdout] test src/examples.rs - examples (line 456) ... ok
[INFO] [stdout] test src/examples.rs - examples (line 529) ... ok
[INFO] [stdout] test src/examples.rs - examples (line 476) ... ok
[INFO] [stdout] test src/examples.rs - examples (line 614) ... ok
[INFO] [stdout] test src/expression/ast.rs - expression::ast::BoolExpr::fold_with_context (line 214) ... ok
[INFO] [stdout] test src/examples.rs - examples (line 670) ... ok
[INFO] [stdout] test src/examples.rs - examples (line 586) ... ok
[INFO] [stdout] test src/expression/ast.rs - expression::ast::BoolExpr::fold_with_context (line 191) ... ok
[INFO] [stdout] test src/examples.rs - examples (line 98) ... ok
[INFO] [stdout] test src/expression/ast.rs - expression::ast::BoolExpr::fold (line 122) ... ok
[INFO] [stdout] test src/expression/eval.rs - expression::eval::BoolExpr::equivalent_to (line 36) ... ok
[INFO] [stdout] test src/examples.rs - examples (line 77) ... ok
[INFO] [stdout] test src/expression/display.rs - expression::display::BoolExpr (line 116) ... ok
[INFO] [stdout] test src/expression/conversions.rs - expression::conversions::BoolExpr (line 52) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 1021) ... ok
[INFO] [stdout] test src/examples.rs - examples (line 49) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 1056) ... ok
[INFO] [stdout] test src/expression/display.rs - expression::display::BoolExpr (line 94) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 1139) ... ok
[INFO] [stdout] test src/examples.rs - examples (line 719) ... ok
[INFO] [stdout] test src/examples.rs - examples (line 558) ... ok
[INFO] [stdout] test src/expression/eval.rs - expression::eval::BoolExpr::equivalent_to (line 63) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 1471) - compile fail ... ok
[INFO] [stdout] test src/expression/eval.rs - expression::eval::BoolExpr::evaluate (line 136) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 1219) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 1196) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 125) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 1110) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 1453) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 1254) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 1416) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 1288) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 1481) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 1161) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 148) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 176) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 1501) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 375) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 214) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 239) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 438) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 269) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 334) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 165) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 416) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 462) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 502) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 40) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 582) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 524) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 394) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 636) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 361) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 769) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 58) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 615) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 657) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 548) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 734) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 71) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 866) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 800) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression::Bdd (line 359) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 681) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression::Bdd (line 350) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression::BoolExpr (line 182) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 825) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 843) ... FAILED
[INFO] [stdout] test src/expression/mod.rs - expression (line 890) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression::BoolExpr::to_bdd (line 265) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression::BoolExpr (line 203) ... ok
[INFO] [stdout] test src/expression/operators.rs - expression::operators::&'_BoolExpr (line 107) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression::BoolExpr (line 192) ... ok
[INFO] [stdout] test src/lib.rs - (line 109) ... ok
[INFO] [stdout] test src/expression/mod.rs - expression (line 908) ... ok
[INFO] [stdout] test src/expression/operators.rs - expression::operators::&'_BoolExpr (line 15) ... ok
[INFO] [stdout] test src/expression/operators.rs - expression::operators::BoolExpr (line 83) ... ok
[INFO] [stdout] test src/expression/operators.rs - expression::operators::&'_BoolExpr (line 61) ... ok
[INFO] [stdout] test src/lib.rs - (line 139) ... ok
[INFO] [stdout] test src/expression/operators.rs - expression::operators::BoolExpr (line 37) ... ok
[INFO] [stdout] test src/expression/operators.rs - expression::operators::BoolExpr (line 129) ... ok
[INFO] [stdout] test src/lib.rs - (line 266) ... ok
[INFO] [stdout] test src/lib.rs - (line 206) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1313) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1082) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1026) ... ok
[INFO] [stdout] test src/lib.rs - (line 90) ... ok
[INFO] [stdout] test src/lib.rs - (line 295) ... ok
[INFO] [stdout] test src/lib.rs - (line 63) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1278) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1165) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1123) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1057) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1367) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1147) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1728) - compile fail ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1396) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1100) ... FAILED
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1418) ... ok
[INFO] [stdout] test src/lib.rs - (line 230) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1476) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1453) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1511) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1738) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1758) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1673) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 405) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1710) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 471) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 382) ... ok
[INFO] [stdout] test src/lib.rs - (line 165) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 1545) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 433) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 422) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 695) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 651) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 496) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 526) ... ok
[INFO] [stdout] test src/lib.rs - doc::cli (line 523) - compile ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 632) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 719) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 673) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 618) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 872) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 591) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 1073) - compile ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 1100) - compile ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 1001) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 938) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 759) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 914) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 781) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 454) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 991) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 429) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 408) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 698) - compile ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 490) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 543) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 839) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 805) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 565) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 380) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 1050) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 1026) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 763) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 595) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 629) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 521) ... ok
[INFO] [stdout] test src/lib.rs - doc::pla_format (line 634) - compile ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 917) ... ok
[INFO] [stdout] test src/lib.rs - doc::boolean_expressions (line 893) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 787) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 807) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 889) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 832) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 742) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 974) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 945) ... ok
[INFO] [stdout] test src/lib.rs - doc::examples (line 860) ... ok
[INFO] [stdout] test src/lib.rs - doc::pla_format (line 614) ... FAILED
[INFO] [stdout] test src/lib.rs - doc::pla_format (line 598) ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- src/cover/pla/mod.rs - cover::pla (line 292) 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/expression/mod.rs - expression (line 843) stdout ----
[INFO] [stdout] Test executable failed (exit status: 1).
[INFO] [stdout] 
[INFO] [stdout] stdout:
[INFO] [stdout] .i 3
[INFO] [stdout] .o 1
[INFO] [stdout] .ilb a b c
[INFO] [stdout] .ob output
[INFO] [stdout] .p 3
[INFO] [stdout] 0-1 1
[INFO] [stdout] 101 1
[INFO] [stdout] 11- 1
[INFO] [stdout] .e
[INFO] [stdout] 
[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::boolean_expressions (line 1100) stdout ----
[INFO] [stdout] Test executable failed (exit status: 1).
[INFO] [stdout] 
[INFO] [stdout] stdout:
[INFO] [stdout] .i 3
[INFO] [stdout] .o 1
[INFO] [stdout] .ilb a b c
[INFO] [stdout] .ob output
[INFO] [stdout] .p 3
[INFO] [stdout] 0-1 1
[INFO] [stdout] 101 1
[INFO] [stdout] 11- 1
[INFO] [stdout] .e
[INFO] [stdout] 
[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 614) 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 292)
[INFO] [stdout]     src/expression/mod.rs - expression (line 843)
[INFO] [stdout]     src/lib.rs - doc::boolean_expressions (line 1100)
[INFO] [stdout]     src/lib.rs - doc::pla_format (line 614)
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 235 passed; 4 failed; 0 ignored; 0 measured; 0 filtered out; finished in 17.79s
[INFO] [stdout] 
[INFO] [stderr] error: doctest failed, to rerun pass `--doc`
[INFO] running `Command { std: "docker" "inspect" "cbf055bf14dce5639a6b1769ae5c15d3b7da306aed12f17f23bc4683399b6da9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cbf055bf14dce5639a6b1769ae5c15d3b7da306aed12f17f23bc4683399b6da9", kill_on_drop: false }`
[INFO] [stdout] cbf055bf14dce5639a6b1769ae5c15d3b7da306aed12f17f23bc4683399b6da9
