Dec 13 20:38:24.410 INFO testing edoipi/rusty_duckling against master#bd47d6825bf4090517549d33cfef10d3300b4a75 for pr-56550
Dec 13 20:38:24.410 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-2/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/pr-56550/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +bd47d6825bf4090517549d33cfef10d3300b4a75-alt build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 13 20:38:24.923 INFO [stdout] 89fa0d94595a37bb3a25cbcb05da4866c7ba4fcb8d6f9243ee24dda77e745dde
Dec 13 20:38:24.925 INFO running `"docker" "start" "-a" "89fa0d94595a37bb3a25cbcb05da4866c7ba4fcb8d6f9243ee24dda77e745dde"`
Dec 13 20:38:26.225 INFO [stderr] usermod: no changes
Dec 13 20:38:26.283 INFO [stderr]    Compiling rusty_duckling v0.1.0 (/source)
Dec 13 20:38:26.687 INFO [stderr] warning: unused import: `std::ptr`
Dec 13 20:38:26.687 INFO [stderr]  --> src/cnf_manager.rs:3:5
Dec 13 20:38:26.687 INFO [stderr]   |
Dec 13 20:38:26.687 INFO [stderr] 3 | use std::ptr;
Dec 13 20:38:26.687 INFO [stderr]   |     ^^^^^^^^
Dec 13 20:38:26.687 INFO [stderr]   |
Dec 13 20:38:26.687 INFO [stderr]   = note: #[warn(unused_imports)] on by default
Dec 13 20:38:26.687 INFO [stderr] 
Dec 13 20:38:26.687 INFO [stderr] warning: unnecessary parentheses around method argument
Dec 13 20:38:26.687 INFO [stderr]   --> src/sat_solver.rs:60:36
Dec 13 20:38:26.687 INFO [stderr]    |
Dec 13 20:38:26.687 INFO [stderr] 60 |                     ret.cnf_manager.assertLiteral((i as i32), ArrTuple::new(), 0);
Dec 13 20:38:26.687 INFO [stderr]    |                                                   ^^^^^^^^^^ help: remove these parentheses
Dec 13 20:38:26.687 INFO [stderr]    |
Dec 13 20:38:26.687 INFO [stderr]    = note: #[warn(unused_parens)] on by default
Dec 13 20:38:26.687 INFO [stderr] 
Dec 13 20:38:26.859 INFO [stderr] warning: unused variable: `i`
Dec 13 20:38:26.859 INFO [stderr]    --> src/cnf_manager.rs:157:7
Dec 13 20:38:26.859 INFO [stderr]     |
Dec 13 20:38:26.859 INFO [stderr] 157 |         for i in 0..ret.var_count+1 {
Dec 13 20:38:26.859 INFO [stderr]     |             ^ help: consider using `_i` instead
Dec 13 20:38:26.859 INFO [stderr]     |
Dec 13 20:38:26.859 INFO [stderr]     = note: #[warn(unused_variables)] on by default
Dec 13 20:38:26.859 INFO [stderr] 
Dec 13 20:38:26.859 INFO [stderr] warning: value assigned to `lit` is never read
Dec 13 20:38:26.859 INFO [stderr]    --> src/cnf_manager.rs:394:11
Dec 13 20:38:26.859 INFO [stderr]     |
Dec 13 20:38:26.859 INFO [stderr] 394 |         let mut lit = 0;
Dec 13 20:38:26.859 INFO [stderr]     |                 ^^^
Dec 13 20:38:26.859 INFO [stderr]     |
Dec 13 20:38:26.859 INFO [stderr]     = note: #[warn(unused_assignments)] on by default
Dec 13 20:38:26.859 INFO [stderr] 
Dec 13 20:38:26.859 INFO [stderr] warning: value assigned to `cur_level_lits` is never read
Dec 13 20:38:26.859 INFO [stderr]    --> src/cnf_manager.rs:418:5
Dec 13 20:38:26.859 INFO [stderr]     |
Dec 13 20:38:26.859 INFO [stderr] 418 |                 cur_level_lits -= 1;
Dec 13 20:38:26.859 INFO [stderr]     |                 ^^^^^^^^^^^^^^
Dec 13 20:38:26.859 INFO [stderr] 
Dec 13 20:38:26.887 INFO [stderr] warning: variable does not need to be mutable
Dec 13 20:38:26.887 INFO [stderr]    --> src/cnf_manager.rs:271:9
Dec 13 20:38:26.887 INFO [stderr]     |
Dec 13 20:38:26.887 INFO [stderr] 271 |                 let mut watch;
Dec 13 20:38:26.887 INFO [stderr]     |                     ----^^^^^
Dec 13 20:38:26.887 INFO [stderr]     |                     |
Dec 13 20:38:26.887 INFO [stderr]     |                     help: remove this `mut`
Dec 13 20:38:26.887 INFO [stderr]     |
Dec 13 20:38:26.887 INFO [stderr]     = note: #[warn(unused_mut)] on by default
Dec 13 20:38:26.887 INFO [stderr] 
Dec 13 20:38:26.887 INFO [stderr] warning: variable does not need to be mutable
Dec 13 20:38:26.887 INFO [stderr]    --> src/cnf_manager.rs:272:9
Dec 13 20:38:26.887 INFO [stderr]     |
Dec 13 20:38:26.887 INFO [stderr] 272 |                 let mut other_watch;
Dec 13 20:38:26.887 INFO [stderr]     |                     ----^^^^^^^^^^^
Dec 13 20:38:26.887 INFO [stderr]     |                     |
Dec 13 20:38:26.887 INFO [stderr]     |                     help: remove this `mut`
Dec 13 20:38:26.887 INFO [stderr] 
Dec 13 20:38:26.899 INFO [stderr] warning: variable does not need to be mutable
Dec 13 20:38:26.899 INFO [stderr]    --> src/cnf_manager.rs:363:7
Dec 13 20:38:26.899 INFO [stderr]     |
Dec 13 20:38:26.899 INFO [stderr] 363 |         let mut conflict_clause = 
Dec 13 20:38:26.899 INFO [stderr]     |             ----^^^^^^^^^^^^^^^
Dec 13 20:38:26.899 INFO [stderr]     |             |
Dec 13 20:38:26.899 INFO [stderr]     |             help: remove this `mut`
Dec 13 20:38:26.899 INFO [stderr] 
Dec 13 20:38:26.899 INFO [stderr] warning: variable does not need to be mutable
Dec 13 20:38:26.899 INFO [stderr]    --> src/cnf_manager.rs:428:9
Dec 13 20:38:26.899 INFO [stderr]     |
Dec 13 20:38:26.899 INFO [stderr] 428 |                 let mut ante = 
Dec 13 20:38:26.899 INFO [stderr]     |                     ----^^^^
Dec 13 20:38:26.899 INFO [stderr]     |                     |
Dec 13 20:38:26.899 INFO [stderr]     |                     help: remove this `mut`
Dec 13 20:38:26.899 INFO [stderr] 
Dec 13 20:38:26.903 INFO [stderr] warning: variable does not need to be mutable
Dec 13 20:38:26.903 INFO [stderr]    --> src/cnf_manager.rs:547:7
Dec 13 20:38:26.903 INFO [stderr]     |
Dec 13 20:38:26.903 INFO [stderr] 547 |         let mut vec = 
Dec 13 20:38:26.903 INFO [stderr]     |             ----^^^
Dec 13 20:38:26.903 INFO [stderr]     |             |
Dec 13 20:38:26.903 INFO [stderr]     |             help: remove this `mut`
Dec 13 20:38:26.903 INFO [stderr] 
Dec 13 20:38:26.919 INFO [stderr] warning: function `SIGN` should have a snake case name such as `sign`
Dec 13 20:38:26.920 INFO [stderr]   --> src/cnf_manager.rs:13:1
Dec 13 20:38:26.920 INFO [stderr]    |
Dec 13 20:38:26.920 INFO [stderr] 13 | / pub fn SIGN(&lit : &i32) -> VA {
Dec 13 20:38:26.920 INFO [stderr] 14 | |     if lit > 0 {VA::Pos} else {VA::Neg}
Dec 13 20:38:26.920 INFO [stderr] 15 | | }
Dec 13 20:38:26.920 INFO [stderr]    | |_^
Dec 13 20:38:26.920 INFO [stderr]    |
Dec 13 20:38:26.920 INFO [stderr]    = note: #[warn(non_snake_case)] on by default
Dec 13 20:38:26.920 INFO [stderr] 
Dec 13 20:38:26.920 INFO [stderr] warning: function `VAR` should have a snake case name such as `var`
Dec 13 20:38:26.920 INFO [stderr]   --> src/cnf_manager.rs:17:1
Dec 13 20:38:26.920 INFO [stderr]    |
Dec 13 20:38:26.920 INFO [stderr] 17 | / pub fn VAR(&lit : &i32) -> usize {
Dec 13 20:38:26.920 INFO [stderr] 18 | |     lit.abs() as usize
Dec 13 20:38:26.920 INFO [stderr] 19 | | }
Dec 13 20:38:26.920 INFO [stderr]    | |_^
Dec 13 20:38:26.920 INFO [stderr] 
Dec 13 20:38:26.920 INFO [stderr] warning: function `NEG` should have a snake case name such as `neg`
Dec 13 20:38:26.920 INFO [stderr]   --> src/cnf_manager.rs:21:1
Dec 13 20:38:26.920 INFO [stderr]    |
Dec 13 20:38:26.920 INFO [stderr] 21 | / pub fn NEG(&lit : &i32) -> i32 {
Dec 13 20:38:26.920 INFO [stderr] 22 | |     -lit
Dec 13 20:38:26.920 INFO [stderr] 23 | | }
Dec 13 20:38:26.920 INFO [stderr]    | |_^
Dec 13 20:38:26.920 INFO [stderr] 
Dec 13 20:38:26.927 INFO [stderr] warning: function `FREE` should have a snake case name such as `free`
Dec 13 20:38:26.927 INFO [stderr]   --> src/cnf_manager.rs:25:1
Dec 13 20:38:26.927 INFO [stderr]    |
Dec 13 20:38:26.928 INFO [stderr] 25 | / pub fn FREE(&lit : &i32, m : &CnfManager) -> bool {
Dec 13 20:38:26.928 INFO [stderr] 26 | |     m.vars[VAR(&lit)].value == VA::Free
Dec 13 20:38:26.928 INFO [stderr] 27 | | }
Dec 13 20:38:26.928 INFO [stderr]    | |_^
Dec 13 20:38:26.928 INFO [stderr] 
Dec 13 20:38:26.928 INFO [stderr] warning: function `SET` should have a snake case name such as `set`
Dec 13 20:38:26.928 INFO [stderr]   --> src/cnf_manager.rs:29:1
Dec 13 20:38:26.928 INFO [stderr]    |
Dec 13 20:38:26.928 INFO [stderr] 29 | / pub fn SET(&lit : &i32, m : &CnfManager) -> bool {
Dec 13 20:38:26.928 INFO [stderr] 30 | |     m.vars[VAR(&lit)].value == SIGN(&lit)
Dec 13 20:38:26.928 INFO [stderr] 31 | | }
Dec 13 20:38:26.928 INFO [stderr]    | |_^
Dec 13 20:38:26.928 INFO [stderr] 
Dec 13 20:38:26.928 INFO [stderr] warning: function `RESOLVED` should have a snake case name such as `resolved`
Dec 13 20:38:26.928 INFO [stderr]   --> src/cnf_manager.rs:33:1
Dec 13 20:38:26.928 INFO [stderr]    |
Dec 13 20:38:26.928 INFO [stderr] 33 | / pub fn RESOLVED(&lit : &i32, m : &CnfManager) -> bool {
Dec 13 20:38:26.928 INFO [stderr] 34 | |     let neg = NEG(&lit);
Dec 13 20:38:26.928 INFO [stderr] 35 | |     m.vars[VAR(&lit)].value == SIGN(&neg)
Dec 13 20:38:26.928 INFO [stderr] 36 | | }
Dec 13 20:38:26.928 INFO [stderr]    | |_^
Dec 13 20:38:26.928 INFO [stderr] 
Dec 13 20:38:26.928 INFO [stderr] warning: function `SCORE` should have a snake case name such as `score`
Dec 13 20:38:26.928 INFO [stderr]   --> src/cnf_manager.rs:38:1
Dec 13 20:38:26.928 INFO [stderr]    |
Dec 13 20:38:26.928 INFO [stderr] 38 | / pub fn SCORE(&var : &i32, m : &CnfManager) -> i32 {
Dec 13 20:38:26.928 INFO [stderr] 39 | |     m.vars[var as usize].activity[0] + m.vars[var as usize].activity[1]
Dec 13 20:38:26.928 INFO [stderr] 40 | | }
Dec 13 20:38:26.928 INFO [stderr]    | |_^
Dec 13 20:38:26.928 INFO [stderr] 
Dec 13 20:38:26.928 INFO [stderr] warning: method `setLiteral` should have a snake case name such as `set_literal`
Dec 13 20:38:26.928 INFO [stderr]    --> src/cnf_manager.rs:215:2
Dec 13 20:38:26.928 INFO [stderr]     |
Dec 13 20:38:26.928 INFO [stderr] 215 |       pub fn setLiteral(&mut self, lit : i32, ante : ArrTuple, ind : usize) -> () {
Dec 13 20:38:26.928 INFO [stderr]     |  _____^
Dec 13 20:38:26.928 INFO [stderr] 216 | |         //println!("Set literal {}, ante_ind = {}", lit, ind);
Dec 13 20:38:26.928 INFO [stderr] 217 | |         self.vars[VAR(&lit)].value = SIGN(&lit);
Dec 13 20:38:26.928 INFO [stderr] 218 | |         self.vars[VAR(&lit)].ante = ante;
Dec 13 20:38:26.928 INFO [stderr] 219 | |         self.vars[VAR(&lit)].ante_ind = ind;
Dec 13 20:38:26.928 INFO [stderr] 220 | |         self.vars[VAR(&lit)].decision_level = self.decision_level;
Dec 13 20:38:26.928 INFO [stderr] 221 | |     }
Dec 13 20:38:26.928 INFO [stderr]     | |_____^
Dec 13 20:38:26.928 INFO [stderr] 
Dec 13 20:38:26.928 INFO [stderr] warning: method `assertLiteral` should have a snake case name such as `assert_literal`
Dec 13 20:38:26.928 INFO [stderr]    --> src/cnf_manager.rs:223:2
Dec 13 20:38:26.928 INFO [stderr]     |
Dec 13 20:38:26.928 INFO [stderr] 223 |       pub fn assertLiteral(&mut self, mut lit : i32, ante : ArrTuple, ante_ind : usize) -> bool {
Dec 13 20:38:26.928 INFO [stderr]     |  _____^
Dec 13 20:38:26.928 INFO [stderr] 224 | |         //println!("assertLiteral for lit {}, ante_ind {}", lit, ante_ind);
Dec 13 20:38:26.928 INFO [stderr] 225 | |         let self2 = unsafe {&mut *(self as *mut CnfManager)};
Dec 13 20:38:26.928 INFO [stderr] 226 | |         let self3 = unsafe {&mut *(self as *mut CnfManager)};
Dec 13 20:38:26.928 INFO [stderr] ...   |
Dec 13 20:38:26.928 INFO [stderr] 330 | |         true
Dec 13 20:38:26.928 INFO [stderr] 331 | |     }
Dec 13 20:38:26.928 INFO [stderr]     | |_____^
Dec 13 20:38:26.928 INFO [stderr] 
Dec 13 20:38:26.928 INFO [stderr] warning: method `assertUnitClauses` should have a snake case name such as `assert_unit_clauses`
Dec 13 20:38:26.928 INFO [stderr]    --> src/cnf_manager.rs:333:2
Dec 13 20:38:26.928 INFO [stderr]     |
Dec 13 20:38:26.928 INFO [stderr] 333 |       pub fn assertUnitClauses(&mut self) -> bool {
Dec 13 20:38:26.928 INFO [stderr]     |  _____^
Dec 13 20:38:26.928 INFO [stderr] 334 | |         //println!("assertUnitClauses");
Dec 13 20:38:26.928 INFO [stderr] 335 | |         let self2 = unsafe {&mut *(self as *mut CnfManager)};
Dec 13 20:38:26.928 INFO [stderr] 336 | |         for i in (1..self.decision_stack.len()).rev() {
Dec 13 20:38:26.928 INFO [stderr] ...   |
Dec 13 20:38:26.928 INFO [stderr] 347 | |         true
Dec 13 20:38:26.928 INFO [stderr] 348 | |     }
Dec 13 20:38:26.928 INFO [stderr]     | |_____^
Dec 13 20:38:26.928 INFO [stderr] 
Dec 13 20:38:26.928 INFO [stderr] warning: method `learnClause` should have a snake case name such as `learn_clause`
Dec 13 20:38:26.928 INFO [stderr]    --> src/cnf_manager.rs:357:2
Dec 13 20:38:26.928 INFO [stderr]     |
Dec 13 20:38:26.928 INFO [stderr] 357 |       pub fn learnClause(&mut self, tuple : ArrTuple, mut ind : usize) -> () {
Dec 13 20:38:26.928 INFO [stderr]     |  _____^
Dec 13 20:38:26.928 INFO [stderr] 358 | |         //println!("learnClause {}", self.decision_level);
Dec 13 20:38:26.928 INFO [stderr] 359 | |         let self2 = unsafe {&mut *(self as *mut CnfManager)};
Dec 13 20:38:26.928 INFO [stderr] 360 | |         let self3 = unsafe {&mut *(self as *mut CnfManager)};
Dec 13 20:38:26.928 INFO [stderr] ...   |
Dec 13 20:38:26.928 INFO [stderr] 489 | |         self2.addClause();
Dec 13 20:38:26.928 INFO [stderr] 490 | |     }
Dec 13 20:38:26.928 INFO [stderr]     | |_____^
Dec 13 20:38:26.928 INFO [stderr] 
Dec 13 20:38:26.928 INFO [stderr] warning: method `addClause` should have a snake case name such as `add_clause`
Dec 13 20:38:26.928 INFO [stderr]    --> src/cnf_manager.rs:492:2
Dec 13 20:38:26.928 INFO [stderr]     |
Dec 13 20:38:26.928 INFO [stderr] 492 |       pub fn addClause(& mut self) -> () {
Dec 13 20:38:26.928 INFO [stderr]     |  _____^
Dec 13 20:38:26.928 INFO [stderr] 493 | |         //println!("addClause");
Dec 13 20:38:26.928 INFO [stderr] 494 | |         self.conflict_clause_ind = self.lit_pool.len();
Dec 13 20:38:26.928 INFO [stderr] 495 | |         self.lit_pool.push(self.conflict_lit.back().unwrap().clone());
Dec 13 20:38:26.929 INFO [stderr] ...   |
Dec 13 20:38:26.929 INFO [stderr] 508 | |         self.lit_pool.push(0);
Dec 13 20:38:26.929 INFO [stderr] 509 | |     }
Dec 13 20:38:26.929 INFO [stderr]     | |_____^
Dec 13 20:38:26.929 INFO [stderr] 
Dec 13 20:38:26.929 INFO [stderr] warning: method `assertCL` should have a snake case name such as `assert_cl`
Dec 13 20:38:26.929 INFO [stderr]    --> src/cnf_manager.rs:511:2
Dec 13 20:38:26.929 INFO [stderr]     |
Dec 13 20:38:26.929 INFO [stderr] 511 |       pub fn assertCL(&mut self) -> bool {
Dec 13 20:38:26.929 INFO [stderr]     |  _____^
Dec 13 20:38:26.929 INFO [stderr] 512 | |         //println!("assertCL");
Dec 13 20:38:26.929 INFO [stderr] 513 | |         let ind = self.conflict_clause_ind.clone();
Dec 13 20:38:26.929 INFO [stderr] 514 | |         let lit = self.lit_pool[ind].clone();
Dec 13 20:38:26.929 INFO [stderr] 515 | |         return self.assertLiteral(lit, ArrTuple::ctor(true), ind + 1);
Dec 13 20:38:26.929 INFO [stderr] 516 | |     }
Dec 13 20:38:26.929 INFO [stderr]     | |_____^
Dec 13 20:38:26.929 INFO [stderr] 
Dec 13 20:38:26.929 INFO [stderr] warning: method `scoreDecay` should have a snake case name such as `score_decay`
Dec 13 20:38:26.929 INFO [stderr]    --> src/cnf_manager.rs:536:2
Dec 13 20:38:26.929 INFO [stderr]     |
Dec 13 20:38:26.929 INFO [stderr] 536 |       pub fn scoreDecay(&mut self) -> () {
Dec 13 20:38:26.929 INFO [stderr]     |  _____^
Dec 13 20:38:26.929 INFO [stderr] 537 | |         //println!("scoreDecay");
Dec 13 20:38:26.929 INFO [stderr] 538 | |         for i in 1..(self.var_count + 1) as usize {
Dec 13 20:38:26.929 INFO [stderr] 539 | |             self.vars[i].activity[0] >>= 1;
Dec 13 20:38:26.929 INFO [stderr] 540 | |             self.vars[i].activity[1] >>= 1;
Dec 13 20:38:26.929 INFO [stderr] 541 | |         }
Dec 13 20:38:26.929 INFO [stderr] 542 | |     }
Dec 13 20:38:26.929 INFO [stderr]     | |_____^
Dec 13 20:38:26.929 INFO [stderr] 
Dec 13 20:38:26.929 INFO [stderr] warning: method `updateScores` should have a snake case name such as `update_scores`
Dec 13 20:38:26.929 INFO [stderr]    --> src/cnf_manager.rs:544:2
Dec 13 20:38:26.929 INFO [stderr]     |
Dec 13 20:38:26.929 INFO [stderr] 544 |       pub fn updateScores(&mut self, tuple : ArrTuple, mut ind : usize) -> () {
Dec 13 20:38:26.929 INFO [stderr]     |  _____^
Dec 13 20:38:26.929 INFO [stderr] 545 | |         //println!("updateScores");
Dec 13 20:38:26.929 INFO [stderr] 546 | |         let self2 = unsafe {&mut *(self as *mut CnfManager)};
Dec 13 20:38:26.929 INFO [stderr] 547 | |         let mut vec = 
Dec 13 20:38:26.929 INFO [stderr] ...   |
Dec 13 20:38:26.929 INFO [stderr] 591 | |         }
Dec 13 20:38:26.929 INFO [stderr] 592 | |     }
Dec 13 20:38:26.929 INFO [stderr]     | |_____^
Dec 13 20:38:26.929 INFO [stderr] 
Dec 13 20:38:26.929 INFO [stderr] warning: method `selectLiteral` should have a snake case name such as `select_literal`
Dec 13 20:38:26.929 INFO [stderr]    --> src/sat_solver.rs:89:2
Dec 13 20:38:26.929 INFO [stderr]     |
Dec 13 20:38:26.929 INFO [stderr] 89  |       pub fn selectLiteral(& mut self) -> i32 {
Dec 13 20:38:26.929 INFO [stderr]     |  _____^
Dec 13 20:38:26.929 INFO [stderr] 90  | |         //println!("selectLiteral");
Dec 13 20:38:26.929 INFO [stderr] 91  | |         let mut x = 0 as i32;
Dec 13 20:38:26.929 INFO [stderr] 92  | |         let last_clause = if self.cnf_manager.next_clause > 256 {
Dec 13 20:38:26.929 INFO [stderr] ...   |
Dec 13 20:38:26.929 INFO [stderr] 163 | |         0
Dec 13 20:38:26.929 INFO [stderr] 164 | |     }
Dec 13 20:38:26.929 INFO [stderr]     | |_____^
Dec 13 20:38:26.929 INFO [stderr] 
Dec 13 20:38:26.929 INFO [stderr] warning: method `verifySolution` should have a snake case name such as `verify_solution`
Dec 13 20:38:26.929 INFO [stderr]    --> src/sat_solver.rs:214:2
Dec 13 20:38:26.929 INFO [stderr]     |
Dec 13 20:38:26.929 INFO [stderr] 214 |       pub fn verifySolution(&self) -> bool {
Dec 13 20:38:26.929 INFO [stderr]     |  _____^
Dec 13 20:38:26.929 INFO [stderr] 215 | |         let ref pool = self.cnf_manager.lit_pool;
Dec 13 20:38:26.929 INFO [stderr] 216 | |         let mut i = 0;
Dec 13 20:38:26.929 INFO [stderr] 217 | |         while i < self.cnf_manager.lit_pool_size_orig {
Dec 13 20:38:26.929 INFO [stderr] ...   |
Dec 13 20:38:26.929 INFO [stderr] 235 | |         true
Dec 13 20:38:26.929 INFO [stderr] 236 | |     }
Dec 13 20:38:26.929 INFO [stderr]     | |_____^
Dec 13 20:38:26.929 INFO [stderr] 
Dec 13 20:38:26.929 INFO [stderr] warning: method `printSolution` should have a snake case name such as `print_solution`
Dec 13 20:38:26.929 INFO [stderr]    --> src/sat_solver.rs:238:2
Dec 13 20:38:26.929 INFO [stderr]     |
Dec 13 20:38:26.929 INFO [stderr] 238 |       pub fn printSolution(&self) -> () {
Dec 13 20:38:26.929 INFO [stderr]     |  _____^
Dec 13 20:38:26.929 INFO [stderr] 239 | |         for i in 1..(self.cnf_manager.var_count+1) as usize {
Dec 13 20:38:26.929 INFO [stderr] 240 | |             let ref vars = self.cnf_manager.vars;
Dec 13 20:38:26.929 INFO [stderr] 241 | |             if vars[i].value == VA::Pos {
Dec 13 20:38:26.929 INFO [stderr] ...   |
Dec 13 20:38:26.929 INFO [stderr] 247 | |         println!("0");
Dec 13 20:38:26.929 INFO [stderr] 248 | |     }
Dec 13 20:38:26.929 INFO [stderr]     | |_____^
Dec 13 20:38:26.929 INFO [stderr] 
Dec 13 20:38:26.929 INFO [stderr] warning: method `printStats` should have a snake case name such as `print_stats`
Dec 13 20:38:26.929 INFO [stderr]    --> src/sat_solver.rs:250:2
Dec 13 20:38:26.929 INFO [stderr]     |
Dec 13 20:38:26.929 INFO [stderr] 250 |       pub fn printStats(&self) -> () {
Dec 13 20:38:26.929 INFO [stderr]     |  _____^
Dec 13 20:38:26.929 INFO [stderr] 251 | |         let ref m = self.cnf_manager;
Dec 13 20:38:26.929 INFO [stderr] 252 | |         println!("c {} decisions, {} conflicts, {} restarts", m.decision_count, m.conflict_count, m.restart_count);
Dec 13 20:38:26.929 INFO [stderr] 253 | |     }
Dec 13 20:38:26.929 INFO [stderr]     | |_____^
Dec 13 20:38:26.929 INFO [stderr] 
Dec 13 20:38:28.759 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 2.51s
Dec 13 20:38:28.759 INFO [stderr] su: No module specific data is present
Dec 13 20:38:29.896 INFO running `"docker" "inspect" "89fa0d94595a37bb3a25cbcb05da4866c7ba4fcb8d6f9243ee24dda77e745dde"`
Dec 13 20:38:30.169 INFO running `"docker" "rm" "-f" "89fa0d94595a37bb3a25cbcb05da4866c7ba4fcb8d6f9243ee24dda77e745dde"`
Dec 13 20:38:30.523 INFO [stdout] 89fa0d94595a37bb3a25cbcb05da4866c7ba4fcb8d6f9243ee24dda77e745dde
Dec 13 20:38:30.527 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-2/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/pr-56550/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +bd47d6825bf4090517549d33cfef10d3300b4a75-alt test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 13 20:38:30.959 INFO [stdout] 8c5360b5cb28597c87bbc7b8cf415255b3e56273e1306f5bb6f43b1aee3ed84a
Dec 13 20:38:30.961 INFO running `"docker" "start" "-a" "8c5360b5cb28597c87bbc7b8cf415255b3e56273e1306f5bb6f43b1aee3ed84a"`
Dec 13 20:38:32.415 INFO [stderr] usermod: no changes
Dec 13 20:38:32.487 INFO [stderr]    Compiling rusty_duckling v0.1.0 (/source)
Dec 13 20:38:33.384 INFO [stderr] warning: unused import: `std::ptr`
Dec 13 20:38:33.384 INFO [stderr]  --> src/cnf_manager.rs:3:5
Dec 13 20:38:33.384 INFO [stderr]   |
Dec 13 20:38:33.384 INFO [stderr] 3 | use std::ptr;
Dec 13 20:38:33.384 INFO [stderr]   |     ^^^^^^^^
Dec 13 20:38:33.384 INFO [stderr]   |
Dec 13 20:38:33.384 INFO [stderr]   = note: #[warn(unused_imports)] on by default
Dec 13 20:38:33.384 INFO [stderr] 
Dec 13 20:38:33.388 INFO [stderr] warning: unnecessary parentheses around method argument
Dec 13 20:38:33.391 INFO [stderr]   --> src/sat_solver.rs:60:36
Dec 13 20:38:33.391 INFO [stderr]    |
Dec 13 20:38:33.391 INFO [stderr] 60 |                     ret.cnf_manager.assertLiteral((i as i32), ArrTuple::new(), 0);
Dec 13 20:38:33.391 INFO [stderr]    |                                                   ^^^^^^^^^^ help: remove these parentheses
Dec 13 20:38:33.392 INFO [stderr]    |
Dec 13 20:38:33.393 INFO [stderr]    = note: #[warn(unused_parens)] on by default
Dec 13 20:38:33.393 INFO [stderr] 
Dec 13 20:38:33.794 INFO [stderr] warning: unused variable: `i`
Dec 13 20:38:33.794 INFO [stderr]    --> src/cnf_manager.rs:157:7
Dec 13 20:38:33.795 INFO [stderr]     |
Dec 13 20:38:33.795 INFO [stderr] 157 |         for i in 0..ret.var_count+1 {
Dec 13 20:38:33.795 INFO [stderr]     |             ^ help: consider using `_i` instead
Dec 13 20:38:33.795 INFO [stderr]     |
Dec 13 20:38:33.795 INFO [stderr]     = note: #[warn(unused_variables)] on by default
Dec 13 20:38:33.795 INFO [stderr] 
Dec 13 20:38:33.795 INFO [stderr] warning: value assigned to `lit` is never read
Dec 13 20:38:33.795 INFO [stderr]    --> src/cnf_manager.rs:394:11
Dec 13 20:38:33.796 INFO [stderr]     |
Dec 13 20:38:33.796 INFO [stderr] 394 |         let mut lit = 0;
Dec 13 20:38:33.796 INFO [stderr]     |                 ^^^
Dec 13 20:38:33.796 INFO [stderr]     |
Dec 13 20:38:33.797 INFO [stderr]     = note: #[warn(unused_assignments)] on by default
Dec 13 20:38:33.797 INFO [stderr] 
Dec 13 20:38:33.797 INFO [stderr] warning: value assigned to `cur_level_lits` is never read
Dec 13 20:38:33.798 INFO [stderr]    --> src/cnf_manager.rs:418:5
Dec 13 20:38:33.798 INFO [stderr]     |
Dec 13 20:38:33.798 INFO [stderr] 418 |                 cur_level_lits -= 1;
Dec 13 20:38:33.799 INFO [stderr]     |                 ^^^^^^^^^^^^^^
Dec 13 20:38:33.799 INFO [stderr] 
Dec 13 20:38:33.826 INFO [stderr] warning: variable does not need to be mutable
Dec 13 20:38:33.826 INFO [stderr]    --> src/cnf_manager.rs:271:9
Dec 13 20:38:33.826 INFO [stderr]     |
Dec 13 20:38:33.827 INFO [stderr] 271 |                 let mut watch;
Dec 13 20:38:33.827 INFO [stderr]     |                     ----^^^^^
Dec 13 20:38:33.827 INFO [stderr]     |                     |
Dec 13 20:38:33.828 INFO [stderr]     |                     help: remove this `mut`
Dec 13 20:38:33.828 INFO [stderr]     |
Dec 13 20:38:33.828 INFO [stderr]     = note: #[warn(unused_mut)] on by default
Dec 13 20:38:33.829 INFO [stderr] 
Dec 13 20:38:33.829 INFO [stderr] warning: variable does not need to be mutable
Dec 13 20:38:33.829 INFO [stderr]    --> src/cnf_manager.rs:272:9
Dec 13 20:38:33.830 INFO [stderr]     |
Dec 13 20:38:33.830 INFO [stderr] 272 |                 let mut other_watch;
Dec 13 20:38:33.830 INFO [stderr]     |                     ----^^^^^^^^^^^
Dec 13 20:38:33.831 INFO [stderr]     |                     |
Dec 13 20:38:33.831 INFO [stderr]     |                     help: remove this `mut`
Dec 13 20:38:33.831 INFO [stderr] 
Dec 13 20:38:33.840 INFO [stderr] warning: variable does not need to be mutable
Dec 13 20:38:33.840 INFO [stderr]    --> src/cnf_manager.rs:363:7
Dec 13 20:38:33.841 INFO [stderr]     |
Dec 13 20:38:33.841 INFO [stderr] 363 |         let mut conflict_clause = 
Dec 13 20:38:33.841 INFO [stderr]     |             ----^^^^^^^^^^^^^^^
Dec 13 20:38:33.842 INFO [stderr]     |             |
Dec 13 20:38:33.842 INFO [stderr]     |             help: remove this `mut`
Dec 13 20:38:33.842 INFO [stderr] 
Dec 13 20:38:33.843 INFO [stderr] warning: variable does not need to be mutable
Dec 13 20:38:33.843 INFO [stderr]    --> src/cnf_manager.rs:428:9
Dec 13 20:38:33.843 INFO [stderr]     |
Dec 13 20:38:33.844 INFO [stderr] 428 |                 let mut ante = 
Dec 13 20:38:33.844 INFO [stderr]     |                     ----^^^^
Dec 13 20:38:33.844 INFO [stderr]     |                     |
Dec 13 20:38:33.845 INFO [stderr]     |                     help: remove this `mut`
Dec 13 20:38:33.845 INFO [stderr] 
Dec 13 20:38:33.855 INFO [stderr] warning: variable does not need to be mutable
Dec 13 20:38:33.855 INFO [stderr]    --> src/cnf_manager.rs:547:7
Dec 13 20:38:33.855 INFO [stderr]     |
Dec 13 20:38:33.855 INFO [stderr] 547 |         let mut vec = 
Dec 13 20:38:33.855 INFO [stderr]     |             ----^^^
Dec 13 20:38:33.855 INFO [stderr]     |             |
Dec 13 20:38:33.855 INFO [stderr]     |             help: remove this `mut`
Dec 13 20:38:33.855 INFO [stderr] 
Dec 13 20:38:33.875 INFO [stderr] warning: function `SIGN` should have a snake case name such as `sign`
Dec 13 20:38:33.875 INFO [stderr]   --> src/cnf_manager.rs:13:1
Dec 13 20:38:33.875 INFO [stderr]    |
Dec 13 20:38:33.875 INFO [stderr] 13 | / pub fn SIGN(&lit : &i32) -> VA {
Dec 13 20:38:33.875 INFO [stderr] 14 | |     if lit > 0 {VA::Pos} else {VA::Neg}
Dec 13 20:38:33.875 INFO [stderr] 15 | | }
Dec 13 20:38:33.875 INFO [stderr]    | |_^
Dec 13 20:38:33.875 INFO [stderr]    |
Dec 13 20:38:33.875 INFO [stderr]    = note: #[warn(non_snake_case)] on by default
Dec 13 20:38:33.875 INFO [stderr] 
Dec 13 20:38:33.875 INFO [stderr] warning: function `VAR` should have a snake case name such as `var`
Dec 13 20:38:33.875 INFO [stderr]   --> src/cnf_manager.rs:17:1
Dec 13 20:38:33.875 INFO [stderr]    |
Dec 13 20:38:33.875 INFO [stderr] 17 | / pub fn VAR(&lit : &i32) -> usize {
Dec 13 20:38:33.875 INFO [stderr] 18 | |     lit.abs() as usize
Dec 13 20:38:33.875 INFO [stderr] 19 | | }
Dec 13 20:38:33.875 INFO [stderr]    | |_^
Dec 13 20:38:33.875 INFO [stderr] 
Dec 13 20:38:33.875 INFO [stderr] warning: function `NEG` should have a snake case name such as `neg`
Dec 13 20:38:33.875 INFO [stderr]   --> src/cnf_manager.rs:21:1
Dec 13 20:38:33.875 INFO [stderr]    |
Dec 13 20:38:33.875 INFO [stderr] 21 | / pub fn NEG(&lit : &i32) -> i32 {
Dec 13 20:38:33.875 INFO [stderr] 22 | |     -lit
Dec 13 20:38:33.875 INFO [stderr] 23 | | }
Dec 13 20:38:33.875 INFO [stderr]    | |_^
Dec 13 20:38:33.875 INFO [stderr] 
Dec 13 20:38:33.875 INFO [stderr] warning: function `FREE` should have a snake case name such as `free`
Dec 13 20:38:33.875 INFO [stderr]   --> src/cnf_manager.rs:25:1
Dec 13 20:38:33.876 INFO [stderr]    |
Dec 13 20:38:33.876 INFO [stderr] 25 | / pub fn FREE(&lit : &i32, m : &CnfManager) -> bool {
Dec 13 20:38:33.876 INFO [stderr] 26 | |     m.vars[VAR(&lit)].value == VA::Free
Dec 13 20:38:33.876 INFO [stderr] 27 | | }
Dec 13 20:38:33.876 INFO [stderr]    | |_^
Dec 13 20:38:33.876 INFO [stderr] 
Dec 13 20:38:33.876 INFO [stderr] warning: function `SET` should have a snake case name such as `set`
Dec 13 20:38:33.876 INFO [stderr]   --> src/cnf_manager.rs:29:1
Dec 13 20:38:33.876 INFO [stderr]    |
Dec 13 20:38:33.876 INFO [stderr] 29 | / pub fn SET(&lit : &i32, m : &CnfManager) -> bool {
Dec 13 20:38:33.876 INFO [stderr] 30 | |     m.vars[VAR(&lit)].value == SIGN(&lit)
Dec 13 20:38:33.876 INFO [stderr] 31 | | }
Dec 13 20:38:33.876 INFO [stderr]    | |_^
Dec 13 20:38:33.876 INFO [stderr] 
Dec 13 20:38:33.876 INFO [stderr] warning: function `RESOLVED` should have a snake case name such as `resolved`
Dec 13 20:38:33.876 INFO [stderr]   --> src/cnf_manager.rs:33:1
Dec 13 20:38:33.876 INFO [stderr]    |
Dec 13 20:38:33.876 INFO [stderr] 33 | / pub fn RESOLVED(&lit : &i32, m : &CnfManager) -> bool {
Dec 13 20:38:33.876 INFO [stderr] 34 | |     let neg = NEG(&lit);
Dec 13 20:38:33.876 INFO [stderr] 35 | |     m.vars[VAR(&lit)].value == SIGN(&neg)
Dec 13 20:38:33.876 INFO [stderr] 36 | | }
Dec 13 20:38:33.876 INFO [stderr]    | |_^
Dec 13 20:38:33.876 INFO [stderr] 
Dec 13 20:38:33.876 INFO [stderr] warning: function `SCORE` should have a snake case name such as `score`
Dec 13 20:38:33.876 INFO [stderr]   --> src/cnf_manager.rs:38:1
Dec 13 20:38:33.876 INFO [stderr]    |
Dec 13 20:38:33.876 INFO [stderr] 38 | / pub fn SCORE(&var : &i32, m : &CnfManager) -> i32 {
Dec 13 20:38:33.876 INFO [stderr] 39 | |     m.vars[var as usize].activity[0] + m.vars[var as usize].activity[1]
Dec 13 20:38:33.876 INFO [stderr] 40 | | }
Dec 13 20:38:33.876 INFO [stderr]    | |_^
Dec 13 20:38:33.876 INFO [stderr] 
Dec 13 20:38:33.876 INFO [stderr] warning: method `setLiteral` should have a snake case name such as `set_literal`
Dec 13 20:38:33.876 INFO [stderr]    --> src/cnf_manager.rs:215:2
Dec 13 20:38:33.876 INFO [stderr]     |
Dec 13 20:38:33.876 INFO [stderr] 215 |       pub fn setLiteral(&mut self, lit : i32, ante : ArrTuple, ind : usize) -> () {
Dec 13 20:38:33.876 INFO [stderr]     |  _____^
Dec 13 20:38:33.876 INFO [stderr] 216 | |         //println!("Set literal {}, ante_ind = {}", lit, ind);
Dec 13 20:38:33.876 INFO [stderr] 217 | |         self.vars[VAR(&lit)].value = SIGN(&lit);
Dec 13 20:38:33.876 INFO [stderr] 218 | |         self.vars[VAR(&lit)].ante = ante;
Dec 13 20:38:33.876 INFO [stderr] 219 | |         self.vars[VAR(&lit)].ante_ind = ind;
Dec 13 20:38:33.876 INFO [stderr] 220 | |         self.vars[VAR(&lit)].decision_level = self.decision_level;
Dec 13 20:38:33.876 INFO [stderr] 221 | |     }
Dec 13 20:38:33.876 INFO [stderr]     | |_____^
Dec 13 20:38:33.876 INFO [stderr] 
Dec 13 20:38:33.876 INFO [stderr] warning: method `assertLiteral` should have a snake case name such as `assert_literal`
Dec 13 20:38:33.876 INFO [stderr]    --> src/cnf_manager.rs:223:2
Dec 13 20:38:33.876 INFO [stderr]     |
Dec 13 20:38:33.876 INFO [stderr] 223 |       pub fn assertLiteral(&mut self, mut lit : i32, ante : ArrTuple, ante_ind : usize) -> bool {
Dec 13 20:38:33.876 INFO [stderr]     |  _____^
Dec 13 20:38:33.876 INFO [stderr] 224 | |         //println!("assertLiteral for lit {}, ante_ind {}", lit, ante_ind);
Dec 13 20:38:33.876 INFO [stderr] 225 | |         let self2 = unsafe {&mut *(self as *mut CnfManager)};
Dec 13 20:38:33.876 INFO [stderr] 226 | |         let self3 = unsafe {&mut *(self as *mut CnfManager)};
Dec 13 20:38:33.876 INFO [stderr] ...   |
Dec 13 20:38:33.876 INFO [stderr] 330 | |         true
Dec 13 20:38:33.876 INFO [stderr] 331 | |     }
Dec 13 20:38:33.876 INFO [stderr]     | |_____^
Dec 13 20:38:33.876 INFO [stderr] 
Dec 13 20:38:33.876 INFO [stderr] warning: method `assertUnitClauses` should have a snake case name such as `assert_unit_clauses`
Dec 13 20:38:33.876 INFO [stderr]    --> src/cnf_manager.rs:333:2
Dec 13 20:38:33.876 INFO [stderr]     |
Dec 13 20:38:33.876 INFO [stderr] 333 |       pub fn assertUnitClauses(&mut self) -> bool {
Dec 13 20:38:33.876 INFO [stderr]     |  _____^
Dec 13 20:38:33.876 INFO [stderr] 334 | |         //println!("assertUnitClauses");
Dec 13 20:38:33.876 INFO [stderr] 335 | |         let self2 = unsafe {&mut *(self as *mut CnfManager)};
Dec 13 20:38:33.876 INFO [stderr] 336 | |         for i in (1..self.decision_stack.len()).rev() {
Dec 13 20:38:33.876 INFO [stderr] ...   |
Dec 13 20:38:33.876 INFO [stderr] 347 | |         true
Dec 13 20:38:33.876 INFO [stderr] 348 | |     }
Dec 13 20:38:33.876 INFO [stderr]     | |_____^
Dec 13 20:38:33.876 INFO [stderr] 
Dec 13 20:38:33.876 INFO [stderr] warning: method `learnClause` should have a snake case name such as `learn_clause`
Dec 13 20:38:33.876 INFO [stderr]    --> src/cnf_manager.rs:357:2
Dec 13 20:38:33.876 INFO [stderr]     |
Dec 13 20:38:33.876 INFO [stderr] 357 |       pub fn learnClause(&mut self, tuple : ArrTuple, mut ind : usize) -> () {
Dec 13 20:38:33.876 INFO [stderr]     |  _____^
Dec 13 20:38:33.876 INFO [stderr] 358 | |         //println!("learnClause {}", self.decision_level);
Dec 13 20:38:33.876 INFO [stderr] 359 | |         let self2 = unsafe {&mut *(self as *mut CnfManager)};
Dec 13 20:38:33.876 INFO [stderr] 360 | |         let self3 = unsafe {&mut *(self as *mut CnfManager)};
Dec 13 20:38:33.876 INFO [stderr] ...   |
Dec 13 20:38:33.876 INFO [stderr] 489 | |         self2.addClause();
Dec 13 20:38:33.876 INFO [stderr] 490 | |     }
Dec 13 20:38:33.876 INFO [stderr]     | |_____^
Dec 13 20:38:33.876 INFO [stderr] 
Dec 13 20:38:33.879 INFO [stderr] warning: method `addClause` should have a snake case name such as `add_clause`
Dec 13 20:38:33.879 INFO [stderr]    --> src/cnf_manager.rs:492:2
Dec 13 20:38:33.879 INFO [stderr]     |
Dec 13 20:38:33.879 INFO [stderr] 492 |       pub fn addClause(& mut self) -> () {
Dec 13 20:38:33.879 INFO [stderr]     |  _____^
Dec 13 20:38:33.879 INFO [stderr] 493 | |         //println!("addClause");
Dec 13 20:38:33.879 INFO [stderr] 494 | |         self.conflict_clause_ind = self.lit_pool.len();
Dec 13 20:38:33.879 INFO [stderr] 495 | |         self.lit_pool.push(self.conflict_lit.back().unwrap().clone());
Dec 13 20:38:33.879 INFO [stderr] ...   |
Dec 13 20:38:33.879 INFO [stderr] 508 | |         self.lit_pool.push(0);
Dec 13 20:38:33.879 INFO [stderr] 509 | |     }
Dec 13 20:38:33.879 INFO [stderr]     | |_____^
Dec 13 20:38:33.879 INFO [stderr] 
Dec 13 20:38:33.879 INFO [stderr] warning: method `assertCL` should have a snake case name such as `assert_cl`
Dec 13 20:38:33.879 INFO [stderr]    --> src/cnf_manager.rs:511:2
Dec 13 20:38:33.879 INFO [stderr]     |
Dec 13 20:38:33.879 INFO [stderr] 511 |       pub fn assertCL(&mut self) -> bool {
Dec 13 20:38:33.879 INFO [stderr]     |  _____^
Dec 13 20:38:33.879 INFO [stderr] 512 | |         //println!("assertCL");
Dec 13 20:38:33.879 INFO [stderr] 513 | |         let ind = self.conflict_clause_ind.clone();
Dec 13 20:38:33.879 INFO [stderr] 514 | |         let lit = self.lit_pool[ind].clone();
Dec 13 20:38:33.879 INFO [stderr] 515 | |         return self.assertLiteral(lit, ArrTuple::ctor(true), ind + 1);
Dec 13 20:38:33.879 INFO [stderr] 516 | |     }
Dec 13 20:38:33.879 INFO [stderr]     | |_____^
Dec 13 20:38:33.879 INFO [stderr] 
Dec 13 20:38:33.879 INFO [stderr] warning: method `scoreDecay` should have a snake case name such as `score_decay`
Dec 13 20:38:33.879 INFO [stderr]    --> src/cnf_manager.rs:536:2
Dec 13 20:38:33.879 INFO [stderr]     |
Dec 13 20:38:33.879 INFO [stderr] 536 |       pub fn scoreDecay(&mut self) -> () {
Dec 13 20:38:33.879 INFO [stderr]     |  _____^
Dec 13 20:38:33.879 INFO [stderr] 537 | |         //println!("scoreDecay");
Dec 13 20:38:33.879 INFO [stderr] 538 | |         for i in 1..(self.var_count + 1) as usize {
Dec 13 20:38:33.879 INFO [stderr] 539 | |             self.vars[i].activity[0] >>= 1;
Dec 13 20:38:33.879 INFO [stderr] 540 | |             self.vars[i].activity[1] >>= 1;
Dec 13 20:38:33.879 INFO [stderr] 541 | |         }
Dec 13 20:38:33.879 INFO [stderr] 542 | |     }
Dec 13 20:38:33.879 INFO [stderr]     | |_____^
Dec 13 20:38:33.879 INFO [stderr] 
Dec 13 20:38:33.879 INFO [stderr] warning: method `updateScores` should have a snake case name such as `update_scores`
Dec 13 20:38:33.879 INFO [stderr]    --> src/cnf_manager.rs:544:2
Dec 13 20:38:33.879 INFO [stderr]     |
Dec 13 20:38:33.879 INFO [stderr] 544 |       pub fn updateScores(&mut self, tuple : ArrTuple, mut ind : usize) -> () {
Dec 13 20:38:33.879 INFO [stderr]     |  _____^
Dec 13 20:38:33.879 INFO [stderr] 545 | |         //println!("updateScores");
Dec 13 20:38:33.879 INFO [stderr] 546 | |         let self2 = unsafe {&mut *(self as *mut CnfManager)};
Dec 13 20:38:33.879 INFO [stderr] 547 | |         let mut vec = 
Dec 13 20:38:33.879 INFO [stderr] ...   |
Dec 13 20:38:33.879 INFO [stderr] 591 | |         }
Dec 13 20:38:33.879 INFO [stderr] 592 | |     }
Dec 13 20:38:33.879 INFO [stderr]     | |_____^
Dec 13 20:38:33.879 INFO [stderr] 
Dec 13 20:38:33.879 INFO [stderr] warning: method `selectLiteral` should have a snake case name such as `select_literal`
Dec 13 20:38:33.879 INFO [stderr]    --> src/sat_solver.rs:89:2
Dec 13 20:38:33.880 INFO [stderr]     |
Dec 13 20:38:33.880 INFO [stderr] 89  |       pub fn selectLiteral(& mut self) -> i32 {
Dec 13 20:38:33.880 INFO [stderr]     |  _____^
Dec 13 20:38:33.880 INFO [stderr] 90  | |         //println!("selectLiteral");
Dec 13 20:38:33.880 INFO [stderr] 91  | |         let mut x = 0 as i32;
Dec 13 20:38:33.880 INFO [stderr] 92  | |         let last_clause = if self.cnf_manager.next_clause > 256 {
Dec 13 20:38:33.880 INFO [stderr] ...   |
Dec 13 20:38:33.880 INFO [stderr] 163 | |         0
Dec 13 20:38:33.880 INFO [stderr] 164 | |     }
Dec 13 20:38:33.880 INFO [stderr]     | |_____^
Dec 13 20:38:33.880 INFO [stderr] 
Dec 13 20:38:33.880 INFO [stderr] warning: method `verifySolution` should have a snake case name such as `verify_solution`
Dec 13 20:38:33.880 INFO [stderr]    --> src/sat_solver.rs:214:2
Dec 13 20:38:33.880 INFO [stderr]     |
Dec 13 20:38:33.880 INFO [stderr] 214 |       pub fn verifySolution(&self) -> bool {
Dec 13 20:38:33.880 INFO [stderr]     |  _____^
Dec 13 20:38:33.880 INFO [stderr] 215 | |         let ref pool = self.cnf_manager.lit_pool;
Dec 13 20:38:33.880 INFO [stderr] 216 | |         let mut i = 0;
Dec 13 20:38:33.880 INFO [stderr] 217 | |         while i < self.cnf_manager.lit_pool_size_orig {
Dec 13 20:38:33.880 INFO [stderr] ...   |
Dec 13 20:38:33.880 INFO [stderr] 235 | |         true
Dec 13 20:38:33.880 INFO [stderr] 236 | |     }
Dec 13 20:38:33.880 INFO [stderr]     | |_____^
Dec 13 20:38:33.880 INFO [stderr] 
Dec 13 20:38:33.884 INFO [stderr] warning: method `printSolution` should have a snake case name such as `print_solution`
Dec 13 20:38:33.884 INFO [stderr]    --> src/sat_solver.rs:238:2
Dec 13 20:38:33.884 INFO [stderr]     |
Dec 13 20:38:33.884 INFO [stderr] 238 |       pub fn printSolution(&self) -> () {
Dec 13 20:38:33.884 INFO [stderr]     |  _____^
Dec 13 20:38:33.884 INFO [stderr] 239 | |         for i in 1..(self.cnf_manager.var_count+1) as usize {
Dec 13 20:38:33.884 INFO [stderr] 240 | |             let ref vars = self.cnf_manager.vars;
Dec 13 20:38:33.884 INFO [stderr] 241 | |             if vars[i].value == VA::Pos {
Dec 13 20:38:33.884 INFO [stderr] ...   |
Dec 13 20:38:33.884 INFO [stderr] 247 | |         println!("0");
Dec 13 20:38:33.884 INFO [stderr] 248 | |     }
Dec 13 20:38:33.884 INFO [stderr]     | |_____^
Dec 13 20:38:33.884 INFO [stderr] 
Dec 13 20:38:33.884 INFO [stderr] warning: method `printStats` should have a snake case name such as `print_stats`
Dec 13 20:38:33.884 INFO [stderr]    --> src/sat_solver.rs:250:2
Dec 13 20:38:33.884 INFO [stderr]     |
Dec 13 20:38:33.884 INFO [stderr] 250 |       pub fn printStats(&self) -> () {
Dec 13 20:38:33.884 INFO [stderr]     |  _____^
Dec 13 20:38:33.884 INFO [stderr] 251 | |         let ref m = self.cnf_manager;
Dec 13 20:38:33.884 INFO [stderr] 252 | |         println!("c {} decisions, {} conflicts, {} restarts", m.decision_count, m.conflict_count, m.restart_count);
Dec 13 20:38:33.884 INFO [stderr] 253 | |     }
Dec 13 20:38:33.884 INFO [stderr]     | |_____^
Dec 13 20:38:33.884 INFO [stderr] 
Dec 13 20:38:34.375 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1.93s
Dec 13 20:38:34.378 INFO [stderr] su: No module specific data is present
Dec 13 20:38:35.229 INFO running `"docker" "inspect" "8c5360b5cb28597c87bbc7b8cf415255b3e56273e1306f5bb6f43b1aee3ed84a"`
Dec 13 20:38:35.577 INFO running `"docker" "rm" "-f" "8c5360b5cb28597c87bbc7b8cf415255b3e56273e1306f5bb6f43b1aee3ed84a"`
Dec 13 20:38:35.907 INFO [stdout] 8c5360b5cb28597c87bbc7b8cf415255b3e56273e1306f5bb6f43b1aee3ed84a
Dec 13 20:38:35.913 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56550/worker-2/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/pr-56550/master#bd47d6825bf4090517549d33cfef10d3300b4a75:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +bd47d6825bf4090517549d33cfef10d3300b4a75-alt test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 13 20:38:36.343 INFO [stdout] beb48fd18bee45caec8f2f7d3aab96661f9c22693e84e4dd91d3ef2c61533689
Dec 13 20:38:36.343 INFO running `"docker" "start" "-a" "beb48fd18bee45caec8f2f7d3aab96661f9c22693e84e4dd91d3ef2c61533689"`
Dec 13 20:38:37.671 INFO [stderr] usermod: no changes
Dec 13 20:38:37.723 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.03s
Dec 13 20:38:37.724 INFO [stderr]      Running /target/debug/deps/rusty_duckling-ec312b4aa9a37de1
Dec 13 20:38:37.751 INFO [stdout] 
Dec 13 20:38:37.751 INFO [stdout] running 0 tests
Dec 13 20:38:37.751 INFO [stdout] 
Dec 13 20:38:37.751 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 13 20:38:37.751 INFO [stdout] 
Dec 13 20:38:37.751 INFO [stderr]      Running /target/debug/deps/rusty_duckling-7878164f79e64beb
Dec 13 20:38:37.752 INFO [stdout] 
Dec 13 20:38:37.752 INFO [stdout] running 0 tests
Dec 13 20:38:37.752 INFO [stdout] 
Dec 13 20:38:37.752 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 13 20:38:37.752 INFO [stdout] 
Dec 13 20:38:37.758 INFO [stderr]    Doc-tests rusty_duckling
Dec 13 20:38:38.551 INFO [stdout] 
Dec 13 20:38:38.551 INFO [stdout] running 0 tests
Dec 13 20:38:38.551 INFO [stdout] 
Dec 13 20:38:38.551 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 13 20:38:38.551 INFO [stdout] 
Dec 13 20:38:38.559 INFO [stderr] su: No module specific data is present
Dec 13 20:38:39.231 INFO running `"docker" "inspect" "beb48fd18bee45caec8f2f7d3aab96661f9c22693e84e4dd91d3ef2c61533689"`
Dec 13 20:38:39.551 INFO running `"docker" "rm" "-f" "beb48fd18bee45caec8f2f7d3aab96661f9c22693e84e4dd91d3ef2c61533689"`
Dec 13 20:38:39.882 INFO [stdout] beb48fd18bee45caec8f2f7d3aab96661f9c22693e84e4dd91d3ef2c61533689