Aug 10 22:51:09.222 INFO checking varisat-0.1.1 against try#a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195+tmplazy for libc-1
Aug 10 22:51:09.222 INFO running: cargo +a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195-alt check --frozen --all --all-targets
Aug 10 22:51:09.222 INFO creating container for: cargo +a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195-alt check --frozen --all --all-targets
Aug 10 22:51:09.222 INFO running `"docker" "create" "-v" "/tmp/crater.zSaAuqb6o8Fy:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/libc-1/worker-6/try#a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195+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 +a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "crater"`
Aug 10 22:51:09.392 INFO blam! 717072f73e1e73f0461ee102aa0f0b64346ddb8f8689c7518440a0b5a33f9df4
Aug 10 22:51:09.394 INFO running `"docker" "start" "-a" "717072f73e1e73f0461ee102aa0f0b64346ddb8f8689c7518440a0b5a33f9df4"`
Aug 10 22:51:10.528 INFO kablam!    Compiling version_check v0.1.4
Aug 10 22:51:10.540 INFO kablam!     Checking void v1.0.2
Aug 10 22:51:10.540 INFO kablam!     Checking libc v0.2.43 (https://github.com/alexcrichton/libc?rev=02fc60d2e30d04cf07d4561aef05a0ae755a3163#02fc60d2)
Aug 10 22:51:10.541 INFO kablam!     Checking ucd-util v0.1.1
Aug 10 22:51:10.541 INFO kablam!    Compiling num-traits v0.2.5
Aug 10 22:51:10.541 INFO kablam!    Compiling regex v1.0.2
Aug 10 22:51:10.541 INFO kablam!     Checking utf8-ranges v1.0.0
Aug 10 22:51:10.541 INFO kablam!     Checking cfg-if v0.1.4
Aug 10 22:51:10.995 INFO kablam!     Checking unicode-width v0.1.5
Aug 10 22:51:11.803 INFO kablam!     Checking quick-error v1.2.2
Aug 10 22:51:12.190 INFO kablam!     Checking ansi_term v0.11.0
Aug 10 22:51:12.325 INFO kablam!     Checking bitflags v1.0.3
Aug 10 22:51:13.244 INFO kablam!     Checking strsim v0.7.0
Aug 10 22:51:13.546 INFO kablam!     Checking vec_map v0.8.1
Aug 10 22:51:13.687 INFO kablam!     Checking termcolor v1.0.1
Aug 10 22:51:30.023 INFO kablam!     Checking log v0.4.3
Aug 10 22:51:30.030 INFO kablam!     Checking regex-syntax v0.6.2
Aug 10 22:51:30.041 INFO kablam!     Checking unreachable v1.0.0
Aug 10 22:51:30.049 INFO kablam!     Checking textwrap v0.10.0
Aug 10 22:51:30.089 INFO kablam!     Checking humantime v1.1.1
Aug 10 22:51:30.834 INFO kablam!     Checking memchr v2.0.1
Aug 10 22:51:31.270 INFO kablam!     Checking atty v0.2.11
Aug 10 22:51:32.046 INFO kablam!    Compiling lazy_static v1.1.0
Aug 10 22:51:32.649 INFO kablam!     Checking aho-corasick v0.6.6
Aug 10 22:51:35.253 INFO kablam!     Checking clap v2.32.0
Aug 10 22:51:38.536 INFO kablam!     Checking thread_local v0.3.5
Aug 10 22:51:49.429 INFO kablam!     Checking noisy_float v0.1.6
Aug 10 22:52:02.020 INFO kablam!     Checking env_logger v0.5.12
Aug 10 22:52:03.325 INFO kablam!     Checking varisat v0.1.1 (file:///source)
Aug 10 22:52:04.064 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Aug 10 22:52:04.064 INFO kablam!  --> src/clause/alloc.rs:1:5
Aug 10 22:52:04.064 INFO kablam!   |
Aug 10 22:52:04.064 INFO kablam! 1 | use alloc::raw_vec::RawVec;
Aug 10 22:52:04.064 INFO kablam!   |     ^^^^^^^^^^^^^^^^^^^^^^
Aug 10 22:52:04.064 INFO kablam!   |
Aug 10 22:52:04.064 INFO kablam!   = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Aug 10 22:52:04.064 INFO kablam! 
Aug 10 22:52:04.065 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Aug 10 22:52:04.065 INFO kablam!   --> src/clause/alloc.rs:17:13
Aug 10 22:52:04.065 INFO kablam!    |
Aug 10 22:52:04.065 INFO kablam! 17 |     buffer: RawVec<Lit>,
Aug 10 22:52:04.065 INFO kablam!    |             ^^^^^^^^^^^
Aug 10 22:52:04.065 INFO kablam!    |
Aug 10 22:52:04.065 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Aug 10 22:52:04.065 INFO kablam! 
Aug 10 22:52:04.067 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Aug 10 22:52:04.067 INFO kablam!   --> src/clause/alloc.rs:34:21
Aug 10 22:52:04.067 INFO kablam!    |
Aug 10 22:52:04.067 INFO kablam! 34 |             buffer: RawVec::new(),
Aug 10 22:52:04.067 INFO kablam!    |                     ^^^^^^^^^^^
Aug 10 22:52:04.067 INFO kablam!    |
Aug 10 22:52:04.067 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Aug 10 22:52:04.067 INFO kablam! 
Aug 10 22:52:04.241 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Aug 10 22:52:04.241 INFO kablam!  --> src/clause/alloc.rs:1:5
Aug 10 22:52:04.241 INFO kablam!   |
Aug 10 22:52:04.241 INFO kablam! 1 | use alloc::raw_vec::RawVec;
Aug 10 22:52:04.241 INFO kablam!   |     ^^^^^^^^^^^^^^^^^^^^^^
Aug 10 22:52:04.242 INFO kablam!   |
Aug 10 22:52:04.242 INFO kablam!   = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Aug 10 22:52:04.242 INFO kablam! 
Aug 10 22:52:04.243 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Aug 10 22:52:04.243 INFO kablam!   --> src/clause/alloc.rs:17:13
Aug 10 22:52:04.243 INFO kablam!    |
Aug 10 22:52:04.243 INFO kablam! 17 |     buffer: RawVec<Lit>,
Aug 10 22:52:04.243 INFO kablam!    |             ^^^^^^^^^^^
Aug 10 22:52:04.243 INFO kablam!    |
Aug 10 22:52:04.243 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Aug 10 22:52:04.244 INFO kablam! 
Aug 10 22:52:04.246 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Aug 10 22:52:04.246 INFO kablam!   --> src/clause/alloc.rs:34:21
Aug 10 22:52:04.246 INFO kablam!    |
Aug 10 22:52:04.246 INFO kablam! 34 |             buffer: RawVec::new(),
Aug 10 22:52:04.246 INFO kablam!    |                     ^^^^^^^^^^^
Aug 10 22:52:04.248 INFO kablam!    |
Aug 10 22:52:04.248 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Aug 10 22:52:04.248 INFO kablam! 
Aug 10 22:52:04.970 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Aug 10 22:52:04.970 INFO kablam!   --> src/clause/alloc.rs:42:21
Aug 10 22:52:04.970 INFO kablam!    |
Aug 10 22:52:04.970 INFO kablam! 42 |         self.buffer.reserve(self.size, increment);
Aug 10 22:52:04.970 INFO kablam!    |                     ^^^^^^^
Aug 10 22:52:04.970 INFO kablam!    |
Aug 10 22:52:04.970 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Aug 10 22:52:04.970 INFO kablam! 
Aug 10 22:52:04.972 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Aug 10 22:52:04.972 INFO kablam!   --> src/clause/alloc.rs:52:42
Aug 10 22:52:04.972 INFO kablam!    |
Aug 10 22:52:04.972 INFO kablam! 52 |             let header_ptr = self.buffer.ptr().offset(old_size as isize);
Aug 10 22:52:04.972 INFO kablam!    |                                          ^^^
Aug 10 22:52:04.972 INFO kablam!    |
Aug 10 22:52:04.973 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Aug 10 22:52:04.973 INFO kablam! 
Aug 10 22:52:04.979 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Aug 10 22:52:04.979 INFO kablam!   --> src/clause/alloc.rs:75:38
Aug 10 22:52:04.979 INFO kablam!    |
Aug 10 22:52:04.979 INFO kablam! 75 |         let header_ptr = self.buffer.ptr().offset(offset);
Aug 10 22:52:04.979 INFO kablam!    |                                      ^^^
Aug 10 22:52:04.979 INFO kablam!    |
Aug 10 22:52:04.980 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Aug 10 22:52:04.980 INFO kablam! 
Aug 10 22:52:04.984 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Aug 10 22:52:04.984 INFO kablam!   --> src/clause/alloc.rs:90:21
Aug 10 22:52:04.984 INFO kablam!    |
Aug 10 22:52:04.984 INFO kablam! 90 |         self.buffer.ptr().offset(cref.index as isize)
Aug 10 22:52:04.984 INFO kablam!    |                     ^^^
Aug 10 22:52:04.985 INFO kablam!    |
Aug 10 22:52:04.985 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Aug 10 22:52:04.986 INFO kablam! 
Aug 10 22:52:05.284 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Aug 10 22:52:05.284 INFO kablam!   --> src/clause/alloc.rs:42:21
Aug 10 22:52:05.284 INFO kablam!    |
Aug 10 22:52:05.284 INFO kablam! 42 |         self.buffer.reserve(self.size, increment);
Aug 10 22:52:05.284 INFO kablam!    |                     ^^^^^^^
Aug 10 22:52:05.284 INFO kablam!    |
Aug 10 22:52:05.284 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Aug 10 22:52:05.285 INFO kablam! 
Aug 10 22:52:05.300 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Aug 10 22:52:05.300 INFO kablam!   --> src/clause/alloc.rs:52:42
Aug 10 22:52:05.300 INFO kablam!    |
Aug 10 22:52:05.300 INFO kablam! 52 |             let header_ptr = self.buffer.ptr().offset(old_size as isize);
Aug 10 22:52:05.300 INFO kablam!    |                                          ^^^
Aug 10 22:52:05.300 INFO kablam!    |
Aug 10 22:52:05.300 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Aug 10 22:52:05.301 INFO kablam! 
Aug 10 22:52:05.301 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Aug 10 22:52:05.301 INFO kablam!   --> src/clause/alloc.rs:75:38
Aug 10 22:52:05.301 INFO kablam!    |
Aug 10 22:52:05.301 INFO kablam! 75 |         let header_ptr = self.buffer.ptr().offset(offset);
Aug 10 22:52:05.301 INFO kablam!    |                                      ^^^
Aug 10 22:52:05.301 INFO kablam!    |
Aug 10 22:52:05.301 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Aug 10 22:52:05.301 INFO kablam! 
Aug 10 22:52:05.301 INFO kablam! error[E0658]: use of unstable library feature 'raw_vec_internals': implemention detail
Aug 10 22:52:05.301 INFO kablam!   --> src/clause/alloc.rs:90:21
Aug 10 22:52:05.301 INFO kablam!    |
Aug 10 22:52:05.301 INFO kablam! 90 |         self.buffer.ptr().offset(cref.index as isize)
Aug 10 22:52:05.301 INFO kablam!    |                     ^^^
Aug 10 22:52:05.301 INFO kablam!    |
Aug 10 22:52:05.301 INFO kablam!    = help: add #![feature(raw_vec_internals)] to the crate attributes to enable
Aug 10 22:52:05.301 INFO kablam! 
Aug 10 22:52:05.508 INFO kablam! error: aborting due to 7 previous errors
Aug 10 22:52:05.508 INFO kablam! 
Aug 10 22:52:05.508 INFO kablam! For more information about this error, try `rustc --explain E0658`.
Aug 10 22:52:05.515 INFO kablam! error: Could not compile `varisat`.
Aug 10 22:52:05.516 INFO kablam! warning: build failed, waiting for other jobs to finish...
Aug 10 22:52:06.032 INFO kablam! error: aborting due to 7 previous errors
Aug 10 22:52:06.032 INFO kablam! 
Aug 10 22:52:06.032 INFO kablam! For more information about this error, try `rustc --explain E0658`.
Aug 10 22:52:06.047 INFO kablam! error: Could not compile `varisat`.
Aug 10 22:52:06.047 INFO kablam! 
Aug 10 22:52:06.047 INFO kablam! To learn more, run the command again with --verbose.
Aug 10 22:52:06.049 INFO kablam! su: No module specific data is present
Aug 10 22:52:06.593 INFO running `"docker" "rm" "-f" "717072f73e1e73f0461ee102aa0f0b64346ddb8f8689c7518440a0b5a33f9df4"`
Aug 10 22:52:06.744 INFO blam! 717072f73e1e73f0461ee102aa0f0b64346ddb8f8689c7518440a0b5a33f9df4