Aug 10 17:34:37.659 INFO checking shinkwhek/SATsolver against master#f6d43ed84207c7e58f363f46e5a438ff40f2b311 for libc-1
Aug 10 17:34:37.660 INFO running: cargo +f6d43ed84207c7e58f363f46e5a438ff40f2b311-alt check --frozen --all --all-targets
Aug 10 17:34:37.660 INFO creating container for: cargo +f6d43ed84207c7e58f363f46e5a438ff40f2b311-alt check --frozen --all --all-targets
Aug 10 17:34:37.660 INFO running `"docker" "create" "-v" "/tmp/crater.BoI3kI9mTx2S:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/libc-1/worker-3/master#f6d43ed84207c7e58f363f46e5a438ff40f2b311:/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 +f6d43ed84207c7e58f363f46e5a438ff40f2b311-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "crater"`
Aug 10 17:34:37.919 INFO blam! 0d0695ebb11ef41c95d12484531aaa64f458a4741601052670154f7bb4bc60e3
Aug 10 17:34:37.922 INFO running `"docker" "start" "-a" "0d0695ebb11ef41c95d12484531aaa64f458a4741601052670154f7bb4bc60e3"`
Aug 10 17:34:38.834 INFO kablam!     Checking satsolver v0.1.1 (file:///source)
Aug 10 17:34:39.477 INFO kablam! warning: type alias is never used: `Literal`
Aug 10 17:34:39.477 INFO kablam!  --> src/core.rs:1:1
Aug 10 17:34:39.477 INFO kablam!   |
Aug 10 17:34:39.477 INFO kablam! 1 | type Literal = isize;
Aug 10 17:34:39.477 INFO kablam!   | ^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:39.478 INFO kablam!   |
Aug 10 17:34:39.478 INFO kablam!   = note: #[warn(dead_code)] on by default
Aug 10 17:34:39.478 INFO kablam! 
Aug 10 17:34:39.478 INFO kablam! warning: type alias is never used: `Clause`
Aug 10 17:34:39.478 INFO kablam!  --> src/core.rs:2:1
Aug 10 17:34:39.479 INFO kablam!   |
Aug 10 17:34:39.479 INFO kablam! 2 | type Clause = Vec<Literal>;
Aug 10 17:34:39.479 INFO kablam!   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:39.479 INFO kablam! 
Aug 10 17:34:39.479 INFO kablam! warning: type alias is never used: `Cnf`
Aug 10 17:34:39.479 INFO kablam!  --> src/core.rs:3:1
Aug 10 17:34:39.479 INFO kablam!   |
Aug 10 17:34:39.479 INFO kablam! 3 | type Cnf = Vec<Clause>;
Aug 10 17:34:39.479 INFO kablam!   | ^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:39.479 INFO kablam! 
Aug 10 17:34:39.479 INFO kablam! warning: type alias is never used: `Assignment`
Aug 10 17:34:39.479 INFO kablam!  --> src/core.rs:4:1
Aug 10 17:34:39.479 INFO kablam!   |
Aug 10 17:34:39.479 INFO kablam! 4 | type Assignment = Vec<Literal>;
Aug 10 17:34:39.479 INFO kablam!   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:39.479 INFO kablam! 
Aug 10 17:34:39.479 INFO kablam! warning: struct is never constructed: `DPLLClause`
Aug 10 17:34:39.479 INFO kablam!  --> src/core.rs:6:1
Aug 10 17:34:39.479 INFO kablam!   |
Aug 10 17:34:39.479 INFO kablam! 6 | pub struct DPLLClause;
Aug 10 17:34:39.479 INFO kablam!   | ^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:39.479 INFO kablam! 
Aug 10 17:34:39.479 INFO kablam! warning: method is never used: `is_unit`
Aug 10 17:34:39.479 INFO kablam!  --> src/core.rs:8:5
Aug 10 17:34:39.479 INFO kablam!   |
Aug 10 17:34:39.479 INFO kablam! 8 |     fn is_unit(clause: &Clause) -> bool {
Aug 10 17:34:39.479 INFO kablam!   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:39.479 INFO kablam! 
Aug 10 17:34:39.479 INFO kablam! warning: method is never used: `assign_clause`
Aug 10 17:34:39.479 INFO kablam!   --> src/core.rs:12:5
Aug 10 17:34:39.480 INFO kablam!    |
Aug 10 17:34:39.480 INFO kablam! 12 |     fn assign_clause(clause: &Clause, lit: isize) -> Clause {
Aug 10 17:34:39.480 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:39.480 INFO kablam! 
Aug 10 17:34:39.480 INFO kablam! warning: struct is never constructed: `DPLL`
Aug 10 17:34:39.480 INFO kablam!   --> src/core.rs:19:1
Aug 10 17:34:39.480 INFO kablam!    |
Aug 10 17:34:39.480 INFO kablam! 19 | pub struct DPLL;
Aug 10 17:34:39.480 INFO kablam!    | ^^^^^^^^^^^^^^^^
Aug 10 17:34:39.480 INFO kablam! 
Aug 10 17:34:39.480 INFO kablam! warning: method is never used: `solver`
Aug 10 17:34:39.480 INFO kablam!   --> src/core.rs:21:5
Aug 10 17:34:39.480 INFO kablam!    |
Aug 10 17:34:39.480 INFO kablam! 21 |     pub fn solver(cnf: &mut Cnf, assignment: &mut Assignment) -> Option<Assignment> {
Aug 10 17:34:39.480 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:39.480 INFO kablam! 
Aug 10 17:34:39.480 INFO kablam! warning: method is never used: `assign`
Aug 10 17:34:39.480 INFO kablam!   --> src/core.rs:41:5
Aug 10 17:34:39.480 INFO kablam!    |
Aug 10 17:34:39.480 INFO kablam! 41 |     fn assign(cnf: &Cnf, lit: Literal) -> Cnf {
Aug 10 17:34:39.480 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:39.480 INFO kablam! 
Aug 10 17:34:39.480 INFO kablam! warning: method is never used: `unit_propagation`
Aug 10 17:34:39.480 INFO kablam!   --> src/core.rs:49:5
Aug 10 17:34:39.480 INFO kablam!    |
Aug 10 17:34:39.480 INFO kablam! 49 |     fn unit_propagation(cnf: &mut Cnf, assignment: &mut Assignment) -> (Cnf, Assignment) {
Aug 10 17:34:39.480 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:39.480 INFO kablam! 
Aug 10 17:34:39.481 INFO kablam! warning: method is never used: `exists_empty_clause`
Aug 10 17:34:39.481 INFO kablam!   --> src/core.rs:58:5
Aug 10 17:34:39.481 INFO kablam!    |
Aug 10 17:34:39.481 INFO kablam! 58 |     fn exists_empty_clause(cnf: &Cnf) -> bool {
Aug 10 17:34:39.481 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:39.481 INFO kablam! 
Aug 10 17:34:39.481 INFO kablam! warning: method is never used: `get_unit_literal`
Aug 10 17:34:39.481 INFO kablam!   --> src/core.rs:62:5
Aug 10 17:34:39.481 INFO kablam!    |
Aug 10 17:34:39.481 INFO kablam! 62 |     fn get_unit_literal(cnf: &mut Cnf) -> Option<Literal> {
Aug 10 17:34:39.481 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:39.481 INFO kablam! 
Aug 10 17:34:39.481 INFO kablam! warning: method is never used: `select`
Aug 10 17:34:39.481 INFO kablam!   --> src/core.rs:72:5
Aug 10 17:34:39.481 INFO kablam!    |
Aug 10 17:34:39.481 INFO kablam! 72 |     fn select(cnf: &Cnf) -> Literal {
Aug 10 17:34:39.481 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:39.481 INFO kablam! 
Aug 10 17:34:39.487 INFO kablam! warning: struct is never constructed: `Lexer`
Aug 10 17:34:39.487 INFO kablam!  --> src/lexer.rs:4:1
Aug 10 17:34:39.487 INFO kablam!   |
Aug 10 17:34:39.487 INFO kablam! 4 | pub struct Lexer;
Aug 10 17:34:39.487 INFO kablam!   | ^^^^^^^^^^^^^^^^^
Aug 10 17:34:39.487 INFO kablam! 
Aug 10 17:34:39.487 INFO kablam! warning: method is never used: `run`
Aug 10 17:34:39.487 INFO kablam!  --> src/lexer.rs:6:5
Aug 10 17:34:39.487 INFO kablam!   |
Aug 10 17:34:39.487 INFO kablam! 6 |     pub fn run(filename: &str) -> Vec<Vec<isize>> {
Aug 10 17:34:39.487 INFO kablam!   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:39.487 INFO kablam! 
Aug 10 17:34:39.487 INFO kablam! warning: method is never used: `parse_line`
Aug 10 17:34:39.487 INFO kablam!   --> src/lexer.rs:52:5
Aug 10 17:34:39.487 INFO kablam!    |
Aug 10 17:34:39.487 INFO kablam! 52 |     fn parse_line(s: &&str) -> Vec<isize> {
Aug 10 17:34:39.487 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:39.487 INFO kablam! 
Aug 10 17:34:40.138 INFO kablam! warning: type alias is never used: `Assignment`
Aug 10 17:34:40.138 INFO kablam!  --> src/core.rs:4:1
Aug 10 17:34:40.138 INFO kablam!   |
Aug 10 17:34:40.138 INFO kablam! 4 | type Assignment = Vec<Literal>;
Aug 10 17:34:40.138 INFO kablam!   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:40.140 INFO kablam!   |
Aug 10 17:34:40.140 INFO kablam!   = note: #[warn(dead_code)] on by default
Aug 10 17:34:40.141 INFO kablam! 
Aug 10 17:34:40.141 INFO kablam! warning: method is never used: `solver`
Aug 10 17:34:40.141 INFO kablam!   --> src/core.rs:21:5
Aug 10 17:34:40.141 INFO kablam!    |
Aug 10 17:34:40.141 INFO kablam! 21 |     pub fn solver(cnf: &mut Cnf, assignment: &mut Assignment) -> Option<Assignment> {
Aug 10 17:34:40.141 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:40.141 INFO kablam! 
Aug 10 17:34:40.142 INFO kablam! warning: method is never used: `unit_propagation`
Aug 10 17:34:40.142 INFO kablam!   --> src/core.rs:49:5
Aug 10 17:34:40.142 INFO kablam!    |
Aug 10 17:34:40.142 INFO kablam! 49 |     fn unit_propagation(cnf: &mut Cnf, assignment: &mut Assignment) -> (Cnf, Assignment) {
Aug 10 17:34:40.142 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:40.142 INFO kablam! 
Aug 10 17:34:40.142 INFO kablam! warning: struct is never constructed: `Lexer`
Aug 10 17:34:40.142 INFO kablam!  --> src/lexer.rs:4:1
Aug 10 17:34:40.142 INFO kablam!   |
Aug 10 17:34:40.142 INFO kablam! 4 | pub struct Lexer;
Aug 10 17:34:40.142 INFO kablam!   | ^^^^^^^^^^^^^^^^^
Aug 10 17:34:40.144 INFO kablam! 
Aug 10 17:34:40.145 INFO kablam! warning: method is never used: `run`
Aug 10 17:34:40.145 INFO kablam!  --> src/lexer.rs:6:5
Aug 10 17:34:40.145 INFO kablam!   |
Aug 10 17:34:40.145 INFO kablam! 6 |     pub fn run(filename: &str) -> Vec<Vec<isize>> {
Aug 10 17:34:40.145 INFO kablam!   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:40.145 INFO kablam! 
Aug 10 17:34:40.145 INFO kablam! warning: method is never used: `parse_line`
Aug 10 17:34:40.145 INFO kablam!   --> src/lexer.rs:52:5
Aug 10 17:34:40.145 INFO kablam!    |
Aug 10 17:34:40.145 INFO kablam! 52 |     fn parse_line(s: &&str) -> Vec<isize> {
Aug 10 17:34:40.145 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 10 17:34:40.145 INFO kablam! 
Aug 10 17:34:40.835 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 2.09s
Aug 10 17:34:40.841 INFO kablam! su: No module specific data is present
Aug 10 17:34:41.423 INFO running `"docker" "rm" "-f" "0d0695ebb11ef41c95d12484531aaa64f458a4741601052670154f7bb4bc60e3"`
Aug 10 17:34:41.574 INFO blam! 0d0695ebb11ef41c95d12484531aaa64f458a4741601052670154f7bb4bc60e3