Nov 30 04:37:12.745 INFO checking danielschemmel/drsat against try#32252761328f59ccfadb1bafb8148c685bc830b3 for pr-56323 Nov 30 04:37:12.745 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56323/worker-1/try#32252761328f59ccfadb1bafb8148c685bc830b3:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-1/pr-56323/try#32252761328f59ccfadb1bafb8148c685bc830b3:/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 +32252761328f59ccfadb1bafb8148c685bc830b3-alt check --frozen --all --all-targets" "-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 30 04:37:13.144 INFO [stdout] bc715cef6f22ee72d846a802af992219c3571f795f5da4a0778aa2d13c659e00 Nov 30 04:37:13.152 INFO running `"docker" "start" "-a" "bc715cef6f22ee72d846a802af992219c3571f795f5da4a0778aa2d13c659e00"` Nov 30 04:37:14.280 INFO [stderr] usermod: no changes Nov 30 04:37:14.491 INFO [stderr] Compiling openssl-probe v0.1.2 Nov 30 04:37:14.496 INFO [stderr] Compiling cmake v0.1.33 Nov 30 04:37:14.496 INFO [stderr] Compiling openssl-sys v0.9.35 Nov 30 04:37:14.496 INFO [stderr] Compiling libz-sys v1.0.20 Nov 30 04:37:14.509 INFO [stderr] Compiling curl-sys v0.4.8 Nov 30 04:37:14.509 INFO [stderr] Compiling miniz-sys v0.1.10 Nov 30 04:37:14.520 INFO [stderr] Compiling lzma-sys v0.1.10 Nov 30 04:37:14.520 INFO [stderr] Compiling backtrace-sys v0.1.24 Nov 30 04:37:17.440 INFO [stderr] Checking bzip2-sys v0.1.6 Nov 30 04:37:17.528 INFO [stderr] Compiling backtrace v0.3.9 Nov 30 04:37:22.090 INFO [stderr] Checking bzip2 v0.3.3 Nov 30 04:37:22.121 INFO [stderr] Compiling libssh2-sys v0.2.10 Nov 30 04:37:25.137 INFO [stderr] Compiling libgit2-sys v0.7.7 Nov 30 04:37:25.143 INFO [stderr] Checking error-chain v0.12.0 Nov 30 04:37:28.336 INFO [stderr] Checking flate2 v1.0.2 Nov 30 04:37:28.524 INFO [stderr] Checking xz2 v0.1.5 Nov 30 04:38:11.535 INFO [stderr] Compiling git2 v0.7.5 Nov 30 04:38:21.813 INFO [stderr] Compiling drsat v0.1.0 (/source) Nov 30 04:38:28.500 INFO [stderr] warning: variable does not need to be mutable Nov 30 04:38:28.500 INFO [stderr] --> src/cnf/problem/precompute.rs:6:19 Nov 30 04:38:28.500 INFO [stderr] | Nov 30 04:38:28.500 INFO [stderr] 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { Nov 30 04:38:28.500 INFO [stderr] | ----^^^^^^^^^ Nov 30 04:38:28.500 INFO [stderr] | | Nov 30 04:38:28.500 INFO [stderr] | help: remove this `mut` Nov 30 04:38:28.500 INFO [stderr] | Nov 30 04:38:28.500 INFO [stderr] = note: #[warn(unused_mut)] on by default Nov 30 04:38:28.500 INFO [stderr] Nov 30 04:38:28.500 INFO [stderr] warning: variable does not need to be mutable Nov 30 04:38:28.500 INFO [stderr] --> src/cnf/problem/precompute.rs:6:73 Nov 30 04:38:28.501 INFO [stderr] | Nov 30 04:38:28.501 INFO [stderr] 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { Nov 30 04:38:28.501 INFO [stderr] | ----^^^^^^^ Nov 30 04:38:28.501 INFO [stderr] | | Nov 30 04:38:28.501 INFO [stderr] | help: remove this `mut` Nov 30 04:38:28.501 INFO [stderr] Nov 30 04:38:28.524 INFO [stderr] warning: variable does not need to be mutable Nov 30 04:38:28.524 INFO [stderr] --> src/cnf/problem/precompute.rs:6:19 Nov 30 04:38:28.524 INFO [stderr] | Nov 30 04:38:28.524 INFO [stderr] 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { Nov 30 04:38:28.524 INFO [stderr] | ----^^^^^^^^^ Nov 30 04:38:28.524 INFO [stderr] | | Nov 30 04:38:28.524 INFO [stderr] | help: remove this `mut` Nov 30 04:38:28.524 INFO [stderr] | Nov 30 04:38:28.524 INFO [stderr] = note: #[warn(unused_mut)] on by default Nov 30 04:38:28.524 INFO [stderr] Nov 30 04:38:28.524 INFO [stderr] warning: variable does not need to be mutable Nov 30 04:38:28.524 INFO [stderr] --> src/cnf/problem/precompute.rs:6:73 Nov 30 04:38:28.524 INFO [stderr] | Nov 30 04:38:28.524 INFO [stderr] 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { Nov 30 04:38:28.524 INFO [stderr] | ----^^^^^^^ Nov 30 04:38:28.524 INFO [stderr] | | Nov 30 04:38:28.525 INFO [stderr] | help: remove this `mut` Nov 30 04:38:28.525 INFO [stderr] Nov 30 04:38:37.432 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1m 23s Nov 30 04:38:37.464 INFO [stderr] su: No module specific data is present Nov 30 04:38:38.622 INFO running `"docker" "inspect" "bc715cef6f22ee72d846a802af992219c3571f795f5da4a0778aa2d13c659e00"` Nov 30 04:38:38.940 INFO running `"docker" "rm" "-f" "bc715cef6f22ee72d846a802af992219c3571f795f5da4a0778aa2d13c659e00"` Nov 30 04:38:39.312 INFO [stdout] bc715cef6f22ee72d846a802af992219c3571f795f5da4a0778aa2d13c659e00