[INFO] cloning repository https://github.com/Baseng0815/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/Baseng0815/sat-solver" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FBaseng0815%2Fsat-solver", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FBaseng0815%2Fsat-solver'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] c849449ec21bc88b925d8922f1cdf3d0126316cc [INFO] checking Baseng0815/sat-solver against try#9543f8ea2aae74b8f13ac2a6e6c0ecdca9810869 for pr-129249 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FBaseng0815%2Fsat-solver" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/Baseng0815/sat-solver on toolchain 9543f8ea2aae74b8f13ac2a6e6c0ecdca9810869 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+9543f8ea2aae74b8f13ac2a6e6c0ecdca9810869" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/Baseng0815/sat-solver [INFO] finished tweaking git repo https://github.com/Baseng0815/sat-solver [INFO] tweaked toml for git repo https://github.com/Baseng0815/sat-solver written to /workspace/builds/worker-6-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/Baseng0815/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" "+9543f8ea2aae74b8f13ac2a6e6c0ecdca9810869" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+9543f8ea2aae74b8f13ac2a6e6c0ecdca9810869" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 1080e30d9d5269a39ee1fcd66eff1e5844d9143aa0b3109c0bb7eb72de1739de [INFO] running `Command { std: "docker" "start" "-a" "1080e30d9d5269a39ee1fcd66eff1e5844d9143aa0b3109c0bb7eb72de1739de", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "1080e30d9d5269a39ee1fcd66eff1e5844d9143aa0b3109c0bb7eb72de1739de", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1080e30d9d5269a39ee1fcd66eff1e5844d9143aa0b3109c0bb7eb72de1739de", kill_on_drop: false }` [INFO] [stdout] 1080e30d9d5269a39ee1fcd66eff1e5844d9143aa0b3109c0bb7eb72de1739de [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+9543f8ea2aae74b8f13ac2a6e6c0ecdca9810869" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] fbb80b2960e889a47857a73e2c731d936b1953a9fe3687e8a4cc615aee0a6c36 [INFO] running `Command { std: "docker" "start" "-a" "fbb80b2960e889a47857a73e2c731d936b1953a9fe3687e8a4cc615aee0a6c36", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.89 [INFO] [stderr] Compiling unicode-ident v1.0.13 [INFO] [stderr] Compiling libc v0.2.161 [INFO] [stderr] Compiling shlex v1.3.0 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Checking once_cell v1.20.2 [INFO] [stderr] Compiling chumsky v1.0.0-alpha.7 [INFO] [stderr] Checking allocator-api2 v0.2.18 [INFO] [stderr] Checking lazy_static v1.5.0 [INFO] [stderr] Checking colored v2.1.0 [INFO] [stderr] Compiling cc v1.1.36 [INFO] [stderr] Compiling ahash v0.8.11 [INFO] [stderr] Compiling quote v1.0.37 [INFO] [stderr] Checking getrandom v0.2.15 [INFO] [stderr] Compiling syn v2.0.87 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Compiling psm v0.1.23 [INFO] [stderr] Compiling stacker v0.1.17 [INFO] [stderr] Compiling zerocopy-derive v0.7.35 [INFO] [stderr] Checking zerocopy v0.7.35 [INFO] [stderr] Checking ppv-lite86 v0.2.20 [INFO] [stderr] Checking hashbrown v0.14.5 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking sat-solver v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `error::Error` [INFO] [stdout] --> src/parser.rs:1:33 [INFO] [stdout] | [INFO] [stdout] 1 | use std::{collections::HashMap, error::Error, fs, path::Path}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `container::Seq` and `error::Simple` [INFO] [stdout] --> src/parser.rs:3:15 [INFO] [stdout] | [INFO] [stdout] 3 | use chumsky::{container::Seq, error::Simple, pratt::{infix, prefix, right}, primitive::{choice, just}, recursive::recursive, text, Parser}; [INFO] [stdout] | ^^^^^^^^^^^^^^ ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `process::exit` [INFO] [stdout] --> src/solver/dpll.rs:3:33 [INFO] [stdout] | [INFO] [stdout] 3 | use std::{collections::HashSet, process::exit}; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `error::Error` [INFO] [stdout] --> src/parser.rs:1:33 [INFO] [stdout] | [INFO] [stdout] 1 | use std::{collections::HashMap, error::Error, fs, path::Path}; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `container::Seq` and `error::Simple` [INFO] [stdout] --> src/parser.rs:3:15 [INFO] [stdout] | [INFO] [stdout] 3 | use chumsky::{container::Seq, error::Simple, pratt::{infix, prefix, right}, primitive::{choice, just}, recursive::recursive, text, Parser}; [INFO] [stdout] | ^^^^^^^^^^^^^^ ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `process::exit` [INFO] [stdout] --> src/solver/dpll.rs:3:33 [INFO] [stdout] | [INFO] [stdout] 3 | use std::{collections::HashSet, process::exit}; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Container` [INFO] [stdout] --> src/solver/dpll.rs:5:26 [INFO] [stdout] | [INFO] [stdout] 5 | use chumsky::container::{Container, Seq}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cnf` [INFO] [stdout] --> src/solver/dpll.rs:154:20 [INFO] [stdout] | [INFO] [stdout] 154 | fn choose_variable(cnf: &DpllCNF, max_id: VariableId, assignment: &Assignment) -> Option { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_cnf` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `initial_assignment` [INFO] [stdout] --> src/main.rs:95:9 [INFO] [stdout] | [INFO] [stdout] 95 | let initial_assignment = Assignment::from([ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_initial_assignment` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Container` [INFO] [stdout] --> src/solver/dpll.rs:5:26 [INFO] [stdout] | [INFO] [stdout] 5 | use chumsky::container::{Container, Seq}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parser` is never used [INFO] [stdout] --> src/parser.rs:60:4 [INFO] [stdout] | [INFO] [stdout] 60 | fn parser<'a>() -> impl Parser<'a, &'a str, ParsedExpression> { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parse_file` is never used [INFO] [stdout] --> src/parser.rs:84:8 [INFO] [stdout] | [INFO] [stdout] 84 | pub fn parse_file(file: &Path) -> SATInstance { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `clauses` is never read [INFO] [stdout] --> src/expression/normal.rs:20:9 [INFO] [stdout] | [INFO] [stdout] 19 | pub struct DNF { [INFO] [stdout] | --- field in this struct [INFO] [stdout] 20 | pub clauses: Vec [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `DNF` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this conversion is useless `Literal` to `Literal` [INFO] [stdout] --> src/solver/dpll.rs:237:21 [INFO] [stdout] | [INFO] [stdout] 237 | cnf.disable(Literal::new(*var_id, *value).into()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[deny(self_type_conversion)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this conversion is useless `Expression` to `Expression` [INFO] [stdout] --> src/expression/normal.rs:77:57 [INFO] [stdout] | [INFO] [stdout] 77 | Expression::And(Box::new(acc), Box::new(clause.into())) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `cnf` [INFO] [stdout] --> src/solver/dpll.rs:154:20 [INFO] [stdout] | [INFO] [stdout] 154 | fn choose_variable(cnf: &DpllCNF, max_id: VariableId, assignment: &Assignment) -> Option { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_cnf` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `initial_assignment` [INFO] [stdout] --> src/main.rs:95:9 [INFO] [stdout] | [INFO] [stdout] 95 | let initial_assignment = Assignment::from([ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_initial_assignment` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `parser` is never used [INFO] [stdout] --> src/parser.rs:60:4 [INFO] [stdout] | [INFO] [stdout] 60 | fn parser<'a>() -> impl Parser<'a, &'a str, ParsedExpression> { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `sat-solver` (bin "sat-solver" test) due to 2 previous errors; 9 warnings emitted [INFO] [stdout] warning: function `parse_file` is never used [INFO] [stdout] --> src/parser.rs:84:8 [INFO] [stdout] | [INFO] [stdout] 84 | pub fn parse_file(file: &Path) -> SATInstance { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] warning: field `clauses` is never read [INFO] [stdout] --> src/expression/normal.rs:20:9 [INFO] [stdout] | [INFO] [stdout] 19 | pub struct DNF { [INFO] [stdout] | --- field in this struct [INFO] [stdout] 20 | pub clauses: Vec [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `DNF` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this conversion is useless `Literal` to `Literal` [INFO] [stdout] --> src/solver/dpll.rs:237:21 [INFO] [stdout] | [INFO] [stdout] 237 | cnf.disable(Literal::new(*var_id, *value).into()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[deny(self_type_conversion)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: this conversion is useless `Expression` to `Expression` [INFO] [stdout] --> src/expression/normal.rs:77:57 [INFO] [stdout] | [INFO] [stdout] 77 | Expression::And(Box::new(acc), Box::new(clause.into())) [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `sat-solver` (bin "sat-solver") due to 2 previous errors; 9 warnings emitted [INFO] running `Command { std: "docker" "inspect" "fbb80b2960e889a47857a73e2c731d936b1953a9fe3687e8a4cc615aee0a6c36", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "fbb80b2960e889a47857a73e2c731d936b1953a9fe3687e8a4cc615aee0a6c36", kill_on_drop: false }` [INFO] [stdout] fbb80b2960e889a47857a73e2c731d936b1953a9fe3687e8a4cc615aee0a6c36