Oct 12 01:48:25.148 INFO testing debug_sat-0.4.0 against try#40d4795669493f1965de7c44029c69552134fe1f for rustdoc-test-static-cling
Oct 12 01:48:25.148 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-1/try#40d4795669493f1965de7c44029c69552134fe1f:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-1/rustdoc-test-static-cling/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 12 01:48:25.432 INFO blam! ae7d6ec38e8ce6d3799c6c534bb5f3e696314936da5308fc08cdc2f22be93cad
Oct 12 01:48:25.440 INFO running `"docker" "start" "-a" "ae7d6ec38e8ce6d3799c6c534bb5f3e696314936da5308fc08cdc2f22be93cad"`
Oct 12 01:48:26.008 INFO kablam! usermod: no changes
Oct 12 01:48:26.035 INFO kablam!    Compiling debug_sat v0.4.0 (/source)
Oct 12 01:48:26.978 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.95s
Oct 12 01:48:26.981 INFO kablam! su: No module specific data is present
Oct 12 01:48:27.385 INFO running `"docker" "rm" "-f" "ae7d6ec38e8ce6d3799c6c534bb5f3e696314936da5308fc08cdc2f22be93cad"`
Oct 12 01:48:27.644 INFO blam! ae7d6ec38e8ce6d3799c6c534bb5f3e696314936da5308fc08cdc2f22be93cad
Oct 12 01:48:27.646 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-1/try#40d4795669493f1965de7c44029c69552134fe1f:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-1/rustdoc-test-static-cling/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 12 01:48:28.049 INFO blam! 37e11cf4f8b69f9eefd1e27930f9edfad3cb3df729b1479d249cbd6f432c3da8
Oct 12 01:48:28.051 INFO running `"docker" "start" "-a" "37e11cf4f8b69f9eefd1e27930f9edfad3cb3df729b1479d249cbd6f432c3da8"`
Oct 12 01:48:28.548 INFO kablam! usermod: no changes
Oct 12 01:48:28.579 INFO kablam!    Compiling debug_sat v0.4.0 (/source)
Oct 12 01:48:30.772 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 2.20s
Oct 12 01:48:30.774 INFO kablam! su: No module specific data is present
Oct 12 01:48:31.304 INFO running `"docker" "rm" "-f" "37e11cf4f8b69f9eefd1e27930f9edfad3cb3df729b1479d249cbd6f432c3da8"`
Oct 12 01:48:31.558 INFO blam! 37e11cf4f8b69f9eefd1e27930f9edfad3cb3df729b1479d249cbd6f432c3da8
Oct 12 01:48:31.573 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-1/try#40d4795669493f1965de7c44029c69552134fe1f:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-1/rustdoc-test-static-cling/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 12 01:48:31.979 INFO blam! c7308cd578b520c22806436ce82ec145c83ad918c09a8e5a2a5d907843aa02ae
Oct 12 01:48:31.983 INFO running `"docker" "start" "-a" "c7308cd578b520c22806436ce82ec145c83ad918c09a8e5a2a5d907843aa02ae"`
Oct 12 01:48:32.794 INFO kablam! usermod: no changes
Oct 12 01:48:32.824 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.01s
Oct 12 01:48:32.828 INFO kablam!      Running /target/debug/deps/debug_sat-3b4c380c512ef47a
Oct 12 01:48:32.832 INFO blam! 
Oct 12 01:48:32.833 INFO blam! running 47 tests
Oct 12 01:48:32.837 INFO blam! test tests::eq_imply ... ok
Oct 12 01:48:32.838 INFO blam! test tests::and_commutative ... ok
Oct 12 01:48:32.839 INFO blam! test tests::and_true ... ok
Oct 12 01:48:32.839 INFO blam! test tests::eq_or ... ok
Oct 12 01:48:32.840 INFO blam! test tests::false_and ... ok
Oct 12 01:48:32.842 INFO blam! test tests::eq_true ... ok
Oct 12 01:48:32.851 INFO blam! test tests::false_eq ... ok
Oct 12 01:48:32.860 INFO blam! test tests::eq_commutative ... ok
Oct 12 01:48:32.860 INFO blam! test tests::eq_and ... ok
Oct 12 01:48:32.860 INFO blam! test tests::false_imply ... ok
Oct 12 01:48:32.860 INFO blam! test tests::invert ... ok
Oct 12 01:48:32.860 INFO blam! test tests::neq_and ... ok
Oct 12 01:48:32.860 INFO blam! test tests::neq_or ... ok
Oct 12 01:48:32.860 INFO blam! test tests::path_and_not ... ok
Oct 12 01:48:32.860 INFO blam! test tests::or_commutative ... ok
Oct 12 01:48:32.860 INFO blam! test tests::or_false ... ok
Oct 12 01:48:32.868 INFO blam! test tests::paradox ... ok
Oct 12 01:48:32.872 INFO blam! test tests::path_not_and ... ok
Oct 12 01:48:32.872 INFO blam! test tests::neq_imply ... ok
Oct 12 01:48:32.872 INFO blam! test tests::path_or_not ... ok
Oct 12 01:48:32.872 INFO blam! test tests::path_not_or ... ok
Oct 12 01:48:32.872 INFO blam! test tests::path_not_not ... ok
Oct 12 01:48:32.872 INFO blam! test tests::proof_14 ... ok
Oct 12 01:48:32.873 INFO blam! test tests::proof_1 ... ok
Oct 12 01:48:32.883 INFO blam! test tests::proof_15 ... ok
Oct 12 01:48:32.883 INFO blam! test tests::proof_10 ... ok
Oct 12 01:48:32.883 INFO blam! test tests::proof_11 ... ok
Oct 12 01:48:32.883 INFO blam! test tests::proof_12 ... ok
Oct 12 01:48:32.884 INFO blam! test tests::proof_16 ... ok
Oct 12 01:48:32.884 INFO blam! test tests::proof_13 ... ok
Oct 12 01:48:32.884 INFO blam! test tests::proof_17 ... ok
Oct 12 01:48:32.885 INFO blam! test tests::proof_18 ... ok
Oct 12 01:48:32.885 INFO blam! test tests::proof_2 ... ok
Oct 12 01:48:32.889 INFO blam! test tests::proof_3 ... ok
Oct 12 01:48:32.889 INFO blam! test tests::proof_6 ... ok
Oct 12 01:48:32.889 INFO blam! test tests::proof_5 ... ok
Oct 12 01:48:32.889 INFO blam! test tests::proof_4 ... ok
Oct 12 01:48:32.889 INFO blam! test tests::proof_8 ... ok
Oct 12 01:48:32.889 INFO blam! test tests::proof_7 ... ok
Oct 12 01:48:32.889 INFO blam! test tests::propagate_equality ... ok
Oct 12 01:48:32.889 INFO blam! test tests::propagate_inequality ... ok
Oct 12 01:48:32.890 INFO blam! test tests::proof_9 ... ok
Oct 12 01:48:32.892 INFO blam! test tests::true_eq ... ok
Oct 12 01:48:32.905 INFO blam! test tests::true_or ... ok
Oct 12 01:48:32.905 INFO blam! test tests::true_imply ... ok
Oct 12 01:48:33.381 INFO blam! test tests::bench_propagate_equality ... ok
Oct 12 01:48:34.364 INFO blam! test tests::bench_propagate_inequality ... ok
Oct 12 01:48:34.364 INFO kablam!    Doc-tests debug_sat
Oct 12 01:48:34.364 INFO blam! 
Oct 12 01:48:34.364 INFO blam! test result: ok. 47 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 12 01:48:34.364 INFO blam! 
Oct 12 01:48:34.560 INFO blam! 
Oct 12 01:48:34.560 INFO blam! running 3 tests
Oct 12 01:48:35.491 INFO blam! test src/lib.rs -  (line 55) ... ok
Oct 12 01:48:35.496 INFO blam! test src/lib.rs -  (line 26) ... ok
Oct 12 01:48:35.572 INFO blam! test src/lib.rs -  (line 69) ... ok
Oct 12 01:48:35.572 INFO blam! 
Oct 12 01:48:35.573 INFO blam! test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 12 01:48:35.573 INFO blam! 
Oct 12 01:48:35.584 INFO kablam! su: No module specific data is present
Oct 12 01:48:36.044 INFO running `"docker" "rm" "-f" "c7308cd578b520c22806436ce82ec145c83ad918c09a8e5a2a5d907843aa02ae"`
Oct 12 01:48:36.299 INFO blam! c7308cd578b520c22806436ce82ec145c83ad918c09a8e5a2a5d907843aa02ae