Aug 30 03:30:07.426 INFO checking seer-z3-0.1.2 against try#bc5a74802bb3ffc82f51ef04bca58d64220124c4 for pr-53699 Aug 30 03:30:07.426 INFO running: cargo +bc5a74802bb3ffc82f51ef04bca58d64220124c4-alt check --frozen --all --all-targets Aug 30 03:30:07.426 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-3/pr-53699/try#bc5a74802bb3ffc82f51ef04bca58d64220124c4:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53699/worker-3/try#bc5a74802bb3ffc82f51ef04bca58d64220124c4:/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 +bc5a74802bb3ffc82f51ef04bca58d64220124c4-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"` Aug 30 03:30:07.581 INFO blam! 27c5d85e6e74d81b6ad80b9479f640a58c2cdb4f7bd42156d3a968bd9521b9d8 Aug 30 03:30:07.583 INFO running `"docker" "start" "-a" "27c5d85e6e74d81b6ad80b9479f640a58c2cdb4f7bd42156d3a968bd9521b9d8"` Aug 30 03:30:08.285 INFO kablam! Checking z3-sys v0.3.0 Aug 30 03:30:09.901 INFO kablam! Checking seer-z3 v0.1.2 (file:///source) Aug 30 03:30:11.779 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 3.54s Aug 30 03:30:11.783 INFO kablam! su: No module specific data is present Aug 30 03:30:12.249 INFO running `"docker" "rm" "-f" "27c5d85e6e74d81b6ad80b9479f640a58c2cdb4f7bd42156d3a968bd9521b9d8"` Aug 30 03:30:12.408 INFO blam! 27c5d85e6e74d81b6ad80b9479f640a58c2cdb4f7bd42156d3a968bd9521b9d8