[INFO] fetching crate conjecture 0.4.0... [INFO] testing conjecture-0.4.0 against beta-2020-06-03 for beta-1.45-1 [INFO] extracting crate conjecture 0.4.0 into /workspace/builds/worker-7/source [INFO] validating manifest of crates.io crate conjecture 0.4.0 on toolchain beta-2020-06-03 [INFO] running `"/workspace/cargo-home/bin/cargo" "+beta-2020-06-03" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started tweaking crates.io crate conjecture 0.4.0 [INFO] finished tweaking crates.io crate conjecture 0.4.0 [INFO] tweaked toml for crates.io crate conjecture 0.4.0 written to /workspace/builds/worker-7/source/Cargo.toml [INFO] running `"/workspace/cargo-home/bin/cargo" "+beta-2020-06-03" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"` [INFO] running `"/workspace/cargo-home/bin/cargo" "+beta-2020-06-03" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2020-06-03" "build" "--frozen"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] d1fad7c6828ec877abc79a5c48535c538f7cbf6afa86d62034dbec40f7031c02 [INFO] running `"docker" "start" "-a" "d1fad7c6828ec877abc79a5c48535c538f7cbf6afa86d62034dbec40f7031c02"` [INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted [INFO] [stderr] Compiling cc v1.0.54 [INFO] [stderr] Compiling pkg-config v0.3.17 [INFO] [stderr] Compiling openssl v0.10.29 [INFO] [stderr] Compiling foreign-types-shared v0.1.1 [INFO] [stderr] Compiling hex v0.3.2 [INFO] [stderr] Compiling rand v0.4.6 [INFO] [stderr] Compiling foreign-types v0.3.2 [INFO] [stderr] Compiling rand v0.3.23 [INFO] [stderr] Compiling openssl-sys v0.9.57 [INFO] [stderr] Compiling crypto-hash v0.3.4 [INFO] [stderr] Compiling conjecture v0.4.0 (/opt/rustwide/workdir) [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/database.rs:17:30 [INFO] [stderr] | [INFO] [stderr] 17 | pub type BoxedDatabase = Box; [INFO] [stderr] | ^^^^^^^^ help: use `dyn`: `dyn Database` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/engine.rs:157:21 [INFO] [stderr] | [INFO] [stderr] 157 | let mut minimized_examples = &mut self.minimized_examples; [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: variable does not need to be mutable [INFO] [stderr] --> src/engine.rs:158:21 [INFO] [stderr] | [INFO] [stderr] 158 | let mut database = &mut self.database; [INFO] [stderr] | ----^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: 3 warnings emitted [INFO] [stderr] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 14.63s [INFO] running `"docker" "inspect" "d1fad7c6828ec877abc79a5c48535c538f7cbf6afa86d62034dbec40f7031c02"` [INFO] running `"docker" "rm" "-f" "d1fad7c6828ec877abc79a5c48535c538f7cbf6afa86d62034dbec40f7031c02"` [INFO] [stdout] d1fad7c6828ec877abc79a5c48535c538f7cbf6afa86d62034dbec40f7031c02 [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2020-06-03" "test" "--frozen" "--no-run"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] fac54cf8ce7a1b6c2ea85b21ca3bc640c55c42eb936d0c9dfb748dc0aa4e0b90 [INFO] running `"docker" "start" "-a" "fac54cf8ce7a1b6c2ea85b21ca3bc640c55c42eb936d0c9dfb748dc0aa4e0b90"` [INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted [INFO] [stderr] Compiling tempdir v0.3.7 [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/database.rs:17:30 [INFO] [stderr] | [INFO] [stderr] 17 | pub type BoxedDatabase = Box; [INFO] [stderr] | ^^^^^^^^ help: use `dyn`: `dyn Database` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/engine.rs:157:21 [INFO] [stderr] | [INFO] [stderr] 157 | let mut minimized_examples = &mut self.minimized_examples; [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: variable does not need to be mutable [INFO] [stderr] --> src/engine.rs:158:21 [INFO] [stderr] | [INFO] [stderr] 158 | let mut database = &mut self.database; [INFO] [stderr] | ----^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: 3 warnings emitted [INFO] [stderr] [INFO] [stderr] Compiling conjecture v0.4.0 (/opt/rustwide/workdir) [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/database.rs:17:30 [INFO] [stderr] | [INFO] [stderr] 17 | pub type BoxedDatabase = Box; [INFO] [stderr] | ^^^^^^^^ help: use `dyn`: `dyn Database` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/engine.rs:157:21 [INFO] [stderr] | [INFO] [stderr] 157 | let mut minimized_examples = &mut self.minimized_examples; [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: variable does not need to be mutable [INFO] [stderr] --> src/engine.rs:158:21 [INFO] [stderr] | [INFO] [stderr] 158 | let mut database = &mut self.database; [INFO] [stderr] | ----^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: 3 warnings emitted [INFO] [stderr] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 2.63s [INFO] running `"docker" "inspect" "fac54cf8ce7a1b6c2ea85b21ca3bc640c55c42eb936d0c9dfb748dc0aa4e0b90"` [INFO] running `"docker" "rm" "-f" "fac54cf8ce7a1b6c2ea85b21ca3bc640c55c42eb936d0c9dfb748dc0aa4e0b90"` [INFO] [stdout] fac54cf8ce7a1b6c2ea85b21ca3bc640c55c42eb936d0c9dfb748dc0aa4e0b90 [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2020-06-03" "test" "--frozen"` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 1ab5fae5f4b9f87b40d6451c2fb267e389fd194421a756bb0f448e8d368ff12c [INFO] running `"docker" "start" "-a" "1ab5fae5f4b9f87b40d6451c2fb267e389fd194421a756bb0f448e8d368ff12c"` [INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/database.rs:17:30 [INFO] [stderr] | [INFO] [stderr] 17 | pub type BoxedDatabase = Box; [INFO] [stderr] | ^^^^^^^^ help: use `dyn`: `dyn Database` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/engine.rs:157:21 [INFO] [stderr] | [INFO] [stderr] 157 | let mut minimized_examples = &mut self.minimized_examples; [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: variable does not need to be mutable [INFO] [stderr] --> src/engine.rs:158:21 [INFO] [stderr] | [INFO] [stderr] 158 | let mut database = &mut self.database; [INFO] [stderr] | ----^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: 3 warnings emitted [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/database.rs:17:30 [INFO] [stderr] | [INFO] [stderr] 17 | pub type BoxedDatabase = Box; [INFO] [stderr] | ^^^^^^^^ help: use `dyn`: `dyn Database` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(bare_trait_objects)]` on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/engine.rs:157:21 [INFO] [stderr] | [INFO] [stderr] 157 | let mut minimized_examples = &mut self.minimized_examples; [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: variable does not need to be mutable [INFO] [stderr] --> src/engine.rs:158:21 [INFO] [stderr] | [INFO] [stderr] 158 | let mut database = &mut self.database; [INFO] [stderr] | ----^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: 3 warnings emitted [INFO] [stderr] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.06s [INFO] [stderr] Running /opt/rustwide/target/debug/deps/conjecture-a5e6d4435bf20ed5 [INFO] [stdout] [INFO] [stdout] running 7 tests [INFO] [stdout] test intminimize::tests::minimize_down_to ... ok [INFO] [stdout] test intminimize::tests::sort_bits ... ok [INFO] [stdout] test intminimize::tests::unset_relevant_bits ... ok [INFO] [stdout] test engine::tests::minimizes_all_examples ... ok [INFO] [stdout] test database::tests::can_delete_non_existing_key ... ok [INFO] [stdout] test database::tests::appears_in_listing_after_saving ... ok [INFO] [stderr] Doc-tests conjecture [INFO] [stdout] test database::tests::can_delete_key ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out [INFO] [stdout] [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 [INFO] [stdout] [INFO] running `"docker" "inspect" "1ab5fae5f4b9f87b40d6451c2fb267e389fd194421a756bb0f448e8d368ff12c"` [INFO] running `"docker" "rm" "-f" "1ab5fae5f4b9f87b40d6451c2fb267e389fd194421a756bb0f448e8d368ff12c"` [INFO] [stdout] 1ab5fae5f4b9f87b40d6451c2fb267e389fd194421a756bb0f448e8d368ff12c