Oct 15 17:46:59.613 INFO testing stateright-0.1.0 against try#40d4795669493f1965de7c44029c69552134fe1f for rustdoc-test-static-cling-1
Oct 15 17:46:59.613 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-4/try#40d4795669493f1965de7c44029c69552134fe1f:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-4/rustdoc-test-static-cling-1/try#40d4795669493f1965de7c44029c69552134fe1f:/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 +40d4795669493f1965de7c44029c69552134fe1f-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:00.007 INFO blam! 7f46bf709d29ebf2cff202364f06337d4fc70642235dd87de1b23c071716d3d0
Oct 15 17:47:00.008 INFO running `"docker" "start" "-a" "7f46bf709d29ebf2cff202364f06337d4fc70642235dd87de1b23c071716d3d0"`
Oct 15 17:47:01.178 INFO kablam! usermod: no changes
Oct 15 17:47:01.335 INFO kablam!    Compiling fxhash v0.2.1
Oct 15 17:47:02.003 INFO kablam!    Compiling stateright v0.1.0 (/source)
Oct 15 17:47:04.055 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 2.85s
Oct 15 17:47:04.063 INFO kablam! su: No module specific data is present
Oct 15 17:47:05.115 INFO running `"docker" "rm" "-f" "7f46bf709d29ebf2cff202364f06337d4fc70642235dd87de1b23c071716d3d0"`
Oct 15 17:47:05.336 INFO blam! 7f46bf709d29ebf2cff202364f06337d4fc70642235dd87de1b23c071716d3d0
Oct 15 17:47:05.343 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-4/try#40d4795669493f1965de7c44029c69552134fe1f:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-4/rustdoc-test-static-cling-1/try#40d4795669493f1965de7c44029c69552134fe1f:/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 +40d4795669493f1965de7c44029c69552134fe1f-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:05.663 INFO blam! 0f2af857c8f0d2c7b622631eab46949e1e4b5b26dda21fb3c1dae7d4d53534b3
Oct 15 17:47:05.667 INFO running `"docker" "start" "-a" "0f2af857c8f0d2c7b622631eab46949e1e4b5b26dda21fb3c1dae7d4d53534b3"`
Oct 15 17:47:07.107 INFO kablam! usermod: no changes
Oct 15 17:47:07.247 INFO kablam!    Compiling stateright v0.1.0 (/source)
Oct 15 17:47:10.119 INFO kablam! warning: unused `#[macro_use]` import
Oct 15 17:47:10.119 INFO kablam!  --> examples/paxos.rs:3:1
Oct 15 17:47:10.119 INFO kablam!   |
Oct 15 17:47:10.119 INFO kablam! 3 | #[macro_use]
Oct 15 17:47:10.119 INFO kablam!   | ^^^^^^^^^^^^
Oct 15 17:47:10.119 INFO kablam!   |
Oct 15 17:47:10.119 INFO kablam!   = note: #[warn(unused_imports)] on by default
Oct 15 17:47:10.119 INFO kablam! 
Oct 15 17:47:14.859 INFO kablam! warning: unused `#[macro_use]` import
Oct 15 17:47:14.859 INFO kablam!  --> examples/wor.rs:3:1
Oct 15 17:47:14.859 INFO kablam!   |
Oct 15 17:47:14.859 INFO kablam! 3 | #[macro_use]
Oct 15 17:47:14.859 INFO kablam!   | ^^^^^^^^^^^^
Oct 15 17:47:14.859 INFO kablam!   |
Oct 15 17:47:14.859 INFO kablam!   = note: #[warn(unused_imports)] on by default
Oct 15 17:47:14.859 INFO kablam! 
Oct 15 17:47:15.379 INFO kablam! warning: unused `#[macro_use]` import
Oct 15 17:47:15.379 INFO kablam!  --> examples/2pc.rs:5:1
Oct 15 17:47:15.379 INFO kablam!   |
Oct 15 17:47:15.379 INFO kablam! 5 | #[macro_use]
Oct 15 17:47:15.379 INFO kablam!   | ^^^^^^^^^^^^
Oct 15 17:47:15.379 INFO kablam!   |
Oct 15 17:47:15.379 INFO kablam!   = note: #[warn(unused_imports)] on by default
Oct 15 17:47:15.379 INFO kablam! 
Oct 15 17:47:28.599 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 21.46s
Oct 15 17:47:28.610 INFO kablam! su: No module specific data is present
Oct 15 17:47:30.295 INFO running `"docker" "rm" "-f" "0f2af857c8f0d2c7b622631eab46949e1e4b5b26dda21fb3c1dae7d4d53534b3"`
Oct 15 17:47:30.590 INFO blam! 0f2af857c8f0d2c7b622631eab46949e1e4b5b26dda21fb3c1dae7d4d53534b3
Oct 15 17:47:30.601 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-4/try#40d4795669493f1965de7c44029c69552134fe1f:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-4/rustdoc-test-static-cling-1/try#40d4795669493f1965de7c44029c69552134fe1f:/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 +40d4795669493f1965de7c44029c69552134fe1f-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:31.144 INFO blam! 5a9a2f8aee0b5c1a2752081b3307f7590e0ca14fbd11a1054922b964b36a9dce
Oct 15 17:47:31.146 INFO running `"docker" "start" "-a" "5a9a2f8aee0b5c1a2752081b3307f7590e0ca14fbd11a1054922b964b36a9dce"`
Oct 15 17:47:32.491 INFO kablam! usermod: no changes
Oct 15 17:47:32.655 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.14s
Oct 15 17:47:32.662 INFO kablam!      Running /target/debug/deps/stateright-bae03cb2b5ec098d
Oct 15 17:47:32.663 INFO blam! 
Oct 15 17:47:32.663 INFO blam! running 8 tests
Oct 15 17:47:32.839 INFO blam! test test::model_check_can_fail ... ok
Oct 15 17:47:32.839 INFO blam! test test::model_check_can_omit_path ... ok
Oct 15 17:47:32.867 INFO blam! test test::model_check_can_resume_after_failing ... ok
Oct 15 17:47:32.883 INFO blam! test test::model_check_can_indicate_path ... ok
Oct 15 17:47:32.960 INFO blam! test test::model_check_records_states ... ok
Oct 15 17:47:33.011 INFO blam! test actor::model::test::visits_expected_states ... ok
Oct 15 17:47:33.263 INFO blam! test actor::model::test::can_play_ping_pong ... ok
Oct 15 17:47:33.347 INFO blam! test test::model_check_can_pass ... ok
Oct 15 17:47:33.347 INFO blam! 
Oct 15 17:47:33.347 INFO blam! test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 15 17:47:33.347 INFO blam! 
Oct 15 17:47:33.348 INFO kablam!    Doc-tests stateright
Oct 15 17:47:35.198 INFO blam! 
Oct 15 17:47:35.198 INFO blam! running 2 tests
Oct 15 17:47:41.425 INFO blam! test src/lib.rs -  (line 7) ... ok
Oct 15 17:47:41.627 INFO blam! test src/actor/mod.rs - actor (line 6) ... ok
Oct 15 17:47:41.627 INFO blam! 
Oct 15 17:47:41.627 INFO blam! test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 15 17:47:41.627 INFO blam! 
Oct 15 17:47:41.651 INFO kablam! su: No module specific data is present
Oct 15 17:47:42.337 INFO running `"docker" "rm" "-f" "5a9a2f8aee0b5c1a2752081b3307f7590e0ca14fbd11a1054922b964b36a9dce"`
Oct 15 17:47:42.607 INFO blam! 5a9a2f8aee0b5c1a2752081b3307f7590e0ca14fbd11a1054922b964b36a9dce