Oct 15 11:04:59.989 INFO testing ExcaliburZero/resolution-prover against master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513 for rustdoc-test-static-cling-1
Oct 15 11:04:59.989 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-4/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-4/rustdoc-test-static-cling-1/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/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 +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-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.537 INFO blam! caac682543df757d716991a60c9393371c6895bb8f4b20bd8918e6a244e9dd20
Oct 15 11:05:00.547 INFO running `"docker" "start" "-a" "caac682543df757d716991a60c9393371c6895bb8f4b20bd8918e6a244e9dd20"`
Oct 15 11:05:01.431 INFO kablam! usermod: no changes
Oct 15 11:05:01.515 INFO kablam!    Compiling multimap v0.4.0
Oct 15 11:05:02.359 INFO kablam!    Compiling resolution-prover v0.1.0 (/source)
Oct 15 11:05:04.957 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 3.50s
Oct 15 11:05:04.959 INFO kablam! su: No module specific data is present
Oct 15 11:05:05.661 INFO running `"docker" "rm" "-f" "caac682543df757d716991a60c9393371c6895bb8f4b20bd8918e6a244e9dd20"`
Oct 15 11:05:05.985 INFO blam! caac682543df757d716991a60c9393371c6895bb8f4b20bd8918e6a244e9dd20
Oct 15 11:05:05.991 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-4/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-4/rustdoc-test-static-cling-1/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/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 +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-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.452 INFO blam! d907d9d8c45a7316a22b1c2c362009ce9a63a823746b76b514c66b4d04473403
Oct 15 11:05:06.458 INFO running `"docker" "start" "-a" "d907d9d8c45a7316a22b1c2c362009ce9a63a823746b76b514c66b4d04473403"`
Oct 15 11:05:07.678 INFO kablam! usermod: no changes
Oct 15 11:05:07.811 INFO kablam!    Compiling resolution-prover v0.1.0 (/source)
Oct 15 11:05:11.736 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 4.01s
Oct 15 11:05:11.751 INFO kablam! su: No module specific data is present
Oct 15 11:05:12.199 INFO running `"docker" "rm" "-f" "d907d9d8c45a7316a22b1c2c362009ce9a63a823746b76b514c66b4d04473403"`
Oct 15 11:05:12.381 INFO blam! d907d9d8c45a7316a22b1c2c362009ce9a63a823746b76b514c66b4d04473403
Oct 15 11:05:12.392 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-4/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-4/rustdoc-test-static-cling-1/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/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 +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-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.731 INFO blam! 8ea471ad8abd1aedae1300545f2bcddade5fac9cf5bbe10d393d51fa1f8399af
Oct 15 11:05:12.743 INFO running `"docker" "start" "-a" "8ea471ad8abd1aedae1300545f2bcddade5fac9cf5bbe10d393d51fa1f8399af"`
Oct 15 11:05:14.107 INFO kablam! usermod: no changes
Oct 15 11:05:14.179 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.04s
Oct 15 11:05:14.186 INFO kablam!      Running /target/debug/deps/resolution_prover-3ed27ab500e1e0c6
Oct 15 11:05:14.191 INFO blam! 
Oct 15 11:05:14.191 INFO blam! running 23 tests
Oct 15 11:05:14.191 INFO blam! test clauses::tests::eliminate_implication_implies ... ok
Oct 15 11:05:14.191 INFO blam! test clauses::tests::eliminate_implication_iff ... ok
Oct 15 11:05:14.191 INFO blam! test clauses::tests::eliminate_implication_and ... ok
Oct 15 11:05:14.191 INFO blam! test clauses::tests::bubble_up_ands_term ... ok
Oct 15 11:05:14.191 INFO blam! test clauses::tests::bubble_up_ands_or_and_right ... ok
Oct 15 11:05:14.191 INFO blam! test clauses::tests::eliminate_implication_not ... ok
Oct 15 11:05:14.191 INFO blam! test clauses::tests::bubble_up_ands_or_and_left ... ok
Oct 15 11:05:14.191 INFO blam! test clauses::tests::eliminate_implication_or ... ok
Oct 15 11:05:14.191 INFO blam! test clauses::tests::reduce_negation_double_negation ... ok
Oct 15 11:05:14.191 INFO blam! test clauses::tests::bubble_up_ands_not ... ok
Oct 15 11:05:14.191 INFO blam! test clauses::tests::reduce_negation_nested_and_not_and ... ok
Oct 15 11:05:14.191 INFO blam! test clauses::tests::reduce_negation_nested_not_or_double_negation ... ok
Oct 15 11:05:14.191 INFO blam! test clauses::tests::reduce_negation_nested_not_or_or ... ok
Oct 15 11:05:14.191 INFO blam! test clauses::tests::reduce_negation_nested_or_not_and ... ok
Oct 15 11:05:14.191 INFO blam! test clauses::tests::reduce_negation_not_and ... ok
Oct 15 11:05:14.191 INFO blam! test clauses::tests::reduce_negation_not_or ... ok
Oct 15 11:05:14.191 INFO blam! test clauses::tests::reduce_negation_term ... ok
Oct 15 11:05:14.191 INFO blam! test resolution::tests::resolve_simple_false ... ok
Oct 15 11:05:14.191 INFO blam! test resolution::tests::resolve_simple_true ... ok
Oct 15 11:05:14.199 INFO blam! test resolution::tests::resolve_taut_or_not ... ok
Oct 15 11:05:14.199 INFO kablam!      Running /target/debug/deps/resolution_prover-d5fa249fab0e2a55
Oct 15 11:05:14.199 INFO blam! test resolution::tests::resolve_trivial_false ... ok
Oct 15 11:05:14.199 INFO kablam!    Doc-tests resolution-prover
Oct 15 11:05:14.199 INFO blam! test clauses::tests::bubble_up_ands_or ... ok
Oct 15 11:05:14.199 INFO blam! test resolution::tests::resolve_trivial_true ... ok
Oct 15 11:05:14.199 INFO blam! 
Oct 15 11:05:14.199 INFO blam! test result: ok. 23 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 15 11:05:14.199 INFO blam! 
Oct 15 11:05:14.199 INFO blam! 
Oct 15 11:05:14.199 INFO blam! running 0 tests
Oct 15 11:05:14.199 INFO blam! 
Oct 15 11:05:14.199 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 15 11:05:14.199 INFO blam! 
Oct 15 11:05:14.997 INFO blam! 
Oct 15 11:05:14.997 INFO blam! running 13 tests
Oct 15 11:05:20.231 INFO blam! test src/propositions.rs - propositions::Proposition (line 7) ... ok
Oct 15 11:05:20.231 INFO blam! test src/propositions.rs - propositions::Proposition::fmt (line 139) ... ok
Oct 15 11:05:20.352 INFO blam! test src/clauses.rs - clauses::Clause::from_proposition (line 30) ... ok
Oct 15 11:05:21.500 INFO blam! test src/propositions.rs - propositions::and (line 50) ... ok
Oct 15 11:05:21.567 INFO blam! test src/clauses.rs - clauses::ClausePart::negate (line 260) ... ok
Oct 15 11:05:21.631 INFO blam! test src/clauses.rs - clauses::ClausePart (line 242) ... ok
Oct 15 11:05:21.654 INFO blam! test src/propositions.rs - propositions::iff (line 90) ... ok
Oct 15 11:05:21.671 INFO blam! test src/clauses.rs - clauses::Clause (line 8) ... ok
Oct 15 11:05:23.851 INFO blam! test src/propositions.rs - propositions::not (line 109) ... ok
Oct 15 11:05:24.483 INFO blam! test src/propositions.rs - propositions::or (line 30) ... ok
Oct 15 11:05:24.973 INFO blam! test src/propositions.rs - propositions::term (line 124) ... ok
Oct 15 11:05:25.055 INFO blam! test src/propositions.rs - propositions::implies (line 70) ... ok
Oct 15 11:05:25.227 INFO blam! test src/resolution.rs - resolution::resolve (line 15) ... ok
Oct 15 11:05:25.227 INFO blam! 
Oct 15 11:05:25.228 INFO blam! test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 15 11:05:25.228 INFO blam! 
Oct 15 11:05:25.232 INFO kablam! su: No module specific data is present
Oct 15 11:05:25.687 INFO running `"docker" "rm" "-f" "8ea471ad8abd1aedae1300545f2bcddade5fac9cf5bbe10d393d51fa1f8399af"`
Oct 15 11:05:25.937 INFO blam! 8ea471ad8abd1aedae1300545f2bcddade5fac9cf5bbe10d393d51fa1f8399af