[INFO] fetching crate ruddy 0.0.2...
[INFO] testing ruddy-0.0.2 against 1.95.0 for beta-1.96-2
[INFO] extracting crate ruddy 0.0.2 into /workspace/builds/worker-7-tc1/source
[INFO] started tweaking crates.io crate ruddy 0.0.2
[INFO] removed 0 missing examples
[INFO] finished tweaking crates.io crate ruddy 0.0.2
[INFO] tweaked toml for crates.io crate ruddy 0.0.2 written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate ruddy 0.0.2 on toolchain 1.95.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.95.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate ruddy 0.0.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" "+1.95.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded replace_with v0.1.8
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] bbddd70587a96cef04386d147b7a1b537f3c36f7b0e687f529ccd8f72b5bb1c1
[INFO] running `Command { std: "docker" "start" "-a" "bbddd70587a96cef04386d147b7a1b537f3c36f7b0e687f529ccd8f72b5bb1c1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "bbddd70587a96cef04386d147b7a1b537f3c36f7b0e687f529ccd8f72b5bb1c1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bbddd70587a96cef04386d147b7a1b537f3c36f7b0e687f529ccd8f72b5bb1c1", kill_on_drop: false }`
[INFO] [stdout] bbddd70587a96cef04386d147b7a1b537f3c36f7b0e687f529ccd8f72b5bb1c1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 20303c5ab4c07d3b58ae3a2494f633d3ec6a74a8111b0131d04d35effd3def48
[INFO] running `Command { std: "docker" "start" "-a" "20303c5ab4c07d3b58ae3a2494f633d3ec6a74a8111b0131d04d35effd3def48", kill_on_drop: false }`
[INFO] [stderr]    Compiling replace_with v0.1.8
[INFO] [stderr]    Compiling rustc-hash v2.1.1
[INFO] [stderr]    Compiling ruddy v0.0.2 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 4.93s
[INFO] running `Command { std: "docker" "inspect" "20303c5ab4c07d3b58ae3a2494f633d3ec6a74a8111b0131d04d35effd3def48", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "20303c5ab4c07d3b58ae3a2494f633d3ec6a74a8111b0131d04d35effd3def48", kill_on_drop: false }`
[INFO] [stdout] 20303c5ab4c07d3b58ae3a2494f633d3ec6a74a8111b0131d04d35effd3def48
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 3837aa0861dfa696a499c56b5c9b4b7071a9c9139f80b10a5c6b84ca8ede82e8
[INFO] running `Command { std: "docker" "start" "-a" "3837aa0861dfa696a499c56b5c9b4b7071a9c9139f80b10a5c6b84ca8ede82e8", kill_on_drop: false }`
[INFO] [stderr]    Compiling ruddy v0.0.2 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 8.10s
[INFO] running `Command { std: "docker" "inspect" "3837aa0861dfa696a499c56b5c9b4b7071a9c9139f80b10a5c6b84ca8ede82e8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3837aa0861dfa696a499c56b5c9b4b7071a9c9139f80b10a5c6b84ca8ede82e8", kill_on_drop: false }`
[INFO] [stdout] 3837aa0861dfa696a499c56b5c9b4b7071a9c9139f80b10a5c6b84ca8ede82e8
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] eb8350d578ec970d7994681e19ed21c7c22cba4d986b48598c77970c854cc3e0
[INFO] running `Command { std: "docker" "start" "-a" "eb8350d578ec970d7994681e19ed21c7c22cba4d986b48598c77970c854cc3e0", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.05s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/ruddy-665ec53cacf6fa7a)
[INFO] [stdout] 
[INFO] [stdout] running 255 tests
[INFO] [stdout] test bdd_node::tests::bdd_node_16_reachability ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_16_parent_counter ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_16_invariants ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_32_parent_counter ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_32_reachability ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_32_invariants ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_16_invalid_2 - should panic ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_64_invalid_3 - should panic ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_64_invariants ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_64_parent_counter ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_64_reachability ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_invalid_checked_conversion ... ok
[INFO] [stdout] test boolean_operators::tests::and_shared ... ok
[INFO] [stdout] test boolean_operators::tests::id_tribool_conversion ... ok
[INFO] [stdout] test boolean_operators::tests::iff_shared ... ok
[INFO] [stdout] test boolean_operators::tests::implies_shared ... ok
[INFO] [stdout] test boolean_operators::tests::operators_for_split ... ok
[INFO] [stdout] test boolean_operators::tests::or_shared ... ok
[INFO] [stdout] test boolean_operators::tests::xor_shared ... ok
[INFO] [stdout] test conversion::tests::basic_successful_unchecked_conversions ... ok
[INFO] [stdout] test conversion::tests::basic_unsuccessful_unchecked_conversion - should panic ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_16_invalid_3 - should panic ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_16_invalid_1 - should panic ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_32_invalid_1 - should panic ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_32_invalid_2 - should panic ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_64_invalid_1 - should panic ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_32_invalid_3 - should panic ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_64_invalid_2 - should panic ... ok
[INFO] [stdout] test node_id::tests::node_32_invalid_new - should panic ... ok
[INFO] [stdout] test node_id::tests::node_id_16_invariants ... ok
[INFO] [stdout] test node_id::tests::node_id_16_byte_conversions ... ok
[INFO] [stdout] test node_id::tests::node_id_16_from_str ... ok
[INFO] [stdout] test node_id::tests::node_id_16_try_from_32 ... ok
[INFO] [stdout] test node_id::tests::node_id_16_try_from_32_invalid - should panic ... ok
[INFO] [stdout] test node_id::tests::node_id_16_try_from_32_undefined ... ok
[INFO] [stdout] test node_id::tests::node_id_16_try_from_64_undefined ... ok
[INFO] [stdout] test node_id::tests::node_id_16_try_from_64 ... ok
[INFO] [stdout] test node_id::tests::node_id_16_unchecked_from_32 ... ok
[INFO] [stdout] test node_id::tests::node_id_16_try_from_64_invalid - should panic ... ok
[INFO] [stdout] test node_id::tests::node_id_16_unchecked_from_32_invalid - should panic ... ok
[INFO] [stdout] test node_id::tests::node_id_16_try_from_usize_invalid - should panic ... ok
[INFO] [stdout] test node_id::tests::node_id_16_unchecked_from_64 ... ok
[INFO] [stdout] test node_id::tests::node_id_16_unchecked_from_64_undefined ... ok
[INFO] [stdout] test node_id::tests::node_id_16_as_usize - should panic ... ok
[INFO] [stdout] test node_id::tests::node_id_16_unchecked_from_32_undefined ... ok
[INFO] [stdout] test node_id::tests::node_id_16_unchecked_from_64_invalid - should panic ... ok
[INFO] [stdout] test node_id::tests::node_id_32_from_16 ... ok
[INFO] [stdout] test node_id::tests::node_id_32_byte_conversions ... ok
[INFO] [stdout] test node_id::tests::node_id_32_from_16_undefined ... ok
[INFO] [stdout] test node_id::tests::node_id_32_from_str ... ok
[INFO] [stdout] test node_id::tests::node_id_16_unchecked_from_usize_invalid - should panic ... ok
[INFO] [stdout] test node_id::tests::node_id_32_invariants ... ok
[INFO] [stdout] test node_id::tests::node_id_32_try_from_64 ... ok
[INFO] [stdout] test node_id::tests::node_id_32_try_from_64_invalid - should panic ... ok
[INFO] [stdout] test node_id::tests::node_id_32_try_from_64_undefined ... ok
[INFO] [stdout] test node_id::tests::node_id_32_try_from_usize_invalid - should panic ... ok
[INFO] [stdout] test node_id::tests::node_id_32_unchecked_from_16_undefined ... ok
[INFO] [stdout] test node_id::tests::node_id_32_unchecked_from_64 ... ok
[INFO] [stdout] test node_id::tests::node_id_32_unchecked_from_usize_invalid - should panic ... ok
[INFO] [stdout] test node_id::tests::node_id_64_byte_conversions ... ok
[INFO] [stdout] test node_id::tests::node_id_64_from_16 ... ok
[INFO] [stdout] test node_id::tests::node_id_64_from_16_undefined ... ok
[INFO] [stdout] test node_id::tests::node_id_64_from_32 ... ok
[INFO] [stdout] test node_id::tests::node_id_64_from_32_undefined ... ok
[INFO] [stdout] test node_id::tests::node_id_64_from_str ... ok
[INFO] [stdout] test node_id::tests::node_id_64_invariants ... ok
[INFO] [stdout] test node_id::tests::node_id_32_as_usize - should panic ... ok
[INFO] [stdout] test node_id::tests::node_id_64_unchecked_from_usize_invalid - should panic ... ok
[INFO] [stdout] test node_id::tests::node_id_bounds ... ok
[INFO] [stdout] test node_id::tests::node_id_conversion_from_32_to_16 ... ok
[INFO] [stdout] test node_id::tests::node_id_conversion_from_64_to_16 ... ok
[INFO] [stdout] test node_id::tests::node_id_conversion_from_64_to_32 ... ok
[INFO] [stdout] test node_id::tests::node_id_64_as_usize - should panic ... ok
[INFO] [stdout] test node_id::tests::node_id_32_unchecked_from_64_invalid - should panic ... ok
[INFO] [stdout] test node_id::tests::node_id_flip ... ok
[INFO] [stdout] test node_id::tests::node_id_64_try_from_usize_invalid - should panic ... ok
[INFO] [stdout] test node_id::tests::node_id_from_defined_32_into_undefined_16 - should panic ... ok
[INFO] [stdout] test node_id::tests::node_id_from_defined_64_into_undefined_16 - should panic ... ok
[INFO] [stdout] test node_id::tests::node_id_from_defined_64_into_undefined_32 - should panic ... ok
[INFO] [stdout] test node_id::tests::node_id_from_undefined_16 - should panic ... ok
[INFO] [stdout] test node_id::tests::node_id_from_undefined_32 - should panic ... ok
[INFO] [stdout] test node_id::tests::node_id_terminals ... ok
[INFO] [stdout] test node_id::tests::node_id_try_from_conversion ... ok
[INFO] [stdout] test node_id::tests::node_id_unsuccessful_conversion_from_32_to_16 - should panic ... ok
[INFO] [stdout] test node_id::tests::node_id_unsuccessful_conversion_from_64_to_16 - should panic ... ok
[INFO] [stdout] test node_table::tests::collect_garbage_delete ... ok
[INFO] [stdout] test node_table::tests::collect_garbage_rebuild ... ok
[INFO] [stdout] test node_table::tests::delete_deleted_node ... ok
[INFO] [stdout] test node_table::tests::delete_leaf_in_tree_with_multiple_nodes ... ok
[INFO] [stdout] test node_id::tests::node_id_from_undefined_64 - should panic ... ok
[INFO] [stdout] test node_table::tests::delete_leafs_parent ... ok
[INFO] [stdout] test node_id::tests::node_id_unsuccessful_conversion_from_64_to_32 - should panic ... ok
[INFO] [stdout] test node_table::tests::delete_node_which_is_parent_of_tree_and_then_the_tree ... ok
[INFO] [stdout] test node_table::tests::delete_normal_node_in_tree_with_multiple_nodes ... ok
[INFO] [stdout] test node_table::tests::delete_root_in_tree_with_multiple_nodes ... ok
[INFO] [stdout] test node_table::tests::delete_root_in_tree_with_only_root ... ok
[INFO] [stdout] test node_table::tests::delete_root_with_two_leaf_children ... ok
[INFO] [stdout] test node_id::tests::node_id_display ... ok
[INFO] [stdout] test node_table::tests::into_reachable_bdd ... ok
[INFO] [stdout] test node_table::tests::mark_reachable ... ok
[INFO] [stdout] test node_table::tests::node_table_conversions ... ok
[INFO] [stdout] test node_table::tests::delete_unreachable ... ok
[INFO] [stdout] test node_table::tests::free_list_delete_nodes_then_reinsert ... ok
[INFO] [stdout] test node_table::tests::node_table_32_basic ... ok
[INFO] [stdout] test node_table::tests::node_table_full ... ok
[INFO] [stdout] test node_table::tests::rebuild_shrink_32_to_16 ... ok
[INFO] [stdout] test node_table::tests::rebuild_64_to_16 ... ok
[INFO] [stdout] test node_table::tests::rebuild_32_to_16 ... ok
[INFO] [stdout] test node_table::tests::rebuild_table_32_with_32_bit_var_does_not_shrink ... ok
[INFO] [stdout] test node_table::tests::rebuild_table_64_with_32_bit_var_does_not_shrink_to_16 ... ok
[INFO] [stdout] test node_table::tests::rebuild_table_64_with_64_bit_var_does_not_shrink ... ok
[INFO] [stdout] test shared::apply::tests::basic_apply_invariants_16 ... ok
[INFO] [stdout] test shared::apply::tests::basic_apply_invariants_32 ... ok
[INFO] [stdout] test shared::apply::tests::basic_apply_invariants_64 ... ok
[INFO] [stdout] test shared::manager::tests::adding_32_bit_variable_to_16_bit_manager_grows_to_32_bit ... ok
[INFO] [stdout] test shared::manager::tests::adding_64_bit_variable_to_16_bit_manager_grows_to_64_bit ... ok
[INFO] [stdout] test shared::manager::tests::adding_64_bit_variable_to_32_bit_manager_grows_to_64_bit ... ok
[INFO] [stdout] test shared::manager::tests::bdd_to_dot ... ok
[INFO] [stdout] test shared::manager::tests::constant_bdd_to_dot ... ok
[INFO] [stdout] test node_table::tests::rebuild_shrink_64_to_16 ... ok
[INFO] [stdout] test node_table::tests::rebuild_shrink_64_to_32 ... ok
[INFO] [stdout] test node_table::tests::rebuild_64_to_32 ... ok
[INFO] [stdout] test shared::manager::tests::count_sat_valuations ... ok
[INFO] [stdout] test iterators::shared::tests::iter_sat_paths ... ok
[INFO] [stdout] test shared::manager::tests::not ... ok
[INFO] [stdout] test shared::manager::tests::maybe_collect_garbage ... ok
[INFO] [stdout] test shared::manager::tests::manager_grows_from_16_to_32 ... ok
[INFO] [stdout] test shared::nested_apply::tests::basic_nested_apply_invariants ... ok
[INFO] [stdout] test shared::nested_apply::tests::nested_apply_bit_width_variants ... ok
[INFO] [stdout] test shared::manager::tests::standalone_import_and_export ... ok
[INFO] [stdout] test shared::nested_apply::tests::nested_apply_quantifier_commutativity ... ok
[INFO] [stdout] test shared::nested_apply::tests::nested_apply_quantifier_distributivity ... ok
[INFO] [stdout] test shared::nested_apply::tests::nested_apply_without_quantification_is_equivalent_to_apply ... ok
[INFO] [stdout] test split::apply::tests::basic_apply_invariants ... ok
[INFO] [stdout] test split::apply::tests::bdd_size_combinations_apply ... ok
[INFO] [stdout] test shared::manager::tests::not_overflow ... ok
[INFO] [stdout] test split::apply::tests::bdd_test_checked_logical_operators ... ok
[INFO] [stdout] test split::bdd::tests::bdd16_invariants ... ok
[INFO] [stdout] test split::bdd::tests::bdd16_not_invariants ... ok
[INFO] [stdout] test split::bdd::tests::bdd32_invariants ... ok
[INFO] [stdout] test split::bdd::tests::bdd32_not_invariants ... ok
[INFO] [stdout] test split::bdd::tests::bdd64_invariants ... ok
[INFO] [stdout] test split::bdd::tests::bdd64_not_invariants ... ok
[INFO] [stdout] test split::bdd::tests::bdd_64_shrink_to_16 ... ok
[INFO] [stdout] test iterators::shared::tests::iter_sat_valuations ... ok
[INFO] [stdout] test split::bdd::tests::bdd_cannot_shrink ... ok
[INFO] [stdout] test split::bdd::tests::bdd_constants ... ok
[INFO] [stdout] test shared::manager::tests::manager_growth_from_16_to_32_interspersed_with_gc ... ok
[INFO] [stdout] test split::bdd::tests::bdd_getters ... ok
[INFO] [stdout] test split::bdd::tests::bdd_node_count ... ok
[INFO] [stdout] test split::bdd::tests::bdd_simple_not ... ok
[INFO] [stdout] test split::bdd::tests::bdd_structural_eq ... ok
[INFO] [stdout] test split::bdd::tests::bdd_to_dot ... ok
[INFO] [stdout] test shared::manager::tests::count_sat_paths ... ok
[INFO] [stdout] test split::apply::tests::bdd_size_overflow_test ... ok
[INFO] [stdout] test split::bdd::tests::new_bdd_literal_16 ... ok
[INFO] [stdout] test split::bdd::tests::new_bdd_literal_32 ... ok
[INFO] [stdout] test split::bdd::tests::new_bdd_literal_32_but_should_be_16 ... ok
[INFO] [stdout] test split::bdd::tests::new_bdd_literal_64 ... ok
[INFO] [stdout] test split::bdd::tests::new_bdd_literal_64_but_should_be_16 ... ok
[INFO] [stdout] test split::bdd::tests::new_bdd_literal_64_but_should_be_32 ... ok
[INFO] [stdout] test split::nested_apply::tests::basic_nested_apply_invariants ... ok
[INFO] [stdout] test split::nested_apply::tests::inner_apply ... ok
[INFO] [stdout] test iterators::split::tests::iter_sat_paths ... ok
[INFO] [stdout] test split::nested_apply::tests::nested_apply_input_sizes ... ok
[INFO] [stdout] test split::nested_apply::tests::nested_apply_quantifier_commutativity ... ok
[INFO] [stdout] test split::nested_apply::tests::nested_apply_quantifier_distributivity ... ok
[INFO] [stdout] test split::nested_apply::tests::nested_apply_without_quantification_is_equivalent_to_apply ... ok
[INFO] [stdout] test split::serialization::tests::bdd16_byte_conversions ... ok
[INFO] [stdout] test split::serialization::tests::bdd16_constant_byte_conversions ... ok
[INFO] [stdout] test split::serialization::tests::bdd16_constant_string_conversions ... ok
[INFO] [stdout] test split::serialization::tests::bdd16_string_conversions ... ok
[INFO] [stdout] test split::serialization::tests::bdd32_byte_conversions ... ok
[INFO] [stdout] test split::serialization::tests::bdd32_constant_byte_conversions ... ok
[INFO] [stdout] test split::serialization::tests::bdd32_constant_string_conversions ... ok
[INFO] [stdout] test split::serialization::tests::bdd32_string_conversions ... ok
[INFO] [stdout] test split::serialization::tests::bdd64_byte_conversions ... ok
[INFO] [stdout] test split::serialization::tests::bdd64_constant_byte_conversions ... ok
[INFO] [stdout] test split::serialization::tests::bdd64_constant_string_conversions ... ok
[INFO] [stdout] test split::serialization::tests::bdd64_string_conversions ... ok
[INFO] [stdout] test task_cache::tests::hash_extension_32_to_64 ... ok
[INFO] [stdout] test task_cache::tests::hash_extension_64_to_128 ... ok
[INFO] [stdout] test task_cache::tests::task_cache_basic ... ok
[INFO] [stdout] test task_cache::tests::task_cache_collisions ... ok
[INFO] [stdout] test task_cache::tests::task_cache_upcast ... ok
[INFO] [stdout] test task_cache::tests::task_cache_upcast_with_extension ... ok
[INFO] [stdout] test variable_id::tests::debug_formatting_variable_id ... ok
[INFO] [stdout] test variable_id::tests::invalid_downsizing_conversions ... ok
[INFO] [stdout] test variable_id::tests::packed_id_unsuccessful_conversion ... ok
[INFO] [stdout] test variable_id::tests::packed_id_unsuccessful_conversion_32_16_panic - should panic ... ok
[INFO] [stdout] test variable_id::tests::packed_id_unsuccessful_conversion_64_16_panic - should panic ... ok
[INFO] [stdout] test variable_id::tests::packed_id_unsuccessful_conversion_64_32_panic - should panic ... ok
[INFO] [stdout] test variable_id::tests::var_packed_16_byte_conversions ... ok
[INFO] [stdout] test variable_id::tests::var_packed_16_from_32 ... ok
[INFO] [stdout] test variable_id::tests::var_packed_16_from_32_undefined ... ok
[INFO] [stdout] test variable_id::tests::var_packed_16_from_64 ... ok
[INFO] [stdout] test variable_id::tests::var_packed_16_from_64_undefined ... ok
[INFO] [stdout] test variable_id::tests::var_packed_16_invalid - should panic ... ok
[INFO] [stdout] test variable_id::tests::var_packed_16_mark ... ok
[INFO] [stdout] test variable_id::tests::var_packed_16_max_defined ... ok
[INFO] [stdout] test variable_id::tests::var_packed_16_parent_counter ... ok
[INFO] [stdout] test variable_id::tests::var_packed_16_sort ... ok
[INFO] [stdout] test variable_id::tests::var_packed_16_string_conversions ... ok
[INFO] [stdout] test variable_id::tests::var_packed_16_try_from_32 ... ok
[INFO] [stdout] test variable_id::tests::var_packed_16_try_from_32_invalid - should panic ... ok
[INFO] [stdout] test variable_id::tests::var_packed_16_try_from_32_undefined ... ok
[INFO] [stdout] test variable_id::tests::var_packed_16_try_from_64 ... ok
[INFO] [stdout] test variable_id::tests::var_packed_16_try_from_64_invalid - should panic ... ok
[INFO] [stdout] test variable_id::tests::var_packed_16_try_from_64_undefined ... ok
[INFO] [stdout] test variable_id::tests::var_packed_16_unchecked_from_32 ... ok
[INFO] [stdout] test variable_id::tests::var_packed_16_unchecked_from_32_invalid - should panic ... ok
[INFO] [stdout] test variable_id::tests::var_packed_16_unchecked_from_32_undefined ... ok
[INFO] [stdout] test variable_id::tests::var_packed_16_unchecked_from_64 ... ok
[INFO] [stdout] test variable_id::tests::var_packed_16_unchecked_from_64_invalid - should panic ... ok
[INFO] [stdout] test variable_id::tests::var_packed_16_unchecked_from_64_undefined ... ok
[INFO] [stdout] test variable_id::tests::var_packed_16_undefined ... ok
[INFO] [stdout] test variable_id::tests::var_packed_16_unpack_invalid - should panic ... ok
[INFO] [stdout] test variable_id::tests::var_packed_16_use_cache ... ok
[INFO] [stdout] test variable_id::tests::var_packed_32_byte_conversions ... ok
[INFO] [stdout] test variable_id::tests::var_packed_32_from_64 ... ok
[INFO] [stdout] test variable_id::tests::var_packed_32_from_64_undefined ... ok
[INFO] [stdout] test variable_id::tests::var_packed_32_invalid - should panic ... ok
[INFO] [stdout] test variable_id::tests::var_packed_32_mark ... ok
[INFO] [stdout] test variable_id::tests::var_packed_32_max_defined ... ok
[INFO] [stdout] test variable_id::tests::var_packed_32_parent_counter ... ok
[INFO] [stdout] test variable_id::tests::var_packed_32_sort ... ok
[INFO] [stdout] test variable_id::tests::var_packed_32_string_conversions ... ok
[INFO] [stdout] test variable_id::tests::var_packed_32_try_from_64 ... ok
[INFO] [stdout] test variable_id::tests::var_packed_32_try_from_64_invalid - should panic ... ok
[INFO] [stdout] test variable_id::tests::var_packed_32_try_from_64_undefined ... ok
[INFO] [stdout] test variable_id::tests::var_packed_32_unchecked_from_64 ... ok
[INFO] [stdout] test variable_id::tests::var_packed_32_unchecked_from_64_invalid - should panic ... ok
[INFO] [stdout] test variable_id::tests::var_packed_32_unchecked_from_64_undefined ... ok
[INFO] [stdout] test variable_id::tests::var_packed_32_undefined ... ok
[INFO] [stdout] test variable_id::tests::var_packed_32_unpack_invalid - should panic ... ok
[INFO] [stdout] test variable_id::tests::var_packed_32_use_cache ... ok
[INFO] [stdout] test variable_id::tests::var_packed_64_byte_conversions ... ok
[INFO] [stdout] test variable_id::tests::var_packed_64_invalid - should panic ... ok
[INFO] [stdout] test variable_id::tests::var_packed_64_mark ... ok
[INFO] [stdout] test variable_id::tests::var_packed_64_max_defined ... ok
[INFO] [stdout] test variable_id::tests::var_packed_64_parent_counter ... ok
[INFO] [stdout] test variable_id::tests::var_packed_64_sort ... ok
[INFO] [stdout] test variable_id::tests::var_packed_64_string_conversions ... ok
[INFO] [stdout] test variable_id::tests::var_packed_64_undefined ... ok
[INFO] [stdout] test variable_id::tests::var_packed_64_unpack_invalid - should panic ... ok
[INFO] [stdout] test variable_id::tests::var_packed_64_use_cache ... ok
[INFO] [stdout] test variable_id::tests::variable_id_display ... ok
[INFO] [stdout] test variable_id::tests::variable_id_too_large ... ok
[INFO] [stdout] test split::bdd::tests::bdd_expands_to_32_and_shrinks_to_16 ... ok
[INFO] [stdout] test iterators::split::tests::iter_sat_valuations ... ok
[INFO] [stdout] test split::bdd::tests::bdd_64_shrink_to_32 ... ok
[INFO] [stdout] test split::bdd::tests::count_sat_paths ... ok
[INFO] [stdout] test split::bdd::tests::count_sat_valuations ... ok
[INFO] [stdout] test shared::nested_apply::tests::nested_apply_growth_test ... ok
[INFO] [stdout] test split::nested_apply::tests::nested_apply_growth_test ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 255 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 10.87s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests ruddy
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test src/boolean_operators.rs - boolean_operators::BooleanOperator (line 129) ... ok
[INFO] [stdout] test src/lib.rs - (line 45) ... ok
[INFO] [stdout] test src/lib.rs - (line 23) ... ok
[INFO] [stdout] test src/boolean_operators.rs - boolean_operators::BooleanOperator (line 110) ... 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] [stdout] all doctests ran in 1.13s; merged doctests compilation took 1.12s
[INFO] running `Command { std: "docker" "inspect" "eb8350d578ec970d7994681e19ed21c7c22cba4d986b48598c77970c854cc3e0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "eb8350d578ec970d7994681e19ed21c7c22cba4d986b48598c77970c854cc3e0", kill_on_drop: false }`
[INFO] [stdout] eb8350d578ec970d7994681e19ed21c7c22cba4d986b48598c77970c854cc3e0
