[INFO] cloning repository https://github.com/aaronjeline/csat
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/aaronjeline/csat" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Faaronjeline%2Fcsat", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Faaronjeline%2Fcsat'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 146f7d6b218cc318eb79a72f157e4dc5102b542d
[INFO] checking aaronjeline/csat against master#3129d37ef7075ee3cbaa3d6cbe1b5794f67192b0 for pr-143164
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Faaronjeline%2Fcsat" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/aaronjeline/csat
[INFO] finished tweaking git repo https://github.com/aaronjeline/csat
[INFO] tweaked toml for git repo https://github.com/aaronjeline/csat written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/aaronjeline/csat on toolchain 3129d37ef7075ee3cbaa3d6cbe1b5794f67192b0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+3129d37ef7075ee3cbaa3d6cbe1b5794f67192b0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/aaronjeline/csat 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" "+3129d37ef7075ee3cbaa3d6cbe1b5794f67192b0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded unarray v0.1.4
[INFO] [stderr]   Downloaded errno v0.3.8
[INFO] [stderr]   Downloaded oorandom v11.1.3
[INFO] [stderr]   Downloaded lalrpop-util v0.20.2
[INFO] [stderr]   Downloaded rusty-fork v0.3.0
[INFO] [stderr]   Downloaded anstyle-query v1.0.3
[INFO] [stderr]   Downloaded anstyle-parse v0.2.4
[INFO] [stderr]   Downloaded thiserror v1.0.62
[INFO] [stderr]   Downloaded anstyle v1.0.7
[INFO] [stderr]   Downloaded env_logger v0.11.3
[INFO] [stderr]   Downloaded anstyle-wincon v3.0.3
[INFO] [stderr]   Downloaded colorchoice v1.0.1
[INFO] [stderr]   Downloaded proptest v1.4.0
[INFO] [stderr]   Downloaded anstream v0.6.14
[INFO] [stderr]   Downloaded env_filter v0.1.0
[INFO] [stderr]   Downloaded thiserror-impl v1.0.62
[INFO] [stderr]   Downloaded wait-timeout v0.2.0
[INFO] [stderr]   Downloaded is_terminal_polyfill v1.70.0
[INFO] [stderr]   Downloaded lalrpop v0.20.2
[INFO] [stderr]   Downloaded syn v2.0.70
[INFO] [stderr]   Downloaded libc v0.2.154
[INFO] [stderr]   Downloaded linux-raw-sys v0.4.13
[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:cf8efcab8866f2cf4285301c7418e2f4f2a9b088c91ba69c40d5b659f81557f7" "/opt/rustwide/cargo-home/bin/cargo" "+3129d37ef7075ee3cbaa3d6cbe1b5794f67192b0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] c43fe245e0b92c4f347ecafd0e87d1508aac20abcf25006e861a677ce4cd4c5a
[INFO] running `Command { std: "docker" "start" "-a" "c43fe245e0b92c4f347ecafd0e87d1508aac20abcf25006e861a677ce4cd4c5a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c43fe245e0b92c4f347ecafd0e87d1508aac20abcf25006e861a677ce4cd4c5a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c43fe245e0b92c4f347ecafd0e87d1508aac20abcf25006e861a677ce4cd4c5a", kill_on_drop: false }`
[INFO] [stdout] c43fe245e0b92c4f347ecafd0e87d1508aac20abcf25006e861a677ce4cd4c5a
[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:cf8efcab8866f2cf4285301c7418e2f4f2a9b088c91ba69c40d5b659f81557f7" "/opt/rustwide/cargo-home/bin/cargo" "+3129d37ef7075ee3cbaa3d6cbe1b5794f67192b0" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 0255ee7fe2b3c4c8cee1d114253098f5257ce016a1b94e513d467cdf992435de
[INFO] running `Command { std: "docker" "start" "-a" "0255ee7fe2b3c4c8cee1d114253098f5257ce016a1b94e513d467cdf992435de", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.154
[INFO] [stderr]    Compiling parking_lot_core v0.9.10
[INFO] [stderr]     Checking memchr v2.7.2
[INFO] [stderr]    Compiling regex-syntax v0.8.3
[INFO] [stderr]    Compiling scopeguard v1.2.0
[INFO] [stderr]    Compiling smallvec v1.13.2
[INFO] [stderr]    Compiling equivalent v1.0.1
[INFO] [stderr]    Compiling siphasher v0.3.11
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling rustix v0.38.34
[INFO] [stderr]    Compiling lock_api v0.4.12
[INFO] [stderr]    Compiling crunchy v0.2.2
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling fixedbitset v0.4.2
[INFO] [stderr]    Compiling log v0.4.21
[INFO] [stderr]    Compiling either v1.13.0
[INFO] [stderr]    Compiling bit-vec v0.6.3
[INFO] [stderr]     Checking bitflags v2.5.0
[INFO] [stderr]    Compiling libm v0.2.8
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]     Checking linux-raw-sys v0.4.13
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.6
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]     Checking aho-corasick v1.1.3
[INFO] [stderr]    Compiling phf_shared v0.10.0
[INFO] [stderr]    Compiling ena v0.14.3
[INFO] [stderr]    Compiling itertools v0.11.0
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling pico-args v0.5.0
[INFO] [stderr]    Compiling bit-set v0.5.3
[INFO] [stderr]    Compiling walkdir v2.5.0
[INFO] [stderr]     Checking utf8parse v0.2.1
[INFO] [stderr]     Checking fastrand v2.1.0
[INFO] [stderr]    Compiling unicode-xid v0.2.4
[INFO] [stderr]     Checking anstyle-parse v0.2.4
[INFO] [stderr]     Checking quick-error v1.2.3
[INFO] [stderr]     Checking anstyle v1.0.7
[INFO] [stderr]    Compiling indexmap v2.2.6
[INFO] [stderr]     Checking is_terminal_polyfill v1.70.0
[INFO] [stderr]     Checking fnv v1.0.7
[INFO] [stderr]     Checking colorchoice v1.0.1
[INFO] [stderr]     Checking anstyle-query v1.0.3
[INFO] [stderr]     Checking unarray v0.1.4
[INFO] [stderr]     Checking humantime v2.1.0
[INFO] [stderr]     Checking minimal-lexical v0.2.1
[INFO] [stderr]     Checking oorandom v11.1.3
[INFO] [stderr]     Checking getrandom v0.2.14
[INFO] [stderr]     Checking wait-timeout v0.2.0
[INFO] [stderr]     Checking anstream v0.6.14
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking nom v7.1.3
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand_xorshift v0.3.0
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]    Compiling petgraph v0.6.5
[INFO] [stderr]    Compiling dirs-sys-next v0.1.2
[INFO] [stderr]     Checking regex-automata v0.4.6
[INFO] [stderr]    Compiling dirs-next v2.0.0
[INFO] [stderr]    Compiling term v0.7.0
[INFO] [stderr]    Compiling parking_lot v0.12.3
[INFO] [stderr]    Compiling string_cache v0.8.7
[INFO] [stderr]    Compiling ascii-canvas v3.0.0
[INFO] [stderr]     Checking tempfile v3.10.1
[INFO] [stderr]     Checking rusty-fork v0.3.0
[INFO] [stderr]     Checking proptest v1.4.0
[INFO] [stderr]     Checking regex v1.10.4
[INFO] [stderr]     Checking lalrpop-util v0.20.2
[INFO] [stderr]     Checking env_filter v0.1.0
[INFO] [stderr]     Checking env_logger v0.11.3
[INFO] [stderr]    Compiling lalrpop v0.20.2
[INFO] [stderr]    Compiling csat v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `proptest::arbitrary::Arbitrary`
[INFO] [stdout]  --> src/dimacs.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use proptest::arbitrary::Arbitrary;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `proptest::arbitrary::Arbitrary`
[INFO] [stdout]  --> src/dimacs.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use proptest::arbitrary::Arbitrary;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `proptest::char::CharValueTree`
[INFO] [stdout]  --> src/tests.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use proptest::char::CharValueTree;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `proptest::test_runner::Config`
[INFO] [stdout]  --> src/tests.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use proptest::test_runner::Config;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/dpllsolver.rs:14:9
[INFO] [stdout]    |
[INFO] [stdout] 14 |     let mut kb = build_kb(&dimacs);
[INFO] [stdout]    |         ----^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_mut)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/dpllsolver.rs:14:9
[INFO] [stdout]    |
[INFO] [stdout] 14 |     let mut kb = build_kb(&dimacs);
[INFO] [stdout]    |         ----^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_mut)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `is_empty` is never used
[INFO] [stdout]   --> src/dimacs.rs:32:12
[INFO] [stdout]    |
[INFO] [stdout] 27 | impl Clause {
[INFO] [stdout]    | ----------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 32 |     pub fn is_empty(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/dimacs.rs:85:9
[INFO] [stdout]    |
[INFO] [stdout] 85 |     Err(String),
[INFO] [stdout]    |     --- ^^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     field in this variant
[INFO] [stdout]    |
[INFO] [stdout]    = note: `ParseError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]    |
[INFO] [stdout] 85 -     Err(String),
[INFO] [stdout] 85 +     Err(()),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `unassign` is never used
[INFO] [stdout]    --> src/dpllsolver.rs:140:12
[INFO] [stdout]     |
[INFO] [stdout] 123 | impl<'a> KnowledgeBase<'a> {
[INFO] [stdout]     | -------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 140 |     pub fn unassign(&mut self, x: u128) {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `lookup` is never used
[INFO] [stdout]    --> src/dpllsolver.rs:217:12
[INFO] [stdout]     |
[INFO] [stdout] 201 | impl Assignment {
[INFO] [stdout]     | --------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 217 |     pub fn lookup(&self, x: u128) -> bool {
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `eval` is never used
[INFO] [stdout]  --> src/eval.rs:6:8
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub fn eval(dimacs: &Dimacs, env: &Assignment) -> bool {
[INFO] [stdout]   |        ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `eval_clause` is never used
[INFO] [stdout]   --> src/eval.rs:10:4
[INFO] [stdout]    |
[INFO] [stdout] 10 | fn eval_clause(env: &'_ Assignment) -> impl Fn(&Clause) -> bool + '_ {
[INFO] [stdout]    |    ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `eval_atom` is never used
[INFO] [stdout]   --> src/eval.rs:14:4
[INFO] [stdout]    |
[INFO] [stdout] 14 | fn eval_atom(env: &'_ Assignment) -> impl Fn(&Atom) -> bool + '_ {
[INFO] [stdout]    |    ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `is_empty` is never used
[INFO] [stdout]   --> src/dimacs.rs:32:12
[INFO] [stdout]    |
[INFO] [stdout] 27 | impl Clause {
[INFO] [stdout]    | ----------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 32 |     pub fn is_empty(&self) -> bool {
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/dimacs.rs:85:9
[INFO] [stdout]    |
[INFO] [stdout] 85 |     Err(String),
[INFO] [stdout]    |     --- ^^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     field in this variant
[INFO] [stdout]    |
[INFO] [stdout]    = note: `ParseError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]    |
[INFO] [stdout] 85 -     Err(String),
[INFO] [stdout] 85 +     Err(()),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `unassign` is never used
[INFO] [stdout]    --> src/dpllsolver.rs:140:12
[INFO] [stdout]     |
[INFO] [stdout] 123 | impl<'a> KnowledgeBase<'a> {
[INFO] [stdout]     | -------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 140 |     pub fn unassign(&mut self, x: u128) {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 22.69s
[INFO] running `Command { std: "docker" "inspect" "0255ee7fe2b3c4c8cee1d114253098f5257ce016a1b94e513d467cdf992435de", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0255ee7fe2b3c4c8cee1d114253098f5257ce016a1b94e513d467cdf992435de", kill_on_drop: false }`
[INFO] [stdout] 0255ee7fe2b3c4c8cee1d114253098f5257ce016a1b94e513d467cdf992435de
