Nov 02 03:46:20.544 INFO testing stateright-0.1.0 against 1.30.0 for beta-1.31-1
Nov 02 03:46:20.545 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-4/1.30.0:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/beta-1.31-1/1.30.0:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +1.30.0 build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 02 03:46:20.997 INFO blam! 094fb13c4d2cf0d6558ce056f2be1c50d6c047230c13d52ff9495d43795d0d3e
Nov 02 03:46:21.000 INFO running `"docker" "start" "-a" "094fb13c4d2cf0d6558ce056f2be1c50d6c047230c13d52ff9495d43795d0d3e"`
Nov 02 03:46:22.619 INFO kablam! usermod: no changes
Nov 02 03:46:22.791 INFO kablam!    Compiling fxhash v0.2.1
Nov 02 03:46:23.655 INFO kablam!    Compiling stateright v0.1.0 (/source)
Nov 02 03:46:26.215 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 3.56s
Nov 02 03:46:26.221 INFO kablam! su: No module specific data is present
Nov 02 03:46:27.155 INFO running `"docker" "rm" "-f" "094fb13c4d2cf0d6558ce056f2be1c50d6c047230c13d52ff9495d43795d0d3e"`
Nov 02 03:46:27.423 INFO blam! 094fb13c4d2cf0d6558ce056f2be1c50d6c047230c13d52ff9495d43795d0d3e
Nov 02 03:46:27.428 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-4/1.30.0:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/beta-1.31-1/1.30.0:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +1.30.0 test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 02 03:46:27.864 INFO blam! bae4f3e984768f97e003d56a51a8d323e6ebef42f1400cf61d4870b407abf8d7
Nov 02 03:46:27.869 INFO running `"docker" "start" "-a" "bae4f3e984768f97e003d56a51a8d323e6ebef42f1400cf61d4870b407abf8d7"`
Nov 02 03:46:29.234 INFO kablam! usermod: no changes
Nov 02 03:46:29.432 INFO kablam!    Compiling stateright v0.1.0 (/source)
Nov 02 03:46:34.660 INFO kablam! warning: unused `#[macro_use]` import
Nov 02 03:46:34.660 INFO kablam!  --> examples/paxos.rs:3:1
Nov 02 03:46:34.660 INFO kablam!   |
Nov 02 03:46:34.661 INFO kablam! 3 | #[macro_use]
Nov 02 03:46:34.661 INFO kablam!   | ^^^^^^^^^^^^
Nov 02 03:46:34.661 INFO kablam!   |
Nov 02 03:46:34.661 INFO kablam!   = note: #[warn(unused_imports)] on by default
Nov 02 03:46:34.662 INFO kablam! 
Nov 02 03:46:38.679 INFO kablam! warning: unused `#[macro_use]` import
Nov 02 03:46:38.679 INFO kablam!  --> examples/wor.rs:3:1
Nov 02 03:46:38.679 INFO kablam!   |
Nov 02 03:46:38.679 INFO kablam! 3 | #[macro_use]
Nov 02 03:46:38.679 INFO kablam!   | ^^^^^^^^^^^^
Nov 02 03:46:38.704 INFO kablam!   |
Nov 02 03:46:38.705 INFO kablam!   = note: #[warn(unused_imports)] on by default
Nov 02 03:46:38.705 INFO kablam! 
Nov 02 03:46:39.591 INFO kablam! warning: unused `#[macro_use]` import
Nov 02 03:46:39.592 INFO kablam!  --> examples/2pc.rs:5:1
Nov 02 03:46:39.595 INFO kablam!   |
Nov 02 03:46:39.595 INFO kablam! 5 | #[macro_use]
Nov 02 03:46:39.595 INFO kablam!   | ^^^^^^^^^^^^
Nov 02 03:46:39.596 INFO kablam!   |
Nov 02 03:46:39.597 INFO kablam!   = note: #[warn(unused_imports)] on by default
Nov 02 03:46:39.597 INFO kablam! 
Nov 02 03:46:50.234 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 20.98s
Nov 02 03:46:50.253 INFO kablam! su: No module specific data is present
Nov 02 03:46:51.110 INFO running `"docker" "rm" "-f" "bae4f3e984768f97e003d56a51a8d323e6ebef42f1400cf61d4870b407abf8d7"`
Nov 02 03:46:51.356 INFO blam! bae4f3e984768f97e003d56a51a8d323e6ebef42f1400cf61d4870b407abf8d7
Nov 02 03:46:51.357 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-4/1.30.0:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/beta-1.31-1/1.30.0:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +1.30.0 test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 02 03:46:51.832 INFO blam! c8d16d01d6e13295a76ba206fb1b259075afb5e7d49290c7ab8d638893768b7c
Nov 02 03:46:51.834 INFO running `"docker" "start" "-a" "c8d16d01d6e13295a76ba206fb1b259075afb5e7d49290c7ab8d638893768b7c"`
Nov 02 03:46:53.942 INFO kablam! usermod: no changes
Nov 02 03:46:54.106 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.13s
Nov 02 03:46:54.111 INFO kablam!      Running /target/debug/deps/stateright-5555072847b7bea8
Nov 02 03:46:54.120 INFO blam! 
Nov 02 03:46:54.120 INFO blam! running 8 tests
Nov 02 03:46:54.223 INFO blam! test test::model_check_can_omit_path ... ok
Nov 02 03:46:54.259 INFO blam! test test::model_check_can_fail ... ok
Nov 02 03:46:54.259 INFO blam! test test::model_check_can_resume_after_failing ... ok
Nov 02 03:46:54.260 INFO blam! test actor::model::test::visits_expected_states ... ok
Nov 02 03:46:54.282 INFO blam! test test::model_check_can_indicate_path ... ok
Nov 02 03:46:54.323 INFO blam! test test::model_check_records_states ... ok
Nov 02 03:46:54.555 INFO blam! test actor::model::test::can_play_ping_pong ... ok
Nov 02 03:46:54.687 INFO blam! test test::model_check_can_pass ... ok
Nov 02 03:46:54.687 INFO kablam!    Doc-tests stateright
Nov 02 03:46:54.687 INFO blam! 
Nov 02 03:46:54.688 INFO blam! test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 02 03:46:54.688 INFO blam! 
Nov 02 03:46:57.055 INFO blam! 
Nov 02 03:46:57.055 INFO blam! running 2 tests
Nov 02 03:47:05.595 INFO blam! test src/lib.rs -  (line 7) ... ok
Nov 02 03:47:05.603 INFO blam! test src/actor/mod.rs - actor (line 6) ... ok
Nov 02 03:47:05.603 INFO blam! 
Nov 02 03:47:05.603 INFO blam! test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 02 03:47:05.603 INFO blam! 
Nov 02 03:47:05.631 INFO kablam! su: No module specific data is present
Nov 02 03:47:06.630 INFO running `"docker" "rm" "-f" "c8d16d01d6e13295a76ba206fb1b259075afb5e7d49290c7ab8d638893768b7c"`
Nov 02 03:47:06.923 INFO blam! c8d16d01d6e13295a76ba206fb1b259075afb5e7d49290c7ab8d638893768b7c
