[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 try#b1f2594eac607c1f051534800237eeedb5590a49 for pr-139493-3
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Faaronjeline%2Fcsat" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-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-2-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/aaronjeline/csat on toolchain b1f2594eac607c1f051534800237eeedb5590a49
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b1f2594eac607c1f051534800237eeedb5590a49" "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" "+b1f2594eac607c1f051534800237eeedb5590a49" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+b1f2594eac607c1f051534800237eeedb5590a49" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] f508c5ce5a76bccaa59035b626e777fbdb9dd7330dd345b80d658506f8e5bd4e
[INFO] running `Command { std: "docker" "start" "-a" "f508c5ce5a76bccaa59035b626e777fbdb9dd7330dd345b80d658506f8e5bd4e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "f508c5ce5a76bccaa59035b626e777fbdb9dd7330dd345b80d658506f8e5bd4e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f508c5ce5a76bccaa59035b626e777fbdb9dd7330dd345b80d658506f8e5bd4e", kill_on_drop: false }`
[INFO] [stdout] f508c5ce5a76bccaa59035b626e777fbdb9dd7330dd345b80d658506f8e5bd4e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+b1f2594eac607c1f051534800237eeedb5590a49" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 1b412ebec7546cff5bbe715c0df881b3aa8116654fa62fcbacf2a0fd310a8647
[INFO] running `Command { std: "docker" "start" "-a" "1b412ebec7546cff5bbe715c0df881b3aa8116654fa62fcbacf2a0fd310a8647", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.154
[INFO] [stderr]     Checking memchr v2.7.2
[INFO] [stderr]    Compiling parking_lot_core v0.9.10
[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 lock_api v0.4.12
[INFO] [stderr]    Compiling crunchy v0.2.2
[INFO] [stderr]    Compiling siphasher v0.3.11
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling indexmap v2.2.6
[INFO] [stderr]    Compiling libm v0.2.8
[INFO] [stderr]    Compiling phf_shared v0.10.0
[INFO] [stderr]     Checking linux-raw-sys v0.4.13
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.6
[INFO] [stderr]    Compiling bit-vec v0.6.3
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]    Compiling either v1.13.0
[INFO] [stderr]    Compiling bit-set v0.5.3
[INFO] [stderr]     Checking aho-corasick v1.1.3
[INFO] [stderr]    Compiling itertools v0.11.0
[INFO] [stderr]    Compiling ena v0.14.3
[INFO] [stderr]     Checking rustix v0.38.34
[INFO] [stderr]    Compiling petgraph v0.6.5
[INFO] [stderr]     Checking getrandom v0.2.14
[INFO] [stderr]    Compiling dirs-sys-next v0.1.2
[INFO] [stderr]    Compiling dirs-next v2.0.0
[INFO] [stderr]    Compiling parking_lot v0.12.3
[INFO] [stderr]    Compiling term v0.7.0
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling string_cache v0.8.7
[INFO] [stderr]    Compiling ascii-canvas v3.0.0
[INFO] [stderr]     Checking regex-automata v0.4.6
[INFO] [stderr]    Compiling unicode-xid v0.2.4
[INFO] [stderr]    Compiling pico-args v0.5.0
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking wait-timeout v0.2.0
[INFO] [stderr]     Checking anstream v0.6.14
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking rand_xorshift v0.3.0
[INFO] [stderr]     Checking minimal-lexical v0.2.1
[INFO] [stderr]     Checking unarray v0.1.4
[INFO] [stderr]     Checking oorandom v11.1.3
[INFO] [stderr]     Checking nom v7.1.3
[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)]` (part of `#[warn(unused)]`) 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: 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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: 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 41.77s
[INFO] running `Command { std: "docker" "inspect" "1b412ebec7546cff5bbe715c0df881b3aa8116654fa62fcbacf2a0fd310a8647", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1b412ebec7546cff5bbe715c0df881b3aa8116654fa62fcbacf2a0fd310a8647", kill_on_drop: false }`
[INFO] [stdout] 1b412ebec7546cff5bbe715c0df881b3aa8116654fa62fcbacf2a0fd310a8647
