Dec 15 17:19:30.385 INFO testing debug_sat-0.4.0 against master#bd47d6825bf4090517549d33cfef10d3300b4a75 for pr-56550
Dec 15 17:19:30.385 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-4/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/pr-56550/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/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 +bd47d6825bf4090517549d33cfef10d3300b4a75-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 17:19:30.626 INFO [stdout] 0a23187ca79bbdeb104de74df73f9a00fe102ff2562dab30640969d5634735f4
Dec 15 17:19:30.629 INFO running `"docker" "start" "-a" "0a23187ca79bbdeb104de74df73f9a00fe102ff2562dab30640969d5634735f4"`
Dec 15 17:19:31.297 INFO [stderr] usermod: no changes
Dec 15 17:19:31.329 INFO [stderr]    Compiling debug_sat v0.4.0 (/source)
Dec 15 17:19:32.536 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1.21s
Dec 15 17:19:32.539 INFO [stderr] su: No module specific data is present
Dec 15 17:19:33.205 INFO running `"docker" "inspect" "0a23187ca79bbdeb104de74df73f9a00fe102ff2562dab30640969d5634735f4"`
Dec 15 17:19:33.482 INFO running `"docker" "rm" "-f" "0a23187ca79bbdeb104de74df73f9a00fe102ff2562dab30640969d5634735f4"`
Dec 15 17:19:33.766 INFO [stdout] 0a23187ca79bbdeb104de74df73f9a00fe102ff2562dab30640969d5634735f4
Dec 15 17:19:33.769 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-4/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/pr-56550/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/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 +bd47d6825bf4090517549d33cfef10d3300b4a75-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 17:19:34.272 INFO [stdout] 82522192bcc9ba09455c641576054f8f2421c760db5cbce7b4938d2ce42e7fa9
Dec 15 17:19:34.276 INFO running `"docker" "start" "-a" "82522192bcc9ba09455c641576054f8f2421c760db5cbce7b4938d2ce42e7fa9"`
Dec 15 17:19:35.267 INFO [stderr] usermod: no changes
Dec 15 17:19:35.323 INFO [stderr]    Compiling debug_sat v0.4.0 (/source)
Dec 15 17:19:38.015 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 2.71s
Dec 15 17:19:38.017 INFO [stderr] su: No module specific data is present
Dec 15 17:19:38.260 INFO running `"docker" "inspect" "82522192bcc9ba09455c641576054f8f2421c760db5cbce7b4938d2ce42e7fa9"`
Dec 15 17:19:38.351 INFO running `"docker" "rm" "-f" "82522192bcc9ba09455c641576054f8f2421c760db5cbce7b4938d2ce42e7fa9"`
Dec 15 17:19:38.442 INFO [stdout] 82522192bcc9ba09455c641576054f8f2421c760db5cbce7b4938d2ce42e7fa9
Dec 15 17:19:38.443 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-4/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/pr-56550/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/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 +bd47d6825bf4090517549d33cfef10d3300b4a75-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 17:19:38.704 INFO [stdout] b54981c895b19a0b9c7cd3afd79c00346b93d565662644089769d65637cde73a
Dec 15 17:19:38.706 INFO running `"docker" "start" "-a" "b54981c895b19a0b9c7cd3afd79c00346b93d565662644089769d65637cde73a"`
Dec 15 17:19:39.097 INFO [stderr] usermod: no changes
Dec 15 17:19:39.125 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.01s
Dec 15 17:19:39.125 INFO [stderr]      Running /target/debug/deps/debug_sat-d888202e0e799ca8
Dec 15 17:19:39.126 INFO [stdout] 
Dec 15 17:19:39.126 INFO [stdout] running 47 tests
Dec 15 17:19:39.126 INFO [stdout] test tests::and_commutative ... ok
Dec 15 17:19:39.126 INFO [stdout] test tests::and_true ... ok
Dec 15 17:19:39.126 INFO [stdout] test tests::eq_commutative ... ok
Dec 15 17:19:39.126 INFO [stdout] test tests::eq_imply ... ok
Dec 15 17:19:39.126 INFO [stdout] test tests::eq_or ... ok
Dec 15 17:19:39.127 INFO [stdout] test tests::eq_true ... ok
Dec 15 17:19:39.127 INFO [stdout] test tests::false_and ... ok
Dec 15 17:19:39.127 INFO [stdout] test tests::false_imply ... ok
Dec 15 17:19:39.127 INFO [stdout] test tests::false_eq ... ok
Dec 15 17:19:39.127 INFO [stdout] test tests::invert ... ok
Dec 15 17:19:39.127 INFO [stdout] test tests::neq_and ... ok
Dec 15 17:19:39.127 INFO [stdout] test tests::neq_imply ... ok
Dec 15 17:19:39.127 INFO [stdout] test tests::neq_or ... ok
Dec 15 17:19:39.129 INFO [stdout] test tests::eq_and ... ok
Dec 15 17:19:39.129 INFO [stdout] test tests::or_commutative ... ok
Dec 15 17:19:39.129 INFO [stdout] test tests::path_not_and ... ok
Dec 15 17:19:39.129 INFO [stdout] test tests::path_and_not ... ok
Dec 15 17:19:39.129 INFO [stdout] test tests::or_false ... ok
Dec 15 17:19:39.129 INFO [stdout] test tests::path_or_not ... ok
Dec 15 17:19:39.129 INFO [stdout] test tests::paradox ... ok
Dec 15 17:19:39.129 INFO [stdout] test tests::path_not_or ... ok
Dec 15 17:19:39.129 INFO [stdout] test tests::path_not_not ... ok
Dec 15 17:19:39.129 INFO [stdout] test tests::proof_10 ... ok
Dec 15 17:19:39.129 INFO [stdout] test tests::proof_11 ... ok
Dec 15 17:19:39.130 INFO [stdout] test tests::proof_14 ... ok
Dec 15 17:19:39.130 INFO [stdout] test tests::proof_1 ... ok
Dec 15 17:19:39.130 INFO [stdout] test tests::proof_16 ... ok
Dec 15 17:19:39.130 INFO [stdout] test tests::proof_15 ... ok
Dec 15 17:19:39.135 INFO [stdout] test tests::proof_3 ... ok
Dec 15 17:19:39.135 INFO [stdout] test tests::proof_4 ... ok
Dec 15 17:19:39.135 INFO [stdout] test tests::proof_13 ... ok
Dec 15 17:19:39.135 INFO [stdout] test tests::proof_18 ... ok
Dec 15 17:19:39.135 INFO [stdout] test tests::proof_12 ... ok
Dec 15 17:19:39.135 INFO [stdout] test tests::proof_17 ... ok
Dec 15 17:19:39.135 INFO [stdout] test tests::proof_8 ... ok
Dec 15 17:19:39.142 INFO [stdout] test tests::proof_9 ... ok
Dec 15 17:19:39.143 INFO [stdout] test tests::proof_7 ... ok
Dec 15 17:19:39.143 INFO [stdout] test tests::proof_6 ... ok
Dec 15 17:19:39.143 INFO [stdout] test tests::true_imply ... ok
Dec 15 17:19:39.143 INFO [stdout] test tests::true_or ... ok
Dec 15 17:19:39.143 INFO [stdout] test tests::proof_2 ... ok
Dec 15 17:19:39.143 INFO [stdout] test tests::proof_5 ... ok
Dec 15 17:19:39.143 INFO [stdout] test tests::true_eq ... ok
Dec 15 17:19:39.151 INFO [stdout] test tests::propagate_equality ... ok
Dec 15 17:19:39.151 INFO [stdout] test tests::propagate_inequality ... ok
Dec 15 17:19:39.503 INFO [stdout] test tests::bench_propagate_equality ... ok
Dec 15 17:19:40.574 INFO [stdout] test tests::bench_propagate_inequality ... ok
Dec 15 17:19:40.574 INFO [stdout] 
Dec 15 17:19:40.574 INFO [stdout] test result: ok. 47 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 15 17:19:40.574 INFO [stdout] 
Dec 15 17:19:40.579 INFO [stderr]    Doc-tests debug_sat
Dec 15 17:19:41.631 INFO [stdout] 
Dec 15 17:19:41.631 INFO [stdout] running 3 tests
Dec 15 17:19:43.067 INFO [stdout] test src/lib.rs -  (line 26) ... ok
Dec 15 17:19:43.138 INFO [stdout] test src/lib.rs -  (line 55) ... ok
Dec 15 17:19:43.155 INFO [stdout] test src/lib.rs -  (line 69) ... ok
Dec 15 17:19:43.155 INFO [stdout] 
Dec 15 17:19:43.155 INFO [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 15 17:19:43.155 INFO [stdout] 
Dec 15 17:19:43.167 INFO [stderr] su: No module specific data is present
Dec 15 17:19:43.444 INFO running `"docker" "inspect" "b54981c895b19a0b9c7cd3afd79c00346b93d565662644089769d65637cde73a"`
Dec 15 17:19:43.545 INFO running `"docker" "rm" "-f" "b54981c895b19a0b9c7cd3afd79c00346b93d565662644089769d65637cde73a"`
Dec 15 17:19:43.619 INFO [stdout] b54981c895b19a0b9c7cd3afd79c00346b93d565662644089769d65637cde73a