Dec 15 17:19:30.335 INFO testing debug_sat-0.4.0 against try#aa49d8ef14939ddec0e34b346b60174a5673d48f for pr-56550
Dec 15 17:19:30.336 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-2/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/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 17:19:30.549 INFO [stdout] 0a85658e4395d9dcd9f189b7ec90a44bedc7eb601e57c23bdcf0866b29efee2d
Dec 15 17:19:30.551 INFO running `"docker" "start" "-a" "0a85658e4395d9dcd9f189b7ec90a44bedc7eb601e57c23bdcf0866b29efee2d"`
Dec 15 17:19:31.204 INFO [stderr] usermod: no changes
Dec 15 17:19:31.226 INFO [stderr]    Compiling debug_sat v0.4.0 (/source)
Dec 15 17:19:32.436 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1.21s
Dec 15 17:19:32.438 INFO [stderr] su: No module specific data is present
Dec 15 17:19:33.071 INFO running `"docker" "inspect" "0a85658e4395d9dcd9f189b7ec90a44bedc7eb601e57c23bdcf0866b29efee2d"`
Dec 15 17:19:33.380 INFO running `"docker" "rm" "-f" "0a85658e4395d9dcd9f189b7ec90a44bedc7eb601e57c23bdcf0866b29efee2d"`
Dec 15 17:19:33.663 INFO [stdout] 0a85658e4395d9dcd9f189b7ec90a44bedc7eb601e57c23bdcf0866b29efee2d
Dec 15 17:19:33.671 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-2/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/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 17:19:34.209 INFO [stdout] a0e7c01e27cf39c6afb27c226d2e573ebf71ae32d71d332bef8bfbcdb9b0fbbe
Dec 15 17:19:34.212 INFO running `"docker" "start" "-a" "a0e7c01e27cf39c6afb27c226d2e573ebf71ae32d71d332bef8bfbcdb9b0fbbe"`
Dec 15 17:19:35.332 INFO [stderr] usermod: no changes
Dec 15 17:19:35.383 INFO [stderr]    Compiling debug_sat v0.4.0 (/source)
Dec 15 17:19:38.110 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 2.75s
Dec 15 17:19:38.112 INFO [stderr] su: No module specific data is present
Dec 15 17:19:38.334 INFO running `"docker" "inspect" "a0e7c01e27cf39c6afb27c226d2e573ebf71ae32d71d332bef8bfbcdb9b0fbbe"`
Dec 15 17:19:38.397 INFO running `"docker" "rm" "-f" "a0e7c01e27cf39c6afb27c226d2e573ebf71ae32d71d332bef8bfbcdb9b0fbbe"`
Dec 15 17:19:38.512 INFO [stdout] a0e7c01e27cf39c6afb27c226d2e573ebf71ae32d71d332bef8bfbcdb9b0fbbe
Dec 15 17:19:38.513 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-2/try#aa49d8ef14939ddec0e34b346b60174a5673d48f:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/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 17:19:38.827 INFO [stdout] 38d225906d4b3a07f798f9d97c76dba695a51fbe2d52db0cedb3c74ea99ae3df
Dec 15 17:19:38.833 INFO running `"docker" "start" "-a" "38d225906d4b3a07f798f9d97c76dba695a51fbe2d52db0cedb3c74ea99ae3df"`
Dec 15 17:19:39.268 INFO [stderr] usermod: no changes
Dec 15 17:19:39.297 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.01s
Dec 15 17:19:39.298 INFO [stderr]      Running /target/debug/deps/debug_sat-19c74305b84cebd7
Dec 15 17:19:39.299 INFO [stdout] 
Dec 15 17:19:39.299 INFO [stdout] running 47 tests
Dec 15 17:19:39.301 INFO [stdout] test tests::and_true ... ok
Dec 15 17:19:39.301 INFO [stdout] test tests::and_commutative ... ok
Dec 15 17:19:39.302 INFO [stdout] test tests::eq_commutative ... ok
Dec 15 17:19:39.302 INFO [stdout] test tests::eq_and ... ok
Dec 15 17:19:39.302 INFO [stdout] test tests::false_eq ... ok
Dec 15 17:19:39.302 INFO [stdout] test tests::false_imply ... ok
Dec 15 17:19:39.302 INFO [stdout] test tests::eq_imply ... ok
Dec 15 17:19:39.302 INFO [stdout] test tests::eq_or ... ok
Dec 15 17:19:39.302 INFO [stdout] test tests::eq_true ... ok
Dec 15 17:19:39.303 INFO [stdout] test tests::false_and ... ok
Dec 15 17:19:39.303 INFO [stdout] test tests::or_commutative ... ok
Dec 15 17:19:39.316 INFO [stdout] test tests::or_false ... ok
Dec 15 17:19:39.316 INFO [stdout] test tests::paradox ... ok
Dec 15 17:19:39.316 INFO [stdout] test tests::neq_imply ... ok
Dec 15 17:19:39.316 INFO [stdout] test tests::neq_and ... ok
Dec 15 17:19:39.316 INFO [stdout] test tests::neq_or ... ok
Dec 15 17:19:39.316 INFO [stdout] test tests::invert ... ok
Dec 15 17:19:39.316 INFO [stdout] test tests::path_or_not ... ok
Dec 15 17:19:39.316 INFO [stdout] test tests::path_and_not ... ok
Dec 15 17:19:39.316 INFO [stdout] test tests::proof_1 ... ok
Dec 15 17:19:39.316 INFO [stdout] test tests::proof_11 ... ok
Dec 15 17:19:39.316 INFO [stdout] test tests::proof_10 ... ok
Dec 15 17:19:39.317 INFO [stdout] test tests::path_not_and ... ok
Dec 15 17:19:39.320 INFO [stdout] test tests::proof_15 ... ok
Dec 15 17:19:39.320 INFO [stdout] test tests::proof_12 ... ok
Dec 15 17:19:39.320 INFO [stdout] test tests::path_not_not ... ok
Dec 15 17:19:39.320 INFO [stdout] test tests::proof_13 ... ok
Dec 15 17:19:39.320 INFO [stdout] test tests::proof_14 ... ok
Dec 15 17:19:39.320 INFO [stdout] test tests::path_not_or ... ok
Dec 15 17:19:39.320 INFO [stdout] test tests::proof_17 ... ok
Dec 15 17:19:39.321 INFO [stdout] test tests::proof_3 ... ok
Dec 15 17:19:39.321 INFO [stdout] test tests::proof_5 ... ok
Dec 15 17:19:39.321 INFO [stdout] test tests::proof_4 ... ok
Dec 15 17:19:39.321 INFO [stdout] test tests::proof_7 ... ok
Dec 15 17:19:39.321 INFO [stdout] test tests::proof_6 ... ok
Dec 15 17:19:39.322 INFO [stdout] test tests::proof_9 ... ok
Dec 15 17:19:39.322 INFO [stdout] test tests::propagate_inequality ... ok
Dec 15 17:19:39.322 INFO [stdout] test tests::true_eq ... ok
Dec 15 17:19:39.322 INFO [stdout] test tests::true_imply ... ok
Dec 15 17:19:39.322 INFO [stdout] test tests::true_or ... ok
Dec 15 17:19:39.327 INFO [stdout] test tests::proof_18 ... ok
Dec 15 17:19:39.327 INFO [stdout] test tests::proof_2 ... ok
Dec 15 17:19:39.327 INFO [stdout] test tests::proof_8 ... ok
Dec 15 17:19:39.327 INFO [stdout] test tests::propagate_equality ... ok
Dec 15 17:19:39.327 INFO [stdout] test tests::proof_16 ... ok
Dec 15 17:19:40.059 INFO [stdout] test tests::bench_propagate_equality ... ok
Dec 15 17:19:40.842 INFO [stdout] test tests::bench_propagate_inequality ... ok
Dec 15 17:19:40.843 INFO [stdout] 
Dec 15 17:19:40.843 INFO [stdout] test result: ok. 47 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 15 17:19:40.843 INFO [stdout] 
Dec 15 17:19:40.843 INFO [stderr]    Doc-tests debug_sat
Dec 15 17:19:41.905 INFO [stdout] 
Dec 15 17:19:41.905 INFO [stdout] running 3 tests
Dec 15 17:19:43.287 INFO [stdout] test src/lib.rs -  (line 55) ... ok
Dec 15 17:19:43.314 INFO [stdout] test src/lib.rs -  (line 26) ... ok
Dec 15 17:19:43.384 INFO [stdout] test src/lib.rs -  (line 69) ... ok
Dec 15 17:19:43.384 INFO [stdout] 
Dec 15 17:19:43.384 INFO [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 15 17:19:43.384 INFO [stdout] 
Dec 15 17:19:43.403 INFO [stderr] su: No module specific data is present
Dec 15 17:19:43.681 INFO running `"docker" "inspect" "38d225906d4b3a07f798f9d97c76dba695a51fbe2d52db0cedb3c74ea99ae3df"`
Dec 15 17:19:43.760 INFO running `"docker" "rm" "-f" "38d225906d4b3a07f798f9d97c76dba695a51fbe2d52db0cedb3c74ea99ae3df"`
Dec 15 17:19:43.854 INFO [stdout] 38d225906d4b3a07f798f9d97c76dba695a51fbe2d52db0cedb3c74ea99ae3df