Oct 16 02:34:57.208 INFO testing model-0.0.4 against try#40d4795669493f1965de7c44029c69552134fe1f for rustdoc-test-static-cling-1
Oct 16 02:34:57.208 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-5/try#40d4795669493f1965de7c44029c69552134fe1f:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-5/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 16 02:34:57.668 INFO blam! dec63280bbab4cd449d18eea231a5e9e46340a3dfbfcd25542e824e84fc03e9b
Oct 16 02:34:57.670 INFO running `"docker" "start" "-a" "dec63280bbab4cd449d18eea231a5e9e46340a3dfbfcd25542e824e84fc03e9b"`
Oct 16 02:34:58.930 INFO kablam! usermod: no changes
Oct 16 02:34:59.055 INFO kablam!    Compiling bit-vec v0.5.0
Oct 16 02:34:59.055 INFO kablam!    Compiling permutohedron v0.2.4
Oct 16 02:34:59.055 INFO kablam!    Compiling rand v0.4.3
Oct 16 02:34:59.079 INFO kablam!    Compiling rusty-fork v0.2.1
Oct 16 02:35:00.959 INFO kablam!    Compiling bit-set v0.5.0
Oct 16 02:35:03.763 INFO kablam!    Compiling proptest v0.7.2
Oct 16 02:35:21.087 INFO kablam!    Compiling model v0.0.4 (/source)
Oct 16 02:35:21.684 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 22.72s
Oct 16 02:35:21.696 INFO kablam! su: No module specific data is present
Oct 16 02:35:23.024 INFO running `"docker" "rm" "-f" "dec63280bbab4cd449d18eea231a5e9e46340a3dfbfcd25542e824e84fc03e9b"`
Oct 16 02:35:23.326 INFO blam! dec63280bbab4cd449d18eea231a5e9e46340a3dfbfcd25542e824e84fc03e9b
Oct 16 02:35:23.331 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-5/try#40d4795669493f1965de7c44029c69552134fe1f:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-5/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 16 02:35:23.871 INFO blam! ed77d4b9560c3f551d1f056bccf586625420df4fd5f71eebe2ac4fce0539bca6
Oct 16 02:35:23.873 INFO running `"docker" "start" "-a" "ed77d4b9560c3f551d1f056bccf586625420df4fd5f71eebe2ac4fce0539bca6"`
Oct 16 02:35:25.019 INFO kablam! usermod: no changes
Oct 16 02:35:25.110 INFO kablam!    Compiling model v0.0.4 (/source)
Oct 16 02:35:32.315 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 7.27s
Oct 16 02:35:32.320 INFO kablam! su: No module specific data is present
Oct 16 02:35:33.449 INFO running `"docker" "rm" "-f" "ed77d4b9560c3f551d1f056bccf586625420df4fd5f71eebe2ac4fce0539bca6"`
Oct 16 02:35:33.707 INFO blam! ed77d4b9560c3f551d1f056bccf586625420df4fd5f71eebe2ac4fce0539bca6
Oct 16 02:35:33.711 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-5/try#40d4795669493f1965de7c44029c69552134fe1f:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-5/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 16 02:35:34.325 INFO blam! a4e2cfbcd15d111147244c26c14e5ef48cc4430e598f4bf77f8171d2a560175d
Oct 16 02:35:34.333 INFO running `"docker" "start" "-a" "a4e2cfbcd15d111147244c26c14e5ef48cc4430e598f4bf77f8171d2a560175d"`
Oct 16 02:35:35.094 INFO kablam! usermod: no changes
Oct 16 02:35:35.145 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.03s
Oct 16 02:35:35.146 INFO kablam!      Running /target/debug/deps/model-eca718c53c388787
Oct 16 02:35:35.148 INFO blam! 
Oct 16 02:35:35.148 INFO blam! running 0 tests
Oct 16 02:35:35.148 INFO blam! 
Oct 16 02:35:35.148 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 16 02:35:35.148 INFO blam! 
Oct 16 02:35:35.148 INFO kablam!      Running /target/debug/deps/model-bbc05df1f949fca5
Oct 16 02:35:35.150 INFO blam! 
Oct 16 02:35:35.150 INFO blam! running 3 tests
Oct 16 02:35:35.204 INFO blam! test test_model ... ok
Oct 16 02:35:42.655 INFO blam! test test_linearizability_of_good_impl ... ok
Oct 16 02:36:19.080 INFO blam! test test_linearizability_of_bad_impl ... ok
Oct 16 02:36:19.080 INFO blam! 
Oct 16 02:36:19.080 INFO blam! test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 16 02:36:19.080 INFO blam! 
Oct 16 02:36:19.087 INFO kablam!    Doc-tests model
Oct 16 02:36:20.071 INFO blam! 
Oct 16 02:36:20.071 INFO blam! running 0 tests
Oct 16 02:36:20.071 INFO blam! 
Oct 16 02:36:20.071 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 16 02:36:20.071 INFO blam! 
Oct 16 02:36:20.076 INFO kablam! su: No module specific data is present
Oct 16 02:36:20.765 INFO running `"docker" "rm" "-f" "a4e2cfbcd15d111147244c26c14e5ef48cc4430e598f4bf77f8171d2a560175d"`
Oct 16 02:36:21.071 INFO blam! a4e2cfbcd15d111147244c26c14e5ef48cc4430e598f4bf77f8171d2a560175d