[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#fa4dd1f19bfeb3fd235dc7f1406c42404436bef5 for pr-145108-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvinisilvag%2Fnanosat" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-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-3-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/vinisilvag/nanosat on toolchain fa4dd1f19bfeb3fd235dc7f1406c42404436bef5
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+fa4dd1f19bfeb3fd235dc7f1406c42404436bef5" "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" "+fa4dd1f19bfeb3fd235dc7f1406c42404436bef5" "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-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+fa4dd1f19bfeb3fd235dc7f1406c42404436bef5" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 63359ae7516ca76e9fc09e8692390c543959db90af9ac9ba56b2d233d15ddffe
[INFO] running `Command { std: "docker" "start" "-a" "63359ae7516ca76e9fc09e8692390c543959db90af9ac9ba56b2d233d15ddffe", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "63359ae7516ca76e9fc09e8692390c543959db90af9ac9ba56b2d233d15ddffe", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "63359ae7516ca76e9fc09e8692390c543959db90af9ac9ba56b2d233d15ddffe", kill_on_drop: false }`
[INFO] [stdout] 63359ae7516ca76e9fc09e8692390c543959db90af9ac9ba56b2d233d15ddffe
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+fa4dd1f19bfeb3fd235dc7f1406c42404436bef5" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 8ec2b9f0a0c7061ac2eeda016b6b331c437e056e9a1924622273c554d4772088
[INFO] running `Command { std: "docker" "start" "-a" "8ec2b9f0a0c7061ac2eeda016b6b331c437e056e9a1924622273c554d4772088", kill_on_drop: false }`
[INFO] [stderr]    Compiling thiserror v2.0.12
[INFO] [stderr]    Compiling syn v2.0.101
[INFO] [stderr]     Checking clap_builder v4.5.37
[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)]` (part of `#[warn(unused)]`) 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: 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)]` (part of `#[warn(unused)]`) 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] [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)]` (part of `#[warn(unused)]`) 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: 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)]` (part of `#[warn(unused)]`) 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 6.35s
[INFO] running `Command { std: "docker" "inspect" "8ec2b9f0a0c7061ac2eeda016b6b331c437e056e9a1924622273c554d4772088", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8ec2b9f0a0c7061ac2eeda016b6b331c437e056e9a1924622273c554d4772088", kill_on_drop: false }`
[INFO] [stdout] 8ec2b9f0a0c7061ac2eeda016b6b331c437e056e9a1924622273c554d4772088
