Aug 17 16:55:16.718 INFO checking model-0.0.4 against try#a5d98b025f62ace80fe9d2a15781f900fc42515e for pr-53426
Aug 17 16:55:16.718 INFO running: cargo +a5d98b025f62ace80fe9d2a15781f900fc42515e-alt check --frozen --all --all-targets
Aug 17 16:55:16.718 INFO creating container for: cargo +a5d98b025f62ace80fe9d2a15781f900fc42515e-alt check --frozen --all --all-targets
Aug 17 16:55:16.718 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-5/pr-53426/try#a5d98b025f62ace80fe9d2a15781f900fc42515e:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53426/worker-5/try#a5d98b025f62ace80fe9d2a15781f900fc42515e:/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 +a5d98b025f62ace80fe9d2a15781f900fc42515e-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "crater"`
Aug 17 16:55:16.881 INFO blam! 91101307d0d1f3beb53f452652d522a3af2830ad3aed625c86e424631ef1b021
Aug 17 16:55:16.884 INFO running `"docker" "start" "-a" "91101307d0d1f3beb53f452652d522a3af2830ad3aed625c86e424631ef1b021"`
Aug 17 16:55:18.026 INFO kablam!     Checking bit-vec v0.5.0
Aug 17 16:55:18.026 INFO kablam!     Checking permutohedron v0.2.4
Aug 17 16:55:18.027 INFO kablam!     Checking rand v0.4.3
Aug 17 16:55:18.030 INFO kablam!     Checking rusty-fork v0.2.0
Aug 17 16:55:19.552 INFO kablam!     Checking bit-set v0.5.0
Aug 17 16:55:22.658 INFO kablam!     Checking proptest v0.7.2
Aug 17 16:55:43.835 INFO kablam!     Checking model v0.0.4 (file:///source)
Aug 17 16:55:45.968 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 28.00s
Aug 17 16:55:45.973 INFO kablam! su: No module specific data is present
Aug 17 16:55:46.502 INFO running `"docker" "rm" "-f" "91101307d0d1f3beb53f452652d522a3af2830ad3aed625c86e424631ef1b021"`
Aug 17 16:55:46.670 INFO blam! 91101307d0d1f3beb53f452652d522a3af2830ad3aed625c86e424631ef1b021