Nov 17 15:32:05.500 INFO testing ExcaliburZero/resolution-prover against master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c for pr-55982
Nov 17 15:32:05.500 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-0/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/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 17 15:32:06.000 INFO [stdout] c2dc961f86d87055f38e868a41815b8db7a7284104653377aeeabfaeb9949dde
Nov 17 15:32:06.003 INFO running `"docker" "start" "-a" "c2dc961f86d87055f38e868a41815b8db7a7284104653377aeeabfaeb9949dde"`
Nov 17 15:32:07.842 INFO [stderr] usermod: no changes
Nov 17 15:32:07.915 INFO [stderr]    Compiling multimap v0.4.0
Nov 17 15:32:08.592 INFO [stderr]    Compiling resolution-prover v0.1.0 (/source)
Nov 17 15:32:10.927 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 3.05s
Nov 17 15:32:10.928 INFO [stderr] su: No module specific data is present
Nov 17 15:32:11.631 INFO running `"docker" "inspect" "c2dc961f86d87055f38e868a41815b8db7a7284104653377aeeabfaeb9949dde"`
Nov 17 15:32:11.859 INFO running `"docker" "rm" "-f" "c2dc961f86d87055f38e868a41815b8db7a7284104653377aeeabfaeb9949dde"`
Nov 17 15:32:12.203 INFO [stdout] c2dc961f86d87055f38e868a41815b8db7a7284104653377aeeabfaeb9949dde
Nov 17 15:32:12.210 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-0/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/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 17 15:32:12.637 INFO [stdout] f1b3a4923b64f8e2db0e6e63b119e9d365ce82a46bd8ac823631e8b8cdc4882f
Nov 17 15:32:12.639 INFO running `"docker" "start" "-a" "f1b3a4923b64f8e2db0e6e63b119e9d365ce82a46bd8ac823631e8b8cdc4882f"`
Nov 17 15:32:13.295 INFO [stderr] usermod: no changes
Nov 17 15:32:13.334 INFO [stderr]    Compiling resolution-prover v0.1.0 (/source)
Nov 17 15:32:15.047 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1.72s
Nov 17 15:32:15.047 INFO [stderr] su: No module specific data is present
Nov 17 15:32:15.433 INFO running `"docker" "inspect" "f1b3a4923b64f8e2db0e6e63b119e9d365ce82a46bd8ac823631e8b8cdc4882f"`
Nov 17 15:32:15.573 INFO running `"docker" "rm" "-f" "f1b3a4923b64f8e2db0e6e63b119e9d365ce82a46bd8ac823631e8b8cdc4882f"`
Nov 17 15:32:15.879 INFO [stdout] f1b3a4923b64f8e2db0e6e63b119e9d365ce82a46bd8ac823631e8b8cdc4882f
Nov 17 15:32:15.891 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-0/master#6b9b97bd9b704f85f0184f7a213cc4d62bd9654c:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-0/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 17 15:32:16.263 INFO [stdout] d5c0b3bb884fb64d00420f32e697b693614502c0cac552ba23bae561f0f1cb5c
Nov 17 15:32:16.267 INFO running `"docker" "start" "-a" "d5c0b3bb884fb64d00420f32e697b693614502c0cac552ba23bae561f0f1cb5c"`
Nov 17 15:32:16.798 INFO [stderr] usermod: no changes
Nov 17 15:32:16.839 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.02s
Nov 17 15:32:16.850 INFO [stderr]      Running /target/debug/deps/resolution_prover-af653de79138c467
Nov 17 15:32:16.851 INFO [stdout] 
Nov 17 15:32:16.851 INFO [stdout] running 23 tests
Nov 17 15:32:16.852 INFO [stdout] test clauses::tests::bubble_up_ands_or_and_right ... ok
Nov 17 15:32:16.852 INFO [stdout] test clauses::tests::bubble_up_ands_not ... ok
Nov 17 15:32:16.852 INFO [stdout] test clauses::tests::bubble_up_ands_or_and_left ... ok
Nov 17 15:32:16.852 INFO [stdout] test clauses::tests::eliminate_implication_not ... ok
Nov 17 15:32:16.852 INFO [stdout] test clauses::tests::eliminate_implication_implies ... ok
Nov 17 15:32:16.852 INFO [stdout] test clauses::tests::reduce_negation_nested_not_or_double_negation ... ok
Nov 17 15:32:16.852 INFO [stdout] test clauses::tests::reduce_negation_nested_not_or_or ... ok
Nov 17 15:32:16.852 INFO [stdout] test clauses::tests::reduce_negation_nested_or_not_and ... ok
Nov 17 15:32:16.852 INFO [stdout] test clauses::tests::eliminate_implication_iff ... ok
Nov 17 15:32:16.852 INFO [stdout] test clauses::tests::reduce_negation_not_and ... ok
Nov 17 15:32:16.852 INFO [stdout] test clauses::tests::reduce_negation_not_or ... ok
Nov 17 15:32:16.854 INFO [stdout] test clauses::tests::reduce_negation_nested_and_not_and ... ok
Nov 17 15:32:16.854 INFO [stdout] test resolution::tests::resolve_simple_true ... ok
Nov 17 15:32:16.855 INFO [stdout] test resolution::tests::resolve_simple_false ... ok
Nov 17 15:32:16.855 INFO [stdout] test clauses::tests::reduce_negation_term ... ok
Nov 17 15:32:16.855 INFO [stdout] test resolution::tests::resolve_taut_or_not ... ok
Nov 17 15:32:16.856 INFO [stdout] test resolution::tests::resolve_trivial_true ... ok
Nov 17 15:32:16.857 INFO [stdout] test resolution::tests::resolve_trivial_false ... ok
Nov 17 15:32:16.857 INFO [stdout] test clauses::tests::bubble_up_ands_or ... ok
Nov 17 15:32:16.867 INFO [stdout] test clauses::tests::reduce_negation_double_negation ... ok
Nov 17 15:32:16.867 INFO [stdout] test clauses::tests::eliminate_implication_or ... ok
Nov 17 15:32:16.867 INFO [stdout] test clauses::tests::eliminate_implication_and ... ok
Nov 17 15:32:16.867 INFO [stdout] test clauses::tests::bubble_up_ands_term ... ok
Nov 17 15:32:16.867 INFO [stdout] 
Nov 17 15:32:16.867 INFO [stdout] test result: ok. 23 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 17 15:32:16.867 INFO [stdout] 
Nov 17 15:32:16.868 INFO [stderr]      Running /target/debug/deps/resolution_prover-2fe228cbdc8bc59a
Nov 17 15:32:16.875 INFO [stdout] 
Nov 17 15:32:16.875 INFO [stdout] running 0 tests
Nov 17 15:32:16.875 INFO [stdout] 
Nov 17 15:32:16.875 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 17 15:32:16.875 INFO [stdout] 
Nov 17 15:32:16.875 INFO [stderr]    Doc-tests resolution-prover
Nov 17 15:32:17.264 INFO [stdout] 
Nov 17 15:32:17.264 INFO [stdout] running 13 tests
Nov 17 15:32:20.390 INFO [stdout] test src/propositions.rs - propositions::Proposition::fmt (line 139) ... ok
Nov 17 15:32:20.393 INFO [stdout] test src/propositions.rs - propositions::iff (line 90) ... ok
Nov 17 15:32:22.981 INFO [stdout] test src/propositions.rs - propositions::Proposition (line 7) ... ok
Nov 17 15:32:22.993 INFO [stdout] test src/clauses.rs - clauses::Clause::from_proposition (line 30) ... ok
Nov 17 15:32:23.115 INFO [stdout] test src/propositions.rs - propositions::and (line 50) ... ok
Nov 17 15:32:23.391 INFO [stdout] test src/clauses.rs - clauses::Clause (line 8) ... ok
Nov 17 15:32:23.391 INFO [stdout] test src/clauses.rs - clauses::ClausePart::negate (line 260) ... ok
Nov 17 15:32:23.515 INFO [stdout] test src/clauses.rs - clauses::ClausePart (line 242) ... ok
Nov 17 15:32:25.507 INFO [stdout] test src/propositions.rs - propositions::not (line 109) ... ok
Nov 17 15:32:25.534 INFO [stdout] test src/propositions.rs - propositions::implies (line 70) ... ok
Nov 17 15:32:25.738 INFO [stdout] test src/propositions.rs - propositions::term (line 124) ... ok
Nov 17 15:32:25.747 INFO [stdout] test src/propositions.rs - propositions::or (line 30) ... ok
Nov 17 15:32:25.888 INFO [stdout] test src/resolution.rs - resolution::resolve (line 15) ... ok
Nov 17 15:32:25.888 INFO [stdout] 
Nov 17 15:32:25.888 INFO [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 17 15:32:25.888 INFO [stdout] 
Nov 17 15:32:25.912 INFO [stderr] su: No module specific data is present
Nov 17 15:32:26.451 INFO running `"docker" "inspect" "d5c0b3bb884fb64d00420f32e697b693614502c0cac552ba23bae561f0f1cb5c"`
Nov 17 15:32:26.635 INFO running `"docker" "rm" "-f" "d5c0b3bb884fb64d00420f32e697b693614502c0cac552ba23bae561f0f1cb5c"`
Nov 17 15:32:26.855 INFO [stdout] d5c0b3bb884fb64d00420f32e697b693614502c0cac552ba23bae561f0f1cb5c