Aug 10 17:34:36.077 INFO checking shinkwhek/SATsolver against try#a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195+tmplazy for libc-1
Aug 10 17:34:36.077 INFO running: cargo +a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195-alt check --frozen --all --all-targets
Aug 10 17:34:36.077 INFO creating container for: cargo +a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195-alt check --frozen --all --all-targets
Aug 10 17:34:36.077 INFO running `"docker" "create" "-v" "/tmp/crater.0qOh1n0VYjgZ:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/libc-1/worker-0/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 17:34:36.351 INFO blam! b36d8afd2ef8624140abefddc8ba906290678c42613da8d6c535d264af984cbc
Aug 10 17:34:36.353 INFO running `"docker" "start" "-a" "b36d8afd2ef8624140abefddc8ba906290678c42613da8d6c535d264af984cbc"`
Aug 10 17:34:37.352 INFO kablam!     Checking ansi_term v0.9.0
Aug 10 17:34:38.331 INFO kablam!     Checking satsolver v0.1.1 (file:///source)
Aug 10 17:34:38.879 INFO kablam! warning: type alias is never used: `Literal`
Aug 10 17:34:38.879 INFO kablam!  --> src/core.rs:1:1
Aug 10 17:34:38.879 INFO kablam!   |
Aug 10 17:34:38.879 INFO kablam! 1 | type Literal = isize;
Aug 10 17:34:38.879 INFO kablam!   | ^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:38.879 INFO kablam!   |
Aug 10 17:34:38.879 INFO kablam!   = note: #[warn(dead_code)] on by default
Aug 10 17:34:38.879 INFO kablam! 
Aug 10 17:34:38.880 INFO kablam! warning: type alias is never used: `Clause`
Aug 10 17:34:38.880 INFO kablam!  --> src/core.rs:2:1
Aug 10 17:34:38.880 INFO kablam!   |
Aug 10 17:34:38.880 INFO kablam! 2 | type Clause = Vec<Literal>;
Aug 10 17:34:38.880 INFO kablam!   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:38.880 INFO kablam! 
Aug 10 17:34:38.881 INFO kablam! warning: type alias is never used: `Cnf`
Aug 10 17:34:38.881 INFO kablam!  --> src/core.rs:3:1
Aug 10 17:34:38.881 INFO kablam!   |
Aug 10 17:34:38.881 INFO kablam! 3 | type Cnf = Vec<Clause>;
Aug 10 17:34:38.881 INFO kablam!   | ^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:38.881 INFO kablam! 
Aug 10 17:34:38.881 INFO kablam! warning: type alias is never used: `Assignment`
Aug 10 17:34:38.881 INFO kablam!  --> src/core.rs:4:1
Aug 10 17:34:38.881 INFO kablam!   |
Aug 10 17:34:38.881 INFO kablam! 4 | type Assignment = Vec<Literal>;
Aug 10 17:34:38.881 INFO kablam!   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:38.881 INFO kablam! 
Aug 10 17:34:38.881 INFO kablam! warning: struct is never constructed: `DPLLClause`
Aug 10 17:34:38.881 INFO kablam!  --> src/core.rs:6:1
Aug 10 17:34:38.881 INFO kablam!   |
Aug 10 17:34:38.882 INFO kablam! 6 | pub struct DPLLClause;
Aug 10 17:34:38.882 INFO kablam!   | ^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:38.882 INFO kablam! 
Aug 10 17:34:38.882 INFO kablam! warning: method is never used: `is_unit`
Aug 10 17:34:38.882 INFO kablam!  --> src/core.rs:8:5
Aug 10 17:34:38.882 INFO kablam!   |
Aug 10 17:34:38.882 INFO kablam! 8 |     fn is_unit(clause: &Clause) -> bool {
Aug 10 17:34:38.882 INFO kablam!   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:38.882 INFO kablam! 
Aug 10 17:34:38.882 INFO kablam! warning: method is never used: `assign_clause`
Aug 10 17:34:38.882 INFO kablam!   --> src/core.rs:12:5
Aug 10 17:34:38.882 INFO kablam!    |
Aug 10 17:34:38.882 INFO kablam! 12 |     fn assign_clause(clause: &Clause, lit: isize) -> Clause {
Aug 10 17:34:38.882 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:38.882 INFO kablam! 
Aug 10 17:34:38.882 INFO kablam! warning: struct is never constructed: `DPLL`
Aug 10 17:34:38.883 INFO kablam!   --> src/core.rs:19:1
Aug 10 17:34:38.883 INFO kablam!    |
Aug 10 17:34:38.883 INFO kablam! 19 | pub struct DPLL;
Aug 10 17:34:38.883 INFO kablam!    | ^^^^^^^^^^^^^^^^
Aug 10 17:34:38.883 INFO kablam! 
Aug 10 17:34:38.883 INFO kablam! warning: method is never used: `solver`
Aug 10 17:34:38.883 INFO kablam!   --> src/core.rs:21:5
Aug 10 17:34:38.883 INFO kablam!    |
Aug 10 17:34:38.883 INFO kablam! 21 |     pub fn solver(cnf: &mut Cnf, assignment: &mut Assignment) -> Option<Assignment> {
Aug 10 17:34:38.883 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:38.883 INFO kablam! 
Aug 10 17:34:38.884 INFO kablam! warning: method is never used: `assign`
Aug 10 17:34:38.884 INFO kablam!   --> src/core.rs:41:5
Aug 10 17:34:38.884 INFO kablam!    |
Aug 10 17:34:38.884 INFO kablam! 41 |     fn assign(cnf: &Cnf, lit: Literal) -> Cnf {
Aug 10 17:34:38.884 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:38.884 INFO kablam! 
Aug 10 17:34:38.884 INFO kablam! warning: method is never used: `unit_propagation`
Aug 10 17:34:38.884 INFO kablam!   --> src/core.rs:49:5
Aug 10 17:34:38.884 INFO kablam!    |
Aug 10 17:34:38.884 INFO kablam! 49 |     fn unit_propagation(cnf: &mut Cnf, assignment: &mut Assignment) -> (Cnf, Assignment) {
Aug 10 17:34:38.884 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:38.884 INFO kablam! 
Aug 10 17:34:38.884 INFO kablam! warning: method is never used: `exists_empty_clause`
Aug 10 17:34:38.884 INFO kablam!   --> src/core.rs:58:5
Aug 10 17:34:38.884 INFO kablam!    |
Aug 10 17:34:38.884 INFO kablam! 58 |     fn exists_empty_clause(cnf: &Cnf) -> bool {
Aug 10 17:34:38.884 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:38.884 INFO kablam! 
Aug 10 17:34:38.884 INFO kablam! warning: method is never used: `get_unit_literal`
Aug 10 17:34:38.884 INFO kablam!   --> src/core.rs:62:5
Aug 10 17:34:38.884 INFO kablam!    |
Aug 10 17:34:38.884 INFO kablam! 62 |     fn get_unit_literal(cnf: &mut Cnf) -> Option<Literal> {
Aug 10 17:34:38.884 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:38.884 INFO kablam! 
Aug 10 17:34:38.885 INFO kablam! warning: method is never used: `select`
Aug 10 17:34:38.885 INFO kablam!   --> src/core.rs:72:5
Aug 10 17:34:38.885 INFO kablam!    |
Aug 10 17:34:38.885 INFO kablam! 72 |     fn select(cnf: &Cnf) -> Literal {
Aug 10 17:34:38.885 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:38.885 INFO kablam! 
Aug 10 17:34:38.885 INFO kablam! warning: struct is never constructed: `Lexer`
Aug 10 17:34:38.885 INFO kablam!  --> src/lexer.rs:4:1
Aug 10 17:34:38.886 INFO kablam!   |
Aug 10 17:34:38.886 INFO kablam! 4 | pub struct Lexer;
Aug 10 17:34:38.886 INFO kablam!   | ^^^^^^^^^^^^^^^^^
Aug 10 17:34:38.886 INFO kablam! 
Aug 10 17:34:38.886 INFO kablam! warning: method is never used: `run`
Aug 10 17:34:38.886 INFO kablam!  --> src/lexer.rs:6:5
Aug 10 17:34:38.886 INFO kablam!   |
Aug 10 17:34:38.886 INFO kablam! 6 |     pub fn run(filename: &str) -> Vec<Vec<isize>> {
Aug 10 17:34:38.886 INFO kablam!   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:38.886 INFO kablam! 
Aug 10 17:34:38.886 INFO kablam! warning: method is never used: `parse_line`
Aug 10 17:34:38.886 INFO kablam!   --> src/lexer.rs:52:5
Aug 10 17:34:38.886 INFO kablam!    |
Aug 10 17:34:38.886 INFO kablam! 52 |     fn parse_line(s: &&str) -> Vec<isize> {
Aug 10 17:34:38.886 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:38.886 INFO kablam! 
Aug 10 17:34:39.217 INFO kablam! warning: type alias is never used: `Assignment`
Aug 10 17:34:39.217 INFO kablam!  --> src/core.rs:4:1
Aug 10 17:34:39.217 INFO kablam!   |
Aug 10 17:34:39.217 INFO kablam! 4 | type Assignment = Vec<Literal>;
Aug 10 17:34:39.217 INFO kablam!   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:39.217 INFO kablam!   |
Aug 10 17:34:39.217 INFO kablam!   = note: #[warn(dead_code)] on by default
Aug 10 17:34:39.217 INFO kablam! 
Aug 10 17:34:39.217 INFO kablam! warning: method is never used: `solver`
Aug 10 17:34:39.217 INFO kablam!   --> src/core.rs:21:5
Aug 10 17:34:39.217 INFO kablam!    |
Aug 10 17:34:39.218 INFO kablam! 21 |     pub fn solver(cnf: &mut Cnf, assignment: &mut Assignment) -> Option<Assignment> {
Aug 10 17:34:39.218 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:39.218 INFO kablam! 
Aug 10 17:34:39.218 INFO kablam! warning: method is never used: `unit_propagation`
Aug 10 17:34:39.218 INFO kablam!   --> src/core.rs:49:5
Aug 10 17:34:39.218 INFO kablam!    |
Aug 10 17:34:39.218 INFO kablam! 49 |     fn unit_propagation(cnf: &mut Cnf, assignment: &mut Assignment) -> (Cnf, Assignment) {
Aug 10 17:34:39.218 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:39.218 INFO kablam! 
Aug 10 17:34:39.218 INFO kablam! warning: struct is never constructed: `Lexer`
Aug 10 17:34:39.218 INFO kablam!  --> src/lexer.rs:4:1
Aug 10 17:34:39.218 INFO kablam!   |
Aug 10 17:34:39.218 INFO kablam! 4 | pub struct Lexer;
Aug 10 17:34:39.218 INFO kablam!   | ^^^^^^^^^^^^^^^^^
Aug 10 17:34:39.218 INFO kablam! 
Aug 10 17:34:39.218 INFO kablam! warning: method is never used: `run`
Aug 10 17:34:39.218 INFO kablam!  --> src/lexer.rs:6:5
Aug 10 17:34:39.218 INFO kablam!   |
Aug 10 17:34:39.218 INFO kablam! 6 |     pub fn run(filename: &str) -> Vec<Vec<isize>> {
Aug 10 17:34:39.218 INFO kablam!   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:39.218 INFO kablam! 
Aug 10 17:34:39.218 INFO kablam! warning: method is never used: `parse_line`
Aug 10 17:34:39.218 INFO kablam!   --> src/lexer.rs:52:5
Aug 10 17:34:39.218 INFO kablam!    |
Aug 10 17:34:39.218 INFO kablam! 52 |     fn parse_line(s: &&str) -> Vec<isize> {
Aug 10 17:34:39.218 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:39.218 INFO kablam! 
Aug 10 17:34:40.178 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 2.92s
Aug 10 17:34:40.184 INFO kablam! su: No module specific data is present
Aug 10 17:34:40.758 INFO running `"docker" "rm" "-f" "b36d8afd2ef8624140abefddc8ba906290678c42613da8d6c535d264af984cbc"`
Aug 10 17:34:40.905 INFO blam! b36d8afd2ef8624140abefddc8ba906290678c42613da8d6c535d264af984cbc