Nov 01 12:11:16.419 INFO testing danielschemmel/drsat against 1.30.0 for beta-1.31-1
Nov 01 12:11:16.420 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-5/1.30.0:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/beta-1.31-1/1.30.0:/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 +1.30.0 build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 01 12:11:16.868 INFO blam! 3eeb847e0580890cfbe2048cce6b66009f87e864a1093403e0297718ce7e308a
Nov 01 12:11:16.900 INFO running `"docker" "start" "-a" "3eeb847e0580890cfbe2048cce6b66009f87e864a1093403e0297718ce7e308a"`
Nov 01 12:11:18.267 INFO kablam! usermod: no changes
Nov 01 12:11:18.547 INFO kablam!    Compiling openssl-probe v0.1.2
Nov 01 12:11:18.549 INFO kablam!    Compiling cmake v0.1.33
Nov 01 12:11:18.564 INFO kablam!    Compiling clap v2.32.0
Nov 01 12:11:18.564 INFO kablam!    Compiling backtrace-sys v0.1.24
Nov 01 12:11:18.564 INFO kablam!    Compiling openssl-sys v0.9.35
Nov 01 12:11:18.564 INFO kablam!    Compiling libz-sys v1.0.20
Nov 01 12:11:18.564 INFO kablam!    Compiling flate2 v1.0.2
Nov 01 12:11:20.723 INFO kablam!    Compiling backtrace v0.3.9
Nov 01 12:11:23.088 INFO kablam!    Compiling curl-sys v0.4.8
Nov 01 12:11:23.249 INFO kablam!    Compiling libssh2-sys v0.2.10
Nov 01 12:11:23.251 INFO kablam!    Compiling libgit2-sys v0.7.7
Nov 01 12:11:25.144 INFO kablam!    Compiling error-chain v0.12.0
Nov 01 12:12:16.971 INFO kablam!    Compiling git2 v0.7.5
Nov 01 12:12:25.128 INFO kablam!    Compiling drsat v0.1.0 (/source)
Nov 01 12:12:30.168 INFO kablam! warning: variable does not need to be mutable
Nov 01 12:12:30.168 INFO kablam!  --> src/cnf/problem/precompute.rs:6:19
Nov 01 12:12:30.168 INFO kablam!   |
Nov 01 12:12:30.169 INFO kablam! 6 | pub fn precompute(mut variables: &mut IndexedVec<VariableId, Variable>, mut clauses: &mut Vec<Vec<Literal>>) -> SolverResult {
Nov 01 12:12:30.169 INFO kablam!   |                   ----^^^^^^^^^
Nov 01 12:12:30.169 INFO kablam!   |                   |
Nov 01 12:12:30.170 INFO kablam!   |                   help: remove this `mut`
Nov 01 12:12:30.170 INFO kablam!   |
Nov 01 12:12:30.170 INFO kablam!   = note: #[warn(unused_mut)] on by default
Nov 01 12:12:30.170 INFO kablam! 
Nov 01 12:12:30.171 INFO kablam! warning: variable does not need to be mutable
Nov 01 12:12:30.171 INFO kablam!  --> src/cnf/problem/precompute.rs:6:73
Nov 01 12:12:30.171 INFO kablam!   |
Nov 01 12:12:30.171 INFO kablam! 6 | pub fn precompute(mut variables: &mut IndexedVec<VariableId, Variable>, mut clauses: &mut Vec<Vec<Literal>>) -> SolverResult {
Nov 01 12:12:30.172 INFO kablam!   |                                                                         ----^^^^^^^
Nov 01 12:12:30.172 INFO kablam!   |                                                                         |
Nov 01 12:12:30.172 INFO kablam!   |                                                                         help: remove this `mut`
Nov 01 12:12:30.173 INFO kablam! 
Nov 01 12:12:38.247 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 1m 19s
Nov 01 12:12:38.259 INFO kablam! su: No module specific data is present
Nov 01 12:12:38.765 INFO running `"docker" "rm" "-f" "3eeb847e0580890cfbe2048cce6b66009f87e864a1093403e0297718ce7e308a"`
Nov 01 12:12:38.919 INFO blam! 3eeb847e0580890cfbe2048cce6b66009f87e864a1093403e0297718ce7e308a
Nov 01 12:12:38.921 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-5/1.30.0:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/beta-1.31-1/1.30.0:/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 +1.30.0 test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 01 12:12:39.352 INFO blam! b033a95f3718cf4b10b9809a2347e43919ef556ca1cf513eb551fd356c01b5bf
Nov 01 12:12:39.391 INFO running `"docker" "start" "-a" "b033a95f3718cf4b10b9809a2347e43919ef556ca1cf513eb551fd356c01b5bf"`
Nov 01 12:12:40.080 INFO kablam! usermod: no changes
Nov 01 12:12:40.169 INFO kablam!    Compiling drsat v0.1.0 (/source)
Nov 01 12:12:44.343 INFO kablam! warning: variable does not need to be mutable
Nov 01 12:12:44.344 INFO kablam!  --> src/cnf/problem/precompute.rs:6:19
Nov 01 12:12:44.344 INFO kablam!   |
Nov 01 12:12:44.344 INFO kablam! 6 | pub fn precompute(mut variables: &mut IndexedVec<VariableId, Variable>, mut clauses: &mut Vec<Vec<Literal>>) -> SolverResult {
Nov 01 12:12:44.345 INFO kablam!   |                   ----^^^^^^^^^
Nov 01 12:12:44.345 INFO kablam!   |                   |
Nov 01 12:12:44.345 INFO kablam!   |                   help: remove this `mut`
Nov 01 12:12:44.346 INFO kablam!   |
Nov 01 12:12:44.346 INFO kablam!   = note: #[warn(unused_mut)] on by default
Nov 01 12:12:44.346 INFO kablam! 
Nov 01 12:12:44.347 INFO kablam! warning: variable does not need to be mutable
Nov 01 12:12:44.347 INFO kablam!  --> src/cnf/problem/precompute.rs:6:73
Nov 01 12:12:44.347 INFO kablam!   |
Nov 01 12:12:44.347 INFO kablam! 6 | pub fn precompute(mut variables: &mut IndexedVec<VariableId, Variable>, mut clauses: &mut Vec<Vec<Literal>>) -> SolverResult {
Nov 01 12:12:44.347 INFO kablam!   |                                                                         ----^^^^^^^
Nov 01 12:12:44.347 INFO kablam!   |                                                                         |
Nov 01 12:12:44.347 INFO kablam!   |                                                                         help: remove this `mut`
Nov 01 12:12:44.347 INFO kablam! 
Nov 01 12:12:46.836 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 6.73s
Nov 01 12:12:46.846 INFO kablam! su: No module specific data is present
Nov 01 12:12:47.104 INFO running `"docker" "rm" "-f" "b033a95f3718cf4b10b9809a2347e43919ef556ca1cf513eb551fd356c01b5bf"`
Nov 01 12:12:47.175 INFO blam! b033a95f3718cf4b10b9809a2347e43919ef556ca1cf513eb551fd356c01b5bf
Nov 01 12:12:47.180 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-1/worker-5/1.30.0:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-5/beta-1.31-1/1.30.0:/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 +1.30.0 test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 01 12:12:47.383 INFO blam! a35a0071f6bd063a6106935169a3e88e3b83f9c663e10137aa5b887003d76350
Nov 01 12:12:47.385 INFO running `"docker" "start" "-a" "a35a0071f6bd063a6106935169a3e88e3b83f9c663e10137aa5b887003d76350"`
Nov 01 12:12:47.867 INFO kablam! usermod: no changes
Nov 01 12:12:47.968 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.08s
Nov 01 12:12:47.975 INFO kablam!      Running /target/debug/deps/libdrsat-270d690f876dfca3
Nov 01 12:12:47.978 INFO blam! 
Nov 01 12:12:47.978 INFO blam! running 43 tests
Nov 01 12:12:47.978 INFO blam! test cnf::literal::tests::literal_order2 ... ok
Nov 01 12:12:47.978 INFO blam! test cnf::literal::tests::literal_order1 ... ok
Nov 01 12:12:47.979 INFO blam! test cnf::tests::sat2 ... ok
Nov 01 12:12:47.979 INFO blam! test cnf::literal::tests::literal_test1 ... ok
Nov 01 12:12:47.979 INFO blam! test cnf::literal::tests::literal_test2 ... ok
Nov 01 12:12:47.979 INFO blam! test cnf::tests::sat1 ... ok
Nov 01 12:12:47.980 INFO blam! test cnf::tests::sat3 ... ok
Nov 01 12:12:47.980 INFO blam! test cnf::tests::sat4 ... ok
Nov 01 12:12:47.980 INFO blam! test cnf::tests::unsat2 ... ok
Nov 01 12:12:47.983 INFO blam! test cnf::tests::unsat1 ... ok
Nov 01 12:12:47.983 INFO blam! test sudoku::tests::invalid2_deduced ... ok
Nov 01 12:12:47.983 INFO blam! test sudoku::tests::simple1 ... ok
Nov 01 12:12:47.983 INFO blam! test sudoku::tests::simple3 ... ok
Nov 01 12:12:47.987 INFO blam! test sudoku::tests::invalid3_deduced ... ok
Nov 01 12:12:47.987 INFO blam! test sudoku::tests::simple2 ... ok
Nov 01 12:12:47.987 INFO blam! test sudoku::tests::simple4_deduced ... ok
Nov 01 12:12:47.987 INFO blam! test sudoku::tests::simple4 ... ok
Nov 01 12:12:47.987 INFO blam! test util::stopwatch::tests::test_format_duration_10 ... ok
Nov 01 12:12:47.987 INFO blam! test sudoku::tests::invalid1_deduced ... ok
Nov 01 12:12:47.989 INFO blam! test util::stopwatch::tests::test_format_duration_11 ... ok
Nov 01 12:12:47.989 INFO blam! test util::stopwatch::tests::test_format_duration_12 ... ok
Nov 01 12:12:47.991 INFO blam! test util::stopwatch::tests::test_format_duration_13 ... ok
Nov 01 12:12:47.992 INFO blam! test sudoku::tests::invalid1 ... ok
Nov 01 12:12:47.992 INFO blam! test util::stopwatch::tests::test_format_duration_17 ... ok
Nov 01 12:12:47.992 INFO blam! test util::stopwatch::tests::test_format_duration_19 ... ok
Nov 01 12:12:47.992 INFO blam! test util::stopwatch::tests::test_format_duration_1 ... ok
Nov 01 12:12:47.994 INFO blam! test util::stopwatch::tests::test_format_duration_14 ... ok
Nov 01 12:12:47.994 INFO blam! test util::stopwatch::tests::test_format_duration_15 ... ok
Nov 01 12:12:47.995 INFO blam! test util::stopwatch::tests::test_format_duration_16 ... ok
Nov 01 12:12:47.996 INFO blam! test util::stopwatch::tests::test_format_duration_2 ... ok
Nov 01 12:12:47.996 INFO blam! test util::stopwatch::tests::test_format_duration_21 ... ok
Nov 01 12:12:47.996 INFO blam! test util::stopwatch::tests::test_format_duration_22 ... ok
Nov 01 12:12:47.996 INFO blam! test util::stopwatch::tests::test_format_duration_3 ... ok
Nov 01 12:12:47.997 INFO blam! test util::stopwatch::tests::test_format_duration_20 ... ok
Nov 01 12:12:47.998 INFO blam! test util::stopwatch::tests::test_format_duration_18 ... ok
Nov 01 12:12:48.003 INFO blam! test util::stopwatch::tests::test_format_duration_7 ... ok
Nov 01 12:12:48.003 INFO blam! test util::stopwatch::tests::test_format_duration_8 ... ok
Nov 01 12:12:48.003 INFO blam! test util::stopwatch::tests::test_format_duration_9 ... ok
Nov 01 12:12:48.003 INFO blam! test util::stopwatch::tests::test_format_duration_6 ... ok
Nov 01 12:12:48.003 INFO blam! test util::stopwatch::tests::test_format_duration_4 ... ok
Nov 01 12:12:48.003 INFO blam! test util::stopwatch::tests::test_format_duration_5 ... ok
Nov 01 12:12:48.011 INFO blam! test sudoku::tests::invalid3 ... ok
Nov 01 12:12:55.327 INFO kablam!      Running /target/debug/deps/comp-d7b8e7746645a1ea
Nov 01 12:12:55.327 INFO kablam!      Running /target/debug/deps/dimacs-3b61839e6f68fbb1
Nov 01 12:12:55.327 INFO blam! test sudoku::tests::invalid2 ... ok
Nov 01 12:12:55.327 INFO blam! 
Nov 01 12:12:55.327 INFO blam! test result: ok. 43 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 01 12:12:55.327 INFO blam! 
Nov 01 12:12:55.327 INFO blam! 
Nov 01 12:12:55.327 INFO blam! running 0 tests
Nov 01 12:12:55.327 INFO blam! 
Nov 01 12:12:55.327 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 01 12:12:55.327 INFO blam! 
Nov 01 12:12:55.332 INFO kablam!      Running /target/debug/deps/drsat-730f06a3ce7edba1
Nov 01 12:12:55.332 INFO blam! 
Nov 01 12:12:55.332 INFO blam! running 0 tests
Nov 01 12:12:55.332 INFO blam! 
Nov 01 12:12:55.332 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 01 12:12:55.332 INFO blam! 
Nov 01 12:12:55.333 INFO blam! 
Nov 01 12:12:55.333 INFO blam! running 0 tests
Nov 01 12:12:55.333 INFO blam! 
Nov 01 12:12:55.333 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 01 12:12:55.333 INFO blam! 
Nov 01 12:12:55.334 INFO kablam!      Running /target/debug/deps/npn-5e30aad44dad1878
Nov 01 12:12:55.344 INFO blam! 
Nov 01 12:12:55.344 INFO blam! running 0 tests
Nov 01 12:12:55.344 INFO blam! 
Nov 01 12:12:55.344 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 01 12:12:55.344 INFO blam! 
Nov 01 12:12:55.345 INFO kablam!      Running /target/debug/deps/sudoku-160f67b02182f413
Nov 01 12:12:55.347 INFO blam! 
Nov 01 12:12:55.347 INFO blam! running 0 tests
Nov 01 12:12:55.347 INFO blam! 
Nov 01 12:12:55.347 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 01 12:12:55.347 INFO blam! 
Nov 01 12:12:55.348 INFO kablam!    Doc-tests libdrsat
Nov 01 12:12:57.077 INFO blam! 
Nov 01 12:12:57.077 INFO blam! running 0 tests
Nov 01 12:12:57.077 INFO blam! 
Nov 01 12:12:57.077 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Nov 01 12:12:57.077 INFO blam! 
Nov 01 12:12:57.087 INFO kablam! su: No module specific data is present
Nov 01 12:12:57.840 INFO running `"docker" "rm" "-f" "a35a0071f6bd063a6106935169a3e88e3b83f9c663e10137aa5b887003d76350"`
Nov 01 12:12:58.121 INFO blam! a35a0071f6bd063a6106935169a3e88e3b83f9c663e10137aa5b887003d76350
