Nov 18 06:07:45.200 INFO testing model-0.0.4 against master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c for pr-55982
Nov 18 06:07:45.200 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-2/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/pr-55982/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/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 +6b9b97bd9b704f85f0184f7a213cc4d62bd9654c-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"`
Nov 18 06:07:45.564 INFO [stdout] 4432295c2ff7aa980b81d66c224aed5273e2966413028a7d5187d980f5b30dd8
Nov 18 06:07:45.569 INFO running `"docker" "start" "-a" "4432295c2ff7aa980b81d66c224aed5273e2966413028a7d5187d980f5b30dd8"`
Nov 18 06:07:46.680 INFO [stderr] usermod: no changes
Nov 18 06:07:46.795 INFO [stderr]    Compiling rand v0.4.3
Nov 18 06:07:46.795 INFO [stderr]    Compiling bit-set v0.5.0
Nov 18 06:07:46.795 INFO [stderr]    Compiling rusty-fork v0.2.1
Nov 18 06:07:50.639 INFO [stderr]    Compiling proptest v0.7.2
Nov 18 06:08:07.894 INFO [stderr]    Compiling model v0.0.4 (/source)
Nov 18 06:08:08.423 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 21.71s
Nov 18 06:08:08.427 INFO [stderr] su: No module specific data is present
Nov 18 06:08:09.184 INFO running `"docker" "inspect" "4432295c2ff7aa980b81d66c224aed5273e2966413028a7d5187d980f5b30dd8"`
Nov 18 06:08:09.480 INFO running `"docker" "rm" "-f" "4432295c2ff7aa980b81d66c224aed5273e2966413028a7d5187d980f5b30dd8"`
Nov 18 06:08:09.958 INFO [stdout] 4432295c2ff7aa980b81d66c224aed5273e2966413028a7d5187d980f5b30dd8
Nov 18 06:08:09.967 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-2/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/pr-55982/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/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 +6b9b97bd9b704f85f0184f7a213cc4d62bd9654c-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"`
Nov 18 06:08:10.341 INFO [stdout] 2b35cd3473c6995a278d8e0a99aab0f46b22fa08e5e1c6ac2ceeee3af579d14c
Nov 18 06:08:10.362 INFO running `"docker" "start" "-a" "2b35cd3473c6995a278d8e0a99aab0f46b22fa08e5e1c6ac2ceeee3af579d14c"`
Nov 18 06:08:11.503 INFO [stderr] usermod: no changes
Nov 18 06:08:11.663 INFO [stderr]    Compiling model v0.0.4 (/source)
Nov 18 06:08:18.589 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 7.05s
Nov 18 06:08:18.599 INFO [stderr] su: No module specific data is present
Nov 18 06:08:19.387 INFO running `"docker" "inspect" "2b35cd3473c6995a278d8e0a99aab0f46b22fa08e5e1c6ac2ceeee3af579d14c"`
Nov 18 06:08:19.697 INFO running `"docker" "rm" "-f" "2b35cd3473c6995a278d8e0a99aab0f46b22fa08e5e1c6ac2ceeee3af579d14c"`
Nov 18 06:08:20.075 INFO [stdout] 2b35cd3473c6995a278d8e0a99aab0f46b22fa08e5e1c6ac2ceeee3af579d14c
Nov 18 06:08:20.080 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-2/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/pr-55982/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/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 +6b9b97bd9b704f85f0184f7a213cc4d62bd9654c-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"`
Nov 18 06:08:20.660 INFO [stdout] ea7054ea1d356f9338296fc994e899b05acfbec76caca650e3025db949e4bfc2
Nov 18 06:08:20.664 INFO running `"docker" "start" "-a" "ea7054ea1d356f9338296fc994e899b05acfbec76caca650e3025db949e4bfc2"`
Nov 18 06:08:22.250 INFO [stderr] usermod: no changes
Nov 18 06:08:22.322 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.05s
Nov 18 06:08:22.336 INFO [stderr]      Running /target/debug/deps/model-aff57b2913c46e96
Nov 18 06:08:22.337 INFO [stderr]      Running /target/debug/deps/model-edcd5a6d5922f589
Nov 18 06:08:22.338 INFO [stdout] 
Nov 18 06:08:22.338 INFO [stdout] running 0 tests
Nov 18 06:08:22.338 INFO [stdout] 
Nov 18 06:08:22.339 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 18 06:08:22.339 INFO [stdout] 
Nov 18 06:08:22.342 INFO [stdout] 
Nov 18 06:08:22.342 INFO [stdout] running 3 tests
Nov 18 06:08:22.415 INFO [stdout] test test_model ... ok
Nov 18 06:08:27.307 INFO [stdout] test test_linearizability_of_good_impl ... ok
Nov 18 06:08:54.393 INFO [stdout] test test_linearizability_of_bad_impl ... ok
Nov 18 06:08:54.396 INFO [stdout] 
Nov 18 06:08:54.397 INFO [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 18 06:08:54.397 INFO [stdout] 
Nov 18 06:08:54.399 INFO [stderr]    Doc-tests model
Nov 18 06:08:55.339 INFO [stdout] 
Nov 18 06:08:55.339 INFO [stdout] running 0 tests
Nov 18 06:08:55.340 INFO [stdout] 
Nov 18 06:08:55.340 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 18 06:08:55.340 INFO [stdout] 
Nov 18 06:08:55.355 INFO [stderr] su: No module specific data is present
Nov 18 06:08:56.198 INFO running `"docker" "inspect" "ea7054ea1d356f9338296fc994e899b05acfbec76caca650e3025db949e4bfc2"`
Nov 18 06:08:56.601 INFO running `"docker" "rm" "-f" "ea7054ea1d356f9338296fc994e899b05acfbec76caca650e3025db949e4bfc2"`
Nov 18 06:08:56.851 INFO [stdout] ea7054ea1d356f9338296fc994e899b05acfbec76caca650e3025db949e4bfc2