Oct 14 23:40:41.770 INFO testing danielschemmel/drsat against try#40d4795669493f1965de7c44029c69552134fe1f for rustdoc-test-static-cling-1 Oct 14 23:40:41.770 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-3/try#40d4795669493f1965de7c44029c69552134fe1f:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-3/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 14 23:40:42.219 INFO blam! 94cd3cd2b69b51a25f526b1b236ec37c25beecca13b6d49d0f2a30d52b2a7a31 Oct 14 23:40:42.221 INFO running `"docker" "start" "-a" "94cd3cd2b69b51a25f526b1b236ec37c25beecca13b6d49d0f2a30d52b2a7a31"` Oct 14 23:40:44.083 INFO kablam! usermod: no changes Oct 14 23:40:44.278 INFO kablam! Compiling rustc-demangle v0.1.9 Oct 14 23:40:44.278 INFO kablam! Compiling openssl-probe v0.1.2 Oct 14 23:40:44.291 INFO kablam! Compiling cmake v0.1.33 Oct 14 23:40:44.291 INFO kablam! Compiling backtrace-sys v0.1.24 Oct 14 23:40:44.291 INFO kablam! Compiling bzip2-sys v0.1.6 Oct 14 23:40:44.291 INFO kablam! Compiling miniz-sys v0.1.10 Oct 14 23:40:44.291 INFO kablam! Compiling openssl-sys v0.9.35 Oct 14 23:40:44.291 INFO kablam! Compiling libz-sys v1.0.20 Oct 14 23:40:48.127 INFO kablam! Compiling curl-sys v0.4.8 Oct 14 23:40:48.791 INFO kablam! Compiling filetime v0.2.1 Oct 14 23:40:48.819 INFO kablam! Compiling libssh2-sys v0.2.10 Oct 14 23:40:49.094 INFO kablam! Compiling libgit2-sys v0.7.7 Oct 14 23:40:49.155 INFO kablam! Compiling clap v2.32.0 Oct 14 23:40:54.126 INFO kablam! Compiling lzma-sys v0.1.10 Oct 14 23:40:57.319 INFO kablam! Compiling backtrace v0.3.9 Oct 14 23:40:59.980 INFO kablam! Compiling bzip2 v0.3.3 Oct 14 23:41:00.255 INFO kablam! Compiling flate2 v1.0.2 Oct 14 23:41:04.247 INFO kablam! Compiling error-chain v0.12.0 Oct 14 23:41:06.651 INFO kablam! Compiling xz2 v0.1.5 Oct 14 23:41:52.511 INFO kablam! Compiling git2 v0.7.5 Oct 14 23:42:00.338 INFO kablam! Compiling drsat v0.1.0 (/source) Oct 14 23:42:04.471 INFO kablam! warning: variable does not need to be mutable Oct 14 23:42:04.471 INFO kablam! --> src/cnf/problem/precompute.rs:6:19 Oct 14 23:42:04.471 INFO kablam! | Oct 14 23:42:04.471 INFO kablam! 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { Oct 14 23:42:04.471 INFO kablam! | ----^^^^^^^^^ Oct 14 23:42:04.471 INFO kablam! | | Oct 14 23:42:04.471 INFO kablam! | help: remove this `mut` Oct 14 23:42:04.471 INFO kablam! | Oct 14 23:42:04.471 INFO kablam! = note: #[warn(unused_mut)] on by default Oct 14 23:42:04.471 INFO kablam! Oct 14 23:42:04.471 INFO kablam! warning: variable does not need to be mutable Oct 14 23:42:04.471 INFO kablam! --> src/cnf/problem/precompute.rs:6:73 Oct 14 23:42:04.471 INFO kablam! | Oct 14 23:42:04.471 INFO kablam! 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { Oct 14 23:42:04.471 INFO kablam! | ----^^^^^^^ Oct 14 23:42:04.471 INFO kablam! | | Oct 14 23:42:04.471 INFO kablam! | help: remove this `mut` Oct 14 23:42:04.471 INFO kablam! Oct 14 23:42:14.429 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 1m 30s Oct 14 23:42:14.443 INFO kablam! su: No module specific data is present Oct 14 23:42:14.897 INFO running `"docker" "rm" "-f" "94cd3cd2b69b51a25f526b1b236ec37c25beecca13b6d49d0f2a30d52b2a7a31"` Oct 14 23:42:15.075 INFO blam! 94cd3cd2b69b51a25f526b1b236ec37c25beecca13b6d49d0f2a30d52b2a7a31 Oct 14 23:42:15.082 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-3/try#40d4795669493f1965de7c44029c69552134fe1f:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-3/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 14 23:42:15.570 INFO blam! 84ef033413adeae0babb4afe792fed3dda64b4d92e51f21b6001a195f08820be Oct 14 23:42:15.583 INFO running `"docker" "start" "-a" "84ef033413adeae0babb4afe792fed3dda64b4d92e51f21b6001a195f08820be"` Oct 14 23:42:16.673 INFO kablam! usermod: no changes Oct 14 23:42:16.831 INFO kablam! Compiling drsat v0.1.0 (/source) Oct 14 23:42:22.887 INFO kablam! warning: variable does not need to be mutable Oct 14 23:42:22.887 INFO kablam! --> src/cnf/problem/precompute.rs:6:19 Oct 14 23:42:22.887 INFO kablam! | Oct 14 23:42:22.887 INFO kablam! 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { Oct 14 23:42:22.887 INFO kablam! | ----^^^^^^^^^ Oct 14 23:42:22.887 INFO kablam! | | Oct 14 23:42:22.887 INFO kablam! | help: remove this `mut` Oct 14 23:42:22.887 INFO kablam! | Oct 14 23:42:22.887 INFO kablam! = note: #[warn(unused_mut)] on by default Oct 14 23:42:22.887 INFO kablam! Oct 14 23:42:22.887 INFO kablam! warning: variable does not need to be mutable Oct 14 23:42:22.887 INFO kablam! --> src/cnf/problem/precompute.rs:6:73 Oct 14 23:42:22.887 INFO kablam! | Oct 14 23:42:22.887 INFO kablam! 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { Oct 14 23:42:22.887 INFO kablam! | ----^^^^^^^ Oct 14 23:42:22.887 INFO kablam! | | Oct 14 23:42:22.887 INFO kablam! | help: remove this `mut` Oct 14 23:42:22.887 INFO kablam! Oct 14 23:42:26.959 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 10.26s Oct 14 23:42:26.975 INFO kablam! su: No module specific data is present Oct 14 23:42:27.940 INFO running `"docker" "rm" "-f" "84ef033413adeae0babb4afe792fed3dda64b4d92e51f21b6001a195f08820be"` Oct 14 23:42:28.271 INFO blam! 84ef033413adeae0babb4afe792fed3dda64b4d92e51f21b6001a195f08820be Oct 14 23:42:28.279 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-3/try#40d4795669493f1965de7c44029c69552134fe1f:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-3/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 14 23:42:28.765 INFO blam! 142bab17052d8dd1149170db9d8b69544206fea27e185c81162e32231548bb08 Oct 14 23:42:28.768 INFO running `"docker" "start" "-a" "142bab17052d8dd1149170db9d8b69544206fea27e185c81162e32231548bb08"` Oct 14 23:42:30.262 INFO kablam! usermod: no changes Oct 14 23:42:30.455 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 0.16s Oct 14 23:42:30.470 INFO kablam! Running /target/debug/deps/libdrsat-d0d38e2d5d2c9dc0 Oct 14 23:42:30.479 INFO blam! Oct 14 23:42:30.479 INFO blam! running 43 tests Oct 14 23:42:30.483 INFO blam! test cnf::literal::tests::literal_order1 ... ok Oct 14 23:42:30.483 INFO blam! test cnf::literal::tests::literal_order2 ... ok Oct 14 23:42:30.483 INFO blam! test cnf::literal::tests::literal_test2 ... ok Oct 14 23:42:30.483 INFO blam! test cnf::literal::tests::literal_test1 ... ok Oct 14 23:42:30.488 INFO blam! test cnf::tests::sat1 ... ok Oct 14 23:42:30.488 INFO blam! test cnf::tests::sat3 ... ok Oct 14 23:42:30.491 INFO blam! test cnf::tests::sat2 ... ok Oct 14 23:42:30.491 INFO blam! test cnf::tests::unsat2 ... ok Oct 14 23:42:30.491 INFO blam! test sudoku::tests::invalid1_deduced ... ok Oct 14 23:42:30.499 INFO blam! test cnf::tests::sat4 ... ok Oct 14 23:42:30.499 INFO blam! test cnf::tests::unsat1 ... ok Oct 14 23:42:30.511 INFO blam! test sudoku::tests::invalid1 ... ok Oct 14 23:42:30.511 INFO blam! test sudoku::tests::invalid2_deduced ... ok Oct 14 23:42:30.511 INFO blam! test sudoku::tests::simple1 ... ok Oct 14 23:42:30.511 INFO blam! test sudoku::tests::invalid3_deduced ... ok Oct 14 23:42:30.527 INFO blam! test sudoku::tests::simple3 ... ok Oct 14 23:42:30.527 INFO blam! test sudoku::tests::simple2 ... ok Oct 14 23:42:30.527 INFO blam! test util::stopwatch::tests::test_format_duration_10 ... ok Oct 14 23:42:30.527 INFO blam! test sudoku::tests::simple4_deduced ... ok Oct 14 23:42:30.527 INFO blam! test util::stopwatch::tests::test_format_duration_1 ... ok Oct 14 23:42:30.527 INFO blam! test sudoku::tests::simple4 ... ok Oct 14 23:42:30.539 INFO blam! test util::stopwatch::tests::test_format_duration_11 ... ok Oct 14 23:42:30.539 INFO blam! test util::stopwatch::tests::test_format_duration_12 ... ok Oct 14 23:42:30.539 INFO blam! test util::stopwatch::tests::test_format_duration_15 ... ok Oct 14 23:42:30.539 INFO blam! test util::stopwatch::tests::test_format_duration_13 ... ok Oct 14 23:42:30.539 INFO blam! test util::stopwatch::tests::test_format_duration_2 ... ok Oct 14 23:42:30.539 INFO blam! test util::stopwatch::tests::test_format_duration_19 ... ok Oct 14 23:42:30.539 INFO blam! test util::stopwatch::tests::test_format_duration_18 ... ok Oct 14 23:42:30.539 INFO blam! test util::stopwatch::tests::test_format_duration_17 ... ok Oct 14 23:42:30.539 INFO blam! test util::stopwatch::tests::test_format_duration_20 ... ok Oct 14 23:42:30.539 INFO blam! test util::stopwatch::tests::test_format_duration_21 ... ok Oct 14 23:42:30.539 INFO blam! test util::stopwatch::tests::test_format_duration_22 ... ok Oct 14 23:42:30.539 INFO blam! test util::stopwatch::tests::test_format_duration_3 ... ok Oct 14 23:42:30.539 INFO blam! test util::stopwatch::tests::test_format_duration_4 ... ok Oct 14 23:42:30.539 INFO blam! test util::stopwatch::tests::test_format_duration_5 ... ok Oct 14 23:42:30.539 INFO blam! test util::stopwatch::tests::test_format_duration_16 ... ok Oct 14 23:42:30.539 INFO blam! test util::stopwatch::tests::test_format_duration_6 ... ok Oct 14 23:42:30.539 INFO blam! test util::stopwatch::tests::test_format_duration_7 ... ok Oct 14 23:42:30.539 INFO blam! test util::stopwatch::tests::test_format_duration_8 ... ok Oct 14 23:42:30.539 INFO blam! test util::stopwatch::tests::test_format_duration_9 ... ok Oct 14 23:42:30.539 INFO blam! test util::stopwatch::tests::test_format_duration_14 ... ok Oct 14 23:42:30.649 INFO blam! test sudoku::tests::invalid3 ... ok Oct 14 23:42:37.874 INFO blam! test sudoku::tests::invalid2 ... ok Oct 14 23:42:37.874 INFO blam! Oct 14 23:42:37.874 INFO blam! test result: ok. 43 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Oct 14 23:42:37.874 INFO blam! Oct 14 23:42:37.874 INFO kablam! Running /target/debug/deps/comp-ee64317ce20d6823 Oct 14 23:42:37.885 INFO blam! Oct 14 23:42:37.885 INFO blam! running 0 tests Oct 14 23:42:37.885 INFO blam! Oct 14 23:42:37.885 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Oct 14 23:42:37.885 INFO blam! Oct 14 23:42:37.886 INFO kablam! Running /target/debug/deps/dimacs-431d5807170ce95d Oct 14 23:42:37.888 INFO blam! Oct 14 23:42:37.888 INFO blam! running 0 tests Oct 14 23:42:37.888 INFO blam! Oct 14 23:42:37.888 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Oct 14 23:42:37.888 INFO blam! Oct 14 23:42:37.889 INFO kablam! Running /target/debug/deps/drsat-39badd8e525df5ce Oct 14 23:42:37.891 INFO blam! Oct 14 23:42:37.891 INFO blam! running 0 tests Oct 14 23:42:37.892 INFO blam! Oct 14 23:42:37.892 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Oct 14 23:42:37.892 INFO blam! Oct 14 23:42:37.893 INFO kablam! Running /target/debug/deps/npn-7cf6b862fc458fca Oct 14 23:42:37.895 INFO blam! Oct 14 23:42:37.895 INFO blam! running 0 tests Oct 14 23:42:37.895 INFO blam! Oct 14 23:42:37.895 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Oct 14 23:42:37.895 INFO blam! Oct 14 23:42:37.896 INFO kablam! Running /target/debug/deps/sudoku-25212594b299964a Oct 14 23:42:37.900 INFO blam! Oct 14 23:42:37.900 INFO blam! running 0 tests Oct 14 23:42:37.900 INFO blam! Oct 14 23:42:37.900 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Oct 14 23:42:37.900 INFO blam! Oct 14 23:42:37.901 INFO kablam! Doc-tests libdrsat Oct 14 23:42:39.203 INFO blam! Oct 14 23:42:39.203 INFO blam! running 0 tests Oct 14 23:42:39.203 INFO blam! Oct 14 23:42:39.203 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Oct 14 23:42:39.204 INFO blam! Oct 14 23:42:39.213 INFO kablam! su: No module specific data is present Oct 14 23:42:40.576 INFO running `"docker" "rm" "-f" "142bab17052d8dd1149170db9d8b69544206fea27e185c81162e32231548bb08"` Oct 14 23:42:40.859 INFO blam! 142bab17052d8dd1149170db9d8b69544206fea27e185c81162e32231548bb08