Dec 07 19:04:44.644 INFO testing debug_sat-0.4.0 against master#906deae0790bd18681b937fe9a141a3c26cf1855 for pr-56514
Dec 07 19:04:44.644 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-5/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/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 +906deae0790bd18681b937fe9a141a3c26cf1855-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 07 19:04:44.895 INFO [stdout] 5c5776dba9633aacd38a96663286765e6d1ad47f2803049cdbb1b37d454a637a
Dec 07 19:04:44.897 INFO running `"docker" "start" "-a" "5c5776dba9633aacd38a96663286765e6d1ad47f2803049cdbb1b37d454a637a"`
Dec 07 19:04:45.556 INFO [stderr] usermod: no changes
Dec 07 19:04:45.612 INFO [stderr]    Compiling debug_sat v0.4.0 (/source)
Dec 07 19:04:47.337 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1.68s
Dec 07 19:04:47.338 INFO [stderr] su: No module specific data is present
Dec 07 19:04:48.328 INFO running `"docker" "inspect" "5c5776dba9633aacd38a96663286765e6d1ad47f2803049cdbb1b37d454a637a"`
Dec 07 19:04:48.552 INFO running `"docker" "rm" "-f" "5c5776dba9633aacd38a96663286765e6d1ad47f2803049cdbb1b37d454a637a"`
Dec 07 19:04:48.852 INFO [stdout] 5c5776dba9633aacd38a96663286765e6d1ad47f2803049cdbb1b37d454a637a
Dec 07 19:04:48.856 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-5/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/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 +906deae0790bd18681b937fe9a141a3c26cf1855-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 07 19:04:49.248 INFO [stdout] 66a2f8a317a3f017323e33c9ecad38233a5ec1758ce8043813caed41b1a9eab4
Dec 07 19:04:49.254 INFO running `"docker" "start" "-a" "66a2f8a317a3f017323e33c9ecad38233a5ec1758ce8043813caed41b1a9eab4"`
Dec 07 19:04:50.168 INFO [stderr] usermod: no changes
Dec 07 19:04:50.208 INFO [stderr]    Compiling debug_sat v0.4.0 (/source)
Dec 07 19:04:52.206 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 2.01s
Dec 07 19:04:52.209 INFO [stderr] su: No module specific data is present
Dec 07 19:04:52.493 INFO running `"docker" "inspect" "66a2f8a317a3f017323e33c9ecad38233a5ec1758ce8043813caed41b1a9eab4"`
Dec 07 19:04:52.560 INFO running `"docker" "rm" "-f" "66a2f8a317a3f017323e33c9ecad38233a5ec1758ce8043813caed41b1a9eab4"`
Dec 07 19:04:52.651 INFO [stdout] 66a2f8a317a3f017323e33c9ecad38233a5ec1758ce8043813caed41b1a9eab4
Dec 07 19:04:52.654 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-5/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/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 +906deae0790bd18681b937fe9a141a3c26cf1855-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 07 19:04:52.803 INFO [stdout] 6468c387f5915f308a2d912963d5162bef9b38c407853bf45359d5baecafa774
Dec 07 19:04:52.806 INFO running `"docker" "start" "-a" "6468c387f5915f308a2d912963d5162bef9b38c407853bf45359d5baecafa774"`
Dec 07 19:04:53.427 INFO [stderr] usermod: no changes
Dec 07 19:04:53.449 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.01s
Dec 07 19:04:53.449 INFO [stderr]      Running /target/debug/deps/debug_sat-084dba0c8a1571b3
Dec 07 19:04:53.451 INFO [stdout] 
Dec 07 19:04:53.451 INFO [stdout] running 47 tests
Dec 07 19:04:53.451 INFO [stdout] test tests::and_true ... ok
Dec 07 19:04:53.451 INFO [stdout] test tests::eq_and ... ok
Dec 07 19:04:53.451 INFO [stdout] test tests::eq_commutative ... ok
Dec 07 19:04:53.454 INFO [stdout] test tests::eq_true ... ok
Dec 07 19:04:53.454 INFO [stdout] test tests::eq_imply ... ok
Dec 07 19:04:53.460 INFO [stdout] test tests::false_and ... ok
Dec 07 19:04:53.460 INFO [stdout] test tests::false_imply ... ok
Dec 07 19:04:53.460 INFO [stdout] test tests::and_commutative ... ok
Dec 07 19:04:53.460 INFO [stdout] test tests::false_eq ... ok
Dec 07 19:04:53.460 INFO [stdout] test tests::eq_or ... ok
Dec 07 19:04:53.460 INFO [stdout] test tests::neq_or ... ok
Dec 07 19:04:53.460 INFO [stdout] test tests::paradox ... ok
Dec 07 19:04:53.460 INFO [stdout] test tests::path_and_not ... ok
Dec 07 19:04:53.467 INFO [stdout] test tests::neq_and ... ok
Dec 07 19:04:53.467 INFO [stdout] test tests::neq_imply ... ok
Dec 07 19:04:53.467 INFO [stdout] test tests::path_not_and ... ok
Dec 07 19:04:53.467 INFO [stdout] test tests::invert ... ok
Dec 07 19:04:53.467 INFO [stdout] test tests::path_not_not ... ok
Dec 07 19:04:53.467 INFO [stdout] test tests::path_not_or ... ok
Dec 07 19:04:53.467 INFO [stdout] test tests::proof_11 ... ok
Dec 07 19:04:53.467 INFO [stdout] test tests::proof_10 ... ok
Dec 07 19:04:53.467 INFO [stdout] test tests::path_or_not ... ok
Dec 07 19:04:53.468 INFO [stdout] test tests::proof_12 ... ok
Dec 07 19:04:53.468 INFO [stdout] test tests::proof_1 ... ok
Dec 07 19:04:53.469 INFO [stdout] test tests::proof_14 ... ok
Dec 07 19:04:53.469 INFO [stdout] test tests::proof_15 ... ok
Dec 07 19:04:53.469 INFO [stdout] test tests::proof_17 ... ok
Dec 07 19:04:53.472 INFO [stdout] test tests::or_commutative ... ok
Dec 07 19:04:53.472 INFO [stdout] test tests::or_false ... ok
Dec 07 19:04:53.472 INFO [stdout] test tests::proof_2 ... ok
Dec 07 19:04:53.472 INFO [stdout] test tests::proof_18 ... ok
Dec 07 19:04:53.476 INFO [stdout] test tests::proof_16 ... ok
Dec 07 19:04:53.476 INFO [stdout] test tests::proof_13 ... ok
Dec 07 19:04:53.477 INFO [stdout] test tests::proof_5 ... ok
Dec 07 19:04:53.477 INFO [stdout] test tests::proof_7 ... ok
Dec 07 19:04:53.477 INFO [stdout] test tests::proof_3 ... ok
Dec 07 19:04:53.477 INFO [stdout] test tests::proof_6 ... ok
Dec 07 19:04:53.482 INFO [stdout] test tests::proof_4 ... ok
Dec 07 19:04:53.483 INFO [stdout] test tests::propagate_inequality ... ok
Dec 07 19:04:53.483 INFO [stdout] test tests::propagate_equality ... ok
Dec 07 19:04:53.483 INFO [stdout] test tests::proof_9 ... ok
Dec 07 19:04:53.483 INFO [stdout] test tests::proof_8 ... ok
Dec 07 19:04:53.492 INFO [stdout] test tests::true_imply ... ok
Dec 07 19:04:53.496 INFO [stdout] test tests::true_or ... ok
Dec 07 19:04:53.496 INFO [stdout] test tests::true_eq ... ok
Dec 07 19:04:53.876 INFO [stdout] test tests::bench_propagate_equality ... ok
Dec 07 19:04:54.899 INFO [stdout] test tests::bench_propagate_inequality ... ok
Dec 07 19:04:54.899 INFO [stdout] 
Dec 07 19:04:54.904 INFO [stderr]    Doc-tests debug_sat
Dec 07 19:04:54.904 INFO [stdout] test result: ok. 47 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 07 19:04:54.904 INFO [stdout] 
Dec 07 19:04:55.834 INFO [stdout] 
Dec 07 19:04:55.834 INFO [stdout] running 3 tests
Dec 07 19:04:57.017 INFO [stdout] test src/lib.rs -  (line 26) ... ok
Dec 07 19:04:57.093 INFO [stdout] test src/lib.rs -  (line 69) ... ok
Dec 07 19:04:57.093 INFO [stdout] test src/lib.rs -  (line 55) ... ok
Dec 07 19:04:57.093 INFO [stdout] 
Dec 07 19:04:57.093 INFO [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 07 19:04:57.093 INFO [stdout] 
Dec 07 19:04:57.116 INFO [stderr] su: No module specific data is present
Dec 07 19:04:57.405 INFO running `"docker" "inspect" "6468c387f5915f308a2d912963d5162bef9b38c407853bf45359d5baecafa774"`
Dec 07 19:04:57.467 INFO running `"docker" "rm" "-f" "6468c387f5915f308a2d912963d5162bef9b38c407853bf45359d5baecafa774"`
Dec 07 19:04:57.587 INFO [stdout] 6468c387f5915f308a2d912963d5162bef9b38c407853bf45359d5baecafa774