Aug 11 05:48:39.232 INFO checking proquint-0.1.0 against try#a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195+tmplazy for libc-1 Aug 11 05:48:39.232 INFO running: cargo +a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195-alt check --frozen --all --all-targets Aug 11 05:48:39.232 INFO creating container for: cargo +a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195-alt check --frozen --all --all-targets Aug 11 05:48:39.232 INFO running `"docker" "create" "-v" "/tmp/crater.VP4xjmeSJtei:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/libc-1/worker-4/try#a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195+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 +a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "crater"` Aug 11 05:48:39.485 INFO blam! 95c8cbe215431fa5e6a61156eb846dac4a839234b2d26d1c5d5c29430d200f6b Aug 11 05:48:39.485 INFO running `"docker" "start" "-a" "95c8cbe215431fa5e6a61156eb846dac4a839234b2d26d1c5d5c29430d200f6b"` Aug 11 05:48:40.346 INFO kablam! Checking proquint v0.1.0 (file:///source) Aug 11 05:48:41.545 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 1.24s Aug 11 05:48:41.555 INFO kablam! su: No module specific data is present Aug 11 05:48:42.111 INFO running `"docker" "rm" "-f" "95c8cbe215431fa5e6a61156eb846dac4a839234b2d26d1c5d5c29430d200f6b"` Aug 11 05:48:42.273 INFO blam! 95c8cbe215431fa5e6a61156eb846dac4a839234b2d26d1c5d5c29430d200f6b