[INFO] cloning repository https://github.com/vinisilvag/nanosat [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/vinisilvag/nanosat" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvinisilvag%2Fnanosat", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvinisilvag%2Fnanosat'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 530e60158c85618cebcbdfb76854b6efd870fa1f [INFO] checking vinisilvag/nanosat against try#2b39fe756f52bc2825bf5b2bfc385cab922dae10 for pr-143011 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvinisilvag%2Fnanosat" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/vinisilvag/nanosat [INFO] finished tweaking git repo https://github.com/vinisilvag/nanosat [INFO] tweaked toml for git repo https://github.com/vinisilvag/nanosat written to /workspace/builds/worker-5-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/vinisilvag/nanosat on toolchain 2b39fe756f52bc2825bf5b2bfc385cab922dae10 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+2b39fe756f52bc2825bf5b2bfc385cab922dae10" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/vinisilvag/nanosat 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" "+2b39fe756f52bc2825bf5b2bfc385cab922dae10" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+2b39fe756f52bc2825bf5b2bfc385cab922dae10" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] b223404e0a79da8224a2afae5f1ae60d1f0f9f8fea29322931d75dfc2992d3df [INFO] running `Command { std: "docker" "start" "-a" "b223404e0a79da8224a2afae5f1ae60d1f0f9f8fea29322931d75dfc2992d3df", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "b223404e0a79da8224a2afae5f1ae60d1f0f9f8fea29322931d75dfc2992d3df", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b223404e0a79da8224a2afae5f1ae60d1f0f9f8fea29322931d75dfc2992d3df", kill_on_drop: false }` [INFO] [stdout] b223404e0a79da8224a2afae5f1ae60d1f0f9f8fea29322931d75dfc2992d3df [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+2b39fe756f52bc2825bf5b2bfc385cab922dae10" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 05dac044d4fa30115befcfdb6e62e3f3c9d5467c2c265c845f0a0e0070eecc60 [INFO] running `Command { std: "docker" "start" "-a" "05dac044d4fa30115befcfdb6e62e3f3c9d5467c2c265c845f0a0e0070eecc60", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.95 [INFO] [stderr] Compiling unicode-ident v1.0.18 [INFO] [stderr] Checking utf8parse v0.2.2 [INFO] [stderr] Compiling thiserror v2.0.12 [INFO] [stderr] Checking anstyle v1.0.10 [INFO] [stderr] Checking anstyle-query v1.1.2 [INFO] [stderr] Checking colorchoice v1.0.3 [INFO] [stderr] Checking is_terminal_polyfill v1.70.1 [INFO] [stderr] Checking strsim v0.11.1 [INFO] [stderr] Compiling heck v0.5.0 [INFO] [stderr] Checking anstyle-parse v0.2.6 [INFO] [stderr] Checking clap_lex v0.7.4 [INFO] [stderr] Checking anstream v0.6.18 [INFO] [stderr] Checking clap_builder v4.5.37 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Compiling syn v2.0.101 [INFO] [stderr] Compiling thiserror-impl v2.0.12 [INFO] [stderr] Compiling clap_derive v4.5.32 [INFO] [stderr] Checking nanosat v0.1.0 (/opt/rustwide/workdir/nanosat) [INFO] [stdout] warning: unused variable: `status` [INFO] [stdout] --> nanosat/src/cdcl.rs:102:17 [INFO] [stdout] | [INFO] [stdout] 102 | let status = clause_status(clause.clone()); [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_status` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `clause` [INFO] [stdout] --> nanosat/src/cdcl.rs:97:26 [INFO] [stdout] | [INFO] [stdout] 97 | fn clause_status(clause: Clause) -> ClauseStatus { [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_clause` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `new_decision_level` [INFO] [stdout] --> nanosat/src/cdcl.rs:112:28 [INFO] [stdout] | [INFO] [stdout] 112 | fn backjump(&mut self, new_decision_level: usize) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_new_decision_level` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `conflict_clause` [INFO] [stdout] --> nanosat/src/cdcl.rs:124:33 [INFO] [stdout] | [INFO] [stdout] 124 | fn conflict_analysis(&self, conflict_clause: usize) -> (usize, Clause) { [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_conflict_clause` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `c1` [INFO] [stdout] --> nanosat/src/cdcl.rs:125:23 [INFO] [stdout] | [INFO] [stdout] 125 | fn resolution(c1: usize, c2: usize) -> Clause { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_c1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `c2` [INFO] [stdout] --> nanosat/src/cdcl.rs:125:34 [INFO] [stdout] | [INFO] [stdout] 125 | fn resolution(c1: usize, c2: usize) -> Clause { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_c2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `status` [INFO] [stdout] --> nanosat/src/cdcl.rs:102:17 [INFO] [stdout] | [INFO] [stdout] 102 | let status = clause_status(clause.clone()); [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_status` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `clause` [INFO] [stdout] --> nanosat/src/cdcl.rs:97:26 [INFO] [stdout] | [INFO] [stdout] 97 | fn clause_status(clause: Clause) -> ClauseStatus { [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_clause` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Conflict` is never constructed [INFO] [stdout] --> nanosat/src/cdcl.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 12 | enum PropagationStatus { [INFO] [stdout] | ----------------- variant in this enum [INFO] [stdout] 13 | Unresolved, [INFO] [stdout] 14 | Conflict(usize), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Satisfied`, `Unsatisfied`, and `Unit` are never constructed [INFO] [stdout] --> nanosat/src/cdcl.rs:18:5 [INFO] [stdout] | [INFO] [stdout] 17 | enum ClauseStatus { [INFO] [stdout] | ------------ variants in this enum [INFO] [stdout] 18 | Satisfied, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 19 | Unsatisfied, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] 20 | Unit, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `unassign` is never used [INFO] [stdout] --> nanosat/src/cdcl.rs:69:8 [INFO] [stdout] | [INFO] [stdout] 49 | impl CDCL { [INFO] [stdout] | --------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 69 | fn unassign(&mut self, variable: usize) { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `resolution` is never used [INFO] [stdout] --> nanosat/src/cdcl.rs:125:12 [INFO] [stdout] | [INFO] [stdout] 125 | fn resolution(c1: usize, c2: usize) -> Clause { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `new_decision_level` [INFO] [stdout] --> nanosat/src/cdcl.rs:112:28 [INFO] [stdout] | [INFO] [stdout] 112 | fn backjump(&mut self, new_decision_level: usize) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_new_decision_level` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `conflict_clause` [INFO] [stdout] --> nanosat/src/cdcl.rs:124:33 [INFO] [stdout] | [INFO] [stdout] 124 | fn conflict_analysis(&self, conflict_clause: usize) -> (usize, Clause) { [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_conflict_clause` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `c1` [INFO] [stdout] --> nanosat/src/cdcl.rs:125:23 [INFO] [stdout] | [INFO] [stdout] 125 | fn resolution(c1: usize, c2: usize) -> Clause { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_c1` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `c2` [INFO] [stdout] --> nanosat/src/cdcl.rs:125:34 [INFO] [stdout] | [INFO] [stdout] 125 | fn resolution(c1: usize, c2: usize) -> Clause { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_c2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `ParserError` is never used [INFO] [stdout] --> nanosat/src/parser/error.rs:7:10 [INFO] [stdout] | [INFO] [stdout] 7 | pub enum ParserError {} [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `negation` is never used [INFO] [stdout] --> nanosat/src/types.rs:12:8 [INFO] [stdout] | [INFO] [stdout] 11 | impl Literal { [INFO] [stdout] | ------------ method in this implementation [INFO] [stdout] 12 | fn negation(&self) -> Literal { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `decision_level`, `variable`, and `value` are never read [INFO] [stdout] --> nanosat/src/types.rs:70:9 [INFO] [stdout] | [INFO] [stdout] 69 | pub struct Assignment { [INFO] [stdout] | ---------- fields in this struct [INFO] [stdout] 70 | pub decision_level: usize, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 71 | pub variable: usize, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 72 | pub value: bool, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Assignment` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant `Conflict` is never constructed [INFO] [stdout] --> nanosat/src/cdcl.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 12 | enum PropagationStatus { [INFO] [stdout] | ----------------- variant in this enum [INFO] [stdout] 13 | Unresolved, [INFO] [stdout] 14 | Conflict(usize), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Satisfied`, `Unsatisfied`, and `Unit` are never constructed [INFO] [stdout] --> nanosat/src/cdcl.rs:18:5 [INFO] [stdout] | [INFO] [stdout] 17 | enum ClauseStatus { [INFO] [stdout] | ------------ variants in this enum [INFO] [stdout] 18 | Satisfied, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 19 | Unsatisfied, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] 20 | Unit, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `unassign` is never used [INFO] [stdout] --> nanosat/src/cdcl.rs:69:8 [INFO] [stdout] | [INFO] [stdout] 49 | impl CDCL { [INFO] [stdout] | --------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 69 | fn unassign(&mut self, variable: usize) { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `resolution` is never used [INFO] [stdout] --> nanosat/src/cdcl.rs:125:12 [INFO] [stdout] | [INFO] [stdout] 125 | fn resolution(c1: usize, c2: usize) -> Clause { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `ParserError` is never used [INFO] [stdout] --> nanosat/src/parser/error.rs:7:10 [INFO] [stdout] | [INFO] [stdout] 7 | pub enum ParserError {} [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `negation` is never used [INFO] [stdout] --> nanosat/src/types.rs:12:8 [INFO] [stdout] | [INFO] [stdout] 11 | impl Literal { [INFO] [stdout] | ------------ method in this implementation [INFO] [stdout] 12 | fn negation(&self) -> Literal { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `decision_level`, `variable`, and `value` are never read [INFO] [stdout] --> nanosat/src/types.rs:70:9 [INFO] [stdout] | [INFO] [stdout] 69 | pub struct Assignment { [INFO] [stdout] | ---------- fields in this struct [INFO] [stdout] 70 | pub decision_level: usize, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 71 | pub variable: usize, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 72 | pub value: bool, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Assignment` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking clap v4.5.37 [INFO] [stderr] Checking nanosat-cli v0.1.0 (/opt/rustwide/workdir/cli) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 8.02s [INFO] running `Command { std: "docker" "inspect" "05dac044d4fa30115befcfdb6e62e3f3c9d5467c2c265c845f0a0e0070eecc60", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "05dac044d4fa30115befcfdb6e62e3f3c9d5467c2c265c845f0a0e0070eecc60", kill_on_drop: false }` [INFO] [stdout] 05dac044d4fa30115befcfdb6e62e3f3c9d5467c2c265c845f0a0e0070eecc60