Aug 01 16:26:05.019 INFO checking jawline/klee-rust against 1.27.2+tmplazy for lazy_static-1
Aug 01 16:26:05.019 INFO running: cargo +1.27.2 check --frozen --all --all-targets
Aug 01 16:26:05.020 INFO creating container for: cargo +1.27.2 check --frozen --all --all-targets
Aug 01 16:26:05.020 INFO running `"docker" "create" "-v" "/tmp/crater.jgyvOTEKcpO7:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/lazy_static-1/worker-1/1.27.2+tmplazy:/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 16:26:05.261 INFO blam! b7e489cafb6fd8b56deaa246b80335c551631c2c5ff707c510776cae98bb362f
Aug 01 16:26:05.262 INFO running `"docker" "start" "-a" "b7e489cafb6fd8b56deaa246b80335c551631c2c5ff707c510776cae98bb362f"`
Aug 01 16:26:06.423 INFO kablam!     Checking klee v0.0.1 (file:///source)
Aug 01 16:26:07.537 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 1.21s
Aug 01 16:26:07.554 INFO kablam! su: No module specific data is present
Aug 01 16:26:08.277 INFO running `"docker" "rm" "-f" "b7e489cafb6fd8b56deaa246b80335c551631c2c5ff707c510776cae98bb362f"`
Aug 01 16:26:08.488 INFO blam! b7e489cafb6fd8b56deaa246b80335c551631c2c5ff707c510776cae98bb362f