Oct 11 06:49:03.990 INFO testing ExcaliburZero/resolution-prover against master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513 for rustdoc-test-static-cling
Oct 11 06:49:03.990 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt build --frozen
Oct 11 06:49:03.991 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-5/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-5/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,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" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt build --frozen" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"`
Oct 11 06:49:04.559 INFO blam! d6adf9e298b45405f17005d2ff4b11e344cb4c2c8d4a806d4e9d27f4fe201b2e
Oct 11 06:49:04.561 INFO running `"docker" "start" "-a" "d6adf9e298b45405f17005d2ff4b11e344cb4c2c8d4a806d4e9d27f4fe201b2e"`
Oct 11 06:49:05.860 INFO kablam! usermod: no changes
Oct 11 06:49:05.916 INFO kablam!    Compiling multimap v0.4.0
Oct 11 06:49:07.165 INFO kablam!    Compiling resolution-prover v0.1.0 (/source)
Oct 11 06:49:10.975 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 5.08s
Oct 11 06:49:10.978 INFO kablam! su: No module specific data is present
Oct 11 06:49:11.608 INFO running `"docker" "rm" "-f" "d6adf9e298b45405f17005d2ff4b11e344cb4c2c8d4a806d4e9d27f4fe201b2e"`
Oct 11 06:49:11.902 INFO blam! d6adf9e298b45405f17005d2ff4b11e344cb4c2c8d4a806d4e9d27f4fe201b2e
Oct 11 06:49:11.905 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen --no-run
Oct 11 06:49:11.906 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-5/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-5/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,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" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen --no-run" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"`
Oct 11 06:49:12.286 INFO blam! e06f39600e2c28670fd7a166a489cd73ab2b7201e2f6da86baad1e4ea407f277
Oct 11 06:49:12.293 INFO running `"docker" "start" "-a" "e06f39600e2c28670fd7a166a489cd73ab2b7201e2f6da86baad1e4ea407f277"`
Oct 11 06:49:13.304 INFO kablam! usermod: no changes
Oct 11 06:49:13.351 INFO kablam!    Compiling resolution-prover v0.1.0 (/source)
Oct 11 06:49:16.560 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 3.23s
Oct 11 06:49:16.564 INFO kablam! su: No module specific data is present
Oct 11 06:49:17.305 INFO running `"docker" "rm" "-f" "e06f39600e2c28670fd7a166a489cd73ab2b7201e2f6da86baad1e4ea407f277"`
Oct 11 06:49:17.426 INFO blam! e06f39600e2c28670fd7a166a489cd73ab2b7201e2f6da86baad1e4ea407f277
Oct 11 06:49:17.428 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen
Oct 11 06:49:17.428 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-5/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-5/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,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" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"`
Oct 11 06:49:17.644 INFO blam! 00d975b271efb0381365feec5aa87972c8a685fddeeee4d3e467d46da47ea8d4
Oct 11 06:49:17.654 INFO running `"docker" "start" "-a" "00d975b271efb0381365feec5aa87972c8a685fddeeee4d3e467d46da47ea8d4"`
Oct 11 06:49:18.148 INFO kablam! usermod: no changes
Oct 11 06:49:18.199 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.02s
Oct 11 06:49:18.201 INFO kablam!      Running /target/debug/deps/resolution_prover-3ed27ab500e1e0c6
Oct 11 06:49:18.216 INFO kablam!      Running /target/debug/deps/resolution_prover-d5fa249fab0e2a55
Oct 11 06:49:18.217 INFO blam! 
Oct 11 06:49:18.217 INFO blam! running 23 tests
Oct 11 06:49:18.217 INFO blam! test clauses::tests::eliminate_implication_iff ... ok
Oct 11 06:49:18.217 INFO blam! test clauses::tests::eliminate_implication_implies ... ok
Oct 11 06:49:18.217 INFO blam! test clauses::tests::eliminate_implication_and ... ok
Oct 11 06:49:18.217 INFO blam! test clauses::tests::bubble_up_ands_term ... ok
Oct 11 06:49:18.217 INFO blam! test clauses::tests::bubble_up_ands_or_and_right ... ok
Oct 11 06:49:18.217 INFO blam! test clauses::tests::bubble_up_ands_or_and_left ... ok
Oct 11 06:49:18.217 INFO blam! test clauses::tests::bubble_up_ands_or ... ok
Oct 11 06:49:18.217 INFO blam! test clauses::tests::bubble_up_ands_not ... ok
Oct 11 06:49:18.217 INFO blam! test clauses::tests::reduce_negation_double_negation ... ok
Oct 11 06:49:18.217 INFO blam! test clauses::tests::eliminate_implication_or ... ok
Oct 11 06:49:18.217 INFO blam! test clauses::tests::reduce_negation_not_and ... ok
Oct 11 06:49:18.217 INFO blam! test clauses::tests::reduce_negation_nested_and_not_and ... ok
Oct 11 06:49:18.217 INFO blam! test clauses::tests::reduce_negation_nested_not_or_double_negation ... ok
Oct 11 06:49:18.217 INFO blam! test clauses::tests::reduce_negation_nested_not_or_or ... ok
Oct 11 06:49:18.217 INFO blam! test clauses::tests::reduce_negation_nested_or_not_and ... ok
Oct 11 06:49:18.217 INFO blam! test clauses::tests::eliminate_implication_not ... ok
Oct 11 06:49:18.217 INFO blam! test resolution::tests::resolve_simple_false ... ok
Oct 11 06:49:18.217 INFO blam! test clauses::tests::reduce_negation_term ... ok
Oct 11 06:49:18.217 INFO blam! test clauses::tests::reduce_negation_not_or ... ok
Oct 11 06:49:18.217 INFO blam! test resolution::tests::resolve_trivial_true ... ok
Oct 11 06:49:18.217 INFO blam! test resolution::tests::resolve_trivial_false ... ok
Oct 11 06:49:18.217 INFO blam! test resolution::tests::resolve_simple_true ... ok
Oct 11 06:49:18.217 INFO blam! test resolution::tests::resolve_taut_or_not ... ok
Oct 11 06:49:18.217 INFO blam! 
Oct 11 06:49:18.217 INFO blam! test result: ok. 23 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 11 06:49:18.217 INFO blam! 
Oct 11 06:49:18.221 INFO blam! 
Oct 11 06:49:18.222 INFO blam! running 0 tests
Oct 11 06:49:18.222 INFO blam! 
Oct 11 06:49:18.222 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 11 06:49:18.222 INFO blam! 
Oct 11 06:49:18.222 INFO kablam!    Doc-tests resolution-prover
Oct 11 06:49:19.632 INFO blam! 
Oct 11 06:49:19.632 INFO blam! running 13 tests
Oct 11 06:49:24.601 INFO blam! test src/clauses.rs - clauses::Clause::from_proposition (line 30) ... ok
Oct 11 06:49:25.072 INFO blam! test src/propositions.rs - propositions::Proposition (line 7) ... ok
Oct 11 06:49:25.237 INFO blam! test src/propositions.rs - propositions::Proposition::fmt (line 139) ... ok
Oct 11 06:49:25.584 INFO blam! test src/clauses.rs - clauses::ClausePart (line 242) ... ok
Oct 11 06:49:25.732 INFO blam! test src/propositions.rs - propositions::iff (line 90) ... ok
Oct 11 06:49:26.060 INFO blam! test src/clauses.rs - clauses::ClausePart::negate (line 260) ... ok
Oct 11 06:49:26.592 INFO blam! test src/propositions.rs - propositions::and (line 50) ... ok
Oct 11 06:49:27.149 INFO blam! test src/clauses.rs - clauses::Clause (line 8) ... ok
Oct 11 06:49:28.824 INFO blam! test src/propositions.rs - propositions::not (line 109) ... ok
Oct 11 06:49:29.224 INFO blam! test src/propositions.rs - propositions::term (line 124) ... ok
Oct 11 06:49:29.225 INFO blam! test src/resolution.rs - resolution::resolve (line 15) ... ok
Oct 11 06:49:29.286 INFO blam! test src/propositions.rs - propositions::implies (line 70) ... ok
Oct 11 06:49:29.292 INFO blam! test src/propositions.rs - propositions::or (line 30) ... ok
Oct 11 06:49:29.293 INFO blam! 
Oct 11 06:49:29.293 INFO blam! test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 11 06:49:29.293 INFO blam! 
Oct 11 06:49:29.303 INFO kablam! su: No module specific data is present
Oct 11 06:49:29.704 INFO running `"docker" "rm" "-f" "00d975b271efb0381365feec5aa87972c8a685fddeeee4d3e467d46da47ea8d4"`
Oct 11 06:49:29.827 INFO blam! 00d975b271efb0381365feec5aa87972c8a685fddeeee4d3e467d46da47ea8d4