[INFO] fetching crate ruddy 0.0.2...
[INFO] testing ruddy-0.0.2 against 1.99.0-beta.8+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate ruddy 0.0.2 into /workspace/builds/worker-2-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-2-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate ruddy 0.0.2 on toolchain 1.99.0-beta.8
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.99.0-beta.8" "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.99.0-beta.8" "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-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/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:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] db26d1f1ffa1acafee98a4adffede2c128bd812621ede8a2e6dd27a626cf0b37
[INFO] running `Command { std: "docker" "start" "db26d1f1ffa1acafee98a4adffede2c128bd812621ede8a2e6dd27a626cf0b37", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "db26d1f1ffa1acafee98a4adffede2c128bd812621ede8a2e6dd27a626cf0b37", 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" "db26d1f1ffa1acafee98a4adffede2c128bd812621ede8a2e6dd27a626cf0b37" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "db26d1f1ffa1acafee98a4adffede2c128bd812621ede8a2e6dd27a626cf0b37", 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" "db26d1f1ffa1acafee98a4adffede2c128bd812621ede8a2e6dd27a626cf0b37" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling replace_with v0.1.8
[INFO] [stderr]    Compiling ruddy v0.0.2 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 9.64s
[INFO] running `Command { std: "docker" "inspect" "db26d1f1ffa1acafee98a4adffede2c128bd812621ede8a2e6dd27a626cf0b37", 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" "db26d1f1ffa1acafee98a4adffede2c128bd812621ede8a2e6dd27a626cf0b37" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen" "--no-run" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling ruddy v0.0.2 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 17.55s
[INFO] running `Command { std: "docker" "inspect" "db26d1f1ffa1acafee98a4adffede2c128bd812621ede8a2e6dd27a626cf0b37", 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" "db26d1f1ffa1acafee98a4adffede2c128bd812621ede8a2e6dd27a626cf0b37" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen" "--release", kill_on_drop: false }`
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.01s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/deps/ruddy-5a953e443ac508cc)
[INFO] [stdout] 
[INFO] [stdout] running 255 tests
[INFO] [stdout] test bdd_node::tests::bdd_node_16_invalid_2 - should panic ... FAILED
[INFO] [stdout] test bdd_node::tests::bdd_node_16_invalid_3 - should panic ... FAILED
[INFO] [stdout] test bdd_node::tests::bdd_node_16_reachability ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_32_reachability ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_64_invalid_1 - should panic ... FAILED
[INFO] [stdout] test bdd_node::tests::bdd_node_64_invalid_2 - should panic ... FAILED
[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 bdd_node::tests::bdd_node_16_parent_counter ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_32_invalid_2 - should panic ... FAILED
[INFO] [stdout] test bdd_node::tests::bdd_node_32_invariants ... 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 boolean_operators::tests::and_shared ... ok
[INFO] [stdout] test boolean_operators::tests::xor_shared ... ok
[INFO] [stdout] test conversion::tests::basic_successful_unchecked_conversions ... 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_32_invalid_1 - should panic ... FAILED
[INFO] [stdout] test boolean_operators::tests::operators_for_split ... ok
[INFO] [stdout] test node_id::tests::node_id_16_as_usize - should panic ... FAILED
[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 bdd_node::tests::bdd_node_32_invalid_3 - should panic ... FAILED
[INFO] [stdout] test bdd_node::tests::bdd_node_16_invalid_1 - should panic ... FAILED
[INFO] [stdout] test bdd_node::tests::bdd_node_64_invalid_3 - should panic ... FAILED
[INFO] [stdout] test conversion::tests::basic_unsuccessful_unchecked_conversion - should panic ... FAILED
[INFO] [stdout] test boolean_operators::tests::or_shared ... ok
[INFO] [stdout] test boolean_operators::tests::implies_shared ... ok
[INFO] [stdout] test boolean_operators::tests::iff_shared ... ok
[INFO] [stdout] test node_id::tests::node_id_16_invariants ... 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_64_undefined ... ok
[INFO] [stdout] test node_id::tests::node_id_16_try_from_64 ... ok
[INFO] [stdout] test boolean_operators::tests::id_tribool_conversion ... 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_32_undefined ... ok
[INFO] [stdout] test node_id::tests::node_id_16_unchecked_from_32_invalid - should panic ... FAILED
[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_64_undefined ... ok
[INFO] [stdout] test node_id::tests::node_id_16_unchecked_from_usize_invalid - should panic ... FAILED
[INFO] [stdout] test node_id::tests::node_id_16_unchecked_from_64_invalid - should panic ... FAILED
[INFO] [stdout] test node_id::tests::node_id_32_as_usize - should panic ... FAILED
[INFO] [stdout] test node_id::tests::node_id_32_byte_conversions ... ok
[INFO] [stdout] test node_id::tests::node_id_32_try_from_64 ... ok
[INFO] [stdout] test node_id::tests::node_id_32_invariants ... ok
[INFO] [stdout] test node_id::tests::node_id_32_try_from_64_undefined ... 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_32_try_from_64_invalid - should panic ... ok
[INFO] [stdout] test node_id::tests::node_id_32_from_str ... ok
[INFO] [stdout] test node_id::tests::node_32_invalid_new - should panic ... FAILED
[INFO] [stdout] test node_id::tests::node_id_32_from_16 ... ok
[INFO] [stdout] test node_id::tests::node_id_32_from_16_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_64_byte_conversions ... ok
[INFO] [stdout] test node_id::tests::node_id_64_from_32 ... ok
[INFO] [stdout] test node_id::tests::node_id_32_unchecked_from_usize_invalid - should panic ... FAILED
[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_undefined ... ok
[INFO] [stdout] test node_id::tests::node_id_32_unchecked_from_64_invalid - should panic ... FAILED
[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_64_as_usize - should panic ... FAILED
[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_64_try_from_usize_invalid - should panic ... ok
[INFO] [stdout] test node_id::tests::node_id_64_unchecked_from_usize_invalid - should panic ... FAILED
[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_display ... ok
[INFO] [stdout] test node_id::tests::node_id_flip ... ok
[INFO] [stdout] test node_id::tests::node_id_from_defined_32_into_undefined_16 - should panic ... FAILED
[INFO] [stdout] test node_id::tests::node_id_from_defined_64_into_undefined_16 - should panic ... FAILED
[INFO] [stdout] test node_id::tests::node_id_from_defined_64_into_undefined_32 - should panic ... FAILED
[INFO] [stdout] test node_id::tests::node_id_unsuccessful_conversion_from_64_to_16 - should panic ... FAILED
[INFO] [stdout] test node_id::tests::node_id_from_undefined_16 - should panic ... FAILED
[INFO] [stdout] test node_table::tests::collect_garbage_delete ... ok
[INFO] [stdout] test node_id::tests::node_id_from_undefined_64 - should panic ... FAILED
[INFO] [stdout] test node_id::tests::node_id_terminals ... ok
[INFO] [stdout] test node_id::tests::node_id_unsuccessful_conversion_from_32_to_16 - should panic ... FAILED
[INFO] [stdout] test node_table::tests::delete_normal_node_in_tree_with_multiple_nodes ... ok
[INFO] [stdout] test node_table::tests::delete_leafs_parent ... 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::collect_garbage_rebuild ... ok
[INFO] [stdout] test node_table::tests::delete_root_in_tree_with_multiple_nodes ... 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_table::tests::delete_unreachable ... ok
[INFO] [stdout] test node_id::tests::node_id_16_try_from_usize_invalid - should panic ... ok
[INFO] [stdout] test node_table::tests::free_list_delete_nodes_then_reinsert ... ok
[INFO] [stdout] test node_id::tests::node_id_16_unchecked_from_32_undefined ... ok
[INFO] [stdout] test node_id::tests::node_id_try_from_conversion ... ok
[INFO] [stdout] test node_id::tests::node_id_16_unchecked_from_64 ... ok
[INFO] [stdout] test node_table::tests::mark_reachable ... ok
[INFO] [stdout] test node_table::tests::delete_root_with_two_leaf_children ... ok
[INFO] [stdout] test node_table::tests::into_reachable_bdd ... ok
[INFO] [stdout] test node_table::tests::delete_root_in_tree_with_only_root ... ok
[INFO] [stdout] test node_table::tests::node_table_32_basic ... ok
[INFO] [stdout] test node_table::tests::node_table_conversions ... ok
[INFO] [stdout] test node_id::tests::node_id_unsuccessful_conversion_from_64_to_32 - should panic ... FAILED
[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_id::tests::node_id_from_undefined_32 - should panic ... FAILED
[INFO] [stdout] test node_table::tests::rebuild_table_64_with_64_bit_var_does_not_shrink ... ok
[INFO] [stdout] test node_table::tests::node_table_full ... ok
[INFO] [stdout] test node_table::tests::rebuild_shrink_64_to_16 ... 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_32_bit_manager_grows_to_64_bit ... ok
[INFO] [stdout] test shared::apply::tests::basic_apply_invariants_32 ... ok
[INFO] [stdout] test shared::manager::tests::bdd_to_dot ... ok
[INFO] [stdout] test shared::apply::tests::basic_apply_invariants_16 ... ok
[INFO] [stdout] test shared::manager::tests::constant_bdd_to_dot ... ok
[INFO] [stdout] test shared::manager::tests::not ... 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::maybe_collect_garbage ... ok
[INFO] [stdout] test node_table::tests::rebuild_shrink_64_to_32 ... ok
[INFO] [stdout] test node_table::tests::rebuild_shrink_32_to_16 ... ok
[INFO] [stdout] test shared::manager::tests::not_overflow ... ok
[INFO] [stdout] test node_table::tests::rebuild_32_to_16 ... ok
[INFO] [stdout] test shared::manager::tests::standalone_import_and_export ... ok
[INFO] [stdout] test shared::manager::tests::count_sat_valuations ... ok
[INFO] [stdout] test shared::nested_apply::tests::basic_nested_apply_invariants ... ok
[INFO] [stdout] test split::apply::tests::basic_apply_invariants ... ok
[INFO] [stdout] test shared::nested_apply::tests::nested_apply_bit_width_variants ... ok
[INFO] [stdout] test shared::nested_apply::tests::nested_apply_quantifier_distributivity ... ok
[INFO] [stdout] test shared::manager::tests::manager_growth_from_16_to_32_interspersed_with_gc ... ok
[INFO] [stdout] test shared::nested_apply::tests::nested_apply_without_quantification_is_equivalent_to_apply ... ok
[INFO] [stdout] test shared::nested_apply::tests::nested_apply_quantifier_commutativity ... ok
[INFO] [stdout] test split::apply::tests::bdd_size_combinations_apply ... 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::bdd64_invariants ... ok
[INFO] [stdout] test split::bdd::tests::bdd_64_shrink_to_16 ... ok
[INFO] [stdout] test split::bdd::tests::bdd32_not_invariants ... ok
[INFO] [stdout] test split::bdd::tests::bdd64_not_invariants ... ok
[INFO] [stdout] test split::bdd::tests::bdd_constants ... ok
[INFO] [stdout] test split::apply::tests::bdd_test_checked_logical_operators ... ok
[INFO] [stdout] test split::bdd::tests::bdd_cannot_shrink ... ok
[INFO] [stdout] test split::bdd::tests::bdd_getters ... 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_node_count ... ok
[INFO] [stdout] test split::bdd::tests::bdd_to_dot ... 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 split::nested_apply::tests::nested_apply_input_sizes ... ok
[INFO] [stdout] test shared::manager::tests::manager_grows_from_16_to_32 ... 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 node_table::tests::rebuild_64_to_16 ... ok
[INFO] [stdout] test split::serialization::tests::bdd16_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::nested_apply::tests::nested_apply_without_quantification_is_equivalent_to_apply ... ok
[INFO] [stdout] test split::serialization::tests::bdd16_constant_byte_conversions ... ok
[INFO] [stdout] test split::serialization::tests::bdd32_byte_conversions ... ok
[INFO] [stdout] test split::serialization::tests::bdd32_constant_string_conversions ... ok
[INFO] [stdout] test split::serialization::tests::bdd32_constant_byte_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 task_cache::tests::hash_extension_32_to_64 ... 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 ... FAILED
[INFO] [stdout] test variable_id::tests::packed_id_unsuccessful_conversion_64_16_panic - should panic ... FAILED
[INFO] [stdout] test task_cache::tests::hash_extension_64_to_128 ... ok
[INFO] [stdout] test variable_id::tests::packed_id_unsuccessful_conversion_64_32_panic - should panic ... FAILED
[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 split::serialization::tests::bdd64_string_conversions ... 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_mark ... ok
[INFO] [stdout] test variable_id::tests::var_packed_16_invalid - should panic ... FAILED
[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_from_64_undefined ... ok
[INFO] [stdout] test variable_id::tests::var_packed_16_max_defined ... ok
[INFO] [stdout] test split::apply::tests::bdd_size_overflow_test ... 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_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 ... FAILED
[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 ... FAILED
[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 ... FAILED
[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 ... FAILED
[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 ... FAILED
[INFO] [stdout] test variable_id::tests::var_packed_64_use_cache ... 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_undefined ... 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_paths ... ok
[INFO] [stdout] test shared::manager::tests::count_sat_paths ... ok
[INFO] [stdout] test iterators::shared::tests::iter_sat_valuations ... ok
[INFO] [stdout] test node_table::tests::rebuild_64_to_32 ... ok
[INFO] [stdout] test iterators::split::tests::iter_sat_valuations ... ok
[INFO] [stdout] test iterators::shared::tests::iter_sat_paths ... ok
[INFO] [stdout] test split::bdd::tests::count_sat_valuations ... ok
[INFO] [stdout] test split::bdd::tests::count_sat_paths ... ok
[INFO] [stdout] test shared::nested_apply::tests::nested_apply_growth_test ... ok
[INFO] [stdout] test split::bdd::tests::bdd_64_shrink_to_32 ... ok
[INFO] [stdout] test split::nested_apply::tests::nested_apply_growth_test ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- bdd_node::tests::bdd_node_16_invalid_2 stdout ----
[INFO] [stdout] note: test did not panic as expected at src/bdd_node.rs:434:30
[INFO] [stdout] ---- bdd_node::tests::bdd_node_16_invalid_3 stdout ----
[INFO] [stdout] note: test did not panic as expected at src/bdd_node.rs:448:30
[INFO] [stdout] ---- bdd_node::tests::bdd_node_64_invalid_1 stdout ----
[INFO] [stdout] note: test did not panic as expected at src/bdd_node.rs:422:30
[INFO] [stdout] ---- bdd_node::tests::bdd_node_64_invalid_2 stdout ----
[INFO] [stdout] note: test did not panic as expected at src/bdd_node.rs:436:30
[INFO] [stdout] ---- bdd_node::tests::bdd_node_32_invalid_2 stdout ----
[INFO] [stdout] note: test did not panic as expected at src/bdd_node.rs:435:30
[INFO] [stdout] ---- bdd_node::tests::bdd_node_32_invalid_1 stdout ----
[INFO] [stdout] note: test did not panic as expected at src/bdd_node.rs:421:30
[INFO] [stdout] ---- node_id::tests::node_id_16_as_usize stdout ----
[INFO] [stdout] note: test did not panic as expected at src/node_id.rs:707:12
[INFO] [stdout] ---- bdd_node::tests::bdd_node_32_invalid_3 stdout ----
[INFO] [stdout] note: test did not panic as expected at src/bdd_node.rs:449:30
[INFO] [stdout] ---- bdd_node::tests::bdd_node_16_invalid_1 stdout ----
[INFO] [stdout] note: test did not panic as expected at src/bdd_node.rs:420:30
[INFO] [stdout] ---- bdd_node::tests::bdd_node_64_invalid_3 stdout ----
[INFO] [stdout] note: test did not panic as expected at src/bdd_node.rs:450:30
[INFO] [stdout] ---- conversion::tests::basic_unsuccessful_unchecked_conversion stdout ----
[INFO] [stdout] note: test did not panic as expected at src/conversion.rs:103:8
[INFO] [stdout] ---- node_id::tests::node_id_16_unchecked_from_32_invalid stdout ----
[INFO] [stdout] note: test did not panic as expected at src/node_id.rs:811:69
[INFO] [stdout] ---- node_id::tests::node_id_16_unchecked_from_usize_invalid stdout ----
[INFO] [stdout] note: test did not panic as expected at src/node_id.rs:885:8
[INFO] [stdout] ---- node_id::tests::node_id_16_unchecked_from_64_invalid stdout ----
[INFO] [stdout] note: test did not panic as expected at src/node_id.rs:809:69
[INFO] [stdout] ---- node_id::tests::node_id_32_as_usize stdout ----
[INFO] [stdout] note: test did not panic as expected at src/node_id.rs:718:12
[INFO] [stdout] ---- node_id::tests::node_32_invalid_new stdout ----
[INFO] [stdout] note: test did not panic as expected at src/node_id.rs:735:12
[INFO] [stdout] ---- node_id::tests::node_id_32_unchecked_from_usize_invalid stdout ----
[INFO] [stdout] note: test did not panic as expected at src/node_id.rs:892:8
[INFO] [stdout] ---- node_id::tests::node_id_32_unchecked_from_64_invalid stdout ----
[INFO] [stdout] note: test did not panic as expected at src/node_id.rs:810:69
[INFO] [stdout] ---- node_id::tests::node_id_64_as_usize stdout ----
[INFO] [stdout] note: test did not panic as expected at src/node_id.rs:729:12
[INFO] [stdout] ---- node_id::tests::node_id_64_unchecked_from_usize_invalid stdout ----
[INFO] [stdout] note: test did not panic as expected at src/node_id.rs:899:8
[INFO] [stdout] ---- node_id::tests::node_id_from_defined_32_into_undefined_16 stdout ----
[INFO] [stdout] note: test did not panic as expected at src/node_id.rs:1003:69
[INFO] [stdout] ---- node_id::tests::node_id_from_defined_64_into_undefined_16 stdout ----
[INFO] [stdout] note: test did not panic as expected at src/node_id.rs:1004:69
[INFO] [stdout] ---- node_id::tests::node_id_from_defined_64_into_undefined_32 stdout ----
[INFO] [stdout] note: test did not panic as expected at src/node_id.rs:1005:69
[INFO] [stdout] ---- node_id::tests::node_id_unsuccessful_conversion_from_64_to_16 stdout ----
[INFO] [stdout] note: test did not panic as expected at src/node_id.rs:1054:8
[INFO] [stdout] ---- node_id::tests::node_id_from_undefined_16 stdout ----
[INFO] [stdout] note: test did not panic as expected at src/node_id.rs:975:8
[INFO] [stdout] ---- node_id::tests::node_id_from_undefined_64 stdout ----
[INFO] [stdout] note: test did not panic as expected at src/node_id.rs:987:8
[INFO] [stdout] ---- node_id::tests::node_id_unsuccessful_conversion_from_32_to_16 stdout ----
[INFO] [stdout] note: test did not panic as expected at src/node_id.rs:1070:8
[INFO] [stdout] ---- node_id::tests::node_id_unsuccessful_conversion_from_64_to_32 stdout ----
[INFO] [stdout] note: test did not panic as expected at src/node_id.rs:1062:8
[INFO] [stdout] ---- node_id::tests::node_id_from_undefined_32 stdout ----
[INFO] [stdout] note: test did not panic as expected at src/node_id.rs:981:8
[INFO] [stdout] ---- variable_id::tests::packed_id_unsuccessful_conversion_32_16_panic stdout ----
[INFO] [stdout] note: test did not panic as expected at src/variable_id.rs:1235:8
[INFO] [stdout] ---- variable_id::tests::packed_id_unsuccessful_conversion_64_16_panic stdout ----
[INFO] [stdout] note: test did not panic as expected at src/variable_id.rs:1242:8
[INFO] [stdout] ---- variable_id::tests::packed_id_unsuccessful_conversion_64_32_panic stdout ----
[INFO] [stdout] note: test did not panic as expected at src/variable_id.rs:1249:8
[INFO] [stdout] ---- variable_id::tests::var_packed_16_invalid stdout ----
[INFO] [stdout] note: test did not panic as expected at src/variable_id.rs:974:30
[INFO] [stdout] ---- variable_id::tests::var_packed_16_unpack_invalid stdout ----
[INFO] [stdout] note: test did not panic as expected at src/variable_id.rs:988:37
[INFO] [stdout] ---- variable_id::tests::var_packed_32_invalid stdout ----
[INFO] [stdout] note: test did not panic as expected at src/variable_id.rs:975:30
[INFO] [stdout] ---- variable_id::tests::var_packed_32_unpack_invalid stdout ----
[INFO] [stdout] note: test did not panic as expected at src/variable_id.rs:989:37
[INFO] [stdout] ---- variable_id::tests::var_packed_64_invalid stdout ----
[INFO] [stdout] note: test did not panic as expected at src/variable_id.rs:976:30
[INFO] [stdout] ---- variable_id::tests::var_packed_64_unpack_invalid stdout ----
[INFO] [stdout] note: test did not panic as expected at src/variable_id.rs:990:37
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     bdd_node::tests::bdd_node_16_invalid_1
[INFO] [stdout]     bdd_node::tests::bdd_node_16_invalid_2
[INFO] [stdout]     bdd_node::tests::bdd_node_16_invalid_3
[INFO] [stdout]     bdd_node::tests::bdd_node_32_invalid_1
[INFO] [stdout]     bdd_node::tests::bdd_node_32_invalid_2
[INFO] [stdout]     bdd_node::tests::bdd_node_32_invalid_3
[INFO] [stdout]     bdd_node::tests::bdd_node_64_invalid_1
[INFO] [stdout]     bdd_node::tests::bdd_node_64_invalid_2
[INFO] [stdout]     bdd_node::tests::bdd_node_64_invalid_3
[INFO] [stdout]     conversion::tests::basic_unsuccessful_unchecked_conversion
[INFO] [stdout]     node_id::tests::node_32_invalid_new
[INFO] [stdout]     node_id::tests::node_id_16_as_usize
[INFO] [stdout]     node_id::tests::node_id_16_unchecked_from_32_invalid
[INFO] [stdout]     node_id::tests::node_id_16_unchecked_from_64_invalid
[INFO] [stdout]     node_id::tests::node_id_16_unchecked_from_usize_invalid
[INFO] [stdout]     node_id::tests::node_id_32_as_usize
[INFO] [stdout]     node_id::tests::node_id_32_unchecked_from_64_invalid
[INFO] [stdout]     node_id::tests::node_id_32_unchecked_from_usize_invalid
[INFO] [stdout]     node_id::tests::node_id_64_as_usize
[INFO] [stdout]     node_id::tests::node_id_64_unchecked_from_usize_invalid
[INFO] [stdout]     node_id::tests::node_id_from_defined_32_into_undefined_16
[INFO] [stdout]     node_id::tests::node_id_from_defined_64_into_undefined_16
[INFO] [stdout]     node_id::tests::node_id_from_defined_64_into_undefined_32
[INFO] [stdout]     node_id::tests::node_id_from_undefined_16
[INFO] [stdout]     node_id::tests::node_id_from_undefined_32
[INFO] [stdout]     node_id::tests::node_id_from_undefined_64
[INFO] [stdout]     node_id::tests::node_id_unsuccessful_conversion_from_32_to_16
[INFO] [stdout]     node_id::tests::node_id_unsuccessful_conversion_from_64_to_16
[INFO] [stdout]     node_id::tests::node_id_unsuccessful_conversion_from_64_to_32
[INFO] [stdout]     variable_id::tests::packed_id_unsuccessful_conversion_32_16_panic
[INFO] [stdout]     variable_id::tests::packed_id_unsuccessful_conversion_64_16_panic
[INFO] [stdout]     variable_id::tests::packed_id_unsuccessful_conversion_64_32_panic
[INFO] [stdout]     variable_id::tests::var_packed_16_invalid
[INFO] [stdout]     variable_id::tests::var_packed_16_unpack_invalid
[INFO] [stdout]     variable_id::tests::var_packed_32_invalid
[INFO] [stdout]     variable_id::tests::var_packed_32_unpack_invalid
[INFO] [stdout]     variable_id::tests::var_packed_64_invalid
[INFO] [stdout]     variable_id::tests::var_packed_64_unpack_invalid
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 217 passed; 38 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.47s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] running `Command { std: "docker" "inspect" "db26d1f1ffa1acafee98a4adffede2c128bd812621ede8a2e6dd27a626cf0b37", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "db26d1f1ffa1acafee98a4adffede2c128bd812621ede8a2e6dd27a626cf0b37", kill_on_drop: false }`
[INFO] [stdout] db26d1f1ffa1acafee98a4adffede2c128bd812621ede8a2e6dd27a626cf0b37
