[INFO] cloning repository https://github.com/prabhpreet/SAT-Solver [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/prabhpreet/SAT-Solver" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fprabhpreet%2FSAT-Solver", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fprabhpreet%2FSAT-Solver'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 370e86dcb35033dd906dc9410dd77f667fc05b25 [INFO] checking prabhpreet/SAT-Solver against master#1f12b9b0fdbe735968ac002792a720f0ba4faca6 for crater-rollup-uwu [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fprabhpreet%2FSAT-Solver" "/workspace/builds/worker-5-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/prabhpreet/SAT-Solver on toolchain 1f12b9b0fdbe735968ac002792a720f0ba4faca6 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/prabhpreet/SAT-Solver [INFO] finished tweaking git repo https://github.com/prabhpreet/SAT-Solver [INFO] tweaked toml for git repo https://github.com/prabhpreet/SAT-Solver written to /workspace/builds/worker-5-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/prabhpreet/SAT-Solver 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" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] e2109dee1ed07ced53590338b9d7162402d1c3d24be27b3e5212ce8b5bc0e942 [INFO] running `Command { std: "docker" "start" "-a" "e2109dee1ed07ced53590338b9d7162402d1c3d24be27b3e5212ce8b5bc0e942", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "e2109dee1ed07ced53590338b9d7162402d1c3d24be27b3e5212ce8b5bc0e942", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e2109dee1ed07ced53590338b9d7162402d1c3d24be27b3e5212ce8b5bc0e942", kill_on_drop: false }` [INFO] [stdout] e2109dee1ed07ced53590338b9d7162402d1c3d24be27b3e5212ce8b5bc0e942 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+1f12b9b0fdbe735968ac002792a720f0ba4faca6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] b1e945eb8d46626af1ccf21186091c848497b5596b44ffb7a279ae8531a4278d [INFO] running `Command { std: "docker" "start" "-a" "b1e945eb8d46626af1ccf21186091c848497b5596b44ffb7a279ae8531a4278d", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.76 [INFO] [stderr] Compiling crossbeam-utils v0.8.19 [INFO] [stderr] Checking memchr v2.7.1 [INFO] [stderr] Compiling libc v0.2.152 [INFO] [stderr] Compiling rustix v0.38.30 [INFO] [stderr] Checking bitflags v2.4.2 [INFO] [stderr] Checking regex-syntax v0.8.2 [INFO] [stderr] Checking linux-raw-sys v0.4.13 [INFO] [stderr] Checking either v1.9.0 [INFO] [stderr] Compiling rayon-core v1.12.1 [INFO] [stderr] Compiling serde v1.0.195 [INFO] [stderr] Compiling num-traits v0.2.17 [INFO] [stderr] Checking aho-corasick v1.1.2 [INFO] [stderr] Compiling serde_json v1.0.111 [INFO] [stderr] Checking termcolor v1.4.1 [INFO] [stderr] Checking crossbeam-epoch v0.9.18 [INFO] [stderr] Checking log v0.4.20 [INFO] [stderr] Compiling quote v1.0.35 [INFO] [stderr] Checking humantime v2.1.0 [INFO] [stderr] Checking crossbeam-deque v0.8.5 [INFO] [stderr] Checking ppv-lite86 v0.2.17 [INFO] [stderr] Compiling syn v2.0.48 [INFO] [stderr] Checking getrandom v0.2.12 [INFO] [stderr] Checking half v1.8.2 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking is-terminal v0.4.10 [INFO] [stderr] Checking anstyle v1.0.4 [INFO] [stderr] Checking clap_lex v0.6.0 [INFO] [stderr] Checking itoa v1.0.10 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking regex-automata v0.4.3 [INFO] [stderr] Checking plotters-backend v0.3.5 [INFO] [stderr] Checking rayon v1.8.1 [INFO] [stderr] Checking ciborium-io v0.2.1 [INFO] [stderr] Checking ryu v1.0.16 [INFO] [stderr] Checking ciborium-ll v0.2.1 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking clap_builder v4.4.18 [INFO] [stderr] Checking plotters-svg v0.3.5 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Checking cast v0.3.0 [INFO] [stderr] Checking walkdir v2.4.0 [INFO] [stderr] Checking once_cell v1.19.0 [INFO] [stderr] Checking anes v0.1.6 [INFO] [stderr] Checking oorandom v11.1.3 [INFO] [stderr] Checking plotters v0.3.5 [INFO] [stderr] Checking criterion-plot v0.5.0 [INFO] [stderr] Checking clap v4.4.18 [INFO] [stderr] Checking regex v1.10.2 [INFO] [stderr] Compiling serde_derive v1.0.195 [INFO] [stderr] Checking env_logger v0.10.2 [INFO] [stderr] Checking pretty_env_logger v0.5.0 [INFO] [stderr] Checking sat-solver v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `cell::Ref` [INFO] [stdout] --> src/definitions.rs:2:60 [INFO] [stdout] | [INFO] [stdout] 2 | use std::{collections::{HashMap, HashSet}, vec, sync::Arc, cell::Ref}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `log::debug` [INFO] [stdout] --> src/definitions.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use log::debug; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Rng` and `rngs` [INFO] [stdout] --> src/sdpll.rs:5:12 [INFO] [stdout] | [INFO] [stdout] 5 | use rand::{Rng, seq::IteratorRandom, rngs, thread_rng}; [INFO] [stdout] | ^^^ ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Rng` [INFO] [stdout] --> src/pdpll.rs:8:45 [INFO] [stdout] | [INFO] [stdout] 8 | use rand::{seq::IteratorRandom, thread_rng, Rng}; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `IntoParallelIterator` [INFO] [stdout] --> src/pdpll.rs:9:19 [INFO] [stdout] | [INFO] [stdout] 9 | use rayon::iter::{IntoParallelIterator, ParallelBridge, ParallelIterator}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `LiteralList` is never constructed [INFO] [stdout] --> src/sdpll.rs:58:5 [INFO] [stdout] | [INFO] [stdout] 56 | enum DIVec> { [INFO] [stdout] | -- variant in this enum [INFO] [stdout] 57 | RandomDecision, [INFO] [stdout] 58 | LiteralList(Vec), [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `DI` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `LiteralList` is never constructed [INFO] [stdout] --> src/pdpll.rs:74:5 [INFO] [stdout] | [INFO] [stdout] 72 | enum VDIVec> { [INFO] [stdout] | --- variant in this enum [INFO] [stdout] 73 | RandomDecision, [INFO] [stdout] 74 | LiteralList(Vec), [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `VDI` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 7 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking ciborium v0.2.1 [INFO] [stderr] Checking tinytemplate v1.2.1 [INFO] [stderr] Checking criterion v0.5.1 [INFO] [stdout] warning: unused import: `cell::Ref` [INFO] [stdout] --> src/definitions.rs:2:60 [INFO] [stdout] | [INFO] [stdout] 2 | use std::{collections::{HashMap, HashSet}, vec, sync::Arc, cell::Ref}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `log::debug` [INFO] [stdout] --> src/definitions.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use log::debug; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Rng` and `rngs` [INFO] [stdout] --> src/sdpll.rs:5:12 [INFO] [stdout] | [INFO] [stdout] 5 | use rand::{Rng, seq::IteratorRandom, rngs, thread_rng}; [INFO] [stdout] | ^^^ ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Rng` [INFO] [stdout] --> src/pdpll.rs:8:45 [INFO] [stdout] | [INFO] [stdout] 8 | use rand::{seq::IteratorRandom, thread_rng, Rng}; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `IntoParallelIterator` [INFO] [stdout] --> src/pdpll.rs:9:19 [INFO] [stdout] | [INFO] [stdout] 9 | use rayon::iter::{IntoParallelIterator, ParallelBridge, ParallelIterator}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `LiteralList` is never constructed [INFO] [stdout] --> src/sdpll.rs:58:5 [INFO] [stdout] | [INFO] [stdout] 56 | enum DIVec> { [INFO] [stdout] | -- variant in this enum [INFO] [stdout] 57 | RandomDecision, [INFO] [stdout] 58 | LiteralList(Vec), [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `DI` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `LiteralList` is never constructed [INFO] [stdout] --> src/pdpll.rs:74:5 [INFO] [stdout] | [INFO] [stdout] 72 | enum VDIVec> { [INFO] [stdout] | --- variant in this enum [INFO] [stdout] 73 | RandomDecision, [INFO] [stdout] 74 | LiteralList(Vec), [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `VDI` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `Result` that must be used [INFO] [stdout] --> src/tests.rs:9:9 [INFO] [stdout] | [INFO] [stdout] 9 | pretty_env_logger::try_init(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/sdpll.rs:146:5 [INFO] [stdout] | [INFO] [stdout] 146 | crate::tests::sat_tests!(DPLLSolverBuilder::new()); [INFO] [stdout] | -------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] = note: `#[warn(unused_must_use)]` on by default [INFO] [stdout] = note: this warning originates in the macro `crate::tests::sat_tests` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 9 | let _ = pretty_env_logger::try_init(); [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `Result` that must be used [INFO] [stdout] --> src/tests.rs:32:9 [INFO] [stdout] | [INFO] [stdout] 32 | pretty_env_logger::try_init(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/sdpll.rs:146:5 [INFO] [stdout] | [INFO] [stdout] 146 | crate::tests::sat_tests!(DPLLSolverBuilder::new()); [INFO] [stdout] | -------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] = note: this warning originates in the macro `crate::tests::sat_tests` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 32 | let _ = pretty_env_logger::try_init(); [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `Result` that must be used [INFO] [stdout] --> src/tests.rs:60:9 [INFO] [stdout] | [INFO] [stdout] 60 | pretty_env_logger::try_init(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/sdpll.rs:146:5 [INFO] [stdout] | [INFO] [stdout] 146 | crate::tests::sat_tests!(DPLLSolverBuilder::new()); [INFO] [stdout] | -------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] = note: this warning originates in the macro `crate::tests::sat_tests` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 60 | let _ = pretty_env_logger::try_init(); [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `Result` that must be used [INFO] [stdout] --> src/tests.rs:123:9 [INFO] [stdout] | [INFO] [stdout] 123 | pretty_env_logger::try_init(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/sdpll.rs:146:5 [INFO] [stdout] | [INFO] [stdout] 146 | crate::tests::sat_tests!(DPLLSolverBuilder::new()); [INFO] [stdout] | -------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] = note: this warning originates in the macro `crate::tests::sat_tests` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 123 | let _ = pretty_env_logger::try_init(); [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `Result` that must be used [INFO] [stdout] --> src/tests.rs:9:9 [INFO] [stdout] | [INFO] [stdout] 9 | pretty_env_logger::try_init(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/pdpll.rs:205:5 [INFO] [stdout] | [INFO] [stdout] 205 | crate::tests::sat_tests!(PDPLLSolverBuilder::new(4)); [INFO] [stdout] | ---------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] = note: this warning originates in the macro `crate::tests::sat_tests` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 9 | let _ = pretty_env_logger::try_init(); [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `Result` that must be used [INFO] [stdout] --> src/tests.rs:32:9 [INFO] [stdout] | [INFO] [stdout] 32 | pretty_env_logger::try_init(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/pdpll.rs:205:5 [INFO] [stdout] | [INFO] [stdout] 205 | crate::tests::sat_tests!(PDPLLSolverBuilder::new(4)); [INFO] [stdout] | ---------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] = note: this warning originates in the macro `crate::tests::sat_tests` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 32 | let _ = pretty_env_logger::try_init(); [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `Result` that must be used [INFO] [stdout] --> src/tests.rs:60:9 [INFO] [stdout] | [INFO] [stdout] 60 | pretty_env_logger::try_init(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/pdpll.rs:205:5 [INFO] [stdout] | [INFO] [stdout] 205 | crate::tests::sat_tests!(PDPLLSolverBuilder::new(4)); [INFO] [stdout] | ---------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] = note: this warning originates in the macro `crate::tests::sat_tests` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 60 | let _ = pretty_env_logger::try_init(); [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `Result` that must be used [INFO] [stdout] --> src/tests.rs:123:9 [INFO] [stdout] | [INFO] [stdout] 123 | pretty_env_logger::try_init(); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/pdpll.rs:205:5 [INFO] [stdout] | [INFO] [stdout] 205 | crate::tests::sat_tests!(PDPLLSolverBuilder::new(4)); [INFO] [stdout] | ---------------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] = note: this warning originates in the macro `crate::tests::sat_tests` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `let _ = ...` to ignore the resulting value [INFO] [stdout] | [INFO] [stdout] 123 | let _ = pretty_env_logger::try_init(); [INFO] [stdout] | +++++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 15 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 6.90s [INFO] running `Command { std: "docker" "inspect" "b1e945eb8d46626af1ccf21186091c848497b5596b44ffb7a279ae8531a4278d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b1e945eb8d46626af1ccf21186091c848497b5596b44ffb7a279ae8531a4278d", kill_on_drop: false }` [INFO] [stdout] b1e945eb8d46626af1ccf21186091c848497b5596b44ffb7a279ae8531a4278d