Aug 01 22:47:14.789 INFO checking seer-z3-0.1.2 against 1.27.2+tmplazy for lazy_static-1 Aug 01 22:47:14.789 INFO running: cargo +1.27.2 check --frozen --all --all-targets Aug 01 22:47:14.789 INFO creating container for: cargo +1.27.2 check --frozen --all --all-targets Aug 01 22:47:14.789 INFO running `"docker" "create" "-v" "/tmp/crater.TwqqiMqSeoZF:/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 22:47:15.044 INFO blam! 544f91136e4c9548a7e0ae700381c80c8599691a724854b9ac0ce971d4cb0652 Aug 01 22:47:15.046 INFO running `"docker" "start" "-a" "544f91136e4c9548a7e0ae700381c80c8599691a724854b9ac0ce971d4cb0652"` Aug 01 22:47:16.055 INFO kablam! Checking z3-sys v0.3.0 Aug 01 22:47:18.133 INFO kablam! Checking seer-z3 v0.1.2 (file:///source) Aug 01 22:47:20.447 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 4.51s Aug 01 22:47:20.451 INFO kablam! su: No module specific data is present Aug 01 22:47:21.211 INFO running `"docker" "rm" "-f" "544f91136e4c9548a7e0ae700381c80c8599691a724854b9ac0ce971d4cb0652"` Aug 01 22:47:21.368 INFO blam! 544f91136e4c9548a7e0ae700381c80c8599691a724854b9ac0ce971d4cb0652