Aug 29 21:59:51.916 INFO checking z3-0.2.0 against master#ede55518431154bc761f7b2438cce9078c162700 for pr-53707
Aug 29 21:59:51.916 INFO running: cargo +ede55518431154bc761f7b2438cce9078c162700-alt check --frozen --all --all-targets
Aug 29 21:59:51.916 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-2/pr-53707/master#ede55518431154bc761f7b2438cce9078c162700:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53707/worker-2/master#ede55518431154bc761f7b2438cce9078c162700:/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 +ede55518431154bc761f7b2438cce9078c162700-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"`
Aug 29 21:59:52.123 INFO blam! ad7418f623d669d5ca4fba0cfd8233b3e148495f491e5aaeef02ab4149484d74
Aug 29 21:59:52.124 INFO running `"docker" "start" "-a" "ad7418f623d669d5ca4fba0cfd8233b3e148495f491e5aaeef02ab4149484d74"`
Aug 29 21:59:52.698 INFO kablam!     Checking va_list v0.0.1
Aug 29 21:59:52.959 INFO kablam!     Checking z3-sys v0.1.0
Aug 29 21:59:53.358 INFO kablam!     Checking z3 v0.2.0 (file:///source)
Aug 29 21:59:55.027 INFO kablam! warning: variable does not need to be mutable
Aug 29 21:59:55.027 INFO kablam!    --> tests/semver_tests.rs:158:9
Aug 29 21:59:55.027 INFO kablam!     |
Aug 29 21:59:55.027 INFO kablam! 158 |     let mut cfg = Config::new();
Aug 29 21:59:55.027 INFO kablam!     |         ----^^^
Aug 29 21:59:55.027 INFO kablam!     |         |
Aug 29 21:59:55.027 INFO kablam!     |         help: remove this `mut`
Aug 29 21:59:55.028 INFO kablam!     |
Aug 29 21:59:55.028 INFO kablam!     = note: #[warn(unused_mut)] on by default
Aug 29 21:59:55.028 INFO kablam! 
Aug 29 21:59:55.056 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 2.40s
Aug 29 21:59:55.058 INFO kablam! su: No module specific data is present
Aug 29 21:59:55.418 INFO running `"docker" "rm" "-f" "ad7418f623d669d5ca4fba0cfd8233b3e148495f491e5aaeef02ab4149484d74"`
Aug 29 21:59:55.514 INFO blam! ad7418f623d669d5ca4fba0cfd8233b3e148495f491e5aaeef02ab4149484d74