[INFO] fetching crate prop-check-rs 0.0.965...
[INFO] testing prop-check-rs-0.0.965 against master#caccb4d0368bd918ef6668af8e13834d07040417 for pr-146098-1
[INFO] extracting crate prop-check-rs 0.0.965 into /workspace/builds/worker-6-tc1/source
[INFO] removed /workspace/builds/worker-6-tc1/source/rust-toolchain.toml
[INFO] started tweaking crates.io crate prop-check-rs 0.0.965
[INFO] finished tweaking crates.io crate prop-check-rs 0.0.965
[INFO] tweaked toml for crates.io crate prop-check-rs 0.0.965 written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate prop-check-rs 0.0.965 on toolchain caccb4d0368bd918ef6668af8e13834d07040417
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate prop-check-rs 0.0.965 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" "+caccb4d0368bd918ef6668af8e13834d07040417" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] Downloading crates ...
[INFO] [stderr] Downloaded dtor v0.1.0
[INFO] [stderr] Downloaded dtor-proc-macro v0.0.6
[INFO] [stderr] Downloaded ctor v0.5.0
[INFO] [stderr] Downloaded ctor-proc-macro v0.0.6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 0e441b7f576b33889cfdd17107f86c5418edaadfb46a8e163fb89ae812e5fc94
[INFO] running `Command { std: "docker" "start" "-a" "0e441b7f576b33889cfdd17107f86c5418edaadfb46a8e163fb89ae812e5fc94", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0e441b7f576b33889cfdd17107f86c5418edaadfb46a8e163fb89ae812e5fc94", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0e441b7f576b33889cfdd17107f86c5418edaadfb46a8e163fb89ae812e5fc94", kill_on_drop: false }`
[INFO] [stdout] 0e441b7f576b33889cfdd17107f86c5418edaadfb46a8e163fb89ae812e5fc94
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 35285cd54c88061612be9a4ee3a772891cec52c49b88af1e3db867d27b6d35df
[INFO] running `Command { std: "docker" "start" "-a" "35285cd54c88061612be9a4ee3a772891cec52c49b88af1e3db867d27b6d35df", kill_on_drop: false }`
[INFO] [stderr] Compiling num-traits v0.2.19
[INFO] [stderr] Compiling zerocopy v0.8.27
[INFO] [stderr] Compiling bigdecimal v0.4.8
[INFO] [stderr] Compiling anyhow v1.0.100
[INFO] [stderr] Compiling log v0.4.28
[INFO] [stderr] Compiling getrandom v0.3.3
[INFO] [stderr] Compiling num_cpus v1.17.0
[INFO] [stderr] Compiling rand_core v0.9.3
[INFO] [stderr] Compiling num-integer v0.1.46
[INFO] [stderr] Compiling num-bigint v0.4.6
[INFO] [stderr] Compiling ppv-lite86 v0.2.21
[INFO] [stderr] Compiling rand_chacha v0.9.0
[INFO] [stderr] Compiling rand v0.9.2
[INFO] [stderr] Compiling prop-check-rs v0.0.965 (/opt/rustwide/workdir)
[INFO] [stdout] warning: enum `Input` is never used
[INFO] [stdout] --> src/machine.rs:5:6
[INFO] [stdout] |
[INFO] [stdout] 5 | enum Input {
[INFO] [stdout] | ^^^^^
[INFO] [stdout] |
[INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: struct `Machine` is never constructed
[INFO] [stdout] --> src/machine.rs:14:8
[INFO] [stdout] |
[INFO] [stdout] 14 | struct Machine {
[INFO] [stdout] | ^^^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: associated functions `simulate_machine` and `update` are never used
[INFO] [stdout] --> src/machine.rs:31:6
[INFO] [stdout] |
[INFO] [stdout] 23 | impl Machine {
[INFO] [stdout] | ------------ associated functions in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 31 | fn simulate_machine(inputs: Vec) -> State {
[INFO] [stdout] | ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 49 | fn update() -> Box Box Machine>> {
[INFO] [stdout] | ^^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: function `random_stream` is never used
[INFO] [stdout] --> src/prop.rs:131:4
[INFO] [stdout] |
[INFO] [stdout] 131 | fn random_stream(g: Gen, mut rng: RNG) -> impl Iterator-
[INFO] [stdout] | ^^^^^^^^^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: struct `Gens` is never constructed
[INFO] [stdout] --> src/gen.rs:15:12
[INFO] [stdout] |
[INFO] [stdout] 15 | pub struct Gens;
[INFO] [stdout] | ^^^^
[INFO] [stdout] |
[INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: multiple associated functions are never used
[INFO] [stdout] --> src/gen.rs:22:10
[INFO] [stdout] |
[INFO] [stdout] 17 | impl Gens {
[INFO] [stdout] | --------- associated functions in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 22 | pub fn unit() -> Gen<()> {
[INFO] [stdout] | ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 33 | pub fn pure(value: B) -> Gen
[INFO] [stdout] | ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 56 | pub fn pure_lazy(f: F) -> Gen
[INFO] [stdout] | ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 80 | pub fn some(gen: Gen) -> Gen>
[INFO] [stdout] | ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 97 | pub fn option(gen: Gen) -> Gen>
[INFO] [stdout] | ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 123 | pub fn either(gt: Gen, ge: Gen) -> Gen>
[INFO] [stdout] | ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 152 | pub fn frequency_values(values: impl IntoIterator
- ) -> Gen
[INFO] [stdout] | ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 176 | pub fn frequency(values: impl IntoIterator
- )>) -> Gen
[INFO] [stdout] | ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 231 | pub fn list_of_n(n: usize, gen: Gen) -> Gen>
[INFO] [stdout] | ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 239 | pub fn list_of_n_chunked_optimal(n: usize, gen: Gen) -> Gen>
[INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 272 | pub fn list_of_n_chunked(n: usize, chunk_size: usize, gen: Gen) -> Gen>
[INFO] [stdout] | ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 339 | pub fn list_of_n_lazy(n: usize, gen: Gen) -> Gen>
[INFO] [stdout] | ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 375 | pub fn one() -> Gen {
[INFO] [stdout] | ^^^
[INFO] [stdout] ...
[INFO] [stdout] 389 | pub fn one_i64() -> Gen {
[INFO] [stdout] | ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 405 | pub fn one_u64() -> Gen {
[INFO] [stdout] | ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 421 | pub fn one_i32() -> Gen {
[INFO] [stdout] | ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 437 | pub fn one_u32() -> Gen {
[INFO] [stdout] | ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 453 | pub fn one_i16() -> Gen {
[INFO] [stdout] | ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 469 | pub fn one_u16() -> Gen {
[INFO] [stdout] | ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 485 | pub fn one_i8() -> Gen {
[INFO] [stdout] | ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 501 | pub fn one_u8() -> Gen {
[INFO] [stdout] | ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 517 | pub fn one_char() -> Gen {
[INFO] [stdout] | ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 531 | pub fn one_bool() -> Gen {
[INFO] [stdout] | ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 547 | pub fn one_f64() -> Gen {
[INFO] [stdout] | ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 563 | pub fn one_f32() -> Gen {
[INFO] [stdout] | ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 590 | pub fn one_of(values: impl IntoIterator
- >) -> Gen {
[INFO] [stdout] | ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 627 | pub fn one_of_values(values: impl IntoIterator
- ) -> Gen {
[INFO] [stdout] | ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 641 | pub fn choose(min: T, max: T) -> Gen {
[INFO] [stdout] | ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 646 | pub fn choose_char(min: char, max: char) -> Gen {
[INFO] [stdout] | ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 671 | pub fn choose_i64(min: i64, max: i64) -> Gen {
[INFO] [stdout] | ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 692 | pub fn choose_u64(min: u64, max: u64) -> Gen {
[INFO] [stdout] | ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 710 | pub fn choose_i32(min: i32, max: i32) -> Gen {
[INFO] [stdout] | ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 731 | pub fn choose_u32(min: u32, max: u32) -> Gen {
[INFO] [stdout] | ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 739 | pub fn choose_i16(min: i16, max: i16) -> Gen {
[INFO] [stdout] | ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 747 | pub fn choose_u16(min: u16, max: u16) -> Gen {
[INFO] [stdout] | ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 755 | pub fn choose_i8(min: i8, max: i8) -> Gen {
[INFO] [stdout] | ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 763 | pub fn choose_u8(min: u8, max: u8) -> Gen {
[INFO] [stdout] | ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 781 | pub fn choose_f64(min: f64, max: f64) -> Gen {
[INFO] [stdout] | ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 799 | pub fn choose_f32(min: f32, max: f32) -> Gen {
[INFO] [stdout] | ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 828 | pub fn even(start: T, stop_exclusive: T) -> Gen {
[INFO] [stdout] | ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 863 | pub fn odd(start: T, stop_exclusive: T) -> Gen {
[INFO] [stdout] | ^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: struct `Gen` is never constructed
[INFO] [stdout] --> src/gen.rs:879:12
[INFO] [stdout] |
[INFO] [stdout] 879 | pub struct Gen {
[INFO] [stdout] | ^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: associated items `run`, `new`, `map`, `and_then`, and `flat_map` are never used
[INFO] [stdout] --> src/gen.rs:908:10
[INFO] [stdout] |
[INFO] [stdout] 891 | impl Gen {
[INFO] [stdout] | ------------------------------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 908 | pub fn run(self, rng: RNG) -> (A, RNG) {
[INFO] [stdout] | ^^^
[INFO] [stdout] ...
[INFO] [stdout] 919 | pub fn new(b: State) -> Gen {
[INFO] [stdout] | ^^^
[INFO] [stdout] ...
[INFO] [stdout] 941 | pub fn map(self, f: F) -> Gen
[INFO] [stdout] | ^^^
[INFO] [stdout] ...
[INFO] [stdout] 969 | pub fn and_then(self, g: Gen, f: F) -> Gen
[INFO] [stdout] | ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 996 | pub fn flat_map(self, f: F) -> Gen
[INFO] [stdout] | ^^^^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: enum `SGen` is never used
[INFO] [stdout] --> src/gen.rs:1005:10
[INFO] [stdout] |
[INFO] [stdout] 1005 | pub enum SGen {
[INFO] [stdout] | ^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: associated items `of_sized`, `of_unsized`, and `run` are never used
[INFO] [stdout] --> src/gen.rs:1039:10
[INFO] [stdout] |
[INFO] [stdout] 1021 | impl SGen {
[INFO] [stdout] | -------------------------------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 1039 | pub fn of_sized(f: F) -> SGen
[INFO] [stdout] | ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1059 | pub fn of_unsized(gen: Gen) -> SGen {
[INFO] [stdout] | ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1081 | pub fn run(&self, i: Option) -> Gen {
[INFO] [stdout] | ^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: trait `Choose` is never used
[INFO] [stdout] --> src/gen/choose.rs:4:11
[INFO] [stdout] |
[INFO] [stdout] 4 | pub trait Choose
[INFO] [stdout] | ^^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: trait `One` is never used
[INFO] [stdout] --> src/gen/one.rs:4:11
[INFO] [stdout] |
[INFO] [stdout] 4 | pub trait One
[INFO] [stdout] | ^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: enum `Input` is never used
[INFO] [stdout] --> src/machine.rs:5:6
[INFO] [stdout] |
[INFO] [stdout] 5 | enum Input {
[INFO] [stdout] | ^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: struct `Machine` is never constructed
[INFO] [stdout] --> src/machine.rs:14:8
[INFO] [stdout] |
[INFO] [stdout] 14 | struct Machine {
[INFO] [stdout] | ^^^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: associated functions `simulate_machine` and `update` are never used
[INFO] [stdout] --> src/machine.rs:31:6
[INFO] [stdout] |
[INFO] [stdout] 23 | impl Machine {
[INFO] [stdout] | ------------ associated functions in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 31 | fn simulate_machine(inputs: Vec) -> State {
[INFO] [stdout] | ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 49 | fn update() -> Box Box Machine>> {
[INFO] [stdout] | ^^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: type alias `MaxSize` is never used
[INFO] [stdout] --> src/prop.rs:9:10
[INFO] [stdout] |
[INFO] [stdout] 9 | pub type MaxSize = u32;
[INFO] [stdout] | ^^^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: type alias `TestCases` is never used
[INFO] [stdout] --> src/prop.rs:10:10
[INFO] [stdout] |
[INFO] [stdout] 10 | pub type TestCases = u32;
[INFO] [stdout] | ^^^^^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: type alias `FailedCase` is never used
[INFO] [stdout] --> src/prop.rs:11:10
[INFO] [stdout] |
[INFO] [stdout] 11 | pub type FailedCase = String;
[INFO] [stdout] | ^^^^^^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: type alias `SuccessCount` is never used
[INFO] [stdout] --> src/prop.rs:12:10
[INFO] [stdout] |
[INFO] [stdout] 12 | pub type SuccessCount = u32;
[INFO] [stdout] | ^^^^^^^^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: trait `IsFalsified` is never used
[INFO] [stdout] --> src/prop.rs:15:11
[INFO] [stdout] |
[INFO] [stdout] 15 | pub trait IsFalsified {
[INFO] [stdout] | ^^^^^^^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: enum `PropResult` is never used
[INFO] [stdout] --> src/prop.rs:24:10
[INFO] [stdout] |
[INFO] [stdout] 24 | pub enum PropResult {
[INFO] [stdout] | ^^^^^^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: methods `map`, `flat_map`, `to_result`, `to_result_unit`, and `message` are never used
[INFO] [stdout] --> src/prop.rs:48:10
[INFO] [stdout] |
[INFO] [stdout] 40 | impl PropResult {
[INFO] [stdout] | --------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 48 | pub fn map(self, f: F) -> PropResult
[INFO] [stdout] | ^^^
[INFO] [stdout] ...
[INFO] [stdout] 67 | pub fn flat_map(self, f: F) -> PropResult
[INFO] [stdout] | ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 81 | pub fn to_result(self) -> Result {
[INFO] [stdout] | ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 93 | pub fn to_result_unit(self) -> Result<()> {
[INFO] [stdout] | ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 110 | pub fn message(&self) -> String {
[INFO] [stdout] | ^^^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: function `random_stream` is never used
[INFO] [stdout] --> src/prop.rs:131:4
[INFO] [stdout] |
[INFO] [stdout] 131 | fn random_stream(g: Gen, mut rng: RNG) -> impl Iterator
-
[INFO] [stdout] | ^^^^^^^^^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: function `for_all_sgen` is never used
[INFO] [stdout] --> src/prop.rs:149:8
[INFO] [stdout] |
[INFO] [stdout] 149 | pub fn for_all_sgen(sgen: SGen, mut test: FF) -> Prop
[INFO] [stdout] | ^^^^^^^^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: function `for_all_gen_for_size` is never used
[INFO] [stdout] --> src/prop.rs:168:8
[INFO] [stdout] |
[INFO] [stdout] 168 | pub fn for_all_gen_for_size(gf: GF, mut test: FF) -> Prop
[INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: function `for_all_gen` is never used
[INFO] [stdout] --> src/prop.rs:218:8
[INFO] [stdout] |
[INFO] [stdout] 218 | pub fn for_all_gen(g: Gen, mut test: F) -> Prop
[INFO] [stdout] | ^^^^^^^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: function `run_with_prop` is never used
[INFO] [stdout] --> src/prop.rs:258:8
[INFO] [stdout] |
[INFO] [stdout] 258 | pub fn run_with_prop(p: Prop, max_size: MaxSize, test_cases: TestCases, rng: RNG) -> Result {
[INFO] [stdout] | ^^^^^^^^^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: function `test_with_prop` is never used
[INFO] [stdout] --> src/prop.rs:271:8
[INFO] [stdout] |
[INFO] [stdout] 271 | pub fn test_with_prop(p: Prop, max_size: MaxSize, test_cases: TestCases, rng: RNG) -> Result<()> {
[INFO] [stdout] | ^^^^^^^^^^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: struct `Prop` is never constructed
[INFO] [stdout] --> src/prop.rs:276:12
[INFO] [stdout] |
[INFO] [stdout] 276 | pub struct Prop {
[INFO] [stdout] | ^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: associated items `new`, `run`, `tag`, `and`, and `or` are never used
[INFO] [stdout] --> src/prop.rs:296:10
[INFO] [stdout] |
[INFO] [stdout] 288 | impl Prop {
[INFO] [stdout] | --------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 296 | pub fn new(f: F) -> Prop
[INFO] [stdout] | ^^^
[INFO] [stdout] ...
[INFO] [stdout] 313 | pub fn run(&self, max_size: MaxSize, test_cases: TestCases, rng: RNG) -> PropResult {
[INFO] [stdout] | ^^^
[INFO] [stdout] ...
[INFO] [stdout] 325 | pub fn tag(self, msg: String) -> Prop {
[INFO] [stdout] | ^^^
[INFO] [stdout] ...
[INFO] [stdout] 346 | pub fn and(self, other: Self) -> Prop {
[INFO] [stdout] | ^^^
[INFO] [stdout] ...
[INFO] [stdout] 363 | pub fn or(self, other: Self) -> Prop {
[INFO] [stdout] | ^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: trait `NextRandValue` is never used
[INFO] [stdout] --> src/rng.rs:7:11
[INFO] [stdout] |
[INFO] [stdout] 7 | pub trait NextRandValue
[INFO] [stdout] | ^^^^^^^^^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: trait `RandGen` is never used
[INFO] [stdout] --> src/rng.rs:88:11
[INFO] [stdout] |
[INFO] [stdout] 88 | pub trait RandGen
[INFO] [stdout] | ^^^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: multiple associated items are never used
[INFO] [stdout] --> src/rng.rs:194:10
[INFO] [stdout] |
[INFO] [stdout] 185 | impl RNG {
[INFO] [stdout] | -------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 194 | pub fn with_seed(mut self, seed: u64) -> Self {
[INFO] [stdout] | ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 200 | pub fn i32_f32(&self) -> ((i32, f32), Self) {
[INFO] [stdout] | ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 207 | pub fn f32_i32(&self) -> ((f32, i32), Self) {
[INFO] [stdout] | ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 213 | pub fn f32_3(&self) -> ((f32, f32, f32), Self) {
[INFO] [stdout] | ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 296 | pub fn unit(a: A) -> Box (A, RNG)>
[INFO] [stdout] | ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 304 | pub fn sequence(fs: Vec) -> Box (Vec, RNG)>
[INFO] [stdout] | ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 321 | pub fn int_value() -> Box (i32, RNG)> {
[INFO] [stdout] | ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 326 | pub fn double_value() -> Box (f32, RNG)> {
[INFO] [stdout] | ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 331 | pub fn map(mut s: F1, mut f: F2) -> Box (B, RNG)>
[INFO] [stdout] | ^^^
[INFO] [stdout] ...
[INFO] [stdout] 342 | pub fn map2(mut ra: F1, mut rb: F2, mut f: F3) -> Box (C, RNG)>
[INFO] [stdout] | ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 355 | pub fn both(ra: F1, rb: F2) -> Box ((A, B), RNG)>
[INFO] [stdout] | ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 363 | pub fn rand_int_double() -> Box ((i32, f32), RNG)> {
[INFO] [stdout] | ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 368 | pub fn rand_double_int() -> Box ((f32, i32), RNG)> {
[INFO] [stdout] | ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 373 | pub fn flat_map(mut f: F, mut g: GF) -> Box (B, RNG)>
[INFO] [stdout] | ^^^^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: struct `State` is never constructed
[INFO] [stdout] --> src/state.rs:5:12
[INFO] [stdout] |
[INFO] [stdout] 5 | pub struct State {
[INFO] [stdout] | ^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: multiple associated items are never used
[INFO] [stdout] --> src/state.rs:51:10
[INFO] [stdout] |
[INFO] [stdout] 27 | / impl State
[INFO] [stdout] 28 | | where
[INFO] [stdout] 29 | | S: 'static,
[INFO] [stdout] 30 | | A: Clone + 'static,
[INFO] [stdout] | |_____________________- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 51 | pub fn value(a: A) -> State {
[INFO] [stdout] | ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 70 | pub fn new(f: F) -> State
[INFO] [stdout] | ^^^
[INFO] [stdout] ...
[INFO] [stdout] 89 | pub fn pure(b: B) -> State
[INFO] [stdout] | ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 105 | pub fn run(self, s: S) -> (A, S) {
[INFO] [stdout] | ^^^
[INFO] [stdout] ...
[INFO] [stdout] 123 | pub fn map(self, f: F) -> State
[INFO] [stdout] | ^^^
[INFO] [stdout] ...
[INFO] [stdout] 145 | pub fn flat_map(self, f: F) -> State
[INFO] [stdout] | ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 168 | pub fn and_then(self, sb: State) -> State
[INFO] [stdout] | ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 184 | pub fn get() -> State
[INFO] [stdout] | ^^^
[INFO] [stdout] ...
[INFO] [stdout] 203 | pub fn set(t: T) -> State
[INFO] [stdout] | ^^^
[INFO] [stdout] ...
[INFO] [stdout] 222 | pub fn modify(f: F) -> State
[INFO] [stdout] | ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 240 | pub fn sequence(sas: Vec>) -> State> {
[INFO] [stdout] | ^^^^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 12.28s
[INFO] running `Command { std: "docker" "inspect" "35285cd54c88061612be9a4ee3a772891cec52c49b88af1e3db867d27b6d35df", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "35285cd54c88061612be9a4ee3a772891cec52c49b88af1e3db867d27b6d35df", kill_on_drop: false }`
[INFO] [stdout] 35285cd54c88061612be9a4ee3a772891cec52c49b88af1e3db867d27b6d35df
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 7e48ccd18850fb0f0c3fcd3d3b50965679a80a4db60c9f640d395c9e00261a1c
[INFO] running `Command { std: "docker" "start" "-a" "7e48ccd18850fb0f0c3fcd3d3b50965679a80a4db60c9f640d395c9e00261a1c", kill_on_drop: false }`
[INFO] [stderr] Compiling serde_core v1.0.228
[INFO] [stderr] Compiling aho-corasick v1.1.3
[INFO] [stderr] Compiling quote v1.0.40
[INFO] [stderr] Compiling serde v1.0.228
[INFO] [stderr] Compiling half v2.6.0
[INFO] [stderr] Compiling clap_builder v4.5.48
[INFO] [stderr] Compiling dtor-proc-macro v0.0.6
[INFO] [stderr] Compiling anstream v0.6.20
[INFO] [stderr] Compiling syn v2.0.106
[INFO] [stderr] Compiling dtor v0.1.0
[INFO] [stderr] Compiling criterion-plot v0.6.0
[INFO] [stderr] Compiling ciborium-ll v0.2.2
[INFO] [stderr] Compiling plotters v0.3.7
[INFO] [stderr] Compiling jiff v0.2.15
[INFO] [stderr] Compiling ctor-proc-macro v0.0.6
[INFO] [stderr] Compiling ctor v0.5.0
[INFO] [stdout] warning: enum `Input` is never used
[INFO] [stdout] --> src/machine.rs:5:6
[INFO] [stdout] |
[INFO] [stdout] 5 | enum Input {
[INFO] [stdout] | ^^^^^
[INFO] [stdout] |
[INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: struct `Machine` is never constructed
[INFO] [stdout] --> src/machine.rs:14:8
[INFO] [stdout] |
[INFO] [stdout] 14 | struct Machine {
[INFO] [stdout] | ^^^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: associated functions `simulate_machine` and `update` are never used
[INFO] [stdout] --> src/machine.rs:31:6
[INFO] [stdout] |
[INFO] [stdout] 23 | impl Machine {
[INFO] [stdout] | ------------ associated functions in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 31 | fn simulate_machine(inputs: Vec) -> State {
[INFO] [stdout] | ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 49 | fn update() -> Box Box Machine>> {
[INFO] [stdout] | ^^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: function `random_stream` is never used
[INFO] [stdout] --> src/prop.rs:131:4
[INFO] [stdout] |
[INFO] [stdout] 131 | fn random_stream(g: Gen, mut rng: RNG) -> impl Iterator
-
[INFO] [stdout] | ^^^^^^^^^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stderr] Compiling regex-automata v0.4.11
[INFO] [stderr] Compiling clap v4.5.48
[INFO] [stderr] Compiling serde_json v1.0.145
[INFO] [stderr] Compiling regex v1.11.3
[INFO] [stderr] Compiling env_filter v0.1.3
[INFO] [stderr] Compiling serde_derive v1.0.228
[INFO] [stderr] Compiling env_logger v0.11.8
[INFO] [stderr] Compiling tinytemplate v1.2.1
[INFO] [stderr] Compiling ciborium v0.2.2
[INFO] [stderr] Compiling criterion v0.7.0
[INFO] [stderr] Compiling prop-check-rs v0.0.965 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unnecessary parentheses around closure body
[INFO] [stdout] --> src/rng.rs:639:59
[INFO] [stdout] |
[INFO] [stdout] 639 | let mut map2_fn = RNG::map2(int_fn, double_fn, |i, d| (i as f32 + d));
[INFO] [stdout] | ^ ^
[INFO] [stdout] |
[INFO] [stdout] = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout] |
[INFO] [stdout] 639 - let mut map2_fn = RNG::map2(int_fn, double_fn, |i, d| (i as f32 + d));
[INFO] [stdout] 639 + let mut map2_fn = RNG::map2(int_fn, double_fn, |i, d| i as f32 + d );
[INFO] [stdout] |
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: unnecessary parentheses around closure body
[INFO] [stdout] --> src/rng.rs:639:59
[INFO] [stdout] |
[INFO] [stdout] 639 | let mut map2_fn = RNG::map2(int_fn, double_fn, |i, d| (i as f32 + d));
[INFO] [stdout] | ^ ^
[INFO] [stdout] |
[INFO] [stdout] = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout] |
[INFO] [stdout] 639 - let mut map2_fn = RNG::map2(int_fn, double_fn, |i, d| (i as f32 + d));
[INFO] [stdout] 639 + let mut map2_fn = RNG::map2(int_fn, double_fn, |i, d| i as f32 + d );
[INFO] [stdout] |
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout] --> src/rng.rs:589:9
[INFO] [stdout] |
[INFO] [stdout] 589 | let mut fns = vec![RNG::unit(1), RNG::unit(2), RNG::unit(3)];
[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: variable does not need to be mutable
[INFO] [stdout] --> src/rng.rs:637:9
[INFO] [stdout] |
[INFO] [stdout] 637 | let mut int_fn = RNG::int_value();
[INFO] [stdout] | ----^^^^^^
[INFO] [stdout] | |
[INFO] [stdout] | help: remove this `mut`
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout] --> src/rng.rs:638:9
[INFO] [stdout] |
[INFO] [stdout] 638 | let mut double_fn = RNG::double_value();
[INFO] [stdout] | ----^^^^^^^^^
[INFO] [stdout] | |
[INFO] [stdout] | help: remove this `mut`
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout] --> src/rng.rs:648:9
[INFO] [stdout] |
[INFO] [stdout] 648 | let mut int_fn = RNG::int_value();
[INFO] [stdout] | ----^^^^^^
[INFO] [stdout] | |
[INFO] [stdout] | help: remove this `mut`
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout] --> src/rng.rs:649:9
[INFO] [stdout] |
[INFO] [stdout] 649 | let mut double_fn = RNG::double_value();
[INFO] [stdout] | ----^^^^^^^^^
[INFO] [stdout] | |
[INFO] [stdout] | help: remove this `mut`
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout] --> src/rng.rs:680:9
[INFO] [stdout] |
[INFO] [stdout] 680 | let mut int_fn = RNG::int_value();
[INFO] [stdout] | ----^^^^^^
[INFO] [stdout] | |
[INFO] [stdout] | help: remove this `mut`
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: multiple associated functions are never used
[INFO] [stdout] --> src/gen.rs:22:10
[INFO] [stdout] |
[INFO] [stdout] 17 | impl Gens {
[INFO] [stdout] | --------- associated functions in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 22 | pub fn unit() -> Gen<()> {
[INFO] [stdout] | ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 56 | pub fn pure_lazy(f: F) -> Gen
[INFO] [stdout] | ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 80 | pub fn some(gen: Gen) -> Gen>
[INFO] [stdout] | ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 97 | pub fn option(gen: Gen) -> Gen>
[INFO] [stdout] | ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 123 | pub fn either(gt: Gen, ge: Gen) -> Gen>
[INFO] [stdout] | ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 239 | pub fn list_of_n_chunked_optimal(n: usize, gen: Gen) -> Gen>
[INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 375 | pub fn one() -> Gen {
[INFO] [stdout] | ^^^
[INFO] [stdout] ...
[INFO] [stdout] 590 | pub fn one_of(values: impl IntoIterator
- >) -> Gen {
[INFO] [stdout] | ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 828 | pub fn even(start: T, stop_exclusive: T) -> Gen {
[INFO] [stdout] | ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 863 | pub fn odd(start: T, stop_exclusive: T) -> Gen {
[INFO] [stdout] | ^^^
[INFO] [stdout] |
[INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: method `and_then` is never used
[INFO] [stdout] --> src/gen.rs:969:10
[INFO] [stdout] |
[INFO] [stdout] 891 | impl Gen {
[INFO] [stdout] | ------------------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 969 | pub fn and_then(self, g: Gen, f: F) -> Gen
[INFO] [stdout] | ^^^^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: variant `Sized` is never constructed
[INFO] [stdout] --> src/gen.rs:1007:3
[INFO] [stdout] |
[INFO] [stdout] 1005 | pub enum SGen {
[INFO] [stdout] | ---- variant in this enum
[INFO] [stdout] 1006 | /// Generator with size information.
[INFO] [stdout] 1007 | Sized(Rc Gen>>),
[INFO] [stdout] | ^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: associated functions `of_sized` and `of_unsized` are never used
[INFO] [stdout] --> src/gen.rs:1039:10
[INFO] [stdout] |
[INFO] [stdout] 1021 | impl SGen {
[INFO] [stdout] | -------------------------------- associated functions in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 1039 | pub fn of_sized(f: F) -> SGen
[INFO] [stdout] | ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 1059 | pub fn of_unsized(gen: Gen) -> SGen {
[INFO] [stdout] | ^^^^^^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: function `random_stream` is never used
[INFO] [stdout] --> src/prop.rs:131:4
[INFO] [stdout] |
[INFO] [stdout] 131 | fn random_stream(g: Gen, mut rng: RNG) -> impl Iterator
-
[INFO] [stdout] | ^^^^^^^^^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: method `and_then` is never used
[INFO] [stdout] --> src/state.rs:168:10
[INFO] [stdout] |
[INFO] [stdout] 27 | / impl State
[INFO] [stdout] 28 | | where
[INFO] [stdout] 29 | | S: 'static,
[INFO] [stdout] 30 | | A: Clone + 'static,
[INFO] [stdout] | |_____________________- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 168 | pub fn and_then(self, sb: State) -> State
[INFO] [stdout] | ^^^^^^^^
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout] --> src/rng.rs:589:9
[INFO] [stdout] |
[INFO] [stdout] 589 | let mut fns = vec![RNG::unit(1), RNG::unit(2), RNG::unit(3)];
[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: variable does not need to be mutable
[INFO] [stdout] --> src/rng.rs:637:9
[INFO] [stdout] |
[INFO] [stdout] 637 | let mut int_fn = RNG::int_value();
[INFO] [stdout] | ----^^^^^^
[INFO] [stdout] | |
[INFO] [stdout] | help: remove this `mut`
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout] --> src/rng.rs:638:9
[INFO] [stdout] |
[INFO] [stdout] 638 | let mut double_fn = RNG::double_value();
[INFO] [stdout] | ----^^^^^^^^^
[INFO] [stdout] | |
[INFO] [stdout] | help: remove this `mut`
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout] --> src/rng.rs:648:9
[INFO] [stdout] |
[INFO] [stdout] 648 | let mut int_fn = RNG::int_value();
[INFO] [stdout] | ----^^^^^^
[INFO] [stdout] | |
[INFO] [stdout] | help: remove this `mut`
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout] --> src/rng.rs:649:9
[INFO] [stdout] |
[INFO] [stdout] 649 | let mut double_fn = RNG::double_value();
[INFO] [stdout] | ----^^^^^^^^^
[INFO] [stdout] | |
[INFO] [stdout] | help: remove this `mut`
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout] --> src/rng.rs:680:9
[INFO] [stdout] |
[INFO] [stdout] 680 | let mut int_fn = RNG::int_value();
[INFO] [stdout] | ----^^^^^^
[INFO] [stdout] | |
[INFO] [stdout] | help: remove this `mut`
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] warning: function `random_stream` is never used
[INFO] [stdout] --> src/prop.rs:131:4
[INFO] [stdout] |
[INFO] [stdout] 131 | fn random_stream(g: Gen, mut rng: RNG) -> impl Iterator
-
[INFO] [stdout] | ^^^^^^^^^^^^^
[INFO] [stdout] |
[INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 55.00s
[INFO] running `Command { std: "docker" "inspect" "7e48ccd18850fb0f0c3fcd3d3b50965679a80a4db60c9f640d395c9e00261a1c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7e48ccd18850fb0f0c3fcd3d3b50965679a80a4db60c9f640d395c9e00261a1c", kill_on_drop: false }`
[INFO] [stdout] 7e48ccd18850fb0f0c3fcd3d3b50965679a80a4db60c9f640d395c9e00261a1c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 5185c6adc285f8e145fc5db335f92bf27f1ce23b971ea42e47423f99dadc68d7
[INFO] running `Command { std: "docker" "start" "-a" "5185c6adc285f8e145fc5db335f92bf27f1ce23b971ea42e47423f99dadc68d7", kill_on_drop: false }`
[INFO] [stderr] warning: enum `Input` is never used
[INFO] [stderr] --> src/machine.rs:5:6
[INFO] [stderr] |
[INFO] [stderr] 5 | enum Input {
[INFO] [stderr] | ^^^^^
[INFO] [stderr] |
[INFO] [stderr] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr]
[INFO] [stderr] warning: struct `Machine` is never constructed
[INFO] [stderr] --> src/machine.rs:14:8
[INFO] [stderr] |
[INFO] [stderr] 14 | struct Machine {
[INFO] [stderr] | ^^^^^^^
[INFO] [stderr]
[INFO] [stderr] warning: associated functions `simulate_machine` and `update` are never used
[INFO] [stderr] --> src/machine.rs:31:6
[INFO] [stderr] |
[INFO] [stderr] 23 | impl Machine {
[INFO] [stderr] | ------------ associated functions in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 31 | fn simulate_machine(inputs: Vec) -> State {
[INFO] [stderr] | ^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 49 | fn update() -> Box Box Machine>> {
[INFO] [stderr] | ^^^^^^
[INFO] [stderr]
[INFO] [stderr] warning: function `random_stream` is never used
[INFO] [stderr] --> src/prop.rs:131:4
[INFO] [stderr] |
[INFO] [stderr] 131 | fn random_stream(g: Gen, mut rng: RNG) -> impl Iterator
-
[INFO] [stderr] | ^^^^^^^^^^^^^
[INFO] [stderr]
[INFO] [stderr] warning: `prop-check-rs` (lib) generated 4 warnings
[INFO] [stderr] warning: unnecessary parentheses around closure body
[INFO] [stderr] --> src/rng.rs:639:59
[INFO] [stderr] |
[INFO] [stderr] 639 | let mut map2_fn = RNG::map2(int_fn, double_fn, |i, d| (i as f32 + d));
[INFO] [stderr] | ^ ^
[INFO] [stderr] |
[INFO] [stderr] = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] help: remove these parentheses
[INFO] [stderr] |
[INFO] [stderr] 639 - let mut map2_fn = RNG::map2(int_fn, double_fn, |i, d| (i as f32 + d));
[INFO] [stderr] 639 + let mut map2_fn = RNG::map2(int_fn, double_fn, |i, d| i as f32 + d );
[INFO] [stderr] |
[INFO] [stderr]
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr] --> src/rng.rs:589:9
[INFO] [stderr] |
[INFO] [stderr] 589 | let mut fns = vec![RNG::unit(1), RNG::unit(2), RNG::unit(3)];
[INFO] [stderr] | ----^^^
[INFO] [stderr] | |
[INFO] [stderr] | help: remove this `mut`
[INFO] [stderr] |
[INFO] [stderr] = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr]
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr] --> src/rng.rs:637:9
[INFO] [stderr] |
[INFO] [stderr] 637 | let mut int_fn = RNG::int_value();
[INFO] [stderr] | ----^^^^^^
[INFO] [stderr] | |
[INFO] [stderr] | help: remove this `mut`
[INFO] [stderr]
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr] --> src/rng.rs:638:9
[INFO] [stderr] |
[INFO] [stderr] 638 | let mut double_fn = RNG::double_value();
[INFO] [stderr] | ----^^^^^^^^^
[INFO] [stderr] | |
[INFO] [stderr] | help: remove this `mut`
[INFO] [stderr]
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr] --> src/rng.rs:648:9
[INFO] [stderr] |
[INFO] [stderr] 648 | let mut int_fn = RNG::int_value();
[INFO] [stderr] | ----^^^^^^
[INFO] [stderr] | |
[INFO] [stderr] | help: remove this `mut`
[INFO] [stderr]
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr] --> src/rng.rs:649:9
[INFO] [stderr] |
[INFO] [stderr] 649 | let mut double_fn = RNG::double_value();
[INFO] [stderr] | ----^^^^^^^^^
[INFO] [stderr] | |
[INFO] [stderr] | help: remove this `mut`
[INFO] [stderr]
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr] --> src/rng.rs:680:9
[INFO] [stderr] |
[INFO] [stderr] 680 | let mut int_fn = RNG::int_value();
[INFO] [stderr] | ----^^^^^^
[INFO] [stderr] | |
[INFO] [stderr] | help: remove this `mut`
[INFO] [stderr]
[INFO] [stderr] warning: function `random_stream` is never used
[INFO] [stderr] --> src/prop.rs:131:4
[INFO] [stderr] |
[INFO] [stderr] 131 | fn random_stream(g: Gen, mut rng: RNG) -> impl Iterator
-
[INFO] [stderr] | ^^^^^^^^^^^^^
[INFO] [stderr] |
[INFO] [stderr] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr]
[INFO] [stderr] warning: multiple associated functions are never used
[INFO] [stderr] --> src/gen.rs:22:10
[INFO] [stderr] |
[INFO] [stderr] 17 | impl Gens {
[INFO] [stderr] | --------- associated functions in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 22 | pub fn unit() -> Gen<()> {
[INFO] [stderr] | ^^^^
[INFO] [stderr] ...
[INFO] [stderr] 56 | pub fn pure_lazy(f: F) -> Gen
[INFO] [stderr] | ^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 80 | pub fn some(gen: Gen) -> Gen>
[INFO] [stderr] | ^^^^
[INFO] [stderr] ...
[INFO] [stderr] 97 | pub fn option(gen: Gen) -> Gen>
[INFO] [stderr] | ^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 123 | pub fn either(gt: Gen, ge: Gen) -> Gen>
[INFO] [stderr] | ^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 239 | pub fn list_of_n_chunked_optimal(n: usize, gen: Gen) -> Gen>
[INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 375 | pub fn one() -> Gen {
[INFO] [stderr] | ^^^
[INFO] [stderr] ...
[INFO] [stderr] 590 | pub fn one_of(values: impl IntoIterator
- >) -> Gen {
[INFO] [stderr] | ^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 828 | pub fn even(start: T, stop_exclusive: T) -> Gen {
[INFO] [stderr] | ^^^^
[INFO] [stderr] ...
[INFO] [stderr] 863 | pub fn odd(start: T, stop_exclusive: T) -> Gen {
[INFO] [stderr] | ^^^
[INFO] [stderr] |
[INFO] [stderr] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr]
[INFO] [stderr] warning: method `and_then` is never used
[INFO] [stderr] --> src/gen.rs:969:10
[INFO] [stderr] |
[INFO] [stderr] 891 | impl Gen {
[INFO] [stderr] | ------------------------------- method in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 969 | pub fn and_then(self, g: Gen, f: F) -> Gen
[INFO] [stderr] | ^^^^^^^^
[INFO] [stderr]
[INFO] [stderr] warning: variant `Sized` is never constructed
[INFO] [stderr] --> src/gen.rs:1007:3
[INFO] [stderr] |
[INFO] [stderr] 1005 | pub enum SGen {
[INFO] [stderr] | ---- variant in this enum
[INFO] [stderr] 1006 | /// Generator with size information.
[INFO] [stderr] 1007 | Sized(Rc Gen>>),
[INFO] [stderr] | ^^^^^
[INFO] [stderr]
[INFO] [stderr] warning: associated functions `of_sized` and `of_unsized` are never used
[INFO] [stderr] --> src/gen.rs:1039:10
[INFO] [stderr] |
[INFO] [stderr] 1021 | impl SGen {
[INFO] [stderr] | -------------------------------- associated functions in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 1039 | pub fn of_sized(f: F) -> SGen
[INFO] [stderr] | ^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 1059 | pub fn of_unsized(gen: Gen) -> SGen {
[INFO] [stderr] | ^^^^^^^^^^
[INFO] [stderr]
[INFO] [stderr] warning: method `and_then` is never used
[INFO] [stderr] --> src/state.rs:168:10
[INFO] [stderr] |
[INFO] [stderr] 27 | / impl State
[INFO] [stderr] 28 | | where
[INFO] [stderr] 29 | | S: 'static,
[INFO] [stderr] 30 | | A: Clone + 'static,
[INFO] [stderr] | |_____________________- method in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 168 | pub fn and_then(self, sb: State) -> State
[INFO] [stderr] | ^^^^^^^^
[INFO] [stderr]
[INFO] [stderr] warning: `prop-check-rs` (lib test) generated 8 warnings (run `cargo fix --lib -p prop-check-rs --tests` to apply 7 suggestions)
[INFO] [stderr] warning: `prop-check-rs` (bin "prop-check-rs" test) generated 13 warnings (8 duplicates)
[INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.18s
[INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/prop_check_rs-322dfbf291e192eb)
[INFO] [stdout]
[INFO] [stdout] running 83 tests
[INFO] [stdout] test gen::choose::tests::test_choose_f64 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_char ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_f32 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_i32 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_i64 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_option ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_i8 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_i16 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_result ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_u16 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_u32 ... ok
[INFO] [stdout] test gen::one::tests::test_one_bool ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_u64 ... ok
[INFO] [stdout] test gen::one::tests::test_one_f32 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_u8 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_usize ... ok
[INFO] [stdout] test gen::one::tests::test_one_char ... ok
[INFO] [stdout] test gen::one::tests::test_one_i64 ... ok
[INFO] [stdout] test gen::one::tests::test_one_i8 ... ok
[INFO] [stdout] test gen::one::tests::test_one_u16 ... ok
[INFO] [stdout] test gen::one::tests::test_one_u32 ... ok
[INFO] [stdout] test gen::one::tests::test_one_f64 ... ok
[INFO] [stdout] test gen::one::tests::test_one_u64 ... ok
[INFO] [stdout] test gen::one::tests::test_one_i16 ... ok
[INFO] [stdout] test gen::one::tests::test_one_u8 ... ok
[INFO] [stdout] test gen::tests::laws::test_left_identity_law ... ok
[INFO] [stdout] test gen::tests::test_list_of_n_chunked ... ok
[INFO] [stdout] test gen::one::tests::test_one_i32 ... ok
[INFO] [stdout] test machine::tests::candy ... ok
[INFO] [stdout] test gen::tests::test_list_of_n_lazy ... ok
[INFO] [stdout] test gen::tests::laws::test_associativity_law ... ok
[INFO] [stdout] test gen::tests::laws::test_right_identity_law ... ok
[INFO] [stdout] test prop::tests::test_for_all_gen ... ok
[INFO] [stdout] test prop::tests::test_for_all_sgen ... ok
[INFO] [stdout] test prop::tests::test_prop_or ... ok
[INFO] [stdout] test prop::tests::test_prop_result_falsified ... ok
[INFO] [stdout] test prop::tests::test_prop_result_flat_map ... ok
[INFO] [stdout] test prop::tests::test_prop_result_map ... ok
[INFO] [stdout] test prop::tests::test_prop_result_passed ... ok
[INFO] [stdout] test prop::tests::test_prop_result_proved ... ok
[INFO] [stdout] test prop::tests::test_prop_tag ... ok
[INFO] [stdout] test prop::tests::test_prop_result_to_result ... ok
[INFO] [stdout] test prop::tests::test_run_with_prop ... ok
[INFO] [stdout] test rng::tests::next_i32 ... ok
[INFO] [stdout] test rng::tests::test_double_value ... ok
[INFO] [stdout] test rng::tests::test_both ... ok
[INFO] [stdout] test prop::tests::test_prop_and ... ok
[INFO] [stdout] test prop::tests::test_one_of ... ok
[INFO] [stdout] test rng::tests::test_f32_3 ... ok
[INFO] [stdout] test rng::tests::test_f32_i32 ... ok
[INFO] [stdout] test rng::tests::test_flat_map ... ok
[INFO] [stdout] test rng::tests::test_i32s_direct ... ok
[INFO] [stdout] test rng::tests::test_int_value ... ok
[INFO] [stdout] test rng::tests::test_i32_f32 ... ok
[INFO] [stdout] test rng::tests::test_map ... ok
[INFO] [stdout] test rng::tests::test_map2 ... ok
[INFO] [stdout] test rng::tests::test_i32s ... ok
[INFO] [stdout] test prop::tests::test_one_of_2 ... ok
[INFO] [stdout] test rng::tests::test_next_f32 ... ok
[INFO] [stdout] test rng::tests::test_next_f64 ... ok
[INFO] [stdout] test rng::tests::test_next_bool ... ok
[INFO] [stdout] test rng::tests::test_next_i32 ... ok
[INFO] [stdout] test rng::tests::test_next_i8 ... ok
[INFO] [stdout] test rng::tests::test_next_u16 ... ok
[INFO] [stdout] test rng::tests::test_next_u64 ... ok
[INFO] [stdout] test rng::tests::test_next_u32 ... ok
[INFO] [stdout] test rng::tests::test_rand_double_int ... ok
[INFO] [stdout] test rng::tests::test_rand_int_double ... ok
[INFO] [stdout] test rng::tests::test_sequence ... ok
[INFO] [stdout] test rng::tests::test_unit ... ok
[INFO] [stdout] test rng::tests::test_with_seed ... ok
[INFO] [stdout] test state::tests::laws::test_associativity_law ... ok
[INFO] [stdout] test state::tests::laws::test_left_identity_law ... ok
[INFO] [stdout] test state::tests::laws::test_right_identity_law ... ok
[INFO] [stdout] test rng::tests::test_next_i16 ... ok
[INFO] [stdout] test state::tests::pure ... ok
[INFO] [stdout] test rng::tests::test_next_i64 ... ok
[INFO] [stdout] test gen::tests::test_frequency_values ... ok
[INFO] [stdout] test rng::tests::test_next_u8 ... ok
[INFO] [stdout] test state::tests::should_panic_when_running_with_null_state ... ok
[INFO] [stdout] test rng::tests::test_i32s_parallel ... ok
[INFO] [stdout] test gen::tests::test_frequency ... ok
[INFO] [stdout] test gen::tests::test_large_data_generation ... ok
[INFO] [stdout]
[INFO] [stdout] test result: ok. 83 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout]
[INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/prop_check_rs-64724d99c18b3ee3)
[INFO] [stdout]
[INFO] [stdout] running 84 tests
[INFO] [stdout] test gen::choose::tests::test_choose_char ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_i16 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_i32 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_f64 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_i8 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_f32 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_u16 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_i64 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_option ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_usize ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_u32 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_u8 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_result ... ok
[INFO] [stdout] test gen::one::tests::test_one_char ... ok
[INFO] [stdout] test gen::one::tests::test_one_f32 ... ok
[INFO] [stdout] test gen::one::tests::test_one_i16 ... ok
[INFO] [stdout] test gen::choose::tests::test_choose_u64 ... ok
[INFO] [stdout] test gen::one::tests::test_one_bool ... ok
[INFO] [stdout] test gen::one::tests::test_one_f64 ... ok
[INFO] [stdout] test gen::one::tests::test_one_i32 ... ok
[INFO] [stdout] test gen::one::tests::test_one_i8 ... ok
[INFO] [stdout] test gen::one::tests::test_one_u32 ... ok
[INFO] [stdout] test gen::one::tests::test_one_i64 ... ok
[INFO] [stdout] test gen::one::tests::test_one_u64 ... ok
[INFO] [stdout] test gen::one::tests::test_one_u8 ... ok
[INFO] [stdout] test gen::tests::laws::test_right_identity_law ... ok
[INFO] [stdout] test gen::tests::laws::test_associativity_law ... ok
[INFO] [stdout] test gen::one::tests::test_one_u16 ... ok
[INFO] [stdout] test gen::tests::test_list_of_n_chunked ... ok
[INFO] [stdout] test gen::tests::laws::test_left_identity_law ... ok
[INFO] [stdout] test gen::tests::test_list_of_n_lazy ... ok
[INFO] [stdout] test prop::tests::test_for_all_gen ... ok
[INFO] [stdout] test gen::tests::test_frequency_values ... ok
[INFO] [stdout] test machine::tests::candy ... ok
[INFO] [stdout] test prop::tests::test_prop_and ... ok
[INFO] [stdout] test prop::tests::test_for_all_sgen ... ok
[INFO] [stdout] test prop::tests::test_prop_or ... ok
[INFO] [stdout] test prop::tests::test_prop_result_falsified ... ok
[INFO] [stdout] test prop::tests::test_prop_result_flat_map ... ok
[INFO] [stdout] test prop::tests::test_prop_result_map ... ok
[INFO] [stdout] test prop::tests::test_prop_result_to_result ... ok
[INFO] [stdout] test prop::tests::test_prop_tag ... ok
[INFO] [stdout] test prop::tests::test_run_with_prop ... ok
[INFO] [stdout] test rng::tests::next_i32 ... ok
[INFO] [stdout] test prop::tests::test_one_of ... ok
[INFO] [stdout] test prop::tests::test_prop_result_passed ... ok
[INFO] [stdout] test prop::tests::test_prop_result_proved ... ok
[INFO] [stdout] test rng::tests::test_double_value ... ok
[INFO] [stdout] test rng::tests::test_both ... ok
[INFO] [stdout] test prop::tests::test_one_of_2 ... ok
[INFO] [stdout] test rng::tests::test_i32_f32 ... ok
[INFO] [stdout] test rng::tests::test_i32s ... ok
[INFO] [stdout] test gen::tests::test_frequency ... ok
[INFO] [stdout] test rng::tests::test_i32s_direct ... ok
[INFO] [stdout] test rng::tests::test_f32_i32 ... ok
[INFO] [stdout] test rng::tests::test_f32_3 ... ok
[INFO] [stdout] test rng::tests::test_int_value ... ok
[INFO] [stdout] test rng::tests::test_map ... ok
[INFO] [stdout] test rng::tests::test_flat_map ... ok
[INFO] [stdout] test rng::tests::test_next_i32 ... ok
[INFO] [stdout] test rng::tests::test_i32s_parallel ... ok
[INFO] [stdout] test rng::tests::test_next_i8 ... ok
[INFO] [stdout] test rng::tests::test_next_u16 ... ok
[INFO] [stdout] test rng::tests::test_next_f32 ... ok
[INFO] [stdout] test rng::tests::test_next_u32 ... ok
[INFO] [stdout] test rng::tests::test_next_u64 ... ok
[INFO] [stdout] test rng::tests::test_next_f64 ... ok
[INFO] [stdout] test rng::tests::test_next_i16 ... ok
[INFO] [stdout] test rng::tests::test_next_u8 ... ok
[INFO] [stdout] test rng::tests::test_rand_double_int ... ok
[INFO] [stdout] test rng::tests::test_rand_int_double ... ok
[INFO] [stdout] test rng::tests::test_next_bool ... ok
[INFO] [stdout] test rng::tests::test_sequence ... ok
[INFO] [stdout] test rng::tests::test_unit ... ok
[INFO] [stdout] test rng::tests::test_with_seed ... ok
[INFO] [stdout] test state::tests::laws::test_right_identity_law ... ok
[INFO] [stdout] test state::tests::laws::test_associativity_law ... ok
[INFO] [stdout] test state::tests::laws::test_left_identity_law ... ok
[INFO] [stdout] test state::tests::pure ... ok
[INFO] [stdout] test state::tests::should_panic_when_running_with_null_state ... ok
[INFO] [stdout] test rng::tests::test_map2 ... ok
[INFO] [stdout] test rng::tests::test_next_i64 ... ok
[INFO] [stdout] test gen::tests::test_large_data_generation ... ok
[INFO] [stderr] Doc-tests prop_check_rs
[INFO] [stdout] test tests::test_generate_random_ints ... ok
[INFO] [stdout]
[INFO] [stdout] test result: ok. 84 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout]
[INFO] [stdout]
[INFO] [stdout] running 33 tests
[INFO] [stdout] test src/gen.rs - gen::Gen::map (line 936) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::list_of_n (line 225) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gen::run (line 901) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::even (line 824) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gen::and_then (line 963) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gen::flat_map (line 991) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::either (line 117) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::odd (line 859) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::one (line 370) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::list_of_n_lazy (line 334) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::list_of_n_chunked (line 267) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::one_bool (line 527) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::one_f64 (line 543) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::frequency_values (line 145) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::one_i64 (line 385) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::one_i16 (line 449) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::one_f32 (line 559) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::one_char (line 513) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::one_i8 (line 481) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::one_u16 (line 465) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::one_u32 (line 433) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::one_u64 (line 401) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::one_i32 (line 417) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::one_of_values (line 621) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::pure_lazy (line 48) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::one_u8 (line 497) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::some (line 75) ... ok
[INFO] [stdout] test src/gen.rs - gen::Gens::one_of (line 584) ... ok
[INFO] [stdout] test src/gen.rs - gen::SGen::of_sized (line 1034) ... ok
[INFO] [stdout] test src/lib.rs - gen (line 29) ... ok
[INFO] [stdout] test src/gen.rs - gen::SGen::run (line 1075) ... ok
[INFO] [stdout] test src/gen.rs - gen::SGen::of_unsized (line 1054) ... ok
[INFO] [stdout] test src/state.rs - state::State::value (line 44) ... ok
[INFO] [stdout]
[INFO] [stdout] test result: ok. 33 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 3.34s
[INFO] [stdout]
[INFO] running `Command { std: "docker" "inspect" "5185c6adc285f8e145fc5db335f92bf27f1ce23b971ea42e47423f99dadc68d7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5185c6adc285f8e145fc5db335f92bf27f1ce23b971ea42e47423f99dadc68d7", kill_on_drop: false }`
[INFO] [stdout] 5185c6adc285f8e145fc5db335f92bf27f1ce23b971ea42e47423f99dadc68d7