[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#22572d0994593197593e2a1b7b18d720a9a349a7 for pr-126452-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fprabhpreet%2FSAT-Solver" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/prabhpreet/SAT-Solver on toolchain 22572d0994593197593e2a1b7b18d720a9a349a7 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+22572d0994593197593e2a1b7b18d720a9a349a7" "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-1-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" "+22572d0994593197593e2a1b7b18d720a9a349a7" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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" "+22572d0994593197593e2a1b7b18d720a9a349a7" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] e3ae798735a72d753fbe3386ca7877ca82c67c80bbd3078ed1931aebae637645 [INFO] running `Command { std: "docker" "start" "-a" "e3ae798735a72d753fbe3386ca7877ca82c67c80bbd3078ed1931aebae637645", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "e3ae798735a72d753fbe3386ca7877ca82c67c80bbd3078ed1931aebae637645", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e3ae798735a72d753fbe3386ca7877ca82c67c80bbd3078ed1931aebae637645", kill_on_drop: false }` [INFO] [stdout] e3ae798735a72d753fbe3386ca7877ca82c67c80bbd3078ed1931aebae637645 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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" "+22572d0994593197593e2a1b7b18d720a9a349a7" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 58163c9bd5645fe711546ead0b026519730cc22f83fddb154a2627a9f407b64c [INFO] running `Command { std: "docker" "start" "-a" "58163c9bd5645fe711546ead0b026519730cc22f83fddb154a2627a9f407b64c", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.76 [INFO] [stderr] Compiling libc v0.2.152 [INFO] [stderr] Compiling rustix v0.38.30 [INFO] [stderr] Checking linux-raw-sys v0.4.13 [INFO] [stderr] Checking bitflags v2.4.2 [INFO] [stderr] Checking regex-syntax v0.8.2 [INFO] [stderr] Checking either v1.9.0 [INFO] [stderr] Compiling serde v1.0.195 [INFO] [stderr] Compiling serde_json v1.0.111 [INFO] [stderr] Checking termcolor v1.4.1 [INFO] [stderr] Compiling num-traits v0.2.17 [INFO] [stderr] Checking plotters-backend v0.3.5 [INFO] [stderr] Checking ciborium-io v0.2.1 [INFO] [stderr] Checking clap_builder v4.4.18 [INFO] [stderr] Checking cast v0.3.0 [INFO] [stderr] Checking anes v0.1.6 [INFO] [stderr] Checking ciborium-ll v0.2.1 [INFO] [stderr] Checking rayon v1.8.1 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Checking plotters-svg v0.3.5 [INFO] [stderr] Compiling quote v1.0.35 [INFO] [stderr] Checking regex-automata v0.4.3 [INFO] [stderr] Checking getrandom v0.2.12 [INFO] [stderr] Compiling syn v2.0.48 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking is-terminal v0.4.10 [INFO] [stderr] Checking plotters v0.3.5 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand v0.8.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] Checking env_logger v0.10.2 [INFO] [stderr] Compiling serde_derive v1.0.195 [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 16.23s [INFO] running `Command { std: "docker" "inspect" "58163c9bd5645fe711546ead0b026519730cc22f83fddb154a2627a9f407b64c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "58163c9bd5645fe711546ead0b026519730cc22f83fddb154a2627a9f407b64c", kill_on_drop: false }` [INFO] [stdout] 58163c9bd5645fe711546ead0b026519730cc22f83fddb154a2627a9f407b64c [INFO] checking prabhpreet/SAT-Solver against try#6289438dbad80b1a0029c66dd3f6abf57c2c51be for pr-126452-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fprabhpreet%2FSAT-Solver" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/prabhpreet/SAT-Solver on toolchain 6289438dbad80b1a0029c66dd3f6abf57c2c51be [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+6289438dbad80b1a0029c66dd3f6abf57c2c51be" "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-1-tc2/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" "+6289438dbad80b1a0029c66dd3f6abf57c2c51be" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+6289438dbad80b1a0029c66dd3f6abf57c2c51be" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] e0661825d4957e56c404280cfe95aa7e737c0ef4c71f2a069e0b141568bf5724 [INFO] running `Command { std: "docker" "start" "-a" "e0661825d4957e56c404280cfe95aa7e737c0ef4c71f2a069e0b141568bf5724", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "e0661825d4957e56c404280cfe95aa7e737c0ef4c71f2a069e0b141568bf5724", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e0661825d4957e56c404280cfe95aa7e737c0ef4c71f2a069e0b141568bf5724", kill_on_drop: false }` [INFO] [stdout] e0661825d4957e56c404280cfe95aa7e737c0ef4c71f2a069e0b141568bf5724 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+6289438dbad80b1a0029c66dd3f6abf57c2c51be" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 5e14fe361737600bbdf00e1cf4775f2e36223d11bac26da6ad96ecbeb6d8b22f [INFO] running `Command { std: "docker" "start" "-a" "5e14fe361737600bbdf00e1cf4775f2e36223d11bac26da6ad96ecbeb6d8b22f", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.76 [INFO] [stderr] Compiling rustix v0.38.30 [INFO] [stderr] Compiling libc v0.2.152 [INFO] [stderr] Checking regex-syntax v0.8.2 [INFO] [stderr] Checking linux-raw-sys v0.4.13 [INFO] [stderr] Checking bitflags v2.4.2 [INFO] [stderr] Checking either v1.9.0 [INFO] [stderr] Compiling serde v1.0.195 [INFO] [stderr] Compiling serde_json v1.0.111 [INFO] [stderr] Compiling num-traits v0.2.17 [INFO] [stderr] Checking termcolor v1.4.1 [INFO] [stderr] Checking ciborium-io v0.2.1 [INFO] [stderr] Checking plotters-backend v0.3.5 [INFO] [stderr] Checking clap_builder v4.4.18 [INFO] [stderr] Checking cast v0.3.0 [INFO] [stderr] Checking anes v0.1.6 [INFO] [stderr] Checking ciborium-ll v0.2.1 [INFO] [stderr] Checking rayon v1.8.1 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Checking plotters-svg v0.3.5 [INFO] [stderr] Compiling quote v1.0.35 [INFO] [stderr] Checking getrandom v0.2.12 [INFO] [stderr] Compiling syn v2.0.48 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking is-terminal v0.4.10 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking regex-automata v0.4.3 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking plotters v0.3.5 [INFO] [stderr] Checking clap v4.4.18 [INFO] [stderr] Checking criterion-plot v0.5.0 [INFO] [stderr] Compiling serde_derive v1.0.195 [INFO] [stderr] Checking regex v1.10.2 [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 8.60s [INFO] running `Command { std: "docker" "inspect" "5e14fe361737600bbdf00e1cf4775f2e36223d11bac26da6ad96ecbeb6d8b22f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5e14fe361737600bbdf00e1cf4775f2e36223d11bac26da6ad96ecbeb6d8b22f", kill_on_drop: false }` [INFO] [stdout] 5e14fe361737600bbdf00e1cf4775f2e36223d11bac26da6ad96ecbeb6d8b22f