Jul 11 15:16:48.779 INFO checking danielschemmel/drsat against master#ae5b629efd79de78e6ba7ef493c32857bd7f9cf9 for pr-52234 Jul 11 15:16:48.779 INFO running: cargo +ae5b629efd79de78e6ba7ef493c32857bd7f9cf9-alt check --frozen --all --all-targets Jul 11 15:16:48.779 INFO creating container for: cargo +ae5b629efd79de78e6ba7ef493c32857bd7f9cf9-alt check --frozen --all --all-targets Jul 11 15:16:48.779 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-1/pr-52234/master#ae5b629efd79de78e6ba7ef493c32857bd7f9cf9:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-52234/worker-1/master#ae5b629efd79de78e6ba7ef493c32857bd7f9cf9:/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 +ae5b629efd79de78e6ba7ef493c32857bd7f9cf9-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "crater"` Jul 11 15:16:49.006 INFO blam! 4672a101f873ecf98d812fee82c94dedc5ef2082f03e1c65b82199e4fff8d1ec Jul 11 15:16:49.009 INFO running `"docker" "start" "-a" "4672a101f873ecf98d812fee82c94dedc5ef2082f03e1c65b82199e4fff8d1ec"` Jul 11 15:16:50.229 INFO kablam! Compiling matches v0.1.6 Jul 11 15:16:50.239 INFO kablam! Compiling unicode-normalization v0.1.7 Jul 11 15:16:50.239 INFO kablam! Compiling rustc-demangle v0.1.8 Jul 11 15:16:50.239 INFO kablam! Compiling percent-encoding v1.0.1 Jul 11 15:16:50.246 INFO kablam! Compiling openssl-probe v0.1.2 Jul 11 15:16:50.251 INFO kablam! Compiling openssl-sys v0.9.33 Jul 11 15:16:50.252 INFO kablam! Compiling miniz-sys v0.1.10 Jul 11 15:16:50.267 INFO kablam! Compiling filetime v0.1.15 Jul 11 15:16:51.917 INFO kablam! Compiling log v0.4.2 Jul 11 15:16:56.794 INFO kablam! Checking textwrap v0.10.0 Jul 11 15:16:58.729 INFO kablam! Compiling libssh2-sys v0.2.7 Jul 11 15:16:58.729 INFO kablam! Compiling libgit2-sys v0.7.3 Jul 11 15:16:58.743 INFO kablam! Compiling unicode-bidi v0.3.4 Jul 11 15:16:58.765 INFO kablam! Compiling lzma-sys v0.1.9 Jul 11 15:17:04.774 INFO kablam! Compiling libz-sys v1.0.18 Jul 11 15:17:06.992 INFO kablam! Compiling backtrace-sys v0.1.23 Jul 11 15:17:08.063 INFO kablam! Checking clap v2.32.0 Jul 11 15:17:10.263 INFO kablam! Checking backtrace v0.3.9 Jul 11 15:17:11.718 INFO kablam! Checking flate2 v1.0.1 Jul 11 15:17:12.374 INFO kablam! Compiling curl-sys v0.4.5 Jul 11 15:17:16.308 INFO kablam! Checking error-chain v0.12.0 Jul 11 15:17:31.415 INFO kablam! Checking xz2 v0.1.5 Jul 11 15:19:07.428 INFO kablam! Compiling idna v0.1.4 Jul 11 15:19:16.863 INFO kablam! Compiling url v1.7.0 Jul 11 15:19:24.312 INFO kablam! Compiling git2 v0.7.1 Jul 11 15:19:43.159 INFO kablam! Compiling drsat v0.1.0 (file:///source) Jul 11 15:19:50.335 INFO kablam! warning: variable does not need to be mutable Jul 11 15:19:50.335 INFO kablam! --> src/cnf/problem/precompute.rs:6:19 Jul 11 15:19:50.335 INFO kablam! | Jul 11 15:19:50.335 INFO kablam! 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { Jul 11 15:19:50.335 INFO kablam! | ----^^^^^^^^^ Jul 11 15:19:50.335 INFO kablam! | | Jul 11 15:19:50.335 INFO kablam! | help: remove this `mut` Jul 11 15:19:50.335 INFO kablam! | Jul 11 15:19:50.335 INFO kablam! = note: #[warn(unused_mut)] on by default Jul 11 15:19:50.335 INFO kablam! Jul 11 15:19:50.335 INFO kablam! warning: variable does not need to be mutable Jul 11 15:19:50.335 INFO kablam! --> src/cnf/problem/precompute.rs:6:73 Jul 11 15:19:50.335 INFO kablam! | Jul 11 15:19:50.335 INFO kablam! 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { Jul 11 15:19:50.335 INFO kablam! | ----^^^^^^^ Jul 11 15:19:50.335 INFO kablam! | | Jul 11 15:19:50.335 INFO kablam! | help: remove this `mut` Jul 11 15:19:50.335 INFO kablam! Jul 11 15:19:50.674 INFO kablam! warning: variable does not need to be mutable Jul 11 15:19:50.674 INFO kablam! --> src/cnf/problem/precompute.rs:6:19 Jul 11 15:19:50.674 INFO kablam! | Jul 11 15:19:50.674 INFO kablam! 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { Jul 11 15:19:50.674 INFO kablam! | ----^^^^^^^^^ Jul 11 15:19:50.674 INFO kablam! | | Jul 11 15:19:50.674 INFO kablam! | help: remove this `mut` Jul 11 15:19:50.675 INFO kablam! | Jul 11 15:19:50.676 INFO kablam! = note: #[warn(unused_mut)] on by default Jul 11 15:19:50.676 INFO kablam! Jul 11 15:19:50.676 INFO kablam! warning: variable does not need to be mutable Jul 11 15:19:50.676 INFO kablam! --> src/cnf/problem/precompute.rs:6:73 Jul 11 15:19:50.676 INFO kablam! | Jul 11 15:19:50.676 INFO kablam! 6 | pub fn precompute(mut variables: &mut IndexedVec, mut clauses: &mut Vec>) -> SolverResult { Jul 11 15:19:50.676 INFO kablam! | ----^^^^^^^ Jul 11 15:19:50.676 INFO kablam! | | Jul 11 15:19:50.676 INFO kablam! | help: remove this `mut` Jul 11 15:19:50.676 INFO kablam! Jul 11 15:19:55.232 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 3m 05s Jul 11 15:19:55.259 INFO kablam! su: No module specific data is present Jul 11 15:19:55.775 INFO running `"docker" "rm" "-f" "4672a101f873ecf98d812fee82c94dedc5ef2082f03e1c65b82199e4fff8d1ec"` Jul 11 15:19:55.937 INFO blam! 4672a101f873ecf98d812fee82c94dedc5ef2082f03e1c65b82199e4fff8d1ec