[INFO] cloning repository https://github.com/g2xpf/tautology-checker
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/g2xpf/tautology-checker" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fg2xpf%2Ftautology-checker", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fg2xpf%2Ftautology-checker'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] c5876982e02d620472ed187516d5fda8ae8fa6ec
[INFO] testing g2xpf/tautology-checker against master#ebf0cf75d368c035f4c7e7246d203bd469ee4a51 for pr-137940
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fg2xpf%2Ftautology-checker" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/g2xpf/tautology-checker on toolchain ebf0cf75d368c035f4c7e7246d203bd469ee4a51
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ebf0cf75d368c035f4c7e7246d203bd469ee4a51" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/g2xpf/tautology-checker
[INFO] finished tweaking git repo https://github.com/g2xpf/tautology-checker
[INFO] tweaked toml for git repo https://github.com/g2xpf/tautology-checker written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/g2xpf/tautology-checker 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" "+ebf0cf75d368c035f4c7e7246d203bd469ee4a51" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/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:1680c8fbd8dfb46fcd6d22e546df16ab0e007457dc29fcd9e987cdd5077fd1af" "/opt/rustwide/cargo-home/bin/cargo" "+ebf0cf75d368c035f4c7e7246d203bd469ee4a51" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] d2fab9f87098e9cb3fe0a9801234364890f7406e0a3f80adc096a6629f094d23
[INFO] running `Command { std: "docker" "start" "-a" "d2fab9f87098e9cb3fe0a9801234364890f7406e0a3f80adc096a6629f094d23", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "d2fab9f87098e9cb3fe0a9801234364890f7406e0a3f80adc096a6629f094d23", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d2fab9f87098e9cb3fe0a9801234364890f7406e0a3f80adc096a6629f094d23", kill_on_drop: false }`
[INFO] [stdout] d2fab9f87098e9cb3fe0a9801234364890f7406e0a3f80adc096a6629f094d23
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/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:1680c8fbd8dfb46fcd6d22e546df16ab0e007457dc29fcd9e987cdd5077fd1af" "/opt/rustwide/cargo-home/bin/cargo" "+ebf0cf75d368c035f4c7e7246d203bd469ee4a51" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 68273d5cd9a53909e6d517e1699134e52960d93b8e3577d49a81f8bd384a61be
[INFO] running `Command { std: "docker" "start" "-a" "68273d5cd9a53909e6d517e1699134e52960d93b8e3577d49a81f8bd384a61be", kill_on_drop: false }`
[INFO] [stderr]    Compiling logic-solver v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/evaluator.rs:17:18
[INFO] [stdout]    |
[INFO] [stdout] 17 |     NotTautology(BitPairs),
[INFO] [stdout]    |     ------------ ^^^^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     field in this variant
[INFO] [stdout]    |
[INFO] [stdout]    = note: `EvalResult` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[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] 17 -     NotTautology(BitPairs),
[INFO] [stdout] 17 +     NotTautology(()),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `op` is never read
[INFO] [stdout]    --> src/parser.rs:143:9
[INFO] [stdout]     |
[INFO] [stdout] 142 | pub struct UnOpExpr {
[INFO] [stdout]     |            -------- field in this struct
[INFO] [stdout] 143 |     pub op: UnOp,
[INFO] [stdout]     |         ^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `UnOpExpr` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.26s
[INFO] running `Command { std: "docker" "inspect" "68273d5cd9a53909e6d517e1699134e52960d93b8e3577d49a81f8bd384a61be", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "68273d5cd9a53909e6d517e1699134e52960d93b8e3577d49a81f8bd384a61be", kill_on_drop: false }`
[INFO] [stdout] 68273d5cd9a53909e6d517e1699134e52960d93b8e3577d49a81f8bd384a61be
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/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:1680c8fbd8dfb46fcd6d22e546df16ab0e007457dc29fcd9e987cdd5077fd1af" "/opt/rustwide/cargo-home/bin/cargo" "+ebf0cf75d368c035f4c7e7246d203bd469ee4a51" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 96ad7bf403aa9add3f58d89d9441d26c37b7d22117166492b4aedbc8b262f047
[INFO] running `Command { std: "docker" "start" "-a" "96ad7bf403aa9add3f58d89d9441d26c37b7d22117166492b4aedbc8b262f047", kill_on_drop: false }`
[INFO] [stderr]    Compiling logic-solver v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/evaluator.rs:17:18
[INFO] [stdout]    |
[INFO] [stdout] 17 |     NotTautology(BitPairs),
[INFO] [stdout]    |     ------------ ^^^^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     field in this variant
[INFO] [stdout]    |
[INFO] [stdout]    = note: `EvalResult` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[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] 17 -     NotTautology(BitPairs),
[INFO] [stdout] 17 +     NotTautology(()),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `logic-solver` (bin "logic-solver" test); 1 warning emitted
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   No space left on device (os error 28)
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   failed to parse process output: `/opt/rustwide/rustup-home/toolchains/ebf0cf75d368c035f4c7e7246d203bd469ee4a51/bin/rustc --crate-name logic_solver --edition=2018 src/main.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --emit=dep-info,link -C embed-bitcode=no -C debuginfo=2 --test --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values())' -C metadata=8e81ace7ba892924 -C extra-filename=-9195cf637123919c --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --cap-lints=forbid` (exit status: 1)
[INFO] running `Command { std: "docker" "inspect" "96ad7bf403aa9add3f58d89d9441d26c37b7d22117166492b4aedbc8b262f047", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "96ad7bf403aa9add3f58d89d9441d26c37b7d22117166492b4aedbc8b262f047", kill_on_drop: false }`
[INFO] [stdout] 96ad7bf403aa9add3f58d89d9441d26c37b7d22117166492b4aedbc8b262f047