Oct 15 11:04:59.653 INFO testing ExcaliburZero/resolution-prover against try#40d4795669493f1965de7c44029c69552134fe1f for rustdoc-test-static-cling-1
Oct 15 11:04:59.655 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-1/try#40d4795669493f1965de7c44029c69552134fe1f:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-1/rustdoc-test-static-cling-1/try#40d4795669493f1965de7c44029c69552134fe1f:/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 +40d4795669493f1965de7c44029c69552134fe1f-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"`
Oct 15 11:05:00.059 INFO blam! f3ecaf0678dd276b12c71be54dbafeec964fec18cf5b228f73d93c6c33517e5f
Oct 15 11:05:00.067 INFO running `"docker" "start" "-a" "f3ecaf0678dd276b12c71be54dbafeec964fec18cf5b228f73d93c6c33517e5f"`
Oct 15 11:05:01.223 INFO kablam! usermod: no changes
Oct 15 11:05:01.279 INFO kablam!    Compiling multimap v0.4.0
Oct 15 11:05:02.117 INFO kablam!    Compiling resolution-prover v0.1.0 (/source)
Oct 15 11:05:04.843 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 3.59s
Oct 15 11:05:04.843 INFO kablam! su: No module specific data is present
Oct 15 11:05:05.431 INFO running `"docker" "rm" "-f" "f3ecaf0678dd276b12c71be54dbafeec964fec18cf5b228f73d93c6c33517e5f"`
Oct 15 11:05:05.855 INFO blam! f3ecaf0678dd276b12c71be54dbafeec964fec18cf5b228f73d93c6c33517e5f
Oct 15 11:05:05.867 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-1/try#40d4795669493f1965de7c44029c69552134fe1f:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-1/rustdoc-test-static-cling-1/try#40d4795669493f1965de7c44029c69552134fe1f:/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 +40d4795669493f1965de7c44029c69552134fe1f-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"`
Oct 15 11:05:06.263 INFO blam! 340f776877f901f500e6fb2f536e1c1a7c5f7899938e67c1a5bdc4c284d21de2
Oct 15 11:05:06.263 INFO running `"docker" "start" "-a" "340f776877f901f500e6fb2f536e1c1a7c5f7899938e67c1a5bdc4c284d21de2"`
Oct 15 11:05:07.250 INFO kablam! usermod: no changes
Oct 15 11:05:07.310 INFO kablam!    Compiling resolution-prover v0.1.0 (/source)
Oct 15 11:05:11.147 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 3.87s
Oct 15 11:05:11.151 INFO kablam! su: No module specific data is present
Oct 15 11:05:11.929 INFO running `"docker" "rm" "-f" "340f776877f901f500e6fb2f536e1c1a7c5f7899938e67c1a5bdc4c284d21de2"`
Oct 15 11:05:12.071 INFO blam! 340f776877f901f500e6fb2f536e1c1a7c5f7899938e67c1a5bdc4c284d21de2
Oct 15 11:05:12.079 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-1/try#40d4795669493f1965de7c44029c69552134fe1f:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-1/rustdoc-test-static-cling-1/try#40d4795669493f1965de7c44029c69552134fe1f:/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 +40d4795669493f1965de7c44029c69552134fe1f-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"`
Oct 15 11:05:12.342 INFO blam! 054543ca4e869cd96da75b85373d09f637eb34c945b5f3388977b0f8cb7cd851
Oct 15 11:05:12.347 INFO running `"docker" "start" "-a" "054543ca4e869cd96da75b85373d09f637eb34c945b5f3388977b0f8cb7cd851"`
Oct 15 11:05:13.247 INFO kablam! usermod: no changes
Oct 15 11:05:13.303 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.02s
Oct 15 11:05:13.311 INFO kablam!      Running /target/debug/deps/resolution_prover-71e7daa5c1ab2bb3
Oct 15 11:05:13.318 INFO blam! 
Oct 15 11:05:13.318 INFO blam! running 23 tests
Oct 15 11:05:13.318 INFO blam! test clauses::tests::bubble_up_ands_or ... ok
Oct 15 11:05:13.318 INFO blam! test clauses::tests::bubble_up_ands_or_and_left ... ok
Oct 15 11:05:13.318 INFO blam! test clauses::tests::bubble_up_ands_not ... ok
Oct 15 11:05:13.318 INFO blam! test clauses::tests::eliminate_implication_iff ... ok
Oct 15 11:05:13.318 INFO blam! test clauses::tests::bubble_up_ands_or_and_right ... ok
Oct 15 11:05:13.318 INFO blam! test clauses::tests::eliminate_implication_and ... ok
Oct 15 11:05:13.318 INFO blam! test clauses::tests::bubble_up_ands_term ... ok
Oct 15 11:05:13.318 INFO blam! test clauses::tests::eliminate_implication_implies ... ok
Oct 15 11:05:13.318 INFO blam! test clauses::tests::eliminate_implication_not ... ok
Oct 15 11:05:13.318 INFO blam! test clauses::tests::reduce_negation_nested_not_or_or ... ok
Oct 15 11:05:13.318 INFO blam! test clauses::tests::reduce_negation_nested_not_or_double_negation ... ok
Oct 15 11:05:13.318 INFO blam! test clauses::tests::reduce_negation_nested_and_not_and ... ok
Oct 15 11:05:13.318 INFO blam! test clauses::tests::reduce_negation_double_negation ... ok
Oct 15 11:05:13.318 INFO blam! test clauses::tests::eliminate_implication_or ... ok
Oct 15 11:05:13.318 INFO blam! test clauses::tests::reduce_negation_not_or ... ok
Oct 15 11:05:13.318 INFO blam! test clauses::tests::reduce_negation_term ... ok
Oct 15 11:05:13.318 INFO blam! test resolution::tests::resolve_simple_false ... ok
Oct 15 11:05:13.318 INFO blam! test resolution::tests::resolve_simple_true ... ok
Oct 15 11:05:13.318 INFO blam! test resolution::tests::resolve_taut_or_not ... ok
Oct 15 11:05:13.318 INFO blam! test resolution::tests::resolve_trivial_false ... ok
Oct 15 11:05:13.318 INFO blam! test resolution::tests::resolve_trivial_true ... ok
Oct 15 11:05:13.326 INFO blam! test clauses::tests::reduce_negation_nested_or_not_and ... ok
Oct 15 11:05:13.326 INFO blam! test clauses::tests::reduce_negation_not_and ... ok
Oct 15 11:05:13.326 INFO blam! 
Oct 15 11:05:13.326 INFO blam! test result: ok. 23 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 15 11:05:13.326 INFO blam! 
Oct 15 11:05:13.327 INFO kablam!      Running /target/debug/deps/resolution_prover-d2d5659432ab86a1
Oct 15 11:05:13.327 INFO blam! 
Oct 15 11:05:13.327 INFO kablam!    Doc-tests resolution-prover
Oct 15 11:05:13.327 INFO blam! running 0 tests
Oct 15 11:05:13.327 INFO blam! 
Oct 15 11:05:13.328 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 15 11:05:13.328 INFO blam! 
Oct 15 11:05:14.331 INFO blam! 
Oct 15 11:05:14.331 INFO blam! running 13 tests
Oct 15 11:05:19.567 INFO blam! test src/clauses.rs - clauses::ClausePart (line 242) ... ok
Oct 15 11:05:19.705 INFO blam! test src/clauses.rs - clauses::Clause::from_proposition (line 30) ... ok
Oct 15 11:05:19.783 INFO blam! test src/propositions.rs - propositions::Proposition (line 7) ... ok
Oct 15 11:05:20.208 INFO blam! test src/clauses.rs - clauses::Clause (line 8) ... ok
Oct 15 11:05:21.039 INFO blam! test src/propositions.rs - propositions::Proposition::fmt (line 139) ... ok
Oct 15 11:05:21.311 INFO blam! test src/clauses.rs - clauses::ClausePart::negate (line 260) ... ok
Oct 15 11:05:21.332 INFO blam! test src/propositions.rs - propositions::iff (line 90) ... ok
Oct 15 11:05:21.530 INFO blam! test src/propositions.rs - propositions::and (line 50) ... ok
Oct 15 11:05:23.919 INFO blam! test src/propositions.rs - propositions::not (line 109) ... ok
Oct 15 11:05:24.367 INFO blam! test src/propositions.rs - propositions::term (line 124) ... ok
Oct 15 11:05:24.710 INFO blam! test src/propositions.rs - propositions::or (line 30) ... ok
Oct 15 11:05:24.997 INFO blam! test src/propositions.rs - propositions::implies (line 70) ... ok
Oct 15 11:05:25.101 INFO blam! test src/resolution.rs - resolution::resolve (line 15) ... ok
Oct 15 11:05:25.101 INFO blam! 
Oct 15 11:05:25.102 INFO blam! test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 15 11:05:25.102 INFO blam! 
Oct 15 11:05:25.144 INFO kablam! su: No module specific data is present
Oct 15 11:05:25.508 INFO running `"docker" "rm" "-f" "054543ca4e869cd96da75b85373d09f637eb34c945b5f3388977b0f8cb7cd851"`
Oct 15 11:05:25.759 INFO blam! 054543ca4e869cd96da75b85373d09f637eb34c945b5f3388977b0f8cb7cd851