Nov 17 05:31:45.722 INFO testing danielschemmel/drsat against try#2e026d6e5d7621634147ad4c8074f1d964dbb1be for pr-55982 Nov 17 05:31:45.725 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-1/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-1/pr-55982/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/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 +2e026d6e5d7621634147ad4c8074f1d964dbb1be-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"` Nov 17 05:31:46.099 INFO [stdout] 85066714426f01ad02c356f914e83dc5f0fa2991be877e992a0e3ce1de0b5280 Nov 17 05:31:46.103 INFO running `"docker" "start" "-a" "85066714426f01ad02c356f914e83dc5f0fa2991be877e992a0e3ce1de0b5280"` Nov 17 05:31:47.422 INFO [stderr] usermod: no changes Nov 17 05:31:47.629 INFO [stderr] Compiling cc v1.0.22 Nov 17 05:31:47.629 INFO [stderr] Compiling pkg-config v0.3.13 Nov 17 05:31:52.327 INFO [stderr] Compiling cmake v0.1.33 Nov 17 05:31:52.327 INFO [stderr] Compiling openssl-sys v0.9.35 Nov 17 05:31:52.327 INFO [stderr] Compiling libz-sys v1.0.20 Nov 17 05:31:52.327 INFO [stderr] Compiling curl-sys v0.4.8 Nov 17 05:31:52.327 INFO [stderr] Compiling backtrace-sys v0.1.24 Nov 17 05:31:52.327 INFO [stderr] Compiling bzip2-sys v0.1.6 Nov 17 05:31:52.327 INFO [stderr] Compiling miniz-sys v0.1.10 Nov 17 05:31:52.327 INFO [stderr] Compiling lzma-sys v0.1.10 Nov 17 05:31:58.747 INFO [stderr] Compiling libssh2-sys v0.2.10 Nov 17 05:31:59.651 INFO [stderr] Compiling libgit2-sys v0.7.7 Nov 17 05:32:01.355 INFO [stderr] Compiling backtrace v0.3.9 Nov 17 05:32:02.908 INFO [stderr] Compiling flate2 v1.0.2 Nov 17 05:32:03.277 INFO [stderr] Compiling xz2 v0.1.5 Nov 17 05:32:05.367 INFO [stderr] Compiling bzip2 v0.3.3 Nov 17 05:32:06.407 INFO [stderr] Compiling error-chain v0.12.0 Nov 17 05:32:43.547 INFO [stderr] Compiling git2 v0.7.5 Nov 17 05:32:50.715 INFO [stderr] Compiling drsat v0.1.0 (/source) Nov 17 05:32:53.699 INFO [stderr] warning: variable does not need to be mutable Nov 17 05:32:53.699 INFO [stderr] --> src/cnf/problem/precompute.rs:6:19 Nov 17 05:32:53.699 INFO [stderr] | Nov 17 05:32:53.699 INFO [stderr] 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { Nov 17 05:32:53.699 INFO [stderr] | ----^^^^^^^^^ Nov 17 05:32:53.699 INFO [stderr] | | Nov 17 05:32:53.699 INFO [stderr] | help: remove this `mut` Nov 17 05:32:53.699 INFO [stderr] | Nov 17 05:32:53.699 INFO [stderr] = note: #[warn(unused_mut)] on by default Nov 17 05:32:53.699 INFO [stderr] Nov 17 05:32:53.699 INFO [stderr] warning: variable does not need to be mutable Nov 17 05:32:53.699 INFO [stderr] --> src/cnf/problem/precompute.rs:6:73 Nov 17 05:32:53.699 INFO [stderr] | Nov 17 05:32:53.699 INFO [stderr] 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { Nov 17 05:32:53.699 INFO [stderr] | ----^^^^^^^ Nov 17 05:32:53.699 INFO [stderr] | | Nov 17 05:32:53.699 INFO [stderr] | help: remove this `mut` Nov 17 05:32:53.699 INFO [stderr] Nov 17 05:33:01.067 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1m 13s Nov 17 05:33:01.079 INFO [stderr] su: No module specific data is present Nov 17 05:33:01.804 INFO running `"docker" "inspect" "85066714426f01ad02c356f914e83dc5f0fa2991be877e992a0e3ce1de0b5280"` Nov 17 05:33:01.902 INFO running `"docker" "rm" "-f" "85066714426f01ad02c356f914e83dc5f0fa2991be877e992a0e3ce1de0b5280"` Nov 17 05:33:02.003 INFO [stdout] 85066714426f01ad02c356f914e83dc5f0fa2991be877e992a0e3ce1de0b5280 Nov 17 05:33:02.006 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-1/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-1/pr-55982/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/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 +2e026d6e5d7621634147ad4c8074f1d964dbb1be-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"` Nov 17 05:33:02.176 INFO [stdout] 33ad495820b8462a11d351fc4b910ff5ac886b6a3e985f96bee09722edbecdcb Nov 17 05:33:02.180 INFO running `"docker" "start" "-a" "33ad495820b8462a11d351fc4b910ff5ac886b6a3e985f96bee09722edbecdcb"` Nov 17 05:33:02.571 INFO [stderr] usermod: no changes Nov 17 05:33:02.683 INFO [stderr] Compiling drsat v0.1.0 (/source) Nov 17 05:33:05.424 INFO [stderr] warning: variable does not need to be mutable Nov 17 05:33:05.425 INFO [stderr] --> src/cnf/problem/precompute.rs:6:19 Nov 17 05:33:05.426 INFO [stderr] | Nov 17 05:33:05.427 INFO [stderr] 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { Nov 17 05:33:05.427 INFO [stderr] | ----^^^^^^^^^ Nov 17 05:33:05.429 INFO [stderr] | | Nov 17 05:33:05.429 INFO [stderr] | help: remove this `mut` Nov 17 05:33:05.430 INFO [stderr] | Nov 17 05:33:05.430 INFO [stderr] = note: #[warn(unused_mut)] on by default Nov 17 05:33:05.432 INFO [stderr] Nov 17 05:33:05.432 INFO [stderr] warning: variable does not need to be mutable Nov 17 05:33:05.432 INFO [stderr] --> src/cnf/problem/precompute.rs:6:73 Nov 17 05:33:05.432 INFO [stderr] | Nov 17 05:33:05.432 INFO [stderr] 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { Nov 17 05:33:05.432 INFO [stderr] | ----^^^^^^^ Nov 17 05:33:05.432 INFO [stderr] | | Nov 17 05:33:05.432 INFO [stderr] | help: remove this `mut` Nov 17 05:33:05.432 INFO [stderr] Nov 17 05:33:08.540 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 5.95s Nov 17 05:33:08.550 INFO [stderr] su: No module specific data is present Nov 17 05:33:08.913 INFO running `"docker" "inspect" "33ad495820b8462a11d351fc4b910ff5ac886b6a3e985f96bee09722edbecdcb"` Nov 17 05:33:08.990 INFO running `"docker" "rm" "-f" "33ad495820b8462a11d351fc4b910ff5ac886b6a3e985f96bee09722edbecdcb"` Nov 17 05:33:09.080 INFO [stdout] 33ad495820b8462a11d351fc4b910ff5ac886b6a3e985f96bee09722edbecdcb Nov 17 05:33:09.084 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-1/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-1/pr-55982/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/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 +2e026d6e5d7621634147ad4c8074f1d964dbb1be-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"` Nov 17 05:33:09.292 INFO [stdout] 25647fb70c946c4a6fae4de705d48726700982659471ae3a1b7c82325aa4fd53 Nov 17 05:33:09.295 INFO running `"docker" "start" "-a" "25647fb70c946c4a6fae4de705d48726700982659471ae3a1b7c82325aa4fd53"` Nov 17 05:33:09.751 INFO [stderr] usermod: no changes Nov 17 05:33:09.875 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.10s Nov 17 05:33:09.882 INFO [stderr] Running /target/debug/deps/libdrsat-e40a627b0caa6bb0 Nov 17 05:33:09.884 INFO [stdout] Nov 17 05:33:09.884 INFO [stdout] running 43 tests Nov 17 05:33:09.885 INFO [stdout] test cnf::tests::sat4 ... ok Nov 17 05:33:09.885 INFO [stdout] test cnf::literal::tests::literal_test2 ... ok Nov 17 05:33:09.891 INFO [stdout] test cnf::literal::tests::literal_test1 ... ok Nov 17 05:33:09.892 INFO [stdout] test cnf::literal::tests::literal_order2 ... ok Nov 17 05:33:09.892 INFO [stdout] test cnf::literal::tests::literal_order1 ... ok Nov 17 05:33:09.892 INFO [stdout] test sudoku::tests::invalid1_deduced ... ok Nov 17 05:33:09.892 INFO [stdout] test cnf::tests::unsat1 ... ok Nov 17 05:33:09.893 INFO [stdout] test cnf::tests::unsat2 ... ok Nov 17 05:33:09.893 INFO [stdout] test sudoku::tests::invalid3_deduced ... ok Nov 17 05:33:09.893 INFO [stdout] test sudoku::tests::simple1 ... ok Nov 17 05:33:09.894 INFO [stdout] test sudoku::tests::simple2 ... ok Nov 17 05:33:09.894 INFO [stdout] test sudoku::tests::simple3 ... ok Nov 17 05:33:09.896 INFO [stdout] test cnf::tests::sat1 ... ok Nov 17 05:33:09.897 INFO [stdout] test cnf::tests::sat3 ... ok Nov 17 05:33:09.897 INFO [stdout] test cnf::tests::sat2 ... ok Nov 17 05:33:09.897 INFO [stdout] test sudoku::tests::simple4 ... ok Nov 17 05:33:09.903 INFO [stdout] test sudoku::tests::simple4_deduced ... ok Nov 17 05:33:09.903 INFO [stdout] test sudoku::tests::invalid1 ... ok Nov 17 05:33:09.903 INFO [stdout] test util::stopwatch::tests::test_format_duration_13 ... ok Nov 17 05:33:09.903 INFO [stdout] test util::stopwatch::tests::test_format_duration_12 ... ok Nov 17 05:33:09.903 INFO [stdout] test util::stopwatch::tests::test_format_duration_14 ... ok Nov 17 05:33:09.903 INFO [stdout] test util::stopwatch::tests::test_format_duration_15 ... ok Nov 17 05:33:09.903 INFO [stdout] test util::stopwatch::tests::test_format_duration_16 ... ok Nov 17 05:33:09.903 INFO [stdout] test util::stopwatch::tests::test_format_duration_17 ... ok Nov 17 05:33:09.903 INFO [stdout] test sudoku::tests::invalid2_deduced ... ok Nov 17 05:33:09.905 INFO [stdout] test util::stopwatch::tests::test_format_duration_1 ... ok Nov 17 05:33:09.905 INFO [stdout] test util::stopwatch::tests::test_format_duration_18 ... ok Nov 17 05:33:09.905 INFO [stdout] test util::stopwatch::tests::test_format_duration_10 ... ok Nov 17 05:33:09.905 INFO [stdout] test util::stopwatch::tests::test_format_duration_11 ... ok Nov 17 05:33:09.905 INFO [stdout] test util::stopwatch::tests::test_format_duration_21 ... ok Nov 17 05:33:09.905 INFO [stdout] test util::stopwatch::tests::test_format_duration_22 ... ok Nov 17 05:33:09.905 INFO [stdout] test util::stopwatch::tests::test_format_duration_5 ... ok Nov 17 05:33:09.905 INFO [stdout] test util::stopwatch::tests::test_format_duration_6 ... ok Nov 17 05:33:09.905 INFO [stdout] test util::stopwatch::tests::test_format_duration_7 ... ok Nov 17 05:33:09.905 INFO [stdout] test util::stopwatch::tests::test_format_duration_8 ... ok Nov 17 05:33:09.905 INFO [stdout] test util::stopwatch::tests::test_format_duration_9 ... ok Nov 17 05:33:09.907 INFO [stdout] test util::stopwatch::tests::test_format_duration_19 ... ok Nov 17 05:33:09.907 INFO [stdout] test util::stopwatch::tests::test_format_duration_3 ... ok Nov 17 05:33:09.907 INFO [stdout] test util::stopwatch::tests::test_format_duration_4 ... ok Nov 17 05:33:09.912 INFO [stdout] test util::stopwatch::tests::test_format_duration_2 ... ok Nov 17 05:33:09.916 INFO [stdout] test util::stopwatch::tests::test_format_duration_20 ... ok Nov 17 05:33:09.927 INFO [stdout] test sudoku::tests::invalid3 ... ok Nov 17 05:33:16.627 INFO [stdout] test sudoku::tests::invalid2 ... ok Nov 17 05:33:16.627 INFO [stdout] Nov 17 05:33:16.628 INFO [stdout] test result: ok. 43 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Nov 17 05:33:16.628 INFO [stdout] Nov 17 05:33:16.635 INFO [stderr] Running /target/debug/deps/comp-c4004a131f811fce Nov 17 05:33:16.638 INFO [stdout] Nov 17 05:33:16.638 INFO [stdout] running 0 tests Nov 17 05:33:16.638 INFO [stdout] Nov 17 05:33:16.638 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Nov 17 05:33:16.638 INFO [stdout] Nov 17 05:33:16.638 INFO [stderr] Running /target/debug/deps/dimacs-02d33fa2f3f51268 Nov 17 05:33:16.640 INFO [stdout] Nov 17 05:33:16.640 INFO [stdout] running 0 tests Nov 17 05:33:16.640 INFO [stdout] Nov 17 05:33:16.641 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Nov 17 05:33:16.641 INFO [stdout] Nov 17 05:33:16.641 INFO [stderr] Running /target/debug/deps/drsat-8b936ee69c26f070 Nov 17 05:33:16.644 INFO [stdout] Nov 17 05:33:16.644 INFO [stdout] running 0 tests Nov 17 05:33:16.645 INFO [stdout] Nov 17 05:33:16.645 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Nov 17 05:33:16.645 INFO [stdout] Nov 17 05:33:16.645 INFO [stderr] Running /target/debug/deps/npn-68cc49a16e0b1d22 Nov 17 05:33:16.646 INFO [stdout] Nov 17 05:33:16.646 INFO [stdout] running 0 tests Nov 17 05:33:16.646 INFO [stdout] Nov 17 05:33:16.646 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Nov 17 05:33:16.646 INFO [stdout] Nov 17 05:33:16.646 INFO [stderr] Running /target/debug/deps/sudoku-b0578a0df28506f8 Nov 17 05:33:16.648 INFO [stdout] Nov 17 05:33:16.648 INFO [stdout] running 0 tests Nov 17 05:33:16.648 INFO [stdout] Nov 17 05:33:16.648 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Nov 17 05:33:16.648 INFO [stdout] Nov 17 05:33:16.648 INFO [stderr] Doc-tests libdrsat Nov 17 05:33:17.187 INFO [stdout] Nov 17 05:33:17.187 INFO [stdout] running 0 tests Nov 17 05:33:17.187 INFO [stdout] Nov 17 05:33:17.187 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Nov 17 05:33:17.187 INFO [stdout] Nov 17 05:33:17.199 INFO [stderr] su: No module specific data is present Nov 17 05:33:17.553 INFO running `"docker" "inspect" "25647fb70c946c4a6fae4de705d48726700982659471ae3a1b7c82325aa4fd53"` Nov 17 05:33:17.721 INFO running `"docker" "rm" "-f" "25647fb70c946c4a6fae4de705d48726700982659471ae3a1b7c82325aa4fd53"` Nov 17 05:33:17.934 INFO [stdout] 25647fb70c946c4a6fae4de705d48726700982659471ae3a1b7c82325aa4fd53