Oct 11 00:41:19.675 INFO testing danielschemmel/drsat against master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513 for rustdoc-test-static-cling Oct 11 00:41:19.675 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt build --frozen Oct 11 00:41:19.675 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-6/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-6/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,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" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt build --frozen" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"` Oct 11 00:41:20.206 INFO blam! 0d0de95979f85c1ae9c0fbdeb236b71b9c00ebc3be2a386c9d182f9be9f7ac78 Oct 11 00:41:20.207 INFO running `"docker" "start" "-a" "0d0de95979f85c1ae9c0fbdeb236b71b9c00ebc3be2a386c9d182f9be9f7ac78"` Oct 11 00:41:21.180 INFO kablam! usermod: no changes Oct 11 00:41:21.391 INFO kablam! Compiling cmake v0.1.33 Oct 11 00:41:21.395 INFO kablam! Compiling libz-sys v1.0.20 Oct 11 00:41:21.395 INFO kablam! Compiling openssl-sys v0.9.35 Oct 11 00:41:21.395 INFO kablam! Compiling curl-sys v0.4.8 Oct 11 00:41:21.395 INFO kablam! Compiling lzma-sys v0.1.10 Oct 11 00:41:21.404 INFO kablam! Compiling flate2 v1.0.2 Oct 11 00:41:21.421 INFO kablam! Compiling error-chain v0.12.0 Oct 11 00:41:27.378 INFO kablam! Compiling libssh2-sys v0.2.10 Oct 11 00:41:27.378 INFO kablam! Compiling libgit2-sys v0.7.7 Oct 11 00:41:30.164 INFO kablam! Compiling xz2 v0.1.5 Oct 11 00:42:02.516 INFO kablam! Compiling git2 v0.7.5 Oct 11 00:42:11.077 INFO kablam! Compiling drsat v0.1.0 (/source) Oct 11 00:42:18.236 INFO kablam! warning: variable does not need to be mutable Oct 11 00:42:18.236 INFO kablam! --> src/cnf/problem/precompute.rs:6:19 Oct 11 00:42:18.236 INFO kablam! | Oct 11 00:42:18.236 INFO kablam! 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { Oct 11 00:42:18.236 INFO kablam! | ----^^^^^^^^^ Oct 11 00:42:18.236 INFO kablam! | | Oct 11 00:42:18.236 INFO kablam! | help: remove this `mut` Oct 11 00:42:18.236 INFO kablam! | Oct 11 00:42:18.236 INFO kablam! = note: #[warn(unused_mut)] on by default Oct 11 00:42:18.237 INFO kablam! Oct 11 00:42:18.237 INFO kablam! warning: variable does not need to be mutable Oct 11 00:42:18.237 INFO kablam! --> src/cnf/problem/precompute.rs:6:73 Oct 11 00:42:18.237 INFO kablam! | Oct 11 00:42:18.237 INFO kablam! 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { Oct 11 00:42:18.237 INFO kablam! | ----^^^^^^^ Oct 11 00:42:18.237 INFO kablam! | | Oct 11 00:42:18.237 INFO kablam! | help: remove this `mut` Oct 11 00:42:18.237 INFO kablam! Oct 11 00:42:29.304 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 1m 08s Oct 11 00:42:29.321 INFO kablam! su: No module specific data is present Oct 11 00:42:29.819 INFO running `"docker" "rm" "-f" "0d0de95979f85c1ae9c0fbdeb236b71b9c00ebc3be2a386c9d182f9be9f7ac78"` Oct 11 00:42:29.920 INFO blam! 0d0de95979f85c1ae9c0fbdeb236b71b9c00ebc3be2a386c9d182f9be9f7ac78 Oct 11 00:42:29.922 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen --no-run Oct 11 00:42:29.922 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-6/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-6/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,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" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen --no-run" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"` Oct 11 00:42:30.157 INFO blam! c15e7dcc37173ad2f4a16b84d9dfa11d2bc8150a3ec5136af67a13f6f8c55082 Oct 11 00:42:30.159 INFO running `"docker" "start" "-a" "c15e7dcc37173ad2f4a16b84d9dfa11d2bc8150a3ec5136af67a13f6f8c55082"` Oct 11 00:42:30.675 INFO kablam! usermod: no changes Oct 11 00:42:30.813 INFO kablam! Compiling drsat v0.1.0 (/source) Oct 11 00:42:35.783 INFO kablam! warning: variable does not need to be mutable Oct 11 00:42:35.783 INFO kablam! --> src/cnf/problem/precompute.rs:6:19 Oct 11 00:42:35.784 INFO kablam! | Oct 11 00:42:35.784 INFO kablam! 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { Oct 11 00:42:35.784 INFO kablam! | ----^^^^^^^^^ Oct 11 00:42:35.784 INFO kablam! | | Oct 11 00:42:35.784 INFO kablam! | help: remove this `mut` Oct 11 00:42:35.784 INFO kablam! | Oct 11 00:42:35.784 INFO kablam! = note: #[warn(unused_mut)] on by default Oct 11 00:42:35.784 INFO kablam! Oct 11 00:42:35.784 INFO kablam! warning: variable does not need to be mutable Oct 11 00:42:35.784 INFO kablam! --> src/cnf/problem/precompute.rs:6:73 Oct 11 00:42:35.784 INFO kablam! | Oct 11 00:42:35.784 INFO kablam! 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { Oct 11 00:42:35.784 INFO kablam! | ----^^^^^^^ Oct 11 00:42:35.784 INFO kablam! | | Oct 11 00:42:35.784 INFO kablam! | help: remove this `mut` Oct 11 00:42:35.784 INFO kablam! Oct 11 00:42:38.820 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 8.12s Oct 11 00:42:38.844 INFO kablam! su: No module specific data is present Oct 11 00:42:39.372 INFO running `"docker" "rm" "-f" "c15e7dcc37173ad2f4a16b84d9dfa11d2bc8150a3ec5136af67a13f6f8c55082"` Oct 11 00:42:39.590 INFO blam! c15e7dcc37173ad2f4a16b84d9dfa11d2bc8150a3ec5136af67a13f6f8c55082 Oct 11 00:42:39.591 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen Oct 11 00:42:39.591 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-6/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-6/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,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" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"` Oct 11 00:42:40.016 INFO blam! ae26c7408a1387e2cafd55bd2ecdee19b32acc3cad992afc414d2abd7fede17b Oct 11 00:42:40.018 INFO running `"docker" "start" "-a" "ae26c7408a1387e2cafd55bd2ecdee19b32acc3cad992afc414d2abd7fede17b"` Oct 11 00:42:40.836 INFO kablam! usermod: no changes Oct 11 00:42:40.903 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 0.05s Oct 11 00:42:40.908 INFO kablam! Running /target/debug/deps/libdrsat-5e8f1adf944c5948 Oct 11 00:42:40.911 INFO blam! Oct 11 00:42:40.911 INFO blam! running 43 tests Oct 11 00:42:40.911 INFO blam! test cnf::literal::tests::literal_test2 ... ok Oct 11 00:42:40.912 INFO blam! test cnf::tests::sat1 ... ok Oct 11 00:42:40.913 INFO blam! test cnf::literal::tests::literal_order1 ... ok Oct 11 00:42:40.913 INFO blam! test cnf::literal::tests::literal_test1 ... ok Oct 11 00:42:40.913 INFO blam! test cnf::tests::unsat1 ... ok Oct 11 00:42:40.913 INFO blam! test sudoku::tests::invalid1_deduced ... ok Oct 11 00:42:40.913 INFO blam! test cnf::tests::sat4 ... ok Oct 11 00:42:40.913 INFO blam! test sudoku::tests::invalid2_deduced ... ok Oct 11 00:42:40.913 INFO blam! test cnf::tests::sat3 ... ok Oct 11 00:42:40.915 INFO blam! test cnf::tests::unsat2 ... ok Oct 11 00:42:40.915 INFO blam! test sudoku::tests::invalid3_deduced ... ok Oct 11 00:42:40.915 INFO blam! test sudoku::tests::invalid1 ... ok Oct 11 00:42:40.915 INFO blam! test cnf::literal::tests::literal_order2 ... ok Oct 11 00:42:40.915 INFO blam! test cnf::tests::sat2 ... ok Oct 11 00:42:40.915 INFO blam! test sudoku::tests::simple2 ... ok Oct 11 00:42:40.918 INFO blam! test sudoku::tests::simple4 ... ok Oct 11 00:42:40.918 INFO blam! test util::stopwatch::tests::test_format_duration_1 ... ok Oct 11 00:42:40.918 INFO blam! test sudoku::tests::simple1 ... ok Oct 11 00:42:40.918 INFO blam! test util::stopwatch::tests::test_format_duration_10 ... ok Oct 11 00:42:40.918 INFO blam! test util::stopwatch::tests::test_format_duration_11 ... ok Oct 11 00:42:40.921 INFO blam! test sudoku::tests::simple3 ... ok Oct 11 00:42:40.921 INFO blam! test util::stopwatch::tests::test_format_duration_14 ... ok Oct 11 00:42:40.923 INFO blam! test util::stopwatch::tests::test_format_duration_12 ... ok Oct 11 00:42:40.923 INFO blam! test sudoku::tests::simple4_deduced ... ok Oct 11 00:42:40.923 INFO blam! test util::stopwatch::tests::test_format_duration_16 ... ok Oct 11 00:42:40.924 INFO blam! test util::stopwatch::tests::test_format_duration_15 ... ok Oct 11 00:42:40.924 INFO blam! test util::stopwatch::tests::test_format_duration_17 ... ok Oct 11 00:42:40.924 INFO blam! test util::stopwatch::tests::test_format_duration_18 ... ok Oct 11 00:42:40.924 INFO blam! test util::stopwatch::tests::test_format_duration_19 ... ok Oct 11 00:42:40.932 INFO blam! test util::stopwatch::tests::test_format_duration_2 ... ok Oct 11 00:42:40.932 INFO blam! test util::stopwatch::tests::test_format_duration_22 ... ok Oct 11 00:42:40.932 INFO blam! test util::stopwatch::tests::test_format_duration_20 ... ok Oct 11 00:42:40.932 INFO blam! test util::stopwatch::tests::test_format_duration_21 ... ok Oct 11 00:42:40.934 INFO blam! test util::stopwatch::tests::test_format_duration_13 ... ok Oct 11 00:42:40.934 INFO blam! test util::stopwatch::tests::test_format_duration_4 ... ok Oct 11 00:42:40.934 INFO blam! test util::stopwatch::tests::test_format_duration_3 ... ok Oct 11 00:42:40.934 INFO blam! test util::stopwatch::tests::test_format_duration_5 ... ok Oct 11 00:42:40.940 INFO blam! test util::stopwatch::tests::test_format_duration_8 ... ok Oct 11 00:42:40.940 INFO blam! test util::stopwatch::tests::test_format_duration_9 ... ok Oct 11 00:42:40.949 INFO blam! test util::stopwatch::tests::test_format_duration_7 ... ok Oct 11 00:42:40.949 INFO blam! test util::stopwatch::tests::test_format_duration_6 ... ok Oct 11 00:42:40.955 INFO blam! test sudoku::tests::invalid3 ... ok Oct 11 00:42:47.796 INFO blam! test sudoku::tests::invalid2 ... ok Oct 11 00:42:47.796 INFO kablam! Running /target/debug/deps/comp-f3158575f2c58e53 Oct 11 00:42:47.796 INFO blam! Oct 11 00:42:47.796 INFO blam! test result: ok. 43 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Oct 11 00:42:47.796 INFO blam! Oct 11 00:42:47.797 INFO blam! Oct 11 00:42:47.797 INFO blam! running 0 tests Oct 11 00:42:47.797 INFO blam! Oct 11 00:42:47.797 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Oct 11 00:42:47.797 INFO blam! Oct 11 00:42:47.797 INFO kablam! Running /target/debug/deps/dimacs-25b98581c711aaea Oct 11 00:42:47.810 INFO blam! Oct 11 00:42:47.810 INFO blam! running 0 tests Oct 11 00:42:47.810 INFO blam! Oct 11 00:42:47.810 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Oct 11 00:42:47.810 INFO blam! Oct 11 00:42:47.810 INFO kablam! Running /target/debug/deps/drsat-56f6a7793e4760a2 Oct 11 00:42:47.818 INFO kablam! Running /target/debug/deps/npn-a2c27c4a6a881a28 Oct 11 00:42:47.819 INFO blam! Oct 11 00:42:47.819 INFO blam! running 0 tests Oct 11 00:42:47.819 INFO blam! Oct 11 00:42:47.819 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Oct 11 00:42:47.819 INFO blam! Oct 11 00:42:47.823 INFO blam! Oct 11 00:42:47.823 INFO kablam! Running /target/debug/deps/sudoku-dee5ba70576a3b9a Oct 11 00:42:47.823 INFO blam! running 0 tests Oct 11 00:42:47.823 INFO blam! Oct 11 00:42:47.823 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Oct 11 00:42:47.825 INFO blam! Oct 11 00:42:47.827 INFO blam! Oct 11 00:42:47.827 INFO kablam! Doc-tests libdrsat Oct 11 00:42:47.827 INFO blam! running 0 tests Oct 11 00:42:47.827 INFO blam! Oct 11 00:42:47.827 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Oct 11 00:42:47.827 INFO blam! Oct 11 00:42:50.856 INFO blam! Oct 11 00:42:50.856 INFO blam! running 0 tests Oct 11 00:42:50.856 INFO blam! Oct 11 00:42:50.856 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Oct 11 00:42:50.856 INFO blam! Oct 11 00:42:50.862 INFO kablam! su: No module specific data is present Oct 11 00:42:51.357 INFO running `"docker" "rm" "-f" "ae26c7408a1387e2cafd55bd2ecdee19b32acc3cad992afc414d2abd7fede17b"` Oct 11 00:42:51.608 INFO blam! ae26c7408a1387e2cafd55bd2ecdee19b32acc3cad992afc414d2abd7fede17b