[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 try#0936b3db0ae648ba2d5b60eb08cf4faf2ddab0c6 for pr-137122-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkrobelus%2Frate" "/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/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-3-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/krobelus/rate on toolchain 0936b3db0ae648ba2d5b60eb08cf4faf2ddab0c6 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0936b3db0ae648ba2d5b60eb08cf4faf2ddab0c6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/krobelus/rate 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" "+0936b3db0ae648ba2d5b60eb08cf4faf2ddab0c6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [ERROR] error running command: no output for 300 seconds [INFO] testing krobelus/rate against try#0936b3db0ae648ba2d5b60eb08cf4faf2ddab0c6 for pr-137122-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkrobelus%2Frate" "/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/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-3-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/krobelus/rate on toolchain 0936b3db0ae648ba2d5b60eb08cf4faf2ddab0c6 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0936b3db0ae648ba2d5b60eb08cf4faf2ddab0c6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/krobelus/rate 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" "+0936b3db0ae648ba2d5b60eb08cf4faf2ddab0c6" "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 v0.6.0+zstd.1.4.8 [INFO] [stderr] Downloaded zstd-safe v3.0.0+zstd.1.4.8 [INFO] [stderr] Downloaded serde_derive v1.0.120 [INFO] [stderr] Downloaded bzip2 v0.4.1 [INFO] [stderr] Downloaded xz2 v0.1.6 [INFO] [stderr] Downloaded lz4 v1.23.2 [INFO] [stderr] Downloaded serde v1.0.120 [INFO] [stderr] Downloaded syn v1.0.59 [INFO] [stderr] Downloaded lz4-sys v1.9.2 [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-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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+0936b3db0ae648ba2d5b60eb08cf4faf2ddab0c6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 561fa6aad58c9f5e65580490c8dc27cb801fe3c2bffb9fafef9e85c030942923 [INFO] running `Command { std: "docker" "start" "-a" "561fa6aad58c9f5e65580490c8dc27cb801fe3c2bffb9fafef9e85c030942923", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "561fa6aad58c9f5e65580490c8dc27cb801fe3c2bffb9fafef9e85c030942923", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "561fa6aad58c9f5e65580490c8dc27cb801fe3c2bffb9fafef9e85c030942923", kill_on_drop: false }` [INFO] [stdout] 561fa6aad58c9f5e65580490c8dc27cb801fe3c2bffb9fafef9e85c030942923 [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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+0936b3db0ae648ba2d5b60eb08cf4faf2ddab0c6" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] a403782c56ec5159977f5f464297b0b43468421961431e3cd1e683f776cd7bd6 [INFO] running `Command { std: "docker" "start" "-a" "a403782c56ec5159977f5f464297b0b43468421961431e3cd1e683f776cd7bd6", 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 syn v1.0.59 [INFO] [stderr] Compiling zstd-safe v3.0.0+zstd.1.4.8 [INFO] [stderr] Compiling serde v1.0.120 [INFO] [stderr] Compiling serde_derive v1.0.120 [INFO] [stderr] Compiling bitflags v1.2.1 [INFO] [stderr] Compiling adler v0.2.3 [INFO] [stderr] Compiling unicode-width v0.1.8 [INFO] [stderr] Compiling miniz_oxide v0.4.3 [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 quote v1.0.8 [INFO] [stderr] Compiling jobserver v0.1.21 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling flate2 v1.0.19 [INFO] [stderr] Compiling clap v2.33.3 [INFO] [stderr] Compiling cc v1.0.66 [INFO] [stderr] Compiling zstd-sys v1.4.19+zstd.1.4.8 [INFO] [stderr] Compiling lz4-sys v1.9.2 [INFO] [stderr] Compiling bzip2-sys v0.1.9+1.0.8 [INFO] [stderr] Compiling lzma-sys v0.1.17 [INFO] [stderr] Compiling xz2 v0.1.6 [INFO] [stderr] Compiling bzip2 v0.4.1 [INFO] [stderr] Compiling toml v0.5.8 [INFO] [stderr] Compiling rate-macros v0.3.0 (/opt/rustwide/workdir/rate-macros) [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] [stdout] warning: unused doc comment [INFO] [stdout] --> rate-common/src/assignment.rs:47:13 [INFO] [stdout] | [INFO] [stdout] 47 | /// + 2 for Literal::TOP and one conflicting assignment [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 48 | trail: BoundedVector::with_capacity(maxvar.array_size_for_variables() + 2), [INFO] [stdout] | -------------------------------------------------------------------------- rustdoc does not generate documentation for expression fields [INFO] [stdout] | [INFO] [stdout] = help: use `//` for a plain comment [INFO] [stdout] = note: `#[warn(unused_doc_comments)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> rate-common/src/parser.rs:213:5 [INFO] [stdout] | [INFO] [stdout] 213 | mut parser: &mut Parser, [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: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> rate-common/src/memory/boundedvector.rs:70:17 [INFO] [stdout] | [INFO] [stdout] 70 | pub fn iter(&self) -> slice::Iter { [INFO] [stdout] | ^^^^^ -------------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 70 | pub fn iter(&self) -> slice::Iter<'_, T> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> rate-common/src/memory/vector.rs:69:17 [INFO] [stdout] | [INFO] [stdout] 69 | pub fn iter(&self) -> slice::Iter { [INFO] [stdout] | ^^^^^ -------------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 69 | pub fn iter(&self) -> slice::Iter<'_, T> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> rate-common/src/memory/stackmapping.rs:94:17 [INFO] [stdout] | [INFO] [stdout] 94 | pub fn iter(&self) -> slice::Iter { [INFO] [stdout] | ^^^^^ ---------------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 94 | pub fn iter(&self) -> slice::Iter<'_, Key> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> rate-common/src/assignment.rs:113:17 [INFO] [stdout] | [INFO] [stdout] 113 | pub fn iter(&self) -> slice::Iter<(Literal, Reason)> { [INFO] [stdout] | ^^^^^ ------------------------------ the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 113 | pub fn iter(&self) -> slice::Iter<'_, (Literal, Reason)> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> rate-common/src/parser.rs:355:39 [INFO] [stdout] | [INFO] [stdout] 355 | pub fn read_compressed_file(filename: &str, binary: bool) -> Input { [INFO] [stdout] | ^^^^ ----- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 355 | pub fn read_compressed_file(filename: &str, binary: bool) -> Input<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [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] Compiling rate-proof-utils v0.3.0 (/opt/rustwide/workdir/rate-proof-utils) [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> rate/rate.rs:649:15 [INFO] [stdout] | [INFO] [stdout] 649 | fn fields(&self, clause: Clause) -> ClauseFields { [INFO] [stdout] | ^^^^^ ------------ the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 649 | fn fields(&self, clause: Clause) -> ClauseFields<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> rate/rate.rs:655:19 [INFO] [stdout] | [INFO] [stdout] 655 | fn fields_mut(&mut self, clause: Clause) -> ClauseFieldsMut { [INFO] [stdout] | ^^^^^^^^^ --------------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 655 | fn fields_mut(&mut self, clause: Clause) -> ClauseFieldsMut<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> rate/rate.rs:662:27 [INFO] [stdout] | [INFO] [stdout] 662 | fn fields_from_offset(&self, offset: usize) -> ClauseFields { [INFO] [stdout] | ^^^^^ ------------ the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 662 | fn fields_from_offset(&self, offset: usize) -> ClauseFields<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> rate/rate.rs:669:31 [INFO] [stdout] | [INFO] [stdout] 669 | fn fields_mut_from_offset(&mut self, offset: usize) -> ClauseFieldsMut { [INFO] [stdout] | ^^^^^^^^^ --------------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 669 | fn fields_mut_from_offset(&mut self, offset: usize) -> ClauseFieldsMut<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 26.86s [INFO] running `Command { std: "docker" "inspect" "a403782c56ec5159977f5f464297b0b43468421961431e3cd1e683f776cd7bd6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a403782c56ec5159977f5f464297b0b43468421961431e3cd1e683f776cd7bd6", kill_on_drop: false }` [INFO] [stdout] a403782c56ec5159977f5f464297b0b43468421961431e3cd1e683f776cd7bd6 [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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+0936b3db0ae648ba2d5b60eb08cf4faf2ddab0c6" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 5984d8d5b6d0b02e609a588ec1053b3e4bdcf49d14963984710e06fa14c97a3f [INFO] running `Command { std: "docker" "start" "-a" "5984d8d5b6d0b02e609a588ec1053b3e4bdcf49d14963984710e06fa14c97a3f", kill_on_drop: false }` [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] [stdout] warning: unused doc comment [INFO] [stdout] --> rate-common/src/assignment.rs:47:13 [INFO] [stdout] | [INFO] [stdout] 47 | /// + 2 for Literal::TOP and one conflicting assignment [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 48 | trail: BoundedVector::with_capacity(maxvar.array_size_for_variables() + 2), [INFO] [stdout] | -------------------------------------------------------------------------- rustdoc does not generate documentation for expression fields [INFO] [stdout] | [INFO] [stdout] = help: use `//` for a plain comment [INFO] [stdout] = note: `#[warn(unused_doc_comments)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused doc comment [INFO] [stdout] --> rate-common/src/assignment.rs:47:13 [INFO] [stdout] | [INFO] [stdout] 47 | /// + 2 for Literal::TOP and one conflicting assignment [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] 48 | trail: BoundedVector::with_capacity(maxvar.array_size_for_variables() + 2), [INFO] [stdout] | -------------------------------------------------------------------------- rustdoc does not generate documentation for expression fields [INFO] [stdout] | [INFO] [stdout] = help: use `//` for a plain comment [INFO] [stdout] = note: `#[warn(unused_doc_comments)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> rate-common/src/parser.rs:213:5 [INFO] [stdout] | [INFO] [stdout] 213 | mut parser: &mut Parser, [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] --> rate-common/src/parser.rs:213:5 [INFO] [stdout] | [INFO] [stdout] 213 | mut parser: &mut Parser, [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: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> rate-common/src/memory/boundedvector.rs:70:17 [INFO] [stdout] | [INFO] [stdout] 70 | pub fn iter(&self) -> slice::Iter { [INFO] [stdout] | ^^^^^ -------------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 70 | pub fn iter(&self) -> slice::Iter<'_, T> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> rate-common/src/memory/vector.rs:69:17 [INFO] [stdout] | [INFO] [stdout] 69 | pub fn iter(&self) -> slice::Iter { [INFO] [stdout] | ^^^^^ -------------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 69 | pub fn iter(&self) -> slice::Iter<'_, T> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> rate-common/src/memory/stackmapping.rs:94:17 [INFO] [stdout] | [INFO] [stdout] 94 | pub fn iter(&self) -> slice::Iter { [INFO] [stdout] | ^^^^^ ---------------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 94 | pub fn iter(&self) -> slice::Iter<'_, Key> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> rate-common/src/assignment.rs:113:17 [INFO] [stdout] | [INFO] [stdout] 113 | pub fn iter(&self) -> slice::Iter<(Literal, Reason)> { [INFO] [stdout] | ^^^^^ ------------------------------ the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 113 | pub fn iter(&self) -> slice::Iter<'_, (Literal, Reason)> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> rate-common/src/parser.rs:355:39 [INFO] [stdout] | [INFO] [stdout] 355 | pub fn read_compressed_file(filename: &str, binary: bool) -> Input { [INFO] [stdout] | ^^^^ ----- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 355 | pub fn read_compressed_file(filename: &str, binary: bool) -> Input<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> rate-common/src/memory/boundedvector.rs:70:17 [INFO] [stdout] | [INFO] [stdout] 70 | pub fn iter(&self) -> slice::Iter { [INFO] [stdout] | ^^^^^ -------------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 70 | pub fn iter(&self) -> slice::Iter<'_, T> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> rate-common/src/memory/vector.rs:69:17 [INFO] [stdout] | [INFO] [stdout] 69 | pub fn iter(&self) -> slice::Iter { [INFO] [stdout] | ^^^^^ -------------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 69 | pub fn iter(&self) -> slice::Iter<'_, T> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> rate-common/src/memory/stackmapping.rs:94:17 [INFO] [stdout] | [INFO] [stdout] 94 | pub fn iter(&self) -> slice::Iter { [INFO] [stdout] | ^^^^^ ---------------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 94 | pub fn iter(&self) -> slice::Iter<'_, Key> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> rate-common/src/assignment.rs:113:17 [INFO] [stdout] | [INFO] [stdout] 113 | pub fn iter(&self) -> slice::Iter<(Literal, Reason)> { [INFO] [stdout] | ^^^^^ ------------------------------ the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 113 | pub fn iter(&self) -> slice::Iter<'_, (Literal, Reason)> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> rate-common/src/parser.rs:355:39 [INFO] [stdout] | [INFO] [stdout] 355 | pub fn read_compressed_file(filename: &str, binary: bool) -> Input { [INFO] [stdout] | ^^^^ ----- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 355 | pub fn read_compressed_file(filename: &str, binary: bool) -> Input<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [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] Compiling rate-proof-utils v0.3.0 (/opt/rustwide/workdir/rate-proof-utils) [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> rate/rate.rs:649:15 [INFO] [stdout] | [INFO] [stdout] 649 | fn fields(&self, clause: Clause) -> ClauseFields { [INFO] [stdout] | ^^^^^ ------------ the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 649 | fn fields(&self, clause: Clause) -> ClauseFields<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> rate/rate.rs:655:19 [INFO] [stdout] | [INFO] [stdout] 655 | fn fields_mut(&mut self, clause: Clause) -> ClauseFieldsMut { [INFO] [stdout] | ^^^^^^^^^ --------------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 655 | fn fields_mut(&mut self, clause: Clause) -> ClauseFieldsMut<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> rate/rate.rs:662:27 [INFO] [stdout] | [INFO] [stdout] 662 | fn fields_from_offset(&self, offset: usize) -> ClauseFields { [INFO] [stdout] | ^^^^^ ------------ the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 662 | fn fields_from_offset(&self, offset: usize) -> ClauseFields<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stdout] --> rate/rate.rs:669:31 [INFO] [stdout] | [INFO] [stdout] 669 | fn fields_mut_from_offset(&mut self, offset: usize) -> ClauseFieldsMut { [INFO] [stdout] | ^^^^^^^^^ --------------- the lifetime gets resolved as `'_` [INFO] [stdout] | | [INFO] [stdout] | this lifetime flows to the output [INFO] [stdout] | [INFO] [stdout] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stdout] | [INFO] [stdout] 669 | fn fields_mut_from_offset(&mut self, offset: usize) -> ClauseFieldsMut<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 1.13s [INFO] running `Command { std: "docker" "inspect" "5984d8d5b6d0b02e609a588ec1053b3e4bdcf49d14963984710e06fa14c97a3f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5984d8d5b6d0b02e609a588ec1053b3e4bdcf49d14963984710e06fa14c97a3f", kill_on_drop: false }` [INFO] [stdout] 5984d8d5b6d0b02e609a588ec1053b3e4bdcf49d14963984710e06fa14c97a3f [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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+0936b3db0ae648ba2d5b60eb08cf4faf2ddab0c6" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 9b76c0ee91bc833c042c2bc095b74187fe97de5953dc1daddbf7986670adf795 [INFO] running `Command { std: "docker" "start" "-a" "9b76c0ee91bc833c042c2bc095b74187fe97de5953dc1daddbf7986670adf795", kill_on_drop: false }` [INFO] [stderr] warning: unused doc comment [INFO] [stderr] --> rate-common/src/assignment.rs:47:13 [INFO] [stderr] | [INFO] [stderr] 47 | /// + 2 for Literal::TOP and one conflicting assignment [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] 48 | trail: BoundedVector::with_capacity(maxvar.array_size_for_variables() + 2), [INFO] [stderr] | -------------------------------------------------------------------------- rustdoc does not generate documentation for expression fields [INFO] [stderr] | [INFO] [stderr] = help: use `//` for a plain comment [INFO] [stderr] = note: `#[warn(unused_doc_comments)]` on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> rate-common/src/parser.rs:213:5 [INFO] [stderr] | [INFO] [stderr] 213 | mut parser: &mut Parser, [INFO] [stderr] | ----^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_mut)]` on by default [INFO] [stderr] [INFO] [stderr] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stderr] --> rate-common/src/memory/boundedvector.rs:70:17 [INFO] [stderr] | [INFO] [stderr] 70 | pub fn iter(&self) -> slice::Iter { [INFO] [stderr] | ^^^^^ -------------- the lifetime gets resolved as `'_` [INFO] [stderr] | | [INFO] [stderr] | this lifetime flows to the output [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stderr] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stderr] | [INFO] [stderr] 70 | pub fn iter(&self) -> slice::Iter<'_, T> { [INFO] [stderr] | +++ [INFO] [stderr] [INFO] [stderr] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stderr] --> rate-common/src/memory/vector.rs:69:17 [INFO] [stderr] | [INFO] [stderr] 69 | pub fn iter(&self) -> slice::Iter { [INFO] [stderr] | ^^^^^ -------------- the lifetime gets resolved as `'_` [INFO] [stderr] | | [INFO] [stderr] | this lifetime flows to the output [INFO] [stderr] | [INFO] [stderr] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stderr] | [INFO] [stderr] 69 | pub fn iter(&self) -> slice::Iter<'_, T> { [INFO] [stderr] | +++ [INFO] [stderr] [INFO] [stderr] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stderr] --> rate-common/src/memory/stackmapping.rs:94:17 [INFO] [stderr] | [INFO] [stderr] 94 | pub fn iter(&self) -> slice::Iter { [INFO] [stderr] | ^^^^^ ---------------- the lifetime gets resolved as `'_` [INFO] [stderr] | | [INFO] [stderr] | this lifetime flows to the output [INFO] [stderr] | [INFO] [stderr] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stderr] | [INFO] [stderr] 94 | pub fn iter(&self) -> slice::Iter<'_, Key> { [INFO] [stderr] | +++ [INFO] [stderr] [INFO] [stderr] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stderr] --> rate-common/src/assignment.rs:113:17 [INFO] [stderr] | [INFO] [stderr] 113 | pub fn iter(&self) -> slice::Iter<(Literal, Reason)> { [INFO] [stderr] | ^^^^^ ------------------------------ the lifetime gets resolved as `'_` [INFO] [stderr] | | [INFO] [stderr] | this lifetime flows to the output [INFO] [stderr] | [INFO] [stderr] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stderr] | [INFO] [stderr] 113 | pub fn iter(&self) -> slice::Iter<'_, (Literal, Reason)> { [INFO] [stderr] | +++ [INFO] [stderr] [INFO] [stderr] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stderr] --> rate-common/src/parser.rs:355:39 [INFO] [stderr] | [INFO] [stderr] 355 | pub fn read_compressed_file(filename: &str, binary: bool) -> Input { [INFO] [stderr] | ^^^^ ----- the lifetime gets resolved as `'_` [INFO] [stderr] | | [INFO] [stderr] | this lifetime flows to the output [INFO] [stderr] | [INFO] [stderr] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stderr] | [INFO] [stderr] 355 | pub fn read_compressed_file(filename: &str, binary: bool) -> Input<'_> { [INFO] [stderr] | ++++ [INFO] [stderr] [INFO] [stderr] warning: `rate-common` (lib) generated 7 warnings (run `cargo fix --lib -p rate-common` to apply 1 suggestion) [INFO] [stderr] warning: `rate-common` (lib test) generated 7 warnings (7 duplicates) [INFO] [stderr] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stderr] --> rate/rate.rs:649:15 [INFO] [stderr] | [INFO] [stderr] 649 | fn fields(&self, clause: Clause) -> ClauseFields { [INFO] [stderr] | ^^^^^ ------------ the lifetime gets resolved as `'_` [INFO] [stderr] | | [INFO] [stderr] | this lifetime flows to the output [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stderr] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stderr] | [INFO] [stderr] 649 | fn fields(&self, clause: Clause) -> ClauseFields<'_> { [INFO] [stderr] | ++++ [INFO] [stderr] [INFO] [stderr] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stderr] --> rate/rate.rs:655:19 [INFO] [stderr] | [INFO] [stderr] 655 | fn fields_mut(&mut self, clause: Clause) -> ClauseFieldsMut { [INFO] [stderr] | ^^^^^^^^^ --------------- the lifetime gets resolved as `'_` [INFO] [stderr] | | [INFO] [stderr] | this lifetime flows to the output [INFO] [stderr] | [INFO] [stderr] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stderr] | [INFO] [stderr] 655 | fn fields_mut(&mut self, clause: Clause) -> ClauseFieldsMut<'_> { [INFO] [stderr] | ++++ [INFO] [stderr] [INFO] [stderr] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stderr] --> rate/rate.rs:662:27 [INFO] [stderr] | [INFO] [stderr] 662 | fn fields_from_offset(&self, offset: usize) -> ClauseFields { [INFO] [stderr] | ^^^^^ ------------ the lifetime gets resolved as `'_` [INFO] [stderr] | | [INFO] [stderr] | this lifetime flows to the output [INFO] [stderr] | [INFO] [stderr] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stderr] | [INFO] [stderr] 662 | fn fields_from_offset(&self, offset: usize) -> ClauseFields<'_> { [INFO] [stderr] | ++++ [INFO] [stderr] [INFO] [stderr] warning: lifetime flowing from input to output with different syntax can be confusing [INFO] [stderr] --> rate/rate.rs:669:31 [INFO] [stderr] | [INFO] [stderr] 669 | fn fields_mut_from_offset(&mut self, offset: usize) -> ClauseFieldsMut { [INFO] [stderr] | ^^^^^^^^^ --------------- the lifetime gets resolved as `'_` [INFO] [stderr] | | [INFO] [stderr] | this lifetime flows to the output [INFO] [stderr] | [INFO] [stderr] help: one option is to remove the lifetime for references and use the anonymous lifetime for paths [INFO] [stderr] | [INFO] [stderr] 669 | fn fields_mut_from_offset(&mut self, offset: usize) -> ClauseFieldsMut<'_> { [INFO] [stderr] | ++++ [INFO] [stderr] [INFO] [stderr] warning: `rate` (bin "rate" test) generated 4 warnings [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.03s [INFO] [stderr] Running unittests rate.rs (/opt/rustwide/target/debug/deps/rate-8108efbf30ce9efb) [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 src/lib.rs (/opt/rustwide/target/debug/deps/rate_common-5c70e116967fe8e2) [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.13s [INFO] [stdout] [INFO] [stderr] Running unittests lib.rs (/opt/rustwide/target/debug/deps/rate_macros-a71ff8b231beebc4) [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 apply-proof.rs (/opt/rustwide/target/debug/deps/apply_proof-119bb2b3a5647f4d) [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 bdrat2drat.rs (/opt/rustwide/target/debug/deps/bdrat2drat-1d402dfb3ecc625a) [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 drat2bdrat.rs (/opt/rustwide/target/debug/deps/drat2bdrat-6cb767b06e5bea89) [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 sick-check.rs (/opt/rustwide/target/debug/deps/sick_check-13e11960de63f8ab) [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 rate-common/src/clause.rs - clause::Reason (line 146) ... ok [INFO] [stdout] test rate-common/src/clause.rs - clause::LRATDependency (line 200) ... ok [INFO] [stdout] test rate-common/src/clause.rs - clause::LRATLiteral (line 249) ... ok [INFO] [stdout] test rate-common/src/clause.rs - clause::ProofStep (line 108) ... ok [INFO] [stdout] test rate-common/src/literal.rs - literal::Literal::decode (line 87) ... ok [INFO] [stdout] test rate-common/src/literal.rs - literal::Literal::is_constant (line 110) ... ok [INFO] [stdout] test rate-common/src/literal.rs - literal::Literal::variable (line 100) ... ok [INFO] [stdout] test rate-common/src/literal.rs - literal::Literal::is_zero (line 134) ... ok [INFO] [stdout] test rate-common/src/literal.rs - literal::Literal (line 157) ... ok [INFO] [stdout] test rate-common/src/literal.rs - literal::Literal (line 172) ... ok [INFO] [stdout] test rate-common/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 0.18s [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" "9b76c0ee91bc833c042c2bc095b74187fe97de5953dc1daddbf7986670adf795", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9b76c0ee91bc833c042c2bc095b74187fe97de5953dc1daddbf7986670adf795", kill_on_drop: false }` [INFO] [stdout] 9b76c0ee91bc833c042c2bc095b74187fe97de5953dc1daddbf7986670adf795