Dec 06 02:35:34.959 INFO testing danielschemmel/drsat against master#906deae0790bd18681b937fe9a141a3c26cf1855 for pr-56514 Dec 06 02:35:34.959 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-5/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/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 +906deae0790bd18681b937fe9a141a3c26cf1855-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"` Dec 06 02:35:35.422 INFO [stdout] f9267e1661e11ea789f15e57906afd50f223d406f6d562809ff326e9c7db4303 Dec 06 02:35:35.424 INFO running `"docker" "start" "-a" "f9267e1661e11ea789f15e57906afd50f223d406f6d562809ff326e9c7db4303"` Dec 06 02:35:36.940 INFO [stderr] usermod: no changes Dec 06 02:35:37.124 INFO [stderr] Compiling cmake v0.1.33 Dec 06 02:35:37.128 INFO [stderr] Compiling bzip2-sys v0.1.6 Dec 06 02:35:37.128 INFO [stderr] Compiling libz-sys v1.0.20 Dec 06 02:35:37.128 INFO [stderr] Compiling curl-sys v0.4.8 Dec 06 02:35:37.128 INFO [stderr] Compiling lzma-sys v0.1.10 Dec 06 02:35:37.128 INFO [stderr] Compiling error-chain v0.12.0 Dec 06 02:35:41.963 INFO [stderr] Compiling libssh2-sys v0.2.10 Dec 06 02:35:41.973 INFO [stderr] Compiling libgit2-sys v0.7.7 Dec 06 02:35:45.178 INFO [stderr] Compiling bzip2 v0.3.3 Dec 06 02:35:45.809 INFO [stderr] Compiling xz2 v0.1.5 Dec 06 02:36:23.032 INFO [stderr] Compiling git2 v0.7.5 Dec 06 02:36:30.008 INFO [stderr] Compiling drsat v0.1.0 (/source) Dec 06 02:36:34.472 INFO [stderr] warning: variable does not need to be mutable Dec 06 02:36:34.472 INFO [stderr] --> src/cnf/problem/precompute.rs:6:19 Dec 06 02:36:34.472 INFO [stderr] | Dec 06 02:36:34.472 INFO [stderr] 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { Dec 06 02:36:34.472 INFO [stderr] | ----^^^^^^^^^ Dec 06 02:36:34.472 INFO [stderr] | | Dec 06 02:36:34.472 INFO [stderr] | help: remove this `mut` Dec 06 02:36:34.472 INFO [stderr] | Dec 06 02:36:34.472 INFO [stderr] = note: #[warn(unused_mut)] on by default Dec 06 02:36:34.472 INFO [stderr] Dec 06 02:36:34.472 INFO [stderr] warning: variable does not need to be mutable Dec 06 02:36:34.472 INFO [stderr] --> src/cnf/problem/precompute.rs:6:73 Dec 06 02:36:34.472 INFO [stderr] | Dec 06 02:36:34.472 INFO [stderr] 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { Dec 06 02:36:34.472 INFO [stderr] | ----^^^^^^^ Dec 06 02:36:34.472 INFO [stderr] | | Dec 06 02:36:34.472 INFO [stderr] | help: remove this `mut` Dec 06 02:36:34.472 INFO [stderr] Dec 06 02:36:41.257 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1m 04s Dec 06 02:36:41.269 INFO [stderr] su: No module specific data is present Dec 06 02:36:41.554 INFO running `"docker" "inspect" "f9267e1661e11ea789f15e57906afd50f223d406f6d562809ff326e9c7db4303"` Dec 06 02:36:41.757 INFO running `"docker" "rm" "-f" "f9267e1661e11ea789f15e57906afd50f223d406f6d562809ff326e9c7db4303"` Dec 06 02:36:41.946 INFO [stdout] f9267e1661e11ea789f15e57906afd50f223d406f6d562809ff326e9c7db4303 Dec 06 02:36:41.950 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-5/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/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 +906deae0790bd18681b937fe9a141a3c26cf1855-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"` Dec 06 02:36:42.262 INFO [stdout] d17bd59873b2439d11d9a1d69efe21a0969dc0542f9842f88d58bb09a98e45bb Dec 06 02:36:42.266 INFO running `"docker" "start" "-a" "d17bd59873b2439d11d9a1d69efe21a0969dc0542f9842f88d58bb09a98e45bb"` Dec 06 02:36:42.823 INFO [stderr] usermod: no changes Dec 06 02:36:42.915 INFO [stderr] Compiling drsat v0.1.0 (/source) Dec 06 02:36:47.014 INFO [stderr] warning: variable does not need to be mutable Dec 06 02:36:47.015 INFO [stderr] --> src/cnf/problem/precompute.rs:6:19 Dec 06 02:36:47.015 INFO [stderr] | Dec 06 02:36:47.015 INFO [stderr] 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { Dec 06 02:36:47.015 INFO [stderr] | ----^^^^^^^^^ Dec 06 02:36:47.015 INFO [stderr] | | Dec 06 02:36:47.015 INFO [stderr] | help: remove this `mut` Dec 06 02:36:47.015 INFO [stderr] | Dec 06 02:36:47.015 INFO [stderr] = note: #[warn(unused_mut)] on by default Dec 06 02:36:47.015 INFO [stderr] Dec 06 02:36:47.015 INFO [stderr] warning: variable does not need to be mutable Dec 06 02:36:47.015 INFO [stderr] --> src/cnf/problem/precompute.rs:6:73 Dec 06 02:36:47.015 INFO [stderr] | Dec 06 02:36:47.015 INFO [stderr] 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { Dec 06 02:36:47.015 INFO [stderr] | ----^^^^^^^ Dec 06 02:36:47.015 INFO [stderr] | | Dec 06 02:36:47.015 INFO [stderr] | help: remove this `mut` Dec 06 02:36:47.015 INFO [stderr] Dec 06 02:36:50.183 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 7.34s Dec 06 02:36:50.191 INFO [stderr] su: No module specific data is present Dec 06 02:36:50.496 INFO running `"docker" "inspect" "d17bd59873b2439d11d9a1d69efe21a0969dc0542f9842f88d58bb09a98e45bb"` Dec 06 02:36:50.597 INFO running `"docker" "rm" "-f" "d17bd59873b2439d11d9a1d69efe21a0969dc0542f9842f88d58bb09a98e45bb"` Dec 06 02:36:50.687 INFO [stdout] d17bd59873b2439d11d9a1d69efe21a0969dc0542f9842f88d58bb09a98e45bb Dec 06 02:36:50.690 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56514/worker-5/master#906deae0790bd18681b937fe9a141a3c26cf1855:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/pr-56514/master#906deae0790bd18681b937fe9a141a3c26cf1855:/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 +906deae0790bd18681b937fe9a141a3c26cf1855-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"` Dec 06 02:36:50.887 INFO [stdout] df0772a7cd40d6c593ddb3466b2d7eb91ad92806b5594a14ea4847bf47231906 Dec 06 02:36:50.889 INFO running `"docker" "start" "-a" "df0772a7cd40d6c593ddb3466b2d7eb91ad92806b5594a14ea4847bf47231906"` Dec 06 02:36:51.243 INFO [stderr] usermod: no changes Dec 06 02:36:51.327 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.06s Dec 06 02:36:51.331 INFO [stderr] Running /target/debug/deps/libdrsat-d971be3ca63fa32e Dec 06 02:36:51.333 INFO [stdout] Dec 06 02:36:51.333 INFO [stdout] running 43 tests Dec 06 02:36:51.334 INFO [stdout] test cnf::literal::tests::literal_order1 ... ok Dec 06 02:36:51.334 INFO [stdout] test cnf::tests::sat1 ... ok Dec 06 02:36:51.334 INFO [stdout] test cnf::tests::sat4 ... ok Dec 06 02:36:51.334 INFO [stdout] test cnf::tests::unsat1 ... ok Dec 06 02:36:51.334 INFO [stdout] test cnf::tests::unsat2 ... ok Dec 06 02:36:51.334 INFO [stdout] test cnf::tests::sat3 ... ok Dec 06 02:36:51.336 INFO [stdout] test cnf::literal::tests::literal_order2 ... ok Dec 06 02:36:51.336 INFO [stdout] test cnf::literal::tests::literal_test1 ... ok Dec 06 02:36:51.339 INFO [stdout] test sudoku::tests::invalid1 ... ok Dec 06 02:36:51.339 INFO [stdout] test cnf::tests::sat2 ... ok Dec 06 02:36:51.339 INFO [stdout] test cnf::literal::tests::literal_test2 ... ok Dec 06 02:36:51.340 INFO [stdout] test sudoku::tests::invalid1_deduced ... ok Dec 06 02:36:51.341 INFO [stdout] test sudoku::tests::simple3 ... ok Dec 06 02:36:51.345 INFO [stdout] test sudoku::tests::simple2 ... ok Dec 06 02:36:51.345 INFO [stdout] test sudoku::tests::simple4 ... ok Dec 06 02:36:51.345 INFO [stdout] test sudoku::tests::invalid2_deduced ... ok Dec 06 02:36:51.346 INFO [stdout] test sudoku::tests::simple1 ... ok Dec 06 02:36:51.346 INFO [stdout] test util::stopwatch::tests::test_format_duration_11 ... ok Dec 06 02:36:51.347 INFO [stdout] test util::stopwatch::tests::test_format_duration_12 ... ok Dec 06 02:36:51.347 INFO [stdout] test sudoku::tests::invalid3_deduced ... ok Dec 06 02:36:51.347 INFO [stdout] test util::stopwatch::tests::test_format_duration_14 ... ok Dec 06 02:36:51.351 INFO [stdout] test util::stopwatch::tests::test_format_duration_10 ... ok Dec 06 02:36:51.351 INFO [stdout] test util::stopwatch::tests::test_format_duration_16 ... ok Dec 06 02:36:51.351 INFO [stdout] test util::stopwatch::tests::test_format_duration_15 ... ok Dec 06 02:36:51.352 INFO [stdout] test util::stopwatch::tests::test_format_duration_19 ... ok Dec 06 02:36:51.352 INFO [stdout] test util::stopwatch::tests::test_format_duration_17 ... ok Dec 06 02:36:51.352 INFO [stdout] test util::stopwatch::tests::test_format_duration_18 ... ok Dec 06 02:36:51.353 INFO [stdout] test util::stopwatch::tests::test_format_duration_13 ... ok Dec 06 02:36:51.353 INFO [stdout] test util::stopwatch::tests::test_format_duration_21 ... ok Dec 06 02:36:51.353 INFO [stdout] test util::stopwatch::tests::test_format_duration_20 ... ok Dec 06 02:36:51.353 INFO [stdout] test util::stopwatch::tests::test_format_duration_1 ... ok Dec 06 02:36:51.353 INFO [stdout] test sudoku::tests::simple4_deduced ... ok Dec 06 02:36:51.354 INFO [stdout] test util::stopwatch::tests::test_format_duration_4 ... ok Dec 06 02:36:51.354 INFO [stdout] test util::stopwatch::tests::test_format_duration_7 ... ok Dec 06 02:36:51.354 INFO [stdout] test util::stopwatch::tests::test_format_duration_6 ... ok Dec 06 02:36:51.354 INFO [stdout] test util::stopwatch::tests::test_format_duration_9 ... ok Dec 06 02:36:51.356 INFO [stdout] test util::stopwatch::tests::test_format_duration_3 ... ok Dec 06 02:36:51.356 INFO [stdout] test util::stopwatch::tests::test_format_duration_5 ... ok Dec 06 02:36:51.356 INFO [stdout] test util::stopwatch::tests::test_format_duration_8 ... ok Dec 06 02:36:51.361 INFO [stdout] test util::stopwatch::tests::test_format_duration_2 ... ok Dec 06 02:36:51.361 INFO [stdout] test util::stopwatch::tests::test_format_duration_22 ... ok Dec 06 02:36:51.370 INFO [stdout] test sudoku::tests::invalid3 ... ok Dec 06 02:36:58.624 INFO [stdout] test sudoku::tests::invalid2 ... ok Dec 06 02:36:58.624 INFO [stderr] Running /target/debug/deps/comp-e205bf9a98d29dbf Dec 06 02:36:58.624 INFO [stdout] Dec 06 02:36:58.624 INFO [stderr] Running /target/debug/deps/dimacs-e026c45101c48d61 Dec 06 02:36:58.624 INFO [stdout] test result: ok. 43 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 06 02:36:58.624 INFO [stdout] Dec 06 02:36:58.624 INFO [stdout] Dec 06 02:36:58.624 INFO [stdout] running 0 tests Dec 06 02:36:58.624 INFO [stdout] Dec 06 02:36:58.624 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 06 02:36:58.624 INFO [stdout] Dec 06 02:36:58.628 INFO [stdout] Dec 06 02:36:58.628 INFO [stderr] Running /target/debug/deps/drsat-fcea088f0f1d51b2 Dec 06 02:36:58.628 INFO [stdout] running 0 tests Dec 06 02:36:58.628 INFO [stdout] Dec 06 02:36:58.628 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 06 02:36:58.628 INFO [stdout] Dec 06 02:36:58.628 INFO [stdout] Dec 06 02:36:58.628 INFO [stdout] running 0 tests Dec 06 02:36:58.628 INFO [stdout] Dec 06 02:36:58.632 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 06 02:36:58.632 INFO [stderr] Running /target/debug/deps/npn-b99102464c5223bd Dec 06 02:36:58.632 INFO [stdout] Dec 06 02:36:58.632 INFO [stdout] Dec 06 02:36:58.632 INFO [stdout] running 0 tests Dec 06 02:36:58.632 INFO [stdout] Dec 06 02:36:58.632 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 06 02:36:58.632 INFO [stdout] Dec 06 02:36:58.636 INFO [stdout] Dec 06 02:36:58.636 INFO [stderr] Running /target/debug/deps/sudoku-04c68aea904487a0 Dec 06 02:36:58.636 INFO [stdout] running 0 tests Dec 06 02:36:58.636 INFO [stdout] Dec 06 02:36:58.636 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 06 02:36:58.636 INFO [stdout] Dec 06 02:36:58.640 INFO [stderr] Doc-tests libdrsat Dec 06 02:37:00.404 INFO [stdout] Dec 06 02:37:00.404 INFO [stdout] running 0 tests Dec 06 02:37:00.404 INFO [stdout] Dec 06 02:37:00.404 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Dec 06 02:37:00.404 INFO [stdout] Dec 06 02:37:00.409 INFO [stderr] su: No module specific data is present Dec 06 02:37:01.475 INFO running `"docker" "inspect" "df0772a7cd40d6c593ddb3466b2d7eb91ad92806b5594a14ea4847bf47231906"` Dec 06 02:37:01.806 INFO running `"docker" "rm" "-f" "df0772a7cd40d6c593ddb3466b2d7eb91ad92806b5594a14ea4847bf47231906"` Dec 06 02:37:02.110 INFO [stdout] df0772a7cd40d6c593ddb3466b2d7eb91ad92806b5594a14ea4847bf47231906