Nov 01 21:24:40.743 INFO testing ExcaliburZero/resolution-prover against 1.30.0 for beta-1.31-1
Nov 01 21:24:40.744 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-3/1.30.0:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-3/beta-1.31-1/1.30.0:/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 +1.30.0 build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 01 21:24:41.478 INFO blam! ad708e8a4e1bc633d4b375a3108f83e034f67c1e8bbcabbc89c9e6bd09ba83ba
Nov 01 21:24:41.487 INFO running `"docker" "start" "-a" "ad708e8a4e1bc633d4b375a3108f83e034f67c1e8bbcabbc89c9e6bd09ba83ba"`
Nov 01 21:24:43.274 INFO kablam! usermod: no changes
Nov 01 21:24:43.391 INFO kablam!    Compiling multimap v0.4.0
Nov 01 21:24:44.379 INFO kablam!    Compiling resolution-prover v0.1.0 (/source)
Nov 01 21:24:47.223 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 3.92s
Nov 01 21:24:47.225 INFO kablam! su: No module specific data is present
Nov 01 21:24:48.027 INFO running `"docker" "rm" "-f" "ad708e8a4e1bc633d4b375a3108f83e034f67c1e8bbcabbc89c9e6bd09ba83ba"`
Nov 01 21:24:48.307 INFO blam! ad708e8a4e1bc633d4b375a3108f83e034f67c1e8bbcabbc89c9e6bd09ba83ba
Nov 01 21:24:48.311 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-3/1.30.0:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-3/beta-1.31-1/1.30.0:/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 +1.30.0 test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 01 21:24:48.719 INFO blam! 0328f8b8ed574b5fd15a991090f5bbb62144e434ed39af70ac6b3f51938336c1
Nov 01 21:24:48.719 INFO running `"docker" "start" "-a" "0328f8b8ed574b5fd15a991090f5bbb62144e434ed39af70ac6b3f51938336c1"`
Nov 01 21:24:50.502 INFO kablam! usermod: no changes
Nov 01 21:24:50.558 INFO kablam!    Compiling resolution-prover v0.1.0 (/source)
Nov 01 21:24:52.740 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 2.21s
Nov 01 21:24:52.746 INFO kablam! su: No module specific data is present
Nov 01 21:24:53.478 INFO running `"docker" "rm" "-f" "0328f8b8ed574b5fd15a991090f5bbb62144e434ed39af70ac6b3f51938336c1"`
Nov 01 21:24:53.731 INFO blam! 0328f8b8ed574b5fd15a991090f5bbb62144e434ed39af70ac6b3f51938336c1
Nov 01 21:24:53.743 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-3/1.30.0:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-3/beta-1.31-1/1.30.0:/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 +1.30.0 test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 01 21:24:54.067 INFO blam! 231bdaae602412e14b8636c82b38858231109a96aab3eb8f6ecf91fb0e277d1b
Nov 01 21:24:54.075 INFO running `"docker" "start" "-a" "231bdaae602412e14b8636c82b38858231109a96aab3eb8f6ecf91fb0e277d1b"`
Nov 01 21:24:54.955 INFO kablam! usermod: no changes
Nov 01 21:24:55.027 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.04s
Nov 01 21:24:55.042 INFO kablam!      Running /target/debug/deps/resolution_prover-f8957c8a197d7d58
Nov 01 21:24:55.075 INFO kablam!      Running /target/debug/deps/resolution_prover-5340f8b22baceaad
Nov 01 21:24:55.075 INFO blam! 
Nov 01 21:24:55.075 INFO blam! running 23 tests
Nov 01 21:24:55.075 INFO blam! test clauses::tests::bubble_up_ands_or_and_left ... ok
Nov 01 21:24:55.075 INFO blam! test clauses::tests::bubble_up_ands_or ... ok
Nov 01 21:24:55.075 INFO blam! test clauses::tests::bubble_up_ands_not ... ok
Nov 01 21:24:55.075 INFO blam! test clauses::tests::eliminate_implication_not ... ok
Nov 01 21:24:55.075 INFO blam! test clauses::tests::eliminate_implication_or ... ok
Nov 01 21:24:55.075 INFO blam! test clauses::tests::reduce_negation_double_negation ... ok
Nov 01 21:24:55.075 INFO blam! test clauses::tests::eliminate_implication_iff ... ok
Nov 01 21:24:55.075 INFO blam! test clauses::tests::eliminate_implication_implies ... ok
Nov 01 21:24:55.075 INFO kablam!    Doc-tests resolution-prover
Nov 01 21:24:55.075 INFO blam! test clauses::tests::reduce_negation_nested_and_not_and ... ok
Nov 01 21:24:55.075 INFO blam! test clauses::tests::reduce_negation_nested_not_or_double_negation ... ok
Nov 01 21:24:55.075 INFO blam! test clauses::tests::eliminate_implication_and ... ok
Nov 01 21:24:55.075 INFO blam! test clauses::tests::reduce_negation_nested_not_or_or ... ok
Nov 01 21:24:55.075 INFO blam! test clauses::tests::reduce_negation_nested_or_not_and ... ok
Nov 01 21:24:55.075 INFO blam! test clauses::tests::reduce_negation_not_and ... ok
Nov 01 21:24:55.075 INFO blam! test clauses::tests::reduce_negation_term ... ok
Nov 01 21:24:55.075 INFO blam! test resolution::tests::resolve_simple_false ... ok
Nov 01 21:24:55.075 INFO blam! test clauses::tests::reduce_negation_not_or ... ok
Nov 01 21:24:55.075 INFO blam! test resolution::tests::resolve_simple_true ... ok
Nov 01 21:24:55.075 INFO blam! test resolution::tests::resolve_taut_or_not ... ok
Nov 01 21:24:55.075 INFO blam! test resolution::tests::resolve_trivial_false ... ok
Nov 01 21:24:55.075 INFO blam! test resolution::tests::resolve_trivial_true ... ok
Nov 01 21:24:55.075 INFO blam! test clauses::tests::bubble_up_ands_or_and_right ... ok
Nov 01 21:24:55.075 INFO blam! test clauses::tests::bubble_up_ands_term ... ok
Nov 01 21:24:55.075 INFO blam! 
Nov 01 21:24:55.075 INFO blam! test result: ok. 23 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 01 21:24:55.075 INFO blam! 
Nov 01 21:24:55.075 INFO blam! 
Nov 01 21:24:55.075 INFO blam! running 0 tests
Nov 01 21:24:55.075 INFO blam! 
Nov 01 21:24:55.075 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 01 21:24:55.075 INFO blam! 
Nov 01 21:24:55.979 INFO blam! 
Nov 01 21:24:55.979 INFO blam! running 13 tests
Nov 01 21:24:59.561 INFO blam! test src/clauses.rs - clauses::Clause (line 8) ... ok
Nov 01 21:25:00.099 INFO blam! test src/propositions.rs - propositions::iff (line 90) ... ok
Nov 01 21:25:00.131 INFO blam! test src/clauses.rs - clauses::ClausePart (line 242) ... ok
Nov 01 21:25:00.540 INFO blam! test src/propositions.rs - propositions::Proposition (line 7) ... ok
Nov 01 21:25:00.681 INFO blam! test src/clauses.rs - clauses::ClausePart::negate (line 260) ... ok
Nov 01 21:25:01.213 INFO blam! test src/propositions.rs - propositions::and (line 50) ... ok
Nov 01 21:25:01.243 INFO blam! test src/clauses.rs - clauses::Clause::from_proposition (line 30) ... ok
Nov 01 21:25:02.123 INFO blam! test src/propositions.rs - propositions::Proposition::fmt (line 139) ... ok
Nov 01 21:25:03.342 INFO blam! test src/propositions.rs - propositions::implies (line 70) ... ok
Nov 01 21:25:03.715 INFO blam! test src/resolution.rs - resolution::resolve (line 15) ... ok
Nov 01 21:25:03.727 INFO blam! test src/propositions.rs - propositions::term (line 124) ... ok
Nov 01 21:25:03.807 INFO blam! test src/propositions.rs - propositions::or (line 30) ... ok
Nov 01 21:25:03.978 INFO blam! test src/propositions.rs - propositions::not (line 109) ... ok
Nov 01 21:25:03.978 INFO blam! 
Nov 01 21:25:03.979 INFO blam! test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 01 21:25:03.979 INFO blam! 
Nov 01 21:25:03.983 INFO kablam! su: No module specific data is present
Nov 01 21:25:04.784 INFO running `"docker" "rm" "-f" "231bdaae602412e14b8636c82b38858231109a96aab3eb8f6ecf91fb0e277d1b"`
Nov 01 21:25:05.050 INFO blam! 231bdaae602412e14b8636c82b38858231109a96aab3eb8f6ecf91fb0e277d1b
