Aug 01 14:58:31.968 INFO checking shinkwhek/SATsolver against 1.27.2 for lazy_static-1
Aug 01 14:58:31.968 INFO running: cargo +1.27.2 check --frozen --all --all-targets
Aug 01 14:58:31.968 INFO creating container for: cargo +1.27.2 check --frozen --all --all-targets
Aug 01 14:58:31.968 INFO running `"docker" "create" "-v" "/tmp/crater.pQYHYIlUsSwi:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/lazy_static-1/worker-1/1.27.2:/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 14:58:32.216 INFO blam! 0dca6646d625b0feb8fe6f8322ca3c4d85f93bde886e989a296b0efa178e1005
Aug 01 14:58:32.217 INFO running `"docker" "start" "-a" "0dca6646d625b0feb8fe6f8322ca3c4d85f93bde886e989a296b0efa178e1005"`
Aug 01 14:58:33.230 INFO kablam!     Checking satsolver v0.1.1 (file:///source)
Aug 01 14:58:33.886 INFO kablam! warning: type alias is never used: `Assignment`
Aug 01 14:58:33.886 INFO kablam!  --> src/core.rs:4:1
Aug 01 14:58:33.886 INFO kablam!   |
Aug 01 14:58:33.886 INFO kablam! 4 | type Assignment = Vec<Literal>;
Aug 01 14:58:33.886 INFO kablam!   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 01 14:58:33.887 INFO kablam!   |
Aug 01 14:58:33.887 INFO kablam!   = note: #[warn(dead_code)] on by default
Aug 01 14:58:33.887 INFO kablam! 
Aug 01 14:58:33.887 INFO kablam! warning: method is never used: `solver`
Aug 01 14:58:33.887 INFO kablam!   --> src/core.rs:21:5
Aug 01 14:58:33.887 INFO kablam!    |
Aug 01 14:58:33.887 INFO kablam! 21 |     pub fn solver(cnf: &mut Cnf, assignment: &mut Assignment) -> Option<Assignment> {
Aug 01 14:58:33.887 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 01 14:58:33.887 INFO kablam! 
Aug 01 14:58:33.888 INFO kablam! warning: method is never used: `unit_propagation`
Aug 01 14:58:33.888 INFO kablam!   --> src/core.rs:49:5
Aug 01 14:58:33.888 INFO kablam!    |
Aug 01 14:58:33.888 INFO kablam! 49 |     fn unit_propagation(cnf: &mut Cnf, assignment: &mut Assignment) -> (Cnf, Assignment) {
Aug 01 14:58:33.888 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 01 14:58:33.888 INFO kablam! 
Aug 01 14:58:33.888 INFO kablam! warning: struct is never used: `Lexer`
Aug 01 14:58:33.888 INFO kablam!  --> src/lexer.rs:4:1
Aug 01 14:58:33.888 INFO kablam!   |
Aug 01 14:58:33.888 INFO kablam! 4 | pub struct Lexer;
Aug 01 14:58:33.888 INFO kablam!   | ^^^^^^^^^^^^^^^^^
Aug 01 14:58:33.888 INFO kablam! 
Aug 01 14:58:33.888 INFO kablam! warning: method is never used: `run`
Aug 01 14:58:33.888 INFO kablam!  --> src/lexer.rs:6:5
Aug 01 14:58:33.888 INFO kablam!   |
Aug 01 14:58:33.888 INFO kablam! 6 |     pub fn run(filename: &str) -> Vec<Vec<isize>> {
Aug 01 14:58:33.888 INFO kablam!   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 01 14:58:33.888 INFO kablam! 
Aug 01 14:58:33.889 INFO kablam! warning: method is never used: `parse_line`
Aug 01 14:58:33.889 INFO kablam!   --> src/lexer.rs:52:5
Aug 01 14:58:33.889 INFO kablam!    |
Aug 01 14:58:33.889 INFO kablam! 52 |     fn parse_line(s: &&str) -> Vec<isize> {
Aug 01 14:58:33.889 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 01 14:58:33.889 INFO kablam! 
Aug 01 14:58:34.268 INFO kablam! warning: type alias is never used: `Literal`
Aug 01 14:58:34.268 INFO kablam!  --> src/core.rs:1:1
Aug 01 14:58:34.268 INFO kablam!   |
Aug 01 14:58:34.268 INFO kablam! 1 | type Literal = isize;
Aug 01 14:58:34.268 INFO kablam!   | ^^^^^^^^^^^^^^^^^^^^^
Aug 01 14:58:34.275 INFO kablam!   |
Aug 01 14:58:34.276 INFO kablam!   = note: #[warn(dead_code)] on by default
Aug 01 14:58:34.276 INFO kablam! 
Aug 01 14:58:34.276 INFO kablam! warning: type alias is never used: `Clause`
Aug 01 14:58:34.276 INFO kablam!  --> src/core.rs:2:1
Aug 01 14:58:34.276 INFO kablam!   |
Aug 01 14:58:34.276 INFO kablam! 2 | type Clause = Vec<Literal>;
Aug 01 14:58:34.276 INFO kablam!   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 01 14:58:34.276 INFO kablam! 
Aug 01 14:58:34.276 INFO kablam! warning: type alias is never used: `Cnf`
Aug 01 14:58:34.277 INFO kablam!  --> src/core.rs:3:1
Aug 01 14:58:34.277 INFO kablam!   |
Aug 01 14:58:34.277 INFO kablam! 3 | type Cnf = Vec<Clause>;
Aug 01 14:58:34.277 INFO kablam!   | ^^^^^^^^^^^^^^^^^^^^^^^
Aug 01 14:58:34.277 INFO kablam! 
Aug 01 14:58:34.277 INFO kablam! warning: type alias is never used: `Assignment`
Aug 01 14:58:34.277 INFO kablam!  --> src/core.rs:4:1
Aug 01 14:58:34.277 INFO kablam!   |
Aug 01 14:58:34.277 INFO kablam! 4 | type Assignment = Vec<Literal>;
Aug 01 14:58:34.277 INFO kablam!   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 01 14:58:34.277 INFO kablam! 
Aug 01 14:58:34.277 INFO kablam! warning: struct is never used: `DPLLClause`
Aug 01 14:58:34.277 INFO kablam!  --> src/core.rs:6:1
Aug 01 14:58:34.277 INFO kablam!   |
Aug 01 14:58:34.277 INFO kablam! 6 | pub struct DPLLClause;
Aug 01 14:58:34.277 INFO kablam!   | ^^^^^^^^^^^^^^^^^^^^^^
Aug 01 14:58:34.277 INFO kablam! 
Aug 01 14:58:34.277 INFO kablam! warning: method is never used: `is_unit`
Aug 01 14:58:34.277 INFO kablam!  --> src/core.rs:8:5
Aug 01 14:58:34.277 INFO kablam!   |
Aug 01 14:58:34.277 INFO kablam! 8 |     fn is_unit(clause: &Clause) -> bool {
Aug 01 14:58:34.277 INFO kablam!   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 01 14:58:34.277 INFO kablam! 
Aug 01 14:58:34.277 INFO kablam! warning: method is never used: `assign_clause`
Aug 01 14:58:34.277 INFO kablam!   --> src/core.rs:12:5
Aug 01 14:58:34.277 INFO kablam!    |
Aug 01 14:58:34.277 INFO kablam! 12 |     fn assign_clause(clause: &Clause, lit: isize) -> Clause {
Aug 01 14:58:34.277 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 01 14:58:34.277 INFO kablam! 
Aug 01 14:58:34.277 INFO kablam! warning: struct is never used: `DPLL`
Aug 01 14:58:34.277 INFO kablam!   --> src/core.rs:19:1
Aug 01 14:58:34.278 INFO kablam!    |
Aug 01 14:58:34.278 INFO kablam! 19 | pub struct DPLL;
Aug 01 14:58:34.278 INFO kablam!    | ^^^^^^^^^^^^^^^^
Aug 01 14:58:34.278 INFO kablam! 
Aug 01 14:58:34.278 INFO kablam! warning: method is never used: `solver`
Aug 01 14:58:34.278 INFO kablam!   --> src/core.rs:21:5
Aug 01 14:58:34.278 INFO kablam!    |
Aug 01 14:58:34.278 INFO kablam! 21 |     pub fn solver(cnf: &mut Cnf, assignment: &mut Assignment) -> Option<Assignment> {
Aug 01 14:58:34.278 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 01 14:58:34.278 INFO kablam! 
Aug 01 14:58:34.278 INFO kablam! warning: method is never used: `assign`
Aug 01 14:58:34.278 INFO kablam!   --> src/core.rs:41:5
Aug 01 14:58:34.278 INFO kablam!    |
Aug 01 14:58:34.278 INFO kablam! 41 |     fn assign(cnf: &Cnf, lit: Literal) -> Cnf {
Aug 01 14:58:34.278 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 01 14:58:34.278 INFO kablam! 
Aug 01 14:58:34.278 INFO kablam! warning: method is never used: `unit_propagation`
Aug 01 14:58:34.278 INFO kablam!   --> src/core.rs:49:5
Aug 01 14:58:34.278 INFO kablam!    |
Aug 01 14:58:34.278 INFO kablam! 49 |     fn unit_propagation(cnf: &mut Cnf, assignment: &mut Assignment) -> (Cnf, Assignment) {
Aug 01 14:58:34.278 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 01 14:58:34.278 INFO kablam! 
Aug 01 14:58:34.278 INFO kablam! warning: method is never used: `exists_empty_clause`
Aug 01 14:58:34.278 INFO kablam!   --> src/core.rs:58:5
Aug 01 14:58:34.278 INFO kablam!    |
Aug 01 14:58:34.278 INFO kablam! 58 |     fn exists_empty_clause(cnf: &Cnf) -> bool {
Aug 01 14:58:34.278 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 01 14:58:34.278 INFO kablam! 
Aug 01 14:58:34.278 INFO kablam! warning: method is never used: `get_unit_literal`
Aug 01 14:58:34.278 INFO kablam!   --> src/core.rs:62:5
Aug 01 14:58:34.278 INFO kablam!    |
Aug 01 14:58:34.278 INFO kablam! 62 |     fn get_unit_literal(cnf: &mut Cnf) -> Option<Literal> {
Aug 01 14:58:34.279 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 01 14:58:34.279 INFO kablam! 
Aug 01 14:58:34.279 INFO kablam! warning: method is never used: `select`
Aug 01 14:58:34.279 INFO kablam!   --> src/core.rs:72:5
Aug 01 14:58:34.279 INFO kablam!    |
Aug 01 14:58:34.279 INFO kablam! 72 |     fn select(cnf: &Cnf) -> Literal {
Aug 01 14:58:34.279 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 01 14:58:34.279 INFO kablam! 
Aug 01 14:58:34.279 INFO kablam! warning: struct is never used: `Lexer`
Aug 01 14:58:34.279 INFO kablam!  --> src/lexer.rs:4:1
Aug 01 14:58:34.279 INFO kablam!   |
Aug 01 14:58:34.279 INFO kablam! 4 | pub struct Lexer;
Aug 01 14:58:34.279 INFO kablam!   | ^^^^^^^^^^^^^^^^^
Aug 01 14:58:34.279 INFO kablam! 
Aug 01 14:58:34.279 INFO kablam! warning: method is never used: `run`
Aug 01 14:58:34.279 INFO kablam!  --> src/lexer.rs:6:5
Aug 01 14:58:34.279 INFO kablam!   |
Aug 01 14:58:34.279 INFO kablam! 6 |     pub fn run(filename: &str) -> Vec<Vec<isize>> {
Aug 01 14:58:34.279 INFO kablam!   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 01 14:58:34.279 INFO kablam! 
Aug 01 14:58:34.279 INFO kablam! warning: method is never used: `parse_line`
Aug 01 14:58:34.279 INFO kablam!   --> src/lexer.rs:52:5
Aug 01 14:58:34.279 INFO kablam!    |
Aug 01 14:58:34.279 INFO kablam! 52 |     fn parse_line(s: &&str) -> Vec<isize> {
Aug 01 14:58:34.279 INFO kablam!    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Aug 01 14:58:34.279 INFO kablam! 
Aug 01 14:58:35.562 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 2.42s
Aug 01 14:58:35.568 INFO kablam! su: No module specific data is present
Aug 01 14:58:36.226 INFO running `"docker" "rm" "-f" "0dca6646d625b0feb8fe6f8322ca3c4d85f93bde886e989a296b0efa178e1005"`
Aug 01 14:58:36.453 INFO blam! 0dca6646d625b0feb8fe6f8322ca3c4d85f93bde886e989a296b0efa178e1005