[INFO] cloning repository daemontus/bn-scc-experiments [INFO] running `"git" "clone" "--bare" "git://github.com/daemontus/bn-scc-experiments.git" "work/cache/sources/gh/daemontus/bn-scc-experiments"` [INFO] [stderr] Cloning into bare repository 'work/cache/sources/gh/daemontus/bn-scc-experiments'... [INFO] running `"git" "clone" "work/cache/sources/gh/daemontus/bn-scc-experiments" "work/ex/beta-1.37-6/sources/1.36.0/gh/daemontus/bn-scc-experiments"` [INFO] [stderr] Cloning into 'work/ex/beta-1.37-6/sources/1.36.0/gh/daemontus/bn-scc-experiments'... [INFO] [stderr] done. [INFO] running `"git" "clone" "work/cache/sources/gh/daemontus/bn-scc-experiments" "work/ex/beta-1.37-6/sources/beta-2019-07-23/gh/daemontus/bn-scc-experiments"` [INFO] [stderr] Cloning into 'work/ex/beta-1.37-6/sources/beta-2019-07-23/gh/daemontus/bn-scc-experiments'... [INFO] [stderr] done. [INFO] running `"git" "rev-parse" "HEAD"` [INFO] [stdout] 84446ab02137cf65a6fb3d1728c3b194cce8d08d [INFO] sha for GitHub repo daemontus/bn-scc-experiments: 84446ab02137cf65a6fb3d1728c3b194cce8d08d [INFO] validating manifest of daemontus/bn-scc-experiments on toolchain 1.36.0 [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+1.36.0" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] validating manifest of daemontus/bn-scc-experiments on toolchain beta-2019-07-23 [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+beta-2019-07-23" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started frobbing daemontus/bn-scc-experiments [INFO] finished frobbing daemontus/bn-scc-experiments [INFO] frobbed toml for daemontus/bn-scc-experiments written to work/ex/beta-1.37-6/sources/1.36.0/gh/daemontus/bn-scc-experiments/Cargo.toml [INFO] started frobbing daemontus/bn-scc-experiments [INFO] finished frobbing daemontus/bn-scc-experiments [INFO] frobbed toml for daemontus/bn-scc-experiments written to work/ex/beta-1.37-6/sources/beta-2019-07-23/gh/daemontus/bn-scc-experiments/Cargo.toml [INFO] crate daemontus/bn-scc-experiments already has a lockfile, it will not be regenerated [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+1.36.0" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+beta-2019-07-23" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] testing daemontus/bn-scc-experiments against 1.36.0 for beta-1.37-6 [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.37-6/worker-2/1.36.0:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.37-6/sources/1.36.0/gh/daemontus/bn-scc-experiments:/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.36.0" "build" "--frozen"` [INFO] [stdout] fa4b642105f8c2d9af7664289ffe8e672c61ca580eaa0c32c8202c64be0abe8f [INFO] running `"docker" "start" "-a" "fa4b642105f8c2d9af7664289ffe8e672c61ca580eaa0c32c8202c64be0abe8f"` [INFO] [stderr] Compiling crossbeam v0.7.1 [INFO] [stderr] Compiling biodivine v0.1.0 (/opt/crater/workdir) [INFO] [stderr] warning: unused import: `std::collections::HashMap` [INFO] [stderr] --> src/u32/parallel.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | use std::collections::HashMap; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(unused_imports)] on by default [INFO] [stderr] [INFO] [stderr] warning: method is never used: `is_root` [INFO] [stderr] --> src/u32/parallel.rs:150:5 [INFO] [stderr] | [INFO] [stderr] 150 | fn is_root(&self, key: &StateId) -> bool { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(dead_code)] on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `biodivine::u32::parallel::parallel_scc` [INFO] [stderr] --> src/main.rs:2:5 [INFO] [stderr] | [INFO] [stderr] 2 | use biodivine::u32::parallel::parallel_scc; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(unused_imports)] on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `hspc_model` [INFO] [stderr] --> src/main.rs:3:30 [INFO] [stderr] | [INFO] [stderr] 3 | use biodivine::u32::models::{hspc_model, t2dm_model}; [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `scc` [INFO] [stderr] --> src/main.rs:4:43 [INFO] [stderr] | [INFO] [stderr] 4 | use biodivine::u32::sequential::{scc_alt, scc}; [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: unused variable: `args` [INFO] [stderr] --> src/main.rs:20:9 [INFO] [stderr] | [INFO] [stderr] 20 | let args: Vec = std::env::args().collect(); [INFO] [stderr] | ^^^^ help: consider prefixing with an underscore: `_args` [INFO] [stderr] | [INFO] [stderr] = note: #[warn(unused_variables)] on by default [INFO] [stderr] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 4.25s [INFO] running `"docker" "inspect" "fa4b642105f8c2d9af7664289ffe8e672c61ca580eaa0c32c8202c64be0abe8f"` [INFO] running `"docker" "rm" "-f" "fa4b642105f8c2d9af7664289ffe8e672c61ca580eaa0c32c8202c64be0abe8f"` [INFO] [stdout] fa4b642105f8c2d9af7664289ffe8e672c61ca580eaa0c32c8202c64be0abe8f [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.37-6/worker-2/1.36.0:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.37-6/sources/1.36.0/gh/daemontus/bn-scc-experiments:/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.36.0" "test" "--frozen" "--no-run"` [INFO] [stdout] 6e755cb6ff0c9b4e067924b1a077b4898b452e0f6f9a408a1b36880ffe12ae43 [INFO] running `"docker" "start" "-a" "6e755cb6ff0c9b4e067924b1a077b4898b452e0f6f9a408a1b36880ffe12ae43"` [INFO] [stderr] Compiling biodivine v0.1.0 (/opt/crater/workdir) [INFO] [stderr] warning: unused import: `biodivine::u32::parallel::parallel_scc` [INFO] [stderr] --> src/main.rs:2:5 [INFO] [stderr] | [INFO] [stderr] 2 | use biodivine::u32::parallel::parallel_scc; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(unused_imports)] on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `hspc_model` [INFO] [stderr] --> src/main.rs:3:30 [INFO] [stderr] | [INFO] [stderr] 3 | use biodivine::u32::models::{hspc_model, t2dm_model}; [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `scc` [INFO] [stderr] --> src/main.rs:4:43 [INFO] [stderr] | [INFO] [stderr] 4 | use biodivine::u32::sequential::{scc_alt, scc}; [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::collections::HashMap` [INFO] [stderr] --> src/u32/parallel.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | use std::collections::HashMap; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(unused_imports)] on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `args` [INFO] [stderr] --> src/main.rs:20:9 [INFO] [stderr] | [INFO] [stderr] 20 | let args: Vec = std::env::args().collect(); [INFO] [stderr] | ^^^^ help: consider prefixing with an underscore: `_args` [INFO] [stderr] | [INFO] [stderr] = note: #[warn(unused_variables)] on by default [INFO] [stderr] [INFO] [stderr] warning: method is never used: `is_root` [INFO] [stderr] --> src/u32/parallel.rs:150:5 [INFO] [stderr] | [INFO] [stderr] 150 | fn is_root(&self, key: &StateId) -> bool { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(dead_code)] on by default [INFO] [stderr] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1.83s [INFO] running `"docker" "inspect" "6e755cb6ff0c9b4e067924b1a077b4898b452e0f6f9a408a1b36880ffe12ae43"` [INFO] running `"docker" "rm" "-f" "6e755cb6ff0c9b4e067924b1a077b4898b452e0f6f9a408a1b36880ffe12ae43"` [INFO] [stdout] 6e755cb6ff0c9b4e067924b1a077b4898b452e0f6f9a408a1b36880ffe12ae43 [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.37-6/worker-2/1.36.0:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.37-6/sources/1.36.0/gh/daemontus/bn-scc-experiments:/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.36.0" "test" "--frozen"` [INFO] [stdout] f762c9482ca04a8d5cca484904e33915e4869f36d06faee1e058ebf2d1e80fd1 [INFO] running `"docker" "start" "-a" "f762c9482ca04a8d5cca484904e33915e4869f36d06faee1e058ebf2d1e80fd1"` [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.04s [INFO] [stderr] Running /opt/crater/target/debug/deps/biodivine-ac3a29e14e1fc6aa [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] [stderr] Running /opt/crater/target/debug/deps/biodivine-8bd7ef720e126fec [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] [stderr] Doc-tests biodivine [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" "f762c9482ca04a8d5cca484904e33915e4869f36d06faee1e058ebf2d1e80fd1"` [INFO] running `"docker" "rm" "-f" "f762c9482ca04a8d5cca484904e33915e4869f36d06faee1e058ebf2d1e80fd1"` [INFO] [stdout] f762c9482ca04a8d5cca484904e33915e4869f36d06faee1e058ebf2d1e80fd1