Aug 01 22:47:14.849 INFO checking seer-z3-0.1.2 against 1.27.2 for lazy_static-1 Aug 01 22:47:14.850 INFO running: cargo +1.27.2 check --frozen --all --all-targets Aug 01 22:47:14.850 INFO creating container for: cargo +1.27.2 check --frozen --all --all-targets Aug 01 22:47:14.850 INFO running `"docker" "create" "-v" "/tmp/crater.IJKUOmENKxC8:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/lazy_static-1/worker-0/1.27.2:/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" "-v" "/home/ec2-user/crater/./work/local/cargo-home/git:/cargo-home/git:rw,Z" "-e" "USER_ID=500" "-e" "CMD=cargo +1.27.2 check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "crater"` Aug 01 22:47:15.103 INFO blam! e721e7a6aaaa1411c497d2d87941dabf678b24cb348368b1d8501c3f7c7a3a6d Aug 01 22:47:15.105 INFO running `"docker" "start" "-a" "e721e7a6aaaa1411c497d2d87941dabf678b24cb348368b1d8501c3f7c7a3a6d"` Aug 01 22:47:16.230 INFO kablam! Checking z3-sys v0.3.0 Aug 01 22:47:18.043 INFO kablam! Checking seer-z3 v0.1.2 (file:///source) Aug 01 22:47:20.224 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 4.10s Aug 01 22:47:20.228 INFO kablam! su: No module specific data is present Aug 01 22:47:20.875 INFO running `"docker" "rm" "-f" "e721e7a6aaaa1411c497d2d87941dabf678b24cb348368b1d8501c3f7c7a3a6d"` Aug 01 22:47:20.992 INFO blam! e721e7a6aaaa1411c497d2d87941dabf678b24cb348368b1d8501c3f7c7a3a6d