Oct 15 17:47:00.346 INFO testing stateright-0.1.0 against master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513 for rustdoc-test-static-cling-1
Oct 15 17:47:00.348 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-0/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-0/rustdoc-test-static-cling-1/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/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 +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Oct 15 17:47:01.120 INFO blam! 8df5823135a8587adeba5f90df08201c75bc448b8c500e9a75698bd5b0eb8c35
Oct 15 17:47:01.122 INFO running `"docker" "start" "-a" "8df5823135a8587adeba5f90df08201c75bc448b8c500e9a75698bd5b0eb8c35"`
Oct 15 17:47:02.443 INFO kablam! usermod: no changes
Oct 15 17:47:02.531 INFO kablam!    Compiling fxhash v0.2.1
Oct 15 17:47:03.255 INFO kablam!    Compiling stateright v0.1.0 (/source)
Oct 15 17:47:05.067 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 2.60s
Oct 15 17:47:05.075 INFO kablam! su: No module specific data is present
Oct 15 17:47:05.631 INFO running `"docker" "rm" "-f" "8df5823135a8587adeba5f90df08201c75bc448b8c500e9a75698bd5b0eb8c35"`
Oct 15 17:47:05.870 INFO blam! 8df5823135a8587adeba5f90df08201c75bc448b8c500e9a75698bd5b0eb8c35
Oct 15 17:47:05.871 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-0/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-0/rustdoc-test-static-cling-1/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/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 +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Oct 15 17:47:06.233 INFO blam! d3d322ca33180cd7148d755e2a8128fa8e150f2146f752e157b8c6dd296cf7a0
Oct 15 17:47:06.235 INFO running `"docker" "start" "-a" "d3d322ca33180cd7148d755e2a8128fa8e150f2146f752e157b8c6dd296cf7a0"`
Oct 15 17:47:08.099 INFO kablam! usermod: no changes
Oct 15 17:47:08.294 INFO kablam!    Compiling stateright v0.1.0 (/source)
Oct 15 17:47:13.199 INFO kablam! warning: unused `#[macro_use]` import
Oct 15 17:47:13.199 INFO kablam!  --> examples/paxos.rs:3:1
Oct 15 17:47:13.199 INFO kablam!   |
Oct 15 17:47:13.199 INFO kablam! 3 | #[macro_use]
Oct 15 17:47:13.199 INFO kablam!   | ^^^^^^^^^^^^
Oct 15 17:47:13.199 INFO kablam!   |
Oct 15 17:47:13.199 INFO kablam!   = note: #[warn(unused_imports)] on by default
Oct 15 17:47:13.199 INFO kablam! 
Oct 15 17:47:16.931 INFO kablam! warning: unused `#[macro_use]` import
Oct 15 17:47:16.932 INFO kablam!  --> examples/wor.rs:3:1
Oct 15 17:47:16.932 INFO kablam!   |
Oct 15 17:47:16.932 INFO kablam! 3 | #[macro_use]
Oct 15 17:47:16.932 INFO kablam!   | ^^^^^^^^^^^^
Oct 15 17:47:16.932 INFO kablam!   |
Oct 15 17:47:16.932 INFO kablam!   = note: #[warn(unused_imports)] on by default
Oct 15 17:47:16.932 INFO kablam! 
Oct 15 17:47:17.427 INFO kablam! warning: unused `#[macro_use]` import
Oct 15 17:47:17.428 INFO kablam!  --> examples/2pc.rs:5:1
Oct 15 17:47:17.428 INFO kablam!   |
Oct 15 17:47:17.429 INFO kablam! 5 | #[macro_use]
Oct 15 17:47:17.429 INFO kablam!   | ^^^^^^^^^^^^
Oct 15 17:47:17.430 INFO kablam!   |
Oct 15 17:47:17.435 INFO kablam!   = note: #[warn(unused_imports)] on by default
Oct 15 17:47:17.435 INFO kablam! 
Oct 15 17:47:31.571 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 23.45s
Oct 15 17:47:31.571 INFO kablam! su: No module specific data is present
Oct 15 17:47:32.416 INFO running `"docker" "rm" "-f" "d3d322ca33180cd7148d755e2a8128fa8e150f2146f752e157b8c6dd296cf7a0"`
Oct 15 17:47:32.740 INFO blam! d3d322ca33180cd7148d755e2a8128fa8e150f2146f752e157b8c6dd296cf7a0
Oct 15 17:47:32.749 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-0/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-0/rustdoc-test-static-cling-1/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/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 +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Oct 15 17:47:33.228 INFO blam! 30780e13ac533cc3659346ebb2b904047b9b6abac923dbe68bc1a1c21a3e7386
Oct 15 17:47:33.230 INFO running `"docker" "start" "-a" "30780e13ac533cc3659346ebb2b904047b9b6abac923dbe68bc1a1c21a3e7386"`
Oct 15 17:47:34.614 INFO kablam! usermod: no changes
Oct 15 17:47:34.759 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.11s
Oct 15 17:47:34.783 INFO kablam!      Running /target/debug/deps/stateright-8369733d33d21233
Oct 15 17:47:34.807 INFO blam! 
Oct 15 17:47:34.807 INFO blam! running 8 tests
Oct 15 17:47:34.971 INFO blam! test test::model_check_can_fail ... ok
Oct 15 17:47:34.987 INFO blam! test test::model_check_can_resume_after_failing ... ok
Oct 15 17:47:34.988 INFO blam! test test::model_check_can_omit_path ... ok
Oct 15 17:47:35.043 INFO blam! test test::model_check_can_indicate_path ... ok
Oct 15 17:47:35.067 INFO blam! test actor::model::test::visits_expected_states ... ok
Oct 15 17:47:35.103 INFO blam! test test::model_check_records_states ... ok
Oct 15 17:47:35.361 INFO blam! test actor::model::test::can_play_ping_pong ... ok
Oct 15 17:47:35.527 INFO blam! test test::model_check_can_pass ... ok
Oct 15 17:47:35.528 INFO kablam!    Doc-tests stateright
Oct 15 17:47:35.528 INFO blam! 
Oct 15 17:47:35.528 INFO blam! test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 15 17:47:35.528 INFO blam! 
Oct 15 17:47:37.524 INFO blam! 
Oct 15 17:47:37.524 INFO blam! running 2 tests
Oct 15 17:47:43.656 INFO blam! test src/lib.rs -  (line 7) ... ok
Oct 15 17:47:43.720 INFO blam! test src/actor/mod.rs - actor (line 6) ... ok
Oct 15 17:47:43.721 INFO blam! 
Oct 15 17:47:43.721 INFO blam! test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 15 17:47:43.721 INFO blam! 
Oct 15 17:47:43.755 INFO kablam! su: No module specific data is present
Oct 15 17:47:44.427 INFO running `"docker" "rm" "-f" "30780e13ac533cc3659346ebb2b904047b9b6abac923dbe68bc1a1c21a3e7386"`
Oct 15 17:47:44.795 INFO blam! 30780e13ac533cc3659346ebb2b904047b9b6abac923dbe68bc1a1c21a3e7386