Sep 06 00:20:58.339 INFO checking seer-z3-0.1.2 against master#1c2e17f4e3a2070a7f703f51e29c1c388ef703b6 for pr-53854
Sep 06 00:20:58.339 INFO running: cargo +1c2e17f4e3a2070a7f703f51e29c1c388ef703b6-alt check --frozen --all --all-targets
Sep 06 00:20:58.339 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-4/pr-53854/master#1c2e17f4e3a2070a7f703f51e29c1c388ef703b6:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53854/worker-4/master#1c2e17f4e3a2070a7f703f51e29c1c388ef703b6:/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=1000" "-e" "CMD=cargo +1c2e17f4e3a2070a7f703f51e29c1c388ef703b6-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"`
Sep 06 00:20:58.525 INFO blam! ec0f31b58e39279698a290878fa8109c5fdbb1795c7c828694cb8b3fbbc5e1bc
Sep 06 00:20:58.527 INFO running `"docker" "start" "-a" "ec0f31b58e39279698a290878fa8109c5fdbb1795c7c828694cb8b3fbbc5e1bc"`
Sep 06 00:20:59.366 INFO kablam! usermod: no changes
Sep 06 00:20:59.437 INFO kablam!     Checking z3-sys v0.3.0
Sep 06 00:21:00.229 INFO kablam!     Checking seer-z3 v0.1.2 (file:///source)
Sep 06 00:21:02.158 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 2.77s
Sep 06 00:21:02.164 INFO kablam! su: No module specific data is present
Sep 06 00:21:03.190 INFO running `"docker" "rm" "-f" "ec0f31b58e39279698a290878fa8109c5fdbb1795c7c828694cb8b3fbbc5e1bc"`
Sep 06 00:21:03.315 INFO blam! ec0f31b58e39279698a290878fa8109c5fdbb1795c7c828694cb8b3fbbc5e1bc