[INFO] cloning repository https://github.com/krobelus/rate [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/krobelus/rate" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkrobelus%2Frate", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkrobelus%2Frate'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 93bf524435455ddc0b370669c17b1eb8741a026c [INFO] testing krobelus/rate against 1.60.0 for beta-1.61-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkrobelus%2Frate" "/workspace/builds/worker-17/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-17/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/krobelus/rate on toolchain 1.60.0 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.60.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/krobelus/rate [INFO] finished tweaking git repo https://github.com/krobelus/rate [INFO] tweaked toml for git repo https://github.com/krobelus/rate written to /workspace/builds/worker-17/source/Cargo.toml [INFO] crate git repo https://github.com/krobelus/rate already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.60.0" "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] [stderr] Downloading crates ... [INFO] [stderr] Downloaded zstd-safe v3.0.0+zstd.1.4.8 [INFO] [stderr] Downloaded bzip2 v0.4.1 [INFO] [stderr] Downloaded zstd v0.6.0+zstd.1.4.8 [INFO] [stderr] Downloaded zstd-sys v1.4.19+zstd.1.4.8 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-17/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-17/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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 91621b45115290fc43a3dc7613a6711de57868d6b5138f090f6608301cc27b85 [INFO] running `Command { std: "docker" "start" "-a" "91621b45115290fc43a3dc7613a6711de57868d6b5138f090f6608301cc27b85", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "91621b45115290fc43a3dc7613a6711de57868d6b5138f090f6608301cc27b85", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "91621b45115290fc43a3dc7613a6711de57868d6b5138f090f6608301cc27b85", kill_on_drop: false }` [INFO] [stdout] 91621b45115290fc43a3dc7613a6711de57868d6b5138f090f6608301cc27b85 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-17/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-17/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=warn" "-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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 0b2c098d0c9a12641279433f3457c5f75b6fe46843ebf8632a810cc0b920d557 [INFO] running `Command { std: "docker" "start" "-a" "0b2c098d0c9a12641279433f3457c5f75b6fe46843ebf8632a810cc0b920d557", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.82 [INFO] [stderr] Compiling pkg-config v0.3.19 [INFO] [stderr] Compiling either v1.6.1 [INFO] [stderr] Compiling glob v0.3.0 [INFO] [stderr] Compiling proc-macro2 v1.0.24 [INFO] [stderr] Compiling unicode-xid v0.2.1 [INFO] [stderr] Compiling autocfg v1.0.1 [INFO] [stderr] Compiling syn v1.0.59 [INFO] [stderr] Compiling serde v1.0.120 [INFO] [stderr] Compiling crc32fast v1.2.1 [INFO] [stderr] Compiling zstd-safe v3.0.0+zstd.1.4.8 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling adler v0.2.3 [INFO] [stderr] Compiling bitflags v1.2.1 [INFO] [stderr] Compiling serde_derive v1.0.120 [INFO] [stderr] Compiling unicode-width v0.1.8 [INFO] [stderr] Compiling strsim v0.8.0 [INFO] [stderr] Compiling ansi_term v0.11.0 [INFO] [stderr] Compiling vec_map v0.8.2 [INFO] [stderr] Compiling static_assertions v1.1.0 [INFO] [stderr] Compiling textwrap v0.11.0 [INFO] [stderr] Compiling itertools v0.9.0 [INFO] [stderr] Compiling miniz_oxide v0.4.3 [INFO] [stderr] Compiling quote v1.0.8 [INFO] [stderr] Compiling jobserver v0.1.21 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling toml v0.5.8 [INFO] [stderr] Compiling clap v2.33.3 [INFO] [stderr] Compiling cc v1.0.66 [INFO] [stderr] Compiling flate2 v1.0.19 [INFO] [stderr] Compiling zstd-sys v1.4.19+zstd.1.4.8 [INFO] [stderr] Compiling bzip2-sys v0.1.9+1.0.8 [INFO] [stderr] Compiling lz4-sys v1.9.2 [INFO] [stderr] Compiling lzma-sys v0.1.17 [INFO] [stderr] Compiling rate-macros v0.3.0 (/opt/rustwide/workdir/rate-macros) [INFO] [stderr] Compiling xz2 v0.1.6 [INFO] [stderr] Compiling bzip2 v0.4.1 [INFO] [stderr] Compiling lz4 v1.23.2 [INFO] [stderr] Compiling zstd v0.6.0+zstd.1.4.8 [INFO] [stderr] Compiling rate-common v0.3.0 (/opt/rustwide/workdir/rate-common) [INFO] [stderr] Compiling rate-proof-utils v0.3.0 (/opt/rustwide/workdir/rate-proof-utils) [INFO] [stderr] Compiling rate-sick-check v0.3.0 (/opt/rustwide/workdir/rate-sick-check) [INFO] [stderr] Compiling rate v0.3.0 (/opt/rustwide/workdir/rate) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1m 15s [INFO] running `Command { std: "docker" "inspect" "0b2c098d0c9a12641279433f3457c5f75b6fe46843ebf8632a810cc0b920d557", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0b2c098d0c9a12641279433f3457c5f75b6fe46843ebf8632a810cc0b920d557", kill_on_drop: false }` [INFO] [stdout] 0b2c098d0c9a12641279433f3457c5f75b6fe46843ebf8632a810cc0b920d557 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-17/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-17/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=warn" "-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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 2daf7098c02f19941b65fba8b3043ffba9730a2ff99080f389ca75dab7ecf4a1 [INFO] running `Command { std: "docker" "start" "-a" "2daf7098c02f19941b65fba8b3043ffba9730a2ff99080f389ca75dab7ecf4a1", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Compiling rate-macros v0.3.0 (/opt/rustwide/workdir/rate-macros) [INFO] [stderr] Compiling rate-common v0.3.0 (/opt/rustwide/workdir/rate-common) [INFO] [stderr] Compiling rate-proof-utils v0.3.0 (/opt/rustwide/workdir/rate-proof-utils) [INFO] [stderr] Compiling rate-sick-check v0.3.0 (/opt/rustwide/workdir/rate-sick-check) [INFO] [stderr] Compiling rate v0.3.0 (/opt/rustwide/workdir/rate) [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 7.59s [INFO] running `Command { std: "docker" "inspect" "2daf7098c02f19941b65fba8b3043ffba9730a2ff99080f389ca75dab7ecf4a1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2daf7098c02f19941b65fba8b3043ffba9730a2ff99080f389ca75dab7ecf4a1", kill_on_drop: false }` [INFO] [stdout] 2daf7098c02f19941b65fba8b3043ffba9730a2ff99080f389ca75dab7ecf4a1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-17/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-17/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=warn" "-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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 7c9ff68205e3f2f750683b4418a8cf051ddcc56753b3f8f65a1d465038f0033e [INFO] running `Command { std: "docker" "start" "-a" "7c9ff68205e3f2f750683b4418a8cf051ddcc56753b3f8f65a1d465038f0033e", kill_on_drop: false }` [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.12s [INFO] [stdout] [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/rate-098f50cf1bb05bb2) [INFO] [stdout] running 0 tests [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/rate_common-bedd4934407c6806) [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 1 test [INFO] [stdout] test parser::tests::valid_formula_and_proof ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.87s [INFO] [stdout] [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/rate_macros-bcb0cc9bf162e299) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/apply_proof-aa6d94894810fe53) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/bdrat2drat-3fad304256dfcb5e) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/drat2bdrat-79ebb9d266ae5c43) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/sick_check-2c015181dc475de6) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Doc-tests rate-common [INFO] [stdout] [INFO] [stdout] running 11 tests [INFO] [stdout] test src/clause.rs - clause::Reason (line 146) ... ok [INFO] [stdout] test src/clause.rs - clause::ProofStep (line 108) ... ok [INFO] [stdout] test src/clause.rs - clause::LRATLiteral (line 249) ... ok [INFO] [stdout] test src/clause.rs - clause::LRATDependency (line 200) ... ok [INFO] [stdout] test src/literal.rs - literal::Literal::is_constant (line 110) ... ok [INFO] [stdout] test src/literal.rs - literal::Literal::decode (line 87) ... ok [INFO] [stdout] test src/literal.rs - literal::Literal::variable (line 100) ... ok [INFO] [stdout] test src/literal.rs - literal::Literal (line 172) ... ok [INFO] [stdout] test src/literal.rs - literal::Literal::is_zero (line 134) ... ok [INFO] [stdout] test src/literal.rs - literal::Literal (line 157) ... ok [INFO] [stdout] test src/literal.rs - literal::Literal::all (line 122) ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.13s [INFO] [stdout] [INFO] [stderr] Doc-tests rate-macros [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "7c9ff68205e3f2f750683b4418a8cf051ddcc56753b3f8f65a1d465038f0033e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7c9ff68205e3f2f750683b4418a8cf051ddcc56753b3f8f65a1d465038f0033e", kill_on_drop: false }` [INFO] [stdout] 7c9ff68205e3f2f750683b4418a8cf051ddcc56753b3f8f65a1d465038f0033e