Sep 06 09:37:08.067 INFO checking bcsat-0.1.0 against master#1c2e17f4e3a2070a7f703f51e29c1c388ef703b6 for pr-53854
Sep 06 09:37:08.067 INFO running: cargo +1c2e17f4e3a2070a7f703f51e29c1c388ef703b6-alt check --frozen --all --all-targets
Sep 06 09:37:08.067 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-3/pr-53854/master#1c2e17f4e3a2070a7f703f51e29c1c388ef703b6:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53854/worker-3/master#1c2e17f4e3a2070a7f703f51e29c1c388ef703b6:/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=1000" "-e" "CMD=cargo +1c2e17f4e3a2070a7f703f51e29c1c388ef703b6-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"`
Sep 06 09:37:08.222 INFO blam! 232e9e67936ef75f0b780224c67510c41f6317916340341d74c6c8b75da647fd
Sep 06 09:37:08.224 INFO running `"docker" "start" "-a" "232e9e67936ef75f0b780224c67510c41f6317916340341d74c6c8b75da647fd"`
Sep 06 09:37:09.010 INFO kablam! usermod: no changes
Sep 06 09:37:09.070 INFO kablam!     Checking bcsat v0.1.0 (file:///source)
Sep 06 09:37:11.212 INFO kablam! warning: variable does not need to be mutable
Sep 06 09:37:11.212 INFO kablam!  --> tests/des_3_1_1.rs:8:9
Sep 06 09:37:11.212 INFO kablam!   |
Sep 06 09:37:11.212 INFO kablam! 8 |     let mut parsed = parsed.unwrap().1;
Sep 06 09:37:11.212 INFO kablam!   |         ----^^^^^^
Sep 06 09:37:11.212 INFO kablam!   |         |
Sep 06 09:37:11.212 INFO kablam!   |         help: remove this `mut`
Sep 06 09:37:11.212 INFO kablam!   |
Sep 06 09:37:11.212 INFO kablam!   = note: #[warn(unused_mut)] on by default
Sep 06 09:37:11.212 INFO kablam! 
Sep 06 09:37:11.227 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 2.20s
Sep 06 09:37:11.231 INFO kablam! su: No module specific data is present
Sep 06 09:37:11.788 INFO running `"docker" "rm" "-f" "232e9e67936ef75f0b780224c67510c41f6317916340341d74c6c8b75da647fd"`
Sep 06 09:37:11.894 INFO blam! 232e9e67936ef75f0b780224c67510c41f6317916340341d74c6c8b75da647fd