Oct 14 23:40:44.629 INFO testing danielschemmel/drsat against master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513 for rustdoc-test-static-cling-1 Oct 14 23:40:44.631 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-7/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-7/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 14 23:40:45.009 INFO blam! 5f53e23c94293140ec832bcf56e508a11d9e6e5577142839016967dbbec89dfd Oct 14 23:40:45.015 INFO running `"docker" "start" "-a" "5f53e23c94293140ec832bcf56e508a11d9e6e5577142839016967dbbec89dfd"` Oct 14 23:40:46.227 INFO kablam! usermod: no changes Oct 14 23:40:46.423 INFO kablam! Compiling openssl-probe v0.1.2 Oct 14 23:40:46.424 INFO kablam! Compiling cmake v0.1.33 Oct 14 23:40:46.435 INFO kablam! Compiling backtrace-sys v0.1.24 Oct 14 23:40:46.455 INFO kablam! Compiling bzip2-sys v0.1.6 Oct 14 23:40:46.463 INFO kablam! Compiling miniz-sys v0.1.10 Oct 14 23:40:46.467 INFO kablam! Compiling libz-sys v1.0.20 Oct 14 23:40:46.467 INFO kablam! Compiling openssl-sys v0.9.35 Oct 14 23:40:46.468 INFO kablam! Compiling curl-sys v0.4.8 Oct 14 23:40:52.635 INFO kablam! Compiling filetime v0.2.1 Oct 14 23:40:52.783 INFO kablam! Compiling log v0.4.4 Oct 14 23:40:54.615 INFO kablam! Compiling libssh2-sys v0.2.10 Oct 14 23:40:55.739 INFO kablam! Compiling libgit2-sys v0.7.7 Oct 14 23:40:56.581 INFO kablam! Compiling clap v2.32.0 Oct 14 23:40:57.245 INFO kablam! Compiling lzma-sys v0.1.10 Oct 14 23:40:59.775 INFO kablam! Compiling flate2 v1.0.2 Oct 14 23:41:00.375 INFO kablam! Compiling bzip2 v0.3.3 Oct 14 23:41:02.860 INFO kablam! Compiling backtrace v0.3.9 Oct 14 23:41:06.600 INFO kablam! Compiling xz2 v0.1.5 Oct 14 23:41:08.299 INFO kablam! Compiling error-chain v0.12.0 Oct 14 23:41:54.028 INFO kablam! Compiling git2 v0.7.5 Oct 14 23:42:01.819 INFO kablam! Compiling drsat v0.1.0 (/source) Oct 14 23:42:05.868 INFO kablam! warning: variable does not need to be mutable Oct 14 23:42:05.868 INFO kablam! --> src/cnf/problem/precompute.rs:6:19 Oct 14 23:42:05.868 INFO kablam! | Oct 14 23:42:05.868 INFO kablam! 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { Oct 14 23:42:05.868 INFO kablam! | ----^^^^^^^^^ Oct 14 23:42:05.868 INFO kablam! | | Oct 14 23:42:05.868 INFO kablam! | help: remove this `mut` Oct 14 23:42:05.868 INFO kablam! | Oct 14 23:42:05.868 INFO kablam! = note: #[warn(unused_mut)] on by default Oct 14 23:42:05.868 INFO kablam! Oct 14 23:42:05.868 INFO kablam! warning: variable does not need to be mutable Oct 14 23:42:05.868 INFO kablam! --> src/cnf/problem/precompute.rs:6:73 Oct 14 23:42:05.868 INFO kablam! | Oct 14 23:42:05.868 INFO kablam! 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { Oct 14 23:42:05.868 INFO kablam! | ----^^^^^^^ Oct 14 23:42:05.868 INFO kablam! | | Oct 14 23:42:05.868 INFO kablam! | help: remove this `mut` Oct 14 23:42:05.868 INFO kablam! Oct 14 23:42:14.659 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 1m 28s Oct 14 23:42:14.663 INFO kablam! su: No module specific data is present Oct 14 23:42:15.085 INFO running `"docker" "rm" "-f" "5f53e23c94293140ec832bcf56e508a11d9e6e5577142839016967dbbec89dfd"` Oct 14 23:42:15.399 INFO blam! 5f53e23c94293140ec832bcf56e508a11d9e6e5577142839016967dbbec89dfd Oct 14 23:42:15.415 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-7/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-7/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 14 23:42:15.935 INFO blam! 59ae1beb1a5689d16c14e99efa3699fc87686f7542336d28b01251f41d56029c Oct 14 23:42:15.947 INFO running `"docker" "start" "-a" "59ae1beb1a5689d16c14e99efa3699fc87686f7542336d28b01251f41d56029c"` Oct 14 23:42:17.006 INFO kablam! usermod: no changes Oct 14 23:42:17.143 INFO kablam! Compiling drsat v0.1.0 (/source) Oct 14 23:42:23.303 INFO kablam! warning: variable does not need to be mutable Oct 14 23:42:23.303 INFO kablam! --> src/cnf/problem/precompute.rs:6:19 Oct 14 23:42:23.303 INFO kablam! | Oct 14 23:42:23.303 INFO kablam! 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { Oct 14 23:42:23.303 INFO kablam! | ----^^^^^^^^^ Oct 14 23:42:23.303 INFO kablam! | | Oct 14 23:42:23.303 INFO kablam! | help: remove this `mut` Oct 14 23:42:23.303 INFO kablam! | Oct 14 23:42:23.303 INFO kablam! = note: #[warn(unused_mut)] on by default Oct 14 23:42:23.303 INFO kablam! Oct 14 23:42:23.303 INFO kablam! warning: variable does not need to be mutable Oct 14 23:42:23.303 INFO kablam! --> src/cnf/problem/precompute.rs:6:73 Oct 14 23:42:23.303 INFO kablam! | Oct 14 23:42:23.303 INFO kablam! 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { Oct 14 23:42:23.303 INFO kablam! | ----^^^^^^^ Oct 14 23:42:23.303 INFO kablam! | | Oct 14 23:42:23.303 INFO kablam! | help: remove this `mut` Oct 14 23:42:23.303 INFO kablam! Oct 14 23:42:27.371 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 10.33s Oct 14 23:42:27.373 INFO kablam! su: No module specific data is present Oct 14 23:42:28.463 INFO running `"docker" "rm" "-f" "59ae1beb1a5689d16c14e99efa3699fc87686f7542336d28b01251f41d56029c"` Oct 14 23:42:28.807 INFO blam! 59ae1beb1a5689d16c14e99efa3699fc87686f7542336d28b01251f41d56029c Oct 14 23:42:28.819 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-7/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-7/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 14 23:42:29.348 INFO blam! 5210e5c993644da318d5c4d952515acbb4d2ad675c245e3fec07b9e76449d524 Oct 14 23:42:29.351 INFO running `"docker" "start" "-a" "5210e5c993644da318d5c4d952515acbb4d2ad675c245e3fec07b9e76449d524"` Oct 14 23:42:31.246 INFO kablam! usermod: no changes Oct 14 23:42:31.416 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 0.14s Oct 14 23:42:31.433 INFO kablam! Running /target/debug/deps/libdrsat-5e8f1adf944c5948 Oct 14 23:42:31.441 INFO blam! Oct 14 23:42:31.441 INFO blam! running 43 tests Oct 14 23:42:31.442 INFO blam! test cnf::tests::sat3 ... ok Oct 14 23:42:31.442 INFO blam! test cnf::tests::sat4 ... ok Oct 14 23:42:31.442 INFO blam! test cnf::tests::sat2 ... ok Oct 14 23:42:31.443 INFO blam! test cnf::tests::sat1 ... ok Oct 14 23:42:31.443 INFO blam! test cnf::literal::tests::literal_test2 ... ok Oct 14 23:42:31.443 INFO blam! test cnf::literal::tests::literal_test1 ... ok Oct 14 23:42:31.443 INFO blam! test cnf::tests::unsat1 ... ok Oct 14 23:42:31.443 INFO blam! test cnf::tests::unsat2 ... ok Oct 14 23:42:31.445 INFO blam! test cnf::literal::tests::literal_order2 ... ok Oct 14 23:42:31.445 INFO blam! test sudoku::tests::invalid1 ... ok Oct 14 23:42:31.445 INFO blam! test sudoku::tests::invalid1_deduced ... ok Oct 14 23:42:31.446 INFO blam! test cnf::literal::tests::literal_order1 ... ok Oct 14 23:42:31.447 INFO blam! test sudoku::tests::simple1 ... ok Oct 14 23:42:31.448 INFO blam! test sudoku::tests::invalid2_deduced ... ok Oct 14 23:42:31.449 INFO blam! test sudoku::tests::simple2 ... ok Oct 14 23:42:31.449 INFO blam! test sudoku::tests::simple4 ... ok Oct 14 23:42:31.459 INFO blam! test sudoku::tests::invalid3_deduced ... ok Oct 14 23:42:31.471 INFO blam! test util::stopwatch::tests::test_format_duration_11 ... ok Oct 14 23:42:31.471 INFO blam! test sudoku::tests::simple3 ... ok Oct 14 23:42:31.472 INFO blam! test util::stopwatch::tests::test_format_duration_12 ... ok Oct 14 23:42:31.473 INFO blam! test util::stopwatch::tests::test_format_duration_1 ... ok Oct 14 23:42:31.473 INFO blam! test util::stopwatch::tests::test_format_duration_10 ... ok Oct 14 23:42:31.474 INFO blam! test sudoku::tests::simple4_deduced ... ok Oct 14 23:42:31.474 INFO blam! test util::stopwatch::tests::test_format_duration_16 ... ok Oct 14 23:42:31.474 INFO blam! test util::stopwatch::tests::test_format_duration_17 ... ok Oct 14 23:42:31.474 INFO blam! test util::stopwatch::tests::test_format_duration_18 ... ok Oct 14 23:42:31.474 INFO blam! test util::stopwatch::tests::test_format_duration_19 ... ok Oct 14 23:42:31.474 INFO blam! test util::stopwatch::tests::test_format_duration_2 ... ok Oct 14 23:42:31.474 INFO blam! test util::stopwatch::tests::test_format_duration_20 ... ok Oct 14 23:42:31.476 INFO blam! test util::stopwatch::tests::test_format_duration_21 ... ok Oct 14 23:42:31.476 INFO blam! test util::stopwatch::tests::test_format_duration_22 ... ok Oct 14 23:42:31.476 INFO blam! test util::stopwatch::tests::test_format_duration_3 ... ok Oct 14 23:42:31.476 INFO blam! test util::stopwatch::tests::test_format_duration_14 ... ok Oct 14 23:42:31.476 INFO blam! test util::stopwatch::tests::test_format_duration_13 ... ok Oct 14 23:42:31.476 INFO blam! test util::stopwatch::tests::test_format_duration_15 ... ok Oct 14 23:42:31.476 INFO blam! test util::stopwatch::tests::test_format_duration_7 ... ok Oct 14 23:42:31.476 INFO blam! test util::stopwatch::tests::test_format_duration_8 ... ok Oct 14 23:42:31.476 INFO blam! test util::stopwatch::tests::test_format_duration_5 ... ok Oct 14 23:42:31.476 INFO blam! test util::stopwatch::tests::test_format_duration_6 ... ok Oct 14 23:42:31.476 INFO blam! test util::stopwatch::tests::test_format_duration_4 ... ok Oct 14 23:42:31.483 INFO blam! test util::stopwatch::tests::test_format_duration_9 ... ok Oct 14 23:42:31.547 INFO blam! test sudoku::tests::invalid3 ... ok Oct 14 23:42:38.727 INFO blam! test sudoku::tests::invalid2 ... ok Oct 14 23:42:38.727 INFO blam! Oct 14 23:42:38.727 INFO blam! test result: ok. 43 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Oct 14 23:42:38.727 INFO blam! Oct 14 23:42:38.728 INFO kablam! Running /target/debug/deps/comp-f3158575f2c58e53 Oct 14 23:42:38.730 INFO blam! Oct 14 23:42:38.730 INFO blam! running 0 tests Oct 14 23:42:38.730 INFO blam! Oct 14 23:42:38.730 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Oct 14 23:42:38.730 INFO blam! Oct 14 23:42:38.731 INFO kablam! Running /target/debug/deps/dimacs-25b98581c711aaea Oct 14 23:42:38.740 INFO blam! Oct 14 23:42:38.740 INFO blam! running 0 tests Oct 14 23:42:38.740 INFO blam! Oct 14 23:42:38.740 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Oct 14 23:42:38.740 INFO blam! Oct 14 23:42:38.742 INFO kablam! Running /target/debug/deps/drsat-56f6a7793e4760a2 Oct 14 23:42:38.742 INFO blam! Oct 14 23:42:38.742 INFO blam! running 0 tests Oct 14 23:42:38.742 INFO blam! Oct 14 23:42:38.742 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Oct 14 23:42:38.742 INFO blam! Oct 14 23:42:38.747 INFO kablam! Running /target/debug/deps/npn-a2c27c4a6a881a28 Oct 14 23:42:38.749 INFO blam! Oct 14 23:42:38.749 INFO blam! running 0 tests Oct 14 23:42:38.749 INFO blam! Oct 14 23:42:38.749 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Oct 14 23:42:38.749 INFO blam! Oct 14 23:42:38.750 INFO kablam! Running /target/debug/deps/sudoku-dee5ba70576a3b9a Oct 14 23:42:38.756 INFO blam! Oct 14 23:42:38.756 INFO blam! running 0 tests Oct 14 23:42:38.756 INFO blam! Oct 14 23:42:38.756 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Oct 14 23:42:38.756 INFO blam! Oct 14 23:42:38.757 INFO kablam! Doc-tests libdrsat Oct 14 23:42:40.115 INFO blam! Oct 14 23:42:40.115 INFO blam! running 0 tests Oct 14 23:42:40.115 INFO blam! Oct 14 23:42:40.115 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Oct 14 23:42:40.115 INFO blam! Oct 14 23:42:40.131 INFO kablam! su: No module specific data is present Oct 14 23:42:41.172 INFO running `"docker" "rm" "-f" "5210e5c993644da318d5c4d952515acbb4d2ad675c245e3fec07b9e76449d524"` Oct 14 23:42:41.496 INFO blam! 5210e5c993644da318d5c4d952515acbb4d2ad675c245e3fec07b9e76449d524