Jul 11 15:16:32.747 INFO checking danielschemmel/drsat against try#d39a6f7eddafd45dcc60e99001b8cd08c2bd3255 for pr-52234 Jul 11 15:16:32.747 INFO running: cargo +d39a6f7eddafd45dcc60e99001b8cd08c2bd3255-alt check --frozen --all --all-targets Jul 11 15:16:32.747 INFO creating container for: cargo +d39a6f7eddafd45dcc60e99001b8cd08c2bd3255-alt check --frozen --all --all-targets Jul 11 15:16:32.747 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-3/pr-52234/try#d39a6f7eddafd45dcc60e99001b8cd08c2bd3255:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-52234/worker-3/try#d39a6f7eddafd45dcc60e99001b8cd08c2bd3255:/target:rw,Z" "-v" "/home/ec2-user/crater/./work/local/cargo-home:/cargo-home:ro,Z" "-v" "/home/ec2-user/crater/./work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=500" "-e" "CMD=cargo +d39a6f7eddafd45dcc60e99001b8cd08c2bd3255-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "crater"` Jul 11 15:16:32.967 INFO blam! 6e456dc5a29cb6dacb3e6474bd81ded2e8fb472f541fe404e2f2740755173966 Jul 11 15:16:32.969 INFO running `"docker" "start" "-a" "6e456dc5a29cb6dacb3e6474bd81ded2e8fb472f541fe404e2f2740755173966"` Jul 11 15:16:34.118 INFO kablam! Compiling matches v0.1.6 Jul 11 15:16:34.127 INFO kablam! Compiling unicode-normalization v0.1.7 Jul 11 15:16:34.130 INFO kablam! Compiling cfg-if v0.1.4 Jul 11 15:16:34.137 INFO kablam! Compiling percent-encoding v1.0.1 Jul 11 15:16:34.139 INFO kablam! Compiling rustc-demangle v0.1.8 Jul 11 15:16:34.194 INFO kablam! Compiling bitflags v1.0.3 Jul 11 15:16:34.202 INFO kablam! Compiling openssl-probe v0.1.2 Jul 11 15:16:34.212 INFO kablam! Compiling bzip2-sys v0.1.6 Jul 11 15:16:35.060 INFO kablam! Compiling filetime v0.1.15 Jul 11 15:16:35.223 INFO kablam! Compiling log v0.4.2 Jul 11 15:16:35.691 INFO kablam! Compiling openssl-sys v0.9.33 Jul 11 15:16:43.599 INFO kablam! Compiling libz-sys v1.0.18 Jul 11 15:16:43.599 INFO kablam! Compiling backtrace-sys v0.1.23 Jul 11 15:16:43.617 INFO kablam! Compiling unicode-bidi v0.3.4 Jul 11 15:16:43.641 INFO kablam! Compiling lzma-sys v0.1.9 Jul 11 15:16:43.685 INFO kablam! Checking error-chain v0.12.0 Jul 11 15:16:45.355 INFO kablam! Compiling backtrace v0.3.9 Jul 11 15:16:49.788 INFO kablam! Compiling libssh2-sys v0.2.7 Jul 11 15:16:49.970 INFO kablam! Compiling curl-sys v0.4.5 Jul 11 15:16:54.659 INFO kablam! Checking bzip2 v0.3.3 Jul 11 15:16:55.432 INFO kablam! Compiling libgit2-sys v0.7.3 Jul 11 15:16:57.311 INFO kablam! Checking xz2 v0.1.5 Jul 11 15:17:43.439 INFO kablam! Compiling idna v0.1.4 Jul 11 15:17:53.208 INFO kablam! Compiling url v1.7.0 Jul 11 15:18:00.511 INFO kablam! Compiling git2 v0.7.1 Jul 11 15:18:20.119 INFO kablam! Compiling drsat v0.1.0 (file:///source) Jul 11 15:18:27.530 INFO kablam! warning: variable does not need to be mutable Jul 11 15:18:27.530 INFO kablam! --> src/cnf/problem/precompute.rs:6:19 Jul 11 15:18:27.530 INFO kablam! | Jul 11 15:18:27.530 INFO kablam! 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { Jul 11 15:18:27.530 INFO kablam! | ----^^^^^^^^^ Jul 11 15:18:27.530 INFO kablam! | | Jul 11 15:18:27.530 INFO kablam! | help: remove this `mut` Jul 11 15:18:27.530 INFO kablam! | Jul 11 15:18:27.531 INFO kablam! = note: #[warn(unused_mut)] on by default Jul 11 15:18:27.531 INFO kablam! Jul 11 15:18:27.531 INFO kablam! warning: variable does not need to be mutable Jul 11 15:18:27.531 INFO kablam! --> src/cnf/problem/precompute.rs:6:73 Jul 11 15:18:27.531 INFO kablam! | Jul 11 15:18:27.531 INFO kablam! 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { Jul 11 15:18:27.531 INFO kablam! | ----^^^^^^^ Jul 11 15:18:27.531 INFO kablam! | | Jul 11 15:18:27.531 INFO kablam! | help: remove this `mut` Jul 11 15:18:27.531 INFO kablam! Jul 11 15:18:29.590 INFO kablam! warning: variable does not need to be mutable Jul 11 15:18:29.590 INFO kablam! --> src/cnf/problem/precompute.rs:6:19 Jul 11 15:18:29.590 INFO kablam! | Jul 11 15:18:29.590 INFO kablam! 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { Jul 11 15:18:29.590 INFO kablam! | ----^^^^^^^^^ Jul 11 15:18:29.590 INFO kablam! | | Jul 11 15:18:29.590 INFO kablam! | help: remove this `mut` Jul 11 15:18:29.598 INFO kablam! | Jul 11 15:18:29.598 INFO kablam! = note: #[warn(unused_mut)] on by default Jul 11 15:18:29.599 INFO kablam! Jul 11 15:18:29.599 INFO kablam! warning: variable does not need to be mutable Jul 11 15:18:29.599 INFO kablam! --> src/cnf/problem/precompute.rs:6:73 Jul 11 15:18:29.599 INFO kablam! | Jul 11 15:18:29.599 INFO kablam! 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { Jul 11 15:18:29.599 INFO kablam! | ----^^^^^^^ Jul 11 15:18:29.599 INFO kablam! | | Jul 11 15:18:29.599 INFO kablam! | help: remove this `mut` Jul 11 15:18:29.599 INFO kablam! Jul 11 15:18:33.464 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 1m 59s Jul 11 15:18:33.486 INFO kablam! su: No module specific data is present Jul 11 15:18:34.060 INFO running `"docker" "rm" "-f" "6e456dc5a29cb6dacb3e6474bd81ded2e8fb472f541fe404e2f2740755173966"` Jul 11 15:18:34.225 INFO blam! 6e456dc5a29cb6dacb3e6474bd81ded2e8fb472f541fe404e2f2740755173966