[INFO] fetching crate ruddy 0.0.2...
[INFO] testing ruddy-0.0.2 against beta-2026-04-21 for beta-1.96-2
[INFO] extracting crate ruddy 0.0.2 into /workspace/builds/worker-7-tc2/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-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate ruddy 0.0.2 on toolchain beta-2026-04-21
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2026-04-21" "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" "+beta-2026-04-21" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-04-21" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] f293f2518c17452f8f7889b4ae4c734996ab5b2f03818ac82f8dbe3a5b76761d
[INFO] running `Command { std: "docker" "start" "-a" "f293f2518c17452f8f7889b4ae4c734996ab5b2f03818ac82f8dbe3a5b76761d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "f293f2518c17452f8f7889b4ae4c734996ab5b2f03818ac82f8dbe3a5b76761d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f293f2518c17452f8f7889b4ae4c734996ab5b2f03818ac82f8dbe3a5b76761d", kill_on_drop: false }`
[INFO] [stdout] f293f2518c17452f8f7889b4ae4c734996ab5b2f03818ac82f8dbe3a5b76761d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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=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" "+beta-2026-04-21" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e3555aae08069c597a867ab8d562a9c646558eb7842a37275ff454ea8d79a172
[INFO] running `Command { std: "docker" "start" "-a" "e3555aae08069c597a867ab8d562a9c646558eb7842a37275ff454ea8d79a172", 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] [stdout] warning: a method with this name may be added to the standard library in the future
[INFO] [stdout]    --> src/task_cache.rs:423:41
[INFO] [stdout]     |
[INFO] [stdout] 423 |                     let new_hash = hash.extend();
[INFO] [stdout]     |                                         ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 440 | impl_from_task_cache_with_extension!(NodeId16, NodeId32, u32, u64);
[INFO] [stdout]     | ------------------------------------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = help: call with fully qualified syntax `ExtendKnuthHash::extend(...)` to keep using the current method
[INFO] [stdout]     = warning: once this associated item is added to the standard library, the ambiguity may cause an error or change in behavior!
[INFO] [stdout]     = note: for more information, see issue #48919 <https://github.com/rust-lang/rust/issues/48919>
[INFO] [stdout]     = note: `#[warn(unstable_name_collisions)]` (part of `#[warn(future_incompatible)]`) on by default
[INFO] [stdout]     = note: this warning originates in the macro `impl_from_task_cache_with_extension` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: a method with this name may be added to the standard library in the future
[INFO] [stdout]    --> src/task_cache.rs:423:41
[INFO] [stdout]     |
[INFO] [stdout] 423 |                     let new_hash = hash.extend();
[INFO] [stdout]     |                                         ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 441 | impl_from_task_cache_with_extension!(NodeId32, NodeId64, u64, u128);
[INFO] [stdout]     | ------------------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = help: call with fully qualified syntax `ExtendKnuthHash::extend(...)` to keep using the current method
[INFO] [stdout]     = warning: once this associated item is added to the standard library, the ambiguity may cause an error or change in behavior!
[INFO] [stdout]     = note: for more information, see issue #48919 <https://github.com/rust-lang/rust/issues/48919>
[INFO] [stdout]     = note: this warning originates in the macro `impl_from_task_cache_with_extension` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 4.75s
[INFO] running `Command { std: "docker" "inspect" "e3555aae08069c597a867ab8d562a9c646558eb7842a37275ff454ea8d79a172", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e3555aae08069c597a867ab8d562a9c646558eb7842a37275ff454ea8d79a172", kill_on_drop: false }`
[INFO] [stdout] e3555aae08069c597a867ab8d562a9c646558eb7842a37275ff454ea8d79a172
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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=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" "+beta-2026-04-21" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f5fd3c973e7b3c6af1288efcf09850d25008312f788aabfa1d0dcc59afa6476a
[INFO] running `Command { std: "docker" "start" "-a" "f5fd3c973e7b3c6af1288efcf09850d25008312f788aabfa1d0dcc59afa6476a", kill_on_drop: false }`
[INFO] [stderr]    Compiling ruddy v0.0.2 (/opt/rustwide/workdir)
[INFO] [stdout] warning: a method with this name may be added to the standard library in the future
[INFO] [stdout]    --> src/task_cache.rs:423:41
[INFO] [stdout]     |
[INFO] [stdout] 423 |                     let new_hash = hash.extend();
[INFO] [stdout]     |                                         ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 440 | impl_from_task_cache_with_extension!(NodeId16, NodeId32, u32, u64);
[INFO] [stdout]     | ------------------------------------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = help: call with fully qualified syntax `ExtendKnuthHash::extend(...)` to keep using the current method
[INFO] [stdout]     = warning: once this associated item is added to the standard library, the ambiguity may cause an error or change in behavior!
[INFO] [stdout]     = note: for more information, see issue #48919 <https://github.com/rust-lang/rust/issues/48919>
[INFO] [stdout]     = note: `#[warn(unstable_name_collisions)]` (part of `#[warn(future_incompatible)]`) on by default
[INFO] [stdout]     = note: this warning originates in the macro `impl_from_task_cache_with_extension` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: a method with this name may be added to the standard library in the future
[INFO] [stdout]    --> src/task_cache.rs:423:41
[INFO] [stdout]     |
[INFO] [stdout] 423 |                     let new_hash = hash.extend();
[INFO] [stdout]     |                                         ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 441 | impl_from_task_cache_with_extension!(NodeId32, NodeId64, u64, u128);
[INFO] [stdout]     | ------------------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = help: call with fully qualified syntax `ExtendKnuthHash::extend(...)` to keep using the current method
[INFO] [stdout]     = warning: once this associated item is added to the standard library, the ambiguity may cause an error or change in behavior!
[INFO] [stdout]     = note: for more information, see issue #48919 <https://github.com/rust-lang/rust/issues/48919>
[INFO] [stdout]     = note: this warning originates in the macro `impl_from_task_cache_with_extension` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: a method with this name may be added to the standard library in the future
[INFO] [stdout]    --> src/task_cache.rs:423:41
[INFO] [stdout]     |
[INFO] [stdout] 423 |                     let new_hash = hash.extend();
[INFO] [stdout]     |                                         ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 440 | impl_from_task_cache_with_extension!(NodeId16, NodeId32, u32, u64);
[INFO] [stdout]     | ------------------------------------------------------------------ in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = help: call with fully qualified syntax `ExtendKnuthHash::extend(...)` to keep using the current method
[INFO] [stdout]     = warning: once this associated item is added to the standard library, the ambiguity may cause an error or change in behavior!
[INFO] [stdout]     = note: for more information, see issue #48919 <https://github.com/rust-lang/rust/issues/48919>
[INFO] [stdout]     = note: `#[warn(unstable_name_collisions)]` (part of `#[warn(future_incompatible)]`) on by default
[INFO] [stdout]     = note: this warning originates in the macro `impl_from_task_cache_with_extension` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: a method with this name may be added to the standard library in the future
[INFO] [stdout]    --> src/task_cache.rs:423:41
[INFO] [stdout]     |
[INFO] [stdout] 423 |                     let new_hash = hash.extend();
[INFO] [stdout]     |                                         ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 441 | impl_from_task_cache_with_extension!(NodeId32, NodeId64, u64, u128);
[INFO] [stdout]     | ------------------------------------------------------------------- in this macro invocation
[INFO] [stdout]     |
[INFO] [stdout]     = help: call with fully qualified syntax `ExtendKnuthHash::extend(...)` to keep using the current method
[INFO] [stdout]     = warning: once this associated item is added to the standard library, the ambiguity may cause an error or change in behavior!
[INFO] [stdout]     = note: for more information, see issue #48919 <https://github.com/rust-lang/rust/issues/48919>
[INFO] [stdout]     = note: this warning originates in the macro `impl_from_task_cache_with_extension` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: a method with this name may be added to the standard library in the future
[INFO] [stdout]    --> src/task_cache.rs:507:29
[INFO] [stdout]     |
[INFO] [stdout] 507 |         let extended = hash.extend();
[INFO] [stdout]     |                             ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: call with fully qualified syntax `ExtendKnuthHash::extend(...)` to keep using the current method
[INFO] [stdout]     = warning: once this associated item is added to the standard library, the ambiguity may cause an error or change in behavior!
[INFO] [stdout]     = note: for more information, see issue #48919 <https://github.com/rust-lang/rust/issues/48919>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: a method with this name may be added to the standard library in the future
[INFO] [stdout]    --> src/task_cache.rs:528:29
[INFO] [stdout]     |
[INFO] [stdout] 528 |         let extended = hash.extend();
[INFO] [stdout]     |                             ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: call with fully qualified syntax `ExtendKnuthHash::extend(...)` to keep using the current method
[INFO] [stdout]     = warning: once this associated item is added to the standard library, the ambiguity may cause an error or change in behavior!
[INFO] [stdout]     = note: for more information, see issue #48919 <https://github.com/rust-lang/rust/issues/48919>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 8.15s
[INFO] running `Command { std: "docker" "inspect" "f5fd3c973e7b3c6af1288efcf09850d25008312f788aabfa1d0dcc59afa6476a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f5fd3c973e7b3c6af1288efcf09850d25008312f788aabfa1d0dcc59afa6476a", kill_on_drop: false }`
[INFO] [stdout] f5fd3c973e7b3c6af1288efcf09850d25008312f788aabfa1d0dcc59afa6476a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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=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" "+beta-2026-04-21" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] bfe3f276ecfe18ef4f9a6eb9142c41bbdf3294f5e4d64a0a85a596a3a8b3d567
[INFO] running `Command { std: "docker" "start" "-a" "bfe3f276ecfe18ef4f9a6eb9142c41bbdf3294f5e4d64a0a85a596a3a8b3d567", kill_on_drop: false }`
[INFO] [stderr] warning: a method with this name may be added to the standard library in the future
[INFO] [stderr]    --> src/task_cache.rs:423:41
[INFO] [stderr]     |
[INFO] [stderr] 423 |                     let new_hash = hash.extend();
[INFO] [stderr]     |                                         ^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 440 | impl_from_task_cache_with_extension!(NodeId16, NodeId32, u32, u64);
[INFO] [stderr]     | ------------------------------------------------------------------ in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = help: call with fully qualified syntax `ExtendKnuthHash::extend(...)` to keep using the current method
[INFO] [stderr]     = warning: once this associated item is added to the standard library, the ambiguity may cause an error or change in behavior!
[INFO] [stderr]     = note: for more information, see issue #48919 <https://github.com/rust-lang/rust/issues/48919>
[INFO] [stderr]     = note: `#[warn(unstable_name_collisions)]` (part of `#[warn(future_incompatible)]`) on by default
[INFO] [stderr]     = note: this warning originates in the macro `impl_from_task_cache_with_extension` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: a method with this name may be added to the standard library in the future
[INFO] [stderr]    --> src/task_cache.rs:423:41
[INFO] [stderr]     |
[INFO] [stderr] 423 |                     let new_hash = hash.extend();
[INFO] [stderr]     |                                         ^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 441 | impl_from_task_cache_with_extension!(NodeId32, NodeId64, u64, u128);
[INFO] [stderr]     | ------------------------------------------------------------------- in this macro invocation
[INFO] [stderr]     |
[INFO] [stderr]     = help: call with fully qualified syntax `ExtendKnuthHash::extend(...)` to keep using the current method
[INFO] [stderr]     = warning: once this associated item is added to the standard library, the ambiguity may cause an error or change in behavior!
[INFO] [stderr]     = note: for more information, see issue #48919 <https://github.com/rust-lang/rust/issues/48919>
[INFO] [stderr]     = note: this warning originates in the macro `impl_from_task_cache_with_extension` (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: `ruddy` (lib) generated 2 warnings
[INFO] [stderr] warning: a method with this name may be added to the standard library in the future
[INFO] [stderr]    --> src/task_cache.rs:507:29
[INFO] [stderr]     |
[INFO] [stderr] 507 |         let extended = hash.extend();
[INFO] [stderr]     |                             ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: call with fully qualified syntax `ExtendKnuthHash::extend(...)` to keep using the current method
[INFO] [stderr]     = warning: once this associated item is added to the standard library, the ambiguity may cause an error or change in behavior!
[INFO] [stderr]     = note: for more information, see issue #48919 <https://github.com/rust-lang/rust/issues/48919>
[INFO] [stderr] 
[INFO] [stderr] warning: a method with this name may be added to the standard library in the future
[INFO] [stderr]    --> src/task_cache.rs:528:29
[INFO] [stderr]     |
[INFO] [stderr] 528 |         let extended = hash.extend();
[INFO] [stderr]     |                             ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: call with fully qualified syntax `ExtendKnuthHash::extend(...)` to keep using the current method
[INFO] [stderr]     = warning: once this associated item is added to the standard library, the ambiguity may cause an error or change in behavior!
[INFO] [stderr]     = note: for more information, see issue #48919 <https://github.com/rust-lang/rust/issues/48919>
[INFO] [stderr] 
[INFO] [stderr] warning: `ruddy` (lib test) generated 4 warnings (2 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.04s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/ruddy-d6b7f9b3e322d272)
[INFO] [stdout] 
[INFO] [stdout] running 255 tests
[INFO] [stdout] test bdd_node::tests::bdd_node_16_invariants ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_16_parent_counter ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_16_reachability ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_32_invariants ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_32_reachability ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_32_parent_counter ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_16_invalid_1 - should panic ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_16_invalid_2 - 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_64_invariants ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_32_invalid_2 - should panic ... 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 bdd_node::tests::bdd_node_32_invalid_3 - should panic ... ok
[INFO] [stdout] test boolean_operators::tests::implies_shared ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_64_invalid_3 - should panic ... ok
[INFO] [stdout] test boolean_operators::tests::operators_for_split ... ok
[INFO] [stdout] test conversion::tests::basic_successful_unchecked_conversions ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_32_invalid_1 - should panic ... ok
[INFO] [stdout] test boolean_operators::tests::or_shared ... ok
[INFO] [stdout] test boolean_operators::tests::xor_shared ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_64_invalid_1 - should panic ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_64_invalid_2 - should panic ... ok
[INFO] [stdout] test conversion::tests::basic_unsuccessful_unchecked_conversion - should panic ... ok
[INFO] [stdout] test node_id::tests::node_id_16_byte_conversions ... ok
[INFO] [stdout] test bdd_node::tests::bdd_node_64_parent_counter ... ok
[INFO] [stdout] test node_id::tests::node_id_16_as_usize - should panic ... ok
[INFO] [stdout] test node_id::tests::node_id_16_from_str ... 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_32_invalid - should panic ... 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_try_from_64_undefined ... 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_32 ... 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_unchecked_from_32_undefined ... 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_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 ... ok
[INFO] [stdout] test node_id::tests::node_id_16_try_from_32_undefined ... ok
[INFO] [stdout] test node_id::tests::node_id_32_as_usize - should panic ... ok
[INFO] [stdout] test node_id::tests::node_id_16_try_from_64 ... ok
[INFO] [stdout] test node_id::tests::node_id_32_byte_conversions ... ok
[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_from_str ... 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_32_invalid_new - 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_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_as_usize - should panic ... 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_64_try_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_display ... 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_unchecked_from_usize_invalid - should panic ... ok
[INFO] [stdout] test node_id::tests::node_id_32_unchecked_from_64 ... ok
[INFO] [stdout] test node_id::tests::node_id_flip ... 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_undefined_32 - 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_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_64 - should panic ... ok
[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 ... ok
[INFO] [stdout] test node_id::tests::node_id_try_from_conversion ... ok
[INFO] [stdout] test node_id::tests::node_id_unsuccessful_conversion_from_64_to_16 - should panic ... ok
[INFO] [stdout] test node_table::tests::delete_deleted_node ... ok
[INFO] [stdout] test node_id::tests::node_id_unsuccessful_conversion_from_64_to_32 - should panic ... ok
[INFO] [stdout] test node_table::tests::collect_garbage_rebuild ... 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::delete_leaf_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_table::tests::delete_root_in_tree_with_multiple_nodes ... 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::mark_reachable ... 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_table::tests::delete_normal_node_in_tree_with_multiple_nodes ... ok
[INFO] [stdout] test node_table::tests::into_reachable_bdd ... ok
[INFO] [stdout] test node_table::tests::collect_garbage_delete ... 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 iterators::shared::tests::iter_sat_paths ... ok
[INFO] [stdout] test shared::manager::tests::maybe_collect_garbage ... ok
[INFO] [stdout] test shared::manager::tests::not ... ok
[INFO] [stdout] test shared::manager::tests::count_sat_valuations ... ok
[INFO] [stdout] test shared::manager::tests::not_overflow ... 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::manager_grows_from_16_to_32 ... 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 iterators::split::tests::iter_sat_valuations ... 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::apply::tests::bdd_size_overflow_test ... 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 iterators::split::tests::iter_sat_paths ... 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 split::serialization::tests::bdd64_string_conversions ... 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_64 ... 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_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_parent_counter ... ok
[INFO] [stdout] test variable_id::tests::var_packed_16_max_defined ... 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_invalid - should panic ... 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::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_undefined ... ok
[INFO] [stdout] test variable_id::tests::var_packed_32_unchecked_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_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_use_cache ... ok
[INFO] [stdout] test variable_id::tests::var_packed_64_byte_conversions ... ok
[INFO] [stdout] test variable_id::tests::var_packed_32_unpack_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 variable_id::tests::var_packed_64_invalid - should panic ... ok
[INFO] [stdout] test split::bdd::tests::bdd_expands_to_32_and_shrinks_to_16 ... ok
[INFO] [stdout] test split::bdd::tests::count_sat_paths ... ok
[INFO] [stdout] test split::bdd::tests::bdd_64_shrink_to_32 ... 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 13.20s
[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 110) ... ok
[INFO] [stdout] test src/lib.rs - (line 23) ... ok
[INFO] [stdout] test src/boolean_operators.rs - boolean_operators::BooleanOperator (line 129) ... ok
[INFO] [stdout] test src/lib.rs - (line 45) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] all doctests ran in 0.86s; merged doctests compilation took 0.83s
[INFO] running `Command { std: "docker" "inspect" "bfe3f276ecfe18ef4f9a6eb9142c41bbdf3294f5e4d64a0a85a596a3a8b3d567", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bfe3f276ecfe18ef4f9a6eb9142c41bbdf3294f5e4d64a0a85a596a3a8b3d567", kill_on_drop: false }`
[INFO] [stdout] bfe3f276ecfe18ef4f9a6eb9142c41bbdf3294f5e4d64a0a85a596a3a8b3d567
