Aug 01 18:16:46.415 INFO checking z3-sys-0.1.0 against 1.27.2 for lazy_static-1 Aug 01 18:16:46.415 INFO running: cargo +1.27.2 check --frozen --all --all-targets Aug 01 18:16:46.415 INFO creating container for: cargo +1.27.2 check --frozen --all --all-targets Aug 01 18:16:46.417 INFO running `"docker" "create" "-v" "/tmp/crater.vYHllcKXtSX2:/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 18:16:46.671 INFO blam! 3180a9b0f3f97f63b07eb442112d1529d1128223160d62ad934796716ddaae40 Aug 01 18:16:46.674 INFO running `"docker" "start" "-a" "3180a9b0f3f97f63b07eb442112d1529d1128223160d62ad934796716ddaae40"` Aug 01 18:16:47.943 INFO kablam! Checking va_list v0.0.1 Aug 01 18:16:48.389 INFO kablam! Checking z3-sys v0.1.0 (file:///source) Aug 01 18:16:50.147 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 2.22s Aug 01 18:16:50.150 INFO kablam! su: No module specific data is present Aug 01 18:16:51.091 INFO running `"docker" "rm" "-f" "3180a9b0f3f97f63b07eb442112d1529d1128223160d62ad934796716ddaae40"` Aug 01 18:16:51.259 INFO blam! 3180a9b0f3f97f63b07eb442112d1529d1128223160d62ad934796716ddaae40