Dec 15 04:32:44.915 INFO testing model-0.1.0 against try#aa49d8ef14939ddec0e34b346b60174a5673d48f for pr-56550
Dec 15 04:32:44.916 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-0/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/pr-56550/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/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 +aa49d8ef14939ddec0e34b346b60174a5673d48f-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"`
Dec 15 04:32:45.433 INFO [stdout] c85c9d78f0b86ed61343bda021caab1c397dfbb1ed1a6e0c759ead725b98f9c2
Dec 15 04:32:45.439 INFO running `"docker" "start" "-a" "c85c9d78f0b86ed61343bda021caab1c397dfbb1ed1a6e0c759ead725b98f9c2"`
Dec 15 04:32:46.493 INFO [stderr] usermod: no changes
Dec 15 04:32:46.631 INFO [stderr]    Compiling permutohedron v0.2.4
Dec 15 04:32:46.631 INFO [stderr]    Compiling proptest v0.8.7
Dec 15 04:33:03.407 INFO [stderr]    Compiling model v0.1.0 (/source)
Dec 15 04:33:05.219 INFO [stderr] warning: unused `#[macro_use]` import
Dec 15 04:33:05.219 INFO [stderr]   --> src/lib.rs:96:1
Dec 15 04:33:05.219 INFO [stderr]    |
Dec 15 04:33:05.219 INFO [stderr] 96 | #[macro_use]
Dec 15 04:33:05.219 INFO [stderr]    | ^^^^^^^^^^^^
Dec 15 04:33:05.219 INFO [stderr]    |
Dec 15 04:33:05.219 INFO [stderr]    = note: #[warn(unused_imports)] on by default
Dec 15 04:33:05.219 INFO [stderr] 
Dec 15 04:33:05.335 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 18.81s
Dec 15 04:33:05.340 INFO [stderr] su: No module specific data is present
Dec 15 04:33:06.009 INFO running `"docker" "inspect" "c85c9d78f0b86ed61343bda021caab1c397dfbb1ed1a6e0c759ead725b98f9c2"`
Dec 15 04:33:06.221 INFO running `"docker" "rm" "-f" "c85c9d78f0b86ed61343bda021caab1c397dfbb1ed1a6e0c759ead725b98f9c2"`
Dec 15 04:33:06.474 INFO [stdout] c85c9d78f0b86ed61343bda021caab1c397dfbb1ed1a6e0c759ead725b98f9c2
Dec 15 04:33:06.481 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-0/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/pr-56550/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/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 +aa49d8ef14939ddec0e34b346b60174a5673d48f-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"`
Dec 15 04:33:06.889 INFO [stdout] 8a3692b5748da7496e9de5aa291669778156da1313c593feaa7ea5b64a6f03a0
Dec 15 04:33:06.892 INFO running `"docker" "start" "-a" "8a3692b5748da7496e9de5aa291669778156da1313c593feaa7ea5b64a6f03a0"`
Dec 15 04:33:08.127 INFO [stderr] usermod: no changes
Dec 15 04:33:08.242 INFO [stderr]    Compiling model v0.1.0 (/source)
Dec 15 04:33:11.515 INFO [stderr] warning: unused `#[macro_use]` import
Dec 15 04:33:11.515 INFO [stderr]   --> src/lib.rs:96:1
Dec 15 04:33:11.515 INFO [stderr]    |
Dec 15 04:33:11.515 INFO [stderr] 96 | #[macro_use]
Dec 15 04:33:11.515 INFO [stderr]    | ^^^^^^^^^^^^
Dec 15 04:33:11.515 INFO [stderr]    |
Dec 15 04:33:11.515 INFO [stderr]    = note: #[warn(unused_imports)] on by default
Dec 15 04:33:11.515 INFO [stderr] 
Dec 15 04:33:15.417 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 7.27s
Dec 15 04:33:15.423 INFO [stderr] su: No module specific data is present
Dec 15 04:33:15.762 INFO running `"docker" "inspect" "8a3692b5748da7496e9de5aa291669778156da1313c593feaa7ea5b64a6f03a0"`
Dec 15 04:33:15.914 INFO running `"docker" "rm" "-f" "8a3692b5748da7496e9de5aa291669778156da1313c593feaa7ea5b64a6f03a0"`
Dec 15 04:33:16.086 INFO [stdout] 8a3692b5748da7496e9de5aa291669778156da1313c593feaa7ea5b64a6f03a0
Dec 15 04:33:16.093 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-0/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/pr-56550/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/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 +aa49d8ef14939ddec0e34b346b60174a5673d48f-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"`
Dec 15 04:33:16.504 INFO [stdout] a58a466be930ef7f76bef3ff2af6da33956cfe4eaac4503daa86d7063e1bb9b0
Dec 15 04:33:16.507 INFO running `"docker" "start" "-a" "a58a466be930ef7f76bef3ff2af6da33956cfe4eaac4503daa86d7063e1bb9b0"`
Dec 15 04:33:17.691 INFO [stderr] usermod: no changes
Dec 15 04:33:17.783 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.06s
Dec 15 04:33:17.794 INFO [stderr]      Running /target/debug/deps/model-5a2a95bea8a0c59f
Dec 15 04:33:17.799 INFO [stdout] 
Dec 15 04:33:17.799 INFO [stdout] running 0 tests
Dec 15 04:33:17.799 INFO [stdout] 
Dec 15 04:33:17.799 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 15 04:33:17.799 INFO [stdout] 
Dec 15 04:33:17.799 INFO [stderr]      Running /target/debug/deps/model-0addf78091f35a21
Dec 15 04:33:17.801 INFO [stdout] 
Dec 15 04:33:17.801 INFO [stdout] running 3 tests
Dec 15 04:33:17.971 INFO [stdout] test test_model ... ok
Dec 15 04:33:18.079 INFO [stdout] test test_linearizability_of_bad_impl ... ok
Dec 15 04:33:18.774 INFO [stdout] test test_linearizability_of_good_impl ... ok
Dec 15 04:33:18.774 INFO [stdout] 
Dec 15 04:33:18.774 INFO [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 15 04:33:18.774 INFO [stdout] 
Dec 15 04:33:18.779 INFO [stderr]    Doc-tests model
Dec 15 04:33:22.826 INFO [stdout] 
Dec 15 04:33:22.826 INFO [stdout] running 2 tests
Dec 15 04:33:28.525 INFO [stdout] test src/lib.rs -  (line 63) ... ok
Dec 15 04:33:30.057 INFO [stdout] test src/lib.rs -  (line 22) ... ok
Dec 15 04:33:30.057 INFO [stdout] 
Dec 15 04:33:30.057 INFO [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 15 04:33:30.057 INFO [stdout] 
Dec 15 04:33:30.073 INFO [stderr] su: No module specific data is present
Dec 15 04:33:30.736 INFO running `"docker" "inspect" "a58a466be930ef7f76bef3ff2af6da33956cfe4eaac4503daa86d7063e1bb9b0"`
Dec 15 04:33:30.968 INFO running `"docker" "rm" "-f" "a58a466be930ef7f76bef3ff2af6da33956cfe4eaac4503daa86d7063e1bb9b0"`
Dec 15 04:33:31.210 INFO [stdout] a58a466be930ef7f76bef3ff2af6da33956cfe4eaac4503daa86d7063e1bb9b0