Aug 31 14:26:56.949 INFO checking seer-z3-0.1.2 against try#a5b9f2cc0cdaca8edf23a89c649279de2c91cd3b for pr-53578
Aug 31 14:26:56.949 INFO running: cargo +a5b9f2cc0cdaca8edf23a89c649279de2c91cd3b-alt check --frozen --all --all-targets
Aug 31 14:26:56.949 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-0/pr-53578/try#a5b9f2cc0cdaca8edf23a89c649279de2c91cd3b:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53578/worker-0/try#a5b9f2cc0cdaca8edf23a89c649279de2c91cd3b:/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 +a5b9f2cc0cdaca8edf23a89c649279de2c91cd3b-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"`
Aug 31 14:26:57.125 INFO blam! d0ff667d911a953df5e88ab8c4f94f595156b3980da4b2007310c299c87840a0
Aug 31 14:26:57.127 INFO running `"docker" "start" "-a" "d0ff667d911a953df5e88ab8c4f94f595156b3980da4b2007310c299c87840a0"`
Aug 31 14:26:57.914 INFO kablam!     Checking z3-sys v0.3.0
Aug 31 14:26:59.409 INFO kablam!     Checking seer-z3 v0.1.2 (file:///source)
Aug 31 14:27:01.502 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 3.63s
Aug 31 14:27:01.506 INFO kablam! su: No module specific data is present
Aug 31 14:27:01.873 INFO running `"docker" "rm" "-f" "d0ff667d911a953df5e88ab8c4f94f595156b3980da4b2007310c299c87840a0"`
Aug 31 14:27:02.027 INFO blam! d0ff667d911a953df5e88ab8c4f94f595156b3980da4b2007310c299c87840a0