[INFO] updating cached repository sorear/smetamath-rs [INFO] running `"git" "fetch" "--all"` [INFO] [stdout] Fetching origin [INFO] [stderr] From git://github.com/sorear/smetamath-rs [INFO] [stderr] * branch HEAD -> FETCH_HEAD [INFO] running `"git" "clone" "work/cache/sources/gh/sorear/smetamath-rs" "work/ex/beta-1.38-1/sources/1.37.0/gh/sorear/smetamath-rs"` [INFO] [stderr] Cloning into 'work/ex/beta-1.38-1/sources/1.37.0/gh/sorear/smetamath-rs'... [INFO] [stderr] done. [INFO] running `"git" "clone" "work/cache/sources/gh/sorear/smetamath-rs" "work/ex/beta-1.38-1/sources/beta-2019-08-13/gh/sorear/smetamath-rs"` [INFO] [stderr] Cloning into 'work/ex/beta-1.38-1/sources/beta-2019-08-13/gh/sorear/smetamath-rs'... [INFO] [stderr] done. [INFO] running `"git" "rev-parse" "HEAD"` [INFO] [stdout] 7bdd3a6fb4296e690504439951314046981bbf8a [INFO] sha for GitHub repo sorear/smetamath-rs: 7bdd3a6fb4296e690504439951314046981bbf8a [INFO] validating manifest of sorear/smetamath-rs on toolchain 1.37.0 [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+1.37.0" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] validating manifest of sorear/smetamath-rs on toolchain beta-2019-08-13 [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+beta-2019-08-13" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started frobbing sorear/smetamath-rs [INFO] finished frobbing sorear/smetamath-rs [INFO] frobbed toml for sorear/smetamath-rs written to work/ex/beta-1.38-1/sources/1.37.0/gh/sorear/smetamath-rs/Cargo.toml [INFO] started frobbing sorear/smetamath-rs [INFO] finished frobbing sorear/smetamath-rs [INFO] frobbed toml for sorear/smetamath-rs written to work/ex/beta-1.38-1/sources/beta-2019-08-13/gh/sorear/smetamath-rs/Cargo.toml [INFO] crate sorear/smetamath-rs already has a lockfile, it will not be regenerated [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+1.37.0" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] [stderr] error: the lock file /mnt/big/crater/work/ex/beta-1.38-1/sources/1.37.0/gh/sorear/smetamath-rs/Cargo.lock needs to be updated but --locked was passed to prevent this [INFO] the lockfile is outdated, regenerating it [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+1.37.0" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"` [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+beta-2019-08-13" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"` [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+1.37.0" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+beta-2019-08-13" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] testing sorear/smetamath-rs against 1.37.0 for beta-1.38-1 [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.38-1/worker-0/1.37.0:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.38-1/sources/1.37.0/gh/sorear/smetamath-rs:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+1.37.0" "build" "--frozen"` [INFO] [stdout] e880e0524272796b8100c1b48b21eaf8191fcc62c06bf72c593e0ce15cb020c2 [INFO] running `"docker" "start" "-a" "e880e0524272796b8100c1b48b21eaf8191fcc62c06bf72c593e0ce15cb020c2"` [INFO] [stderr] Compiling winapi-build v0.1.1 [INFO] [stderr] Compiling libc v0.2.62 [INFO] [stderr] Compiling winapi v0.2.8 [INFO] [stderr] Compiling bitflags v1.1.0 [INFO] [stderr] Compiling unicode-width v0.1.5 [INFO] [stderr] Compiling regex-syntax v0.3.9 [INFO] [stderr] Compiling strsim v0.8.0 [INFO] [stderr] Compiling vec_map v0.8.1 [INFO] [stderr] Compiling cfg-if v0.1.9 [INFO] [stderr] Compiling ansi_term v0.11.0 [INFO] [stderr] Compiling utf8-ranges v0.1.3 [INFO] [stderr] Compiling fnv v1.0.6 [INFO] [stderr] Compiling textwrap v0.11.0 [INFO] [stderr] Compiling kernel32-sys v0.2.2 [INFO] [stderr] Compiling memchr v0.1.11 [INFO] [stderr] Compiling thread-id v2.0.0 [INFO] [stderr] Compiling atty v0.2.13 [INFO] [stderr] Compiling filetime v0.1.15 [INFO] [stderr] Compiling clap v2.33.0 [INFO] [stderr] Compiling thread_local v0.2.7 [INFO] [stderr] Compiling aho-corasick v0.5.3 [INFO] [stderr] Compiling regex v0.1.80 [INFO] [stderr] Compiling smetamath v3.0.1-1 (/opt/crater/workdir) [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/database.rs:152:23 [INFO] [stderr] | [INFO] [stderr] 152 | struct Job(usize, Box); [INFO] [stderr] | ^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut() + Send` [INFO] [stderr] | [INFO] [stderr] = note: #[warn(bare_trait_objects)] on by default [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/database.rs:190:60 [INFO] [stderr] | [INFO] [stderr] 190 | fn queue_work(exec: &Executor, estimate: usize, mut f: Box) { [INFO] [stderr] | ^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut() + Send` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/database.rs:280:27 [INFO] [stderr] | [INFO] [stderr] 280 | pub struct Promise(Box T + Send>); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut() -> T + Send` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/export.rs:58:32 [INFO] [stderr] | [INFO] [stderr] 58 | fn cause(&self) -> Option<&error::Error> { [INFO] [stderr] | ^^^^^^^^^^^^ help: use `dyn`: `dyn error::Error` [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::hash::SipHasher': use `std::collections::hash_map::DefaultHasher` instead [INFO] [stderr] --> src/proof.rs:20:5 [INFO] [stderr] | [INFO] [stderr] 20 | use std::hash::SipHasher; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(deprecated)] on by default [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::hash::SipHasher': use `std::collections::hash_map::DefaultHasher` instead [INFO] [stderr] --> src/proof.rs:55:26 [INFO] [stderr] | [INFO] [stderr] 55 | let mut hasher = SipHasher::new(); [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::hash::SipHasher::new': use `std::collections::hash_map::DefaultHasher` instead [INFO] [stderr] --> src/proof.rs:55:26 [INFO] [stderr] | [INFO] [stderr] 55 | let mut hasher = SipHasher::new(); [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/database.rs:457:25 [INFO] [stderr] | [INFO] [stderr] 457 | let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap()); [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/database.rs:483:25 [INFO] [stderr] | [INFO] [stderr] 483 | let mut ns = Arc::make_mut(self.prev_scopes.as_mut().unwrap()); [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/database.rs:510:25 [INFO] [stderr] | [INFO] [stderr] 510 | let mut ver = Arc::make_mut(self.prev_verify.as_mut().unwrap()); [INFO] [stderr] | ----^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] Finished dev [optimized + debuginfo] target(s) in 1m 08s [INFO] running `"docker" "inspect" "e880e0524272796b8100c1b48b21eaf8191fcc62c06bf72c593e0ce15cb020c2"` [INFO] running `"docker" "rm" "-f" "e880e0524272796b8100c1b48b21eaf8191fcc62c06bf72c593e0ce15cb020c2"` [INFO] [stdout] e880e0524272796b8100c1b48b21eaf8191fcc62c06bf72c593e0ce15cb020c2 [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.38-1/worker-0/1.37.0:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.38-1/sources/1.37.0/gh/sorear/smetamath-rs:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+1.37.0" "test" "--frozen" "--no-run"` [INFO] [stdout] 038c7297fe970b290ffab9c0a6d785216ce5ea4f32a67dc095bf6258dacfce4e [INFO] running `"docker" "start" "-a" "038c7297fe970b290ffab9c0a6d785216ce5ea4f32a67dc095bf6258dacfce4e"` [INFO] [stderr] Compiling smetamath v3.0.1-1 (/opt/crater/workdir) [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/database.rs:152:23 [INFO] [stderr] | [INFO] [stderr] 152 | struct Job(usize, Box); [INFO] [stderr] | ^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut() + Send` [INFO] [stderr] | [INFO] [stderr] = note: #[warn(bare_trait_objects)] on by default [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/database.rs:190:60 [INFO] [stderr] | [INFO] [stderr] 190 | fn queue_work(exec: &Executor, estimate: usize, mut f: Box) { [INFO] [stderr] | ^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut() + Send` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/database.rs:280:27 [INFO] [stderr] | [INFO] [stderr] 280 | pub struct Promise(Box T + Send>); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ help: use `dyn`: `dyn FnMut() -> T + Send` [INFO] [stderr] [INFO] [stderr] warning: trait objects without an explicit `dyn` are deprecated [INFO] [stderr] --> src/export.rs:58:32 [INFO] [stderr] | [INFO] [stderr] 58 | fn cause(&self) -> Option<&error::Error> { [INFO] [stderr] | ^^^^^^^^^^^^ help: use `dyn`: `dyn error::Error` [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::hash::SipHasher': use `std::collections::hash_map::DefaultHasher` instead [INFO] [stderr] --> src/proof.rs:20:5 [INFO] [stderr] | [INFO] [stderr] 20 | use std::hash::SipHasher; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(deprecated)] on by default [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::hash::SipHasher': use `std::collections::hash_map::DefaultHasher` instead [INFO] [stderr] --> src/proof.rs:55:26 [INFO] [stderr] | [INFO] [stderr] 55 | let mut hasher = SipHasher::new(); [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: use of deprecated item 'std::hash::SipHasher::new': use `std::collections::hash_map::DefaultHasher` instead [INFO] [stderr] --> src/proof.rs:55:26 [INFO] [stderr] | [INFO] [stderr] 55 | let mut hasher = SipHasher::new(); [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/database.rs:457:25 [INFO] [stderr] | [INFO] [stderr] 457 | let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap()); [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/database.rs:483:25 [INFO] [stderr] | [INFO] [stderr] 483 | let mut ns = Arc::make_mut(self.prev_scopes.as_mut().unwrap()); [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/database.rs:510:25 [INFO] [stderr] | [INFO] [stderr] 510 | let mut ver = Arc::make_mut(self.prev_verify.as_mut().unwrap()); [INFO] [stderr] | ----^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] Finished dev [optimized + debuginfo] target(s) in 6.75s [INFO] running `"docker" "inspect" "038c7297fe970b290ffab9c0a6d785216ce5ea4f32a67dc095bf6258dacfce4e"` [INFO] running `"docker" "rm" "-f" "038c7297fe970b290ffab9c0a6d785216ce5ea4f32a67dc095bf6258dacfce4e"` [INFO] [stdout] 038c7297fe970b290ffab9c0a6d785216ce5ea4f32a67dc095bf6258dacfce4e [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.38-1/worker-0/1.37.0:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.38-1/sources/1.37.0/gh/sorear/smetamath-rs:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+1.37.0" "test" "--frozen"` [INFO] [stdout] b98c719c7d0bbdee293e3b3b502d32e6506700306d9db034e53a311953581827 [INFO] running `"docker" "start" "-a" "b98c719c7d0bbdee293e3b3b502d32e6506700306d9db034e53a311953581827"` [INFO] [stderr] Finished dev [optimized + debuginfo] target(s) in 0.03s [INFO] [stderr] Running /opt/crater/target/debug/deps/smetamath-60ddb6d5353fe6a0 [INFO] [stdout] [INFO] [stdout] running 12 tests [INFO] [stdout] test parser_tests::test_segref ... ok [INFO] [stdout] test parser_tests::test_invalid_del ... ok [INFO] [stdout] test parser_tests::test_invalid_c0 ... ok [INFO] [stdout] test parser_tests::test_segment_order ... ok [INFO] [stdout] test util_tests::test_find_chapter ... ok [INFO] [stdout] test util_tests::test_ptr_eq ... ok [INFO] [stdout] test util_tests::test_fast_extend ... ok [INFO] [stdout] test util_tests::test_fast_clear ... ok [INFO] [stdout] test parser_tests::test_valid_whitespace ... ok [INFO] [stdout] test parser_tests::test_stref_v ... ok [INFO] [stdout] test util_tests::test_copy_portion ... ok [INFO] [stdout] test util_tests::test_copy_portion_oob ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out [INFO] [stdout] [INFO] running `"docker" "inspect" "b98c719c7d0bbdee293e3b3b502d32e6506700306d9db034e53a311953581827"` [INFO] running `"docker" "rm" "-f" "b98c719c7d0bbdee293e3b3b502d32e6506700306d9db034e53a311953581827"` [INFO] [stdout] b98c719c7d0bbdee293e3b3b502d32e6506700306d9db034e53a311953581827