Oct 14 21:58:56.411 INFO testing edoipi/rusty_duckling against try#40d4795669493f1965de7c44029c69552134fe1f for rustdoc-test-static-cling-1
Oct 14 21:58:56.413 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-2/try#40d4795669493f1965de7c44029c69552134fe1f:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-2/rustdoc-test-static-cling-1/try#40d4795669493f1965de7c44029c69552134fe1f:/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 +40d4795669493f1965de7c44029c69552134fe1f-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"`
Oct 14 21:58:56.831 INFO blam! 66a0926eaeee5f5cf54ad72cc11493db9407cff414aac790c4bdd38d11023e05
Oct 14 21:58:56.839 INFO running `"docker" "start" "-a" "66a0926eaeee5f5cf54ad72cc11493db9407cff414aac790c4bdd38d11023e05"`
Oct 14 21:58:58.675 INFO kablam! usermod: no changes
Oct 14 21:58:58.747 INFO kablam!    Compiling rusty_duckling v0.1.0 (/source)
Oct 14 21:58:59.096 INFO kablam! warning: unused import: `std::ptr`
Oct 14 21:58:59.096 INFO kablam!  --> src/cnf_manager.rs:3:5
Oct 14 21:58:59.096 INFO kablam!   |
Oct 14 21:58:59.097 INFO kablam! 3 | use std::ptr;
Oct 14 21:58:59.097 INFO kablam!   |     ^^^^^^^^
Oct 14 21:58:59.097 INFO kablam!   |
Oct 14 21:58:59.097 INFO kablam!   = note: #[warn(unused_imports)] on by default
Oct 14 21:58:59.098 INFO kablam! 
Oct 14 21:58:59.098 INFO kablam! warning: unnecessary parentheses around method argument
Oct 14 21:58:59.098 INFO kablam!   --> src/sat_solver.rs:60:36
Oct 14 21:58:59.099 INFO kablam!    |
Oct 14 21:58:59.099 INFO kablam! 60 |                     ret.cnf_manager.assertLiteral((i as i32), ArrTuple::new(), 0);
Oct 14 21:58:59.099 INFO kablam!    |                                                   ^^^^^^^^^^ help: remove these parentheses
Oct 14 21:58:59.100 INFO kablam!    |
Oct 14 21:58:59.100 INFO kablam!    = note: #[warn(unused_parens)] on by default
Oct 14 21:58:59.100 INFO kablam! 
Oct 14 21:58:59.291 INFO kablam! warning: unused variable: `i`
Oct 14 21:58:59.291 INFO kablam!    --> src/cnf_manager.rs:157:7
Oct 14 21:58:59.292 INFO kablam!     |
Oct 14 21:58:59.292 INFO kablam! 157 |         for i in 0..ret.var_count+1 {
Oct 14 21:58:59.292 INFO kablam!     |             ^ help: consider using `_i` instead
Oct 14 21:58:59.293 INFO kablam!     |
Oct 14 21:58:59.293 INFO kablam!     = note: #[warn(unused_variables)] on by default
Oct 14 21:58:59.293 INFO kablam! 
Oct 14 21:58:59.294 INFO kablam! warning: value assigned to `lit` is never read
Oct 14 21:58:59.294 INFO kablam!    --> src/cnf_manager.rs:394:11
Oct 14 21:58:59.294 INFO kablam!     |
Oct 14 21:58:59.295 INFO kablam! 394 |         let mut lit = 0;
Oct 14 21:58:59.295 INFO kablam!     |                 ^^^
Oct 14 21:58:59.295 INFO kablam!     |
Oct 14 21:58:59.295 INFO kablam!     = note: #[warn(unused_assignments)] on by default
Oct 14 21:58:59.296 INFO kablam! 
Oct 14 21:58:59.296 INFO kablam! warning: value assigned to `cur_level_lits` is never read
Oct 14 21:58:59.296 INFO kablam!    --> src/cnf_manager.rs:418:5
Oct 14 21:58:59.297 INFO kablam!     |
Oct 14 21:58:59.297 INFO kablam! 418 |                 cur_level_lits -= 1;
Oct 14 21:58:59.297 INFO kablam!     |                 ^^^^^^^^^^^^^^
Oct 14 21:58:59.303 INFO kablam! 
Oct 14 21:58:59.319 INFO kablam! warning: variable does not need to be mutable
Oct 14 21:58:59.319 INFO kablam!    --> src/cnf_manager.rs:271:9
Oct 14 21:58:59.320 INFO kablam!     |
Oct 14 21:58:59.320 INFO kablam! 271 |                 let mut watch;
Oct 14 21:58:59.320 INFO kablam!     |                     ----^^^^^
Oct 14 21:58:59.321 INFO kablam!     |                     |
Oct 14 21:58:59.321 INFO kablam!     |                     help: remove this `mut`
Oct 14 21:58:59.321 INFO kablam!     |
Oct 14 21:58:59.322 INFO kablam!     = note: #[warn(unused_mut)] on by default
Oct 14 21:58:59.322 INFO kablam! 
Oct 14 21:58:59.322 INFO kablam! warning: variable does not need to be mutable
Oct 14 21:58:59.323 INFO kablam!    --> src/cnf_manager.rs:272:9
Oct 14 21:58:59.323 INFO kablam!     |
Oct 14 21:58:59.323 INFO kablam! 272 |                 let mut other_watch;
Oct 14 21:58:59.323 INFO kablam!     |                     ----^^^^^^^^^^^
Oct 14 21:58:59.324 INFO kablam!     |                     |
Oct 14 21:58:59.324 INFO kablam!     |                     help: remove this `mut`
Oct 14 21:58:59.324 INFO kablam! 
Oct 14 21:58:59.331 INFO kablam! warning: variable does not need to be mutable
Oct 14 21:58:59.331 INFO kablam!    --> src/cnf_manager.rs:363:7
Oct 14 21:58:59.332 INFO kablam!     |
Oct 14 21:58:59.332 INFO kablam! 363 |         let mut conflict_clause = 
Oct 14 21:58:59.332 INFO kablam!     |             ----^^^^^^^^^^^^^^^
Oct 14 21:58:59.333 INFO kablam!     |             |
Oct 14 21:58:59.333 INFO kablam!     |             help: remove this `mut`
Oct 14 21:58:59.333 INFO kablam! 
Oct 14 21:58:59.333 INFO kablam! warning: variable does not need to be mutable
Oct 14 21:58:59.334 INFO kablam!    --> src/cnf_manager.rs:428:9
Oct 14 21:58:59.334 INFO kablam!     |
Oct 14 21:58:59.334 INFO kablam! 428 |                 let mut ante = 
Oct 14 21:58:59.335 INFO kablam!     |                     ----^^^^
Oct 14 21:58:59.335 INFO kablam!     |                     |
Oct 14 21:58:59.335 INFO kablam!     |                     help: remove this `mut`
Oct 14 21:58:59.336 INFO kablam! 
Oct 14 21:58:59.339 INFO kablam! warning: variable does not need to be mutable
Oct 14 21:58:59.339 INFO kablam!    --> src/cnf_manager.rs:547:7
Oct 14 21:58:59.339 INFO kablam!     |
Oct 14 21:58:59.340 INFO kablam! 547 |         let mut vec = 
Oct 14 21:58:59.340 INFO kablam!     |             ----^^^
Oct 14 21:58:59.340 INFO kablam!     |             |
Oct 14 21:58:59.341 INFO kablam!     |             help: remove this `mut`
Oct 14 21:58:59.341 INFO kablam! 
Oct 14 21:58:59.359 INFO kablam! warning: function `SIGN` should have a snake case name such as `sign`
Oct 14 21:58:59.359 INFO kablam!   --> src/cnf_manager.rs:13:1
Oct 14 21:58:59.359 INFO kablam!    |
Oct 14 21:58:59.359 INFO kablam! 13 | / pub fn SIGN(&lit : &i32) -> VA {
Oct 14 21:58:59.359 INFO kablam! 14 | |     if lit > 0 {VA::Pos} else {VA::Neg}
Oct 14 21:58:59.359 INFO kablam! 15 | | }
Oct 14 21:58:59.359 INFO kablam!    | |_^
Oct 14 21:58:59.359 INFO kablam!    |
Oct 14 21:58:59.359 INFO kablam!    = note: #[warn(non_snake_case)] on by default
Oct 14 21:58:59.359 INFO kablam! 
Oct 14 21:58:59.359 INFO kablam! warning: function `VAR` should have a snake case name such as `var`
Oct 14 21:58:59.359 INFO kablam!   --> src/cnf_manager.rs:17:1
Oct 14 21:58:59.359 INFO kablam!    |
Oct 14 21:58:59.359 INFO kablam! 17 | / pub fn VAR(&lit : &i32) -> usize {
Oct 14 21:58:59.359 INFO kablam! 18 | |     lit.abs() as usize
Oct 14 21:58:59.359 INFO kablam! 19 | | }
Oct 14 21:58:59.359 INFO kablam!    | |_^
Oct 14 21:58:59.359 INFO kablam! 
Oct 14 21:58:59.359 INFO kablam! warning: function `NEG` should have a snake case name such as `neg`
Oct 14 21:58:59.359 INFO kablam!   --> src/cnf_manager.rs:21:1
Oct 14 21:58:59.359 INFO kablam!    |
Oct 14 21:58:59.359 INFO kablam! 21 | / pub fn NEG(&lit : &i32) -> i32 {
Oct 14 21:58:59.359 INFO kablam! 22 | |     -lit
Oct 14 21:58:59.359 INFO kablam! 23 | | }
Oct 14 21:58:59.359 INFO kablam!    | |_^
Oct 14 21:58:59.359 INFO kablam! 
Oct 14 21:58:59.359 INFO kablam! warning: function `FREE` should have a snake case name such as `free`
Oct 14 21:58:59.359 INFO kablam!   --> src/cnf_manager.rs:25:1
Oct 14 21:58:59.359 INFO kablam!    |
Oct 14 21:58:59.359 INFO kablam! 25 | / pub fn FREE(&lit : &i32, m : &CnfManager) -> bool {
Oct 14 21:58:59.359 INFO kablam! 26 | |     m.vars[VAR(&lit)].value == VA::Free
Oct 14 21:58:59.359 INFO kablam! 27 | | }
Oct 14 21:58:59.359 INFO kablam!    | |_^
Oct 14 21:58:59.359 INFO kablam! 
Oct 14 21:58:59.359 INFO kablam! warning: function `SET` should have a snake case name such as `set`
Oct 14 21:58:59.359 INFO kablam!   --> src/cnf_manager.rs:29:1
Oct 14 21:58:59.359 INFO kablam!    |
Oct 14 21:58:59.359 INFO kablam! 29 | / pub fn SET(&lit : &i32, m : &CnfManager) -> bool {
Oct 14 21:58:59.359 INFO kablam! 30 | |     m.vars[VAR(&lit)].value == SIGN(&lit)
Oct 14 21:58:59.359 INFO kablam! 31 | | }
Oct 14 21:58:59.359 INFO kablam!    | |_^
Oct 14 21:58:59.359 INFO kablam! 
Oct 14 21:58:59.359 INFO kablam! warning: function `RESOLVED` should have a snake case name such as `resolved`
Oct 14 21:58:59.359 INFO kablam!   --> src/cnf_manager.rs:33:1
Oct 14 21:58:59.359 INFO kablam!    |
Oct 14 21:58:59.359 INFO kablam! 33 | / pub fn RESOLVED(&lit : &i32, m : &CnfManager) -> bool {
Oct 14 21:58:59.359 INFO kablam! 34 | |     let neg = NEG(&lit);
Oct 14 21:58:59.359 INFO kablam! 35 | |     m.vars[VAR(&lit)].value == SIGN(&neg)
Oct 14 21:58:59.359 INFO kablam! 36 | | }
Oct 14 21:58:59.359 INFO kablam!    | |_^
Oct 14 21:58:59.359 INFO kablam! 
Oct 14 21:58:59.362 INFO kablam! warning: function `SCORE` should have a snake case name such as `score`
Oct 14 21:58:59.362 INFO kablam!   --> src/cnf_manager.rs:38:1
Oct 14 21:58:59.362 INFO kablam!    |
Oct 14 21:58:59.362 INFO kablam! 38 | / pub fn SCORE(&var : &i32, m : &CnfManager) -> i32 {
Oct 14 21:58:59.362 INFO kablam! 39 | |     m.vars[var as usize].activity[0] + m.vars[var as usize].activity[1]
Oct 14 21:58:59.362 INFO kablam! 40 | | }
Oct 14 21:58:59.363 INFO kablam!    | |_^
Oct 14 21:58:59.363 INFO kablam! 
Oct 14 21:58:59.363 INFO kablam! warning: method `setLiteral` should have a snake case name such as `set_literal`
Oct 14 21:58:59.363 INFO kablam!    --> src/cnf_manager.rs:215:2
Oct 14 21:58:59.363 INFO kablam!     |
Oct 14 21:58:59.363 INFO kablam! 215 |       pub fn setLiteral(&mut self, lit : i32, ante : ArrTuple, ind : usize) -> () {
Oct 14 21:58:59.363 INFO kablam!     |  _____^
Oct 14 21:58:59.363 INFO kablam! 216 | |         //println!("Set literal {}, ante_ind = {}", lit, ind);
Oct 14 21:58:59.363 INFO kablam! 217 | |         self.vars[VAR(&lit)].value = SIGN(&lit);
Oct 14 21:58:59.363 INFO kablam! 218 | |         self.vars[VAR(&lit)].ante = ante;
Oct 14 21:58:59.363 INFO kablam! 219 | |         self.vars[VAR(&lit)].ante_ind = ind;
Oct 14 21:58:59.363 INFO kablam! 220 | |         self.vars[VAR(&lit)].decision_level = self.decision_level;
Oct 14 21:58:59.363 INFO kablam! 221 | |     }
Oct 14 21:58:59.363 INFO kablam!     | |_____^
Oct 14 21:58:59.363 INFO kablam! 
Oct 14 21:58:59.367 INFO kablam! warning: method `assertLiteral` should have a snake case name such as `assert_literal`
Oct 14 21:58:59.367 INFO kablam!    --> src/cnf_manager.rs:223:2
Oct 14 21:58:59.367 INFO kablam!     |
Oct 14 21:58:59.367 INFO kablam! 223 |       pub fn assertLiteral(&mut self, mut lit : i32, ante : ArrTuple, ante_ind : usize) -> bool {
Oct 14 21:58:59.367 INFO kablam!     |  _____^
Oct 14 21:58:59.367 INFO kablam! 224 | |         //println!("assertLiteral for lit {}, ante_ind {}", lit, ante_ind);
Oct 14 21:58:59.367 INFO kablam! 225 | |         let self2 = unsafe {&mut *(self as *mut CnfManager)};
Oct 14 21:58:59.367 INFO kablam! 226 | |         let self3 = unsafe {&mut *(self as *mut CnfManager)};
Oct 14 21:58:59.367 INFO kablam! ...   |
Oct 14 21:58:59.367 INFO kablam! 330 | |         true
Oct 14 21:58:59.367 INFO kablam! 331 | |     }
Oct 14 21:58:59.367 INFO kablam!     | |_____^
Oct 14 21:58:59.367 INFO kablam! 
Oct 14 21:58:59.367 INFO kablam! warning: method `assertUnitClauses` should have a snake case name such as `assert_unit_clauses`
Oct 14 21:58:59.367 INFO kablam!    --> src/cnf_manager.rs:333:2
Oct 14 21:58:59.367 INFO kablam!     |
Oct 14 21:58:59.367 INFO kablam! 333 |       pub fn assertUnitClauses(&mut self) -> bool {
Oct 14 21:58:59.367 INFO kablam!     |  _____^
Oct 14 21:58:59.367 INFO kablam! 334 | |         //println!("assertUnitClauses");
Oct 14 21:58:59.367 INFO kablam! 335 | |         let self2 = unsafe {&mut *(self as *mut CnfManager)};
Oct 14 21:58:59.367 INFO kablam! 336 | |         for i in (1..self.decision_stack.len()).rev() {
Oct 14 21:58:59.367 INFO kablam! ...   |
Oct 14 21:58:59.367 INFO kablam! 347 | |         true
Oct 14 21:58:59.367 INFO kablam! 348 | |     }
Oct 14 21:58:59.367 INFO kablam!     | |_____^
Oct 14 21:58:59.367 INFO kablam! 
Oct 14 21:58:59.367 INFO kablam! warning: method `learnClause` should have a snake case name such as `learn_clause`
Oct 14 21:58:59.367 INFO kablam!    --> src/cnf_manager.rs:357:2
Oct 14 21:58:59.367 INFO kablam!     |
Oct 14 21:58:59.367 INFO kablam! 357 |       pub fn learnClause(&mut self, tuple : ArrTuple, mut ind : usize) -> () {
Oct 14 21:58:59.368 INFO kablam!     |  _____^
Oct 14 21:58:59.368 INFO kablam! 358 | |         //println!("learnClause {}", self.decision_level);
Oct 14 21:58:59.368 INFO kablam! 359 | |         let self2 = unsafe {&mut *(self as *mut CnfManager)};
Oct 14 21:58:59.368 INFO kablam! 360 | |         let self3 = unsafe {&mut *(self as *mut CnfManager)};
Oct 14 21:58:59.368 INFO kablam! ...   |
Oct 14 21:58:59.368 INFO kablam! 489 | |         self2.addClause();
Oct 14 21:58:59.368 INFO kablam! 490 | |     }
Oct 14 21:58:59.368 INFO kablam!     | |_____^
Oct 14 21:58:59.368 INFO kablam! 
Oct 14 21:58:59.368 INFO kablam! warning: method `addClause` should have a snake case name such as `add_clause`
Oct 14 21:58:59.368 INFO kablam!    --> src/cnf_manager.rs:492:2
Oct 14 21:58:59.368 INFO kablam!     |
Oct 14 21:58:59.368 INFO kablam! 492 |       pub fn addClause(& mut self) -> () {
Oct 14 21:58:59.368 INFO kablam!     |  _____^
Oct 14 21:58:59.368 INFO kablam! 493 | |         //println!("addClause");
Oct 14 21:58:59.368 INFO kablam! 494 | |         self.conflict_clause_ind = self.lit_pool.len();
Oct 14 21:58:59.368 INFO kablam! 495 | |         self.lit_pool.push(self.conflict_lit.back().unwrap().clone());
Oct 14 21:58:59.368 INFO kablam! ...   |
Oct 14 21:58:59.368 INFO kablam! 508 | |         self.lit_pool.push(0);
Oct 14 21:58:59.368 INFO kablam! 509 | |     }
Oct 14 21:58:59.368 INFO kablam!     | |_____^
Oct 14 21:58:59.368 INFO kablam! 
Oct 14 21:58:59.368 INFO kablam! warning: method `assertCL` should have a snake case name such as `assert_cl`
Oct 14 21:58:59.368 INFO kablam!    --> src/cnf_manager.rs:511:2
Oct 14 21:58:59.368 INFO kablam!     |
Oct 14 21:58:59.368 INFO kablam! 511 |       pub fn assertCL(&mut self) -> bool {
Oct 14 21:58:59.368 INFO kablam!     |  _____^
Oct 14 21:58:59.368 INFO kablam! 512 | |         //println!("assertCL");
Oct 14 21:58:59.368 INFO kablam! 513 | |         let ind = self.conflict_clause_ind.clone();
Oct 14 21:58:59.368 INFO kablam! 514 | |         let lit = self.lit_pool[ind].clone();
Oct 14 21:58:59.368 INFO kablam! 515 | |         return self.assertLiteral(lit, ArrTuple::ctor(true), ind + 1);
Oct 14 21:58:59.368 INFO kablam! 516 | |     }
Oct 14 21:58:59.368 INFO kablam!     | |_____^
Oct 14 21:58:59.368 INFO kablam! 
Oct 14 21:58:59.368 INFO kablam! warning: method `scoreDecay` should have a snake case name such as `score_decay`
Oct 14 21:58:59.368 INFO kablam!    --> src/cnf_manager.rs:536:2
Oct 14 21:58:59.368 INFO kablam!     |
Oct 14 21:58:59.368 INFO kablam! 536 |       pub fn scoreDecay(&mut self) -> () {
Oct 14 21:58:59.368 INFO kablam!     |  _____^
Oct 14 21:58:59.368 INFO kablam! 537 | |         //println!("scoreDecay");
Oct 14 21:58:59.368 INFO kablam! 538 | |         for i in 1..(self.var_count + 1) as usize {
Oct 14 21:58:59.368 INFO kablam! 539 | |             self.vars[i].activity[0] >>= 1;
Oct 14 21:58:59.368 INFO kablam! 540 | |             self.vars[i].activity[1] >>= 1;
Oct 14 21:58:59.368 INFO kablam! 541 | |         }
Oct 14 21:58:59.368 INFO kablam! 542 | |     }
Oct 14 21:58:59.368 INFO kablam!     | |_____^
Oct 14 21:58:59.368 INFO kablam! 
Oct 14 21:58:59.368 INFO kablam! warning: method `updateScores` should have a snake case name such as `update_scores`
Oct 14 21:58:59.368 INFO kablam!    --> src/cnf_manager.rs:544:2
Oct 14 21:58:59.368 INFO kablam!     |
Oct 14 21:58:59.368 INFO kablam! 544 |       pub fn updateScores(&mut self, tuple : ArrTuple, mut ind : usize) -> () {
Oct 14 21:58:59.368 INFO kablam!     |  _____^
Oct 14 21:58:59.368 INFO kablam! 545 | |         //println!("updateScores");
Oct 14 21:58:59.368 INFO kablam! 546 | |         let self2 = unsafe {&mut *(self as *mut CnfManager)};
Oct 14 21:58:59.369 INFO kablam! 547 | |         let mut vec = 
Oct 14 21:58:59.369 INFO kablam! ...   |
Oct 14 21:58:59.369 INFO kablam! 591 | |         }
Oct 14 21:58:59.369 INFO kablam! 592 | |     }
Oct 14 21:58:59.369 INFO kablam!     | |_____^
Oct 14 21:58:59.369 INFO kablam! 
Oct 14 21:58:59.369 INFO kablam! warning: method `selectLiteral` should have a snake case name such as `select_literal`
Oct 14 21:58:59.369 INFO kablam!    --> src/sat_solver.rs:89:2
Oct 14 21:58:59.369 INFO kablam!     |
Oct 14 21:58:59.369 INFO kablam! 89  |       pub fn selectLiteral(& mut self) -> i32 {
Oct 14 21:58:59.369 INFO kablam!     |  _____^
Oct 14 21:58:59.369 INFO kablam! 90  | |         //println!("selectLiteral");
Oct 14 21:58:59.369 INFO kablam! 91  | |         let mut x = 0 as i32;
Oct 14 21:58:59.369 INFO kablam! 92  | |         let last_clause = if self.cnf_manager.next_clause > 256 {
Oct 14 21:58:59.369 INFO kablam! ...   |
Oct 14 21:58:59.369 INFO kablam! 163 | |         0
Oct 14 21:58:59.369 INFO kablam! 164 | |     }
Oct 14 21:58:59.369 INFO kablam!     | |_____^
Oct 14 21:58:59.369 INFO kablam! 
Oct 14 21:58:59.369 INFO kablam! warning: method `verifySolution` should have a snake case name such as `verify_solution`
Oct 14 21:58:59.369 INFO kablam!    --> src/sat_solver.rs:214:2
Oct 14 21:58:59.369 INFO kablam!     |
Oct 14 21:58:59.369 INFO kablam! 214 |       pub fn verifySolution(&self) -> bool {
Oct 14 21:58:59.369 INFO kablam!     |  _____^
Oct 14 21:58:59.369 INFO kablam! 215 | |         let ref pool = self.cnf_manager.lit_pool;
Oct 14 21:58:59.369 INFO kablam! 216 | |         let mut i = 0;
Oct 14 21:58:59.369 INFO kablam! 217 | |         while i < self.cnf_manager.lit_pool_size_orig {
Oct 14 21:58:59.369 INFO kablam! ...   |
Oct 14 21:58:59.369 INFO kablam! 235 | |         true
Oct 14 21:58:59.369 INFO kablam! 236 | |     }
Oct 14 21:58:59.369 INFO kablam!     | |_____^
Oct 14 21:58:59.369 INFO kablam! 
Oct 14 21:58:59.369 INFO kablam! warning: method `printSolution` should have a snake case name such as `print_solution`
Oct 14 21:58:59.369 INFO kablam!    --> src/sat_solver.rs:238:2
Oct 14 21:58:59.369 INFO kablam!     |
Oct 14 21:58:59.369 INFO kablam! 238 |       pub fn printSolution(&self) -> () {
Oct 14 21:58:59.369 INFO kablam!     |  _____^
Oct 14 21:58:59.369 INFO kablam! 239 | |         for i in 1..(self.cnf_manager.var_count+1) as usize {
Oct 14 21:58:59.369 INFO kablam! 240 | |             let ref vars = self.cnf_manager.vars;
Oct 14 21:58:59.369 INFO kablam! 241 | |             if vars[i].value == VA::Pos {
Oct 14 21:58:59.369 INFO kablam! ...   |
Oct 14 21:58:59.369 INFO kablam! 247 | |         println!("0");
Oct 14 21:58:59.369 INFO kablam! 248 | |     }
Oct 14 21:58:59.369 INFO kablam!     | |_____^
Oct 14 21:58:59.369 INFO kablam! 
Oct 14 21:58:59.369 INFO kablam! warning: method `printStats` should have a snake case name such as `print_stats`
Oct 14 21:58:59.369 INFO kablam!    --> src/sat_solver.rs:250:2
Oct 14 21:58:59.369 INFO kablam!     |
Oct 14 21:58:59.369 INFO kablam! 250 |       pub fn printStats(&self) -> () {
Oct 14 21:58:59.369 INFO kablam!     |  _____^
Oct 14 21:58:59.369 INFO kablam! 251 | |         let ref m = self.cnf_manager;
Oct 14 21:58:59.369 INFO kablam! 252 | |         println!("c {} decisions, {} conflicts, {} restarts", m.decision_count, m.conflict_count, m.restart_count);
Oct 14 21:58:59.369 INFO kablam! 253 | |     }
Oct 14 21:58:59.369 INFO kablam!     | |_____^
Oct 14 21:58:59.369 INFO kablam! 
Oct 14 21:59:00.951 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 2.23s
Oct 14 21:59:00.959 INFO kablam! su: No module specific data is present
Oct 14 21:59:01.823 INFO running `"docker" "rm" "-f" "66a0926eaeee5f5cf54ad72cc11493db9407cff414aac790c4bdd38d11023e05"`
Oct 14 21:59:02.084 INFO blam! 66a0926eaeee5f5cf54ad72cc11493db9407cff414aac790c4bdd38d11023e05
Oct 14 21:59:02.091 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-2/try#40d4795669493f1965de7c44029c69552134fe1f:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-2/rustdoc-test-static-cling-1/try#40d4795669493f1965de7c44029c69552134fe1f:/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 +40d4795669493f1965de7c44029c69552134fe1f-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"`
Oct 14 21:59:02.671 INFO blam! e0850ba9a1953db294ad38db9a2096ccaa1fa51531b211eb012b0d10ebe0e098
Oct 14 21:59:02.673 INFO running `"docker" "start" "-a" "e0850ba9a1953db294ad38db9a2096ccaa1fa51531b211eb012b0d10ebe0e098"`
Oct 14 21:59:03.665 INFO kablam! usermod: no changes
Oct 14 21:59:03.739 INFO kablam!    Compiling rusty_duckling v0.1.0 (/source)
Oct 14 21:59:04.111 INFO kablam! warning: unused import: `std::ptr`
Oct 14 21:59:04.111 INFO kablam!  --> src/cnf_manager.rs:3:5
Oct 14 21:59:04.111 INFO kablam!   |
Oct 14 21:59:04.111 INFO kablam! 3 | use std::ptr;
Oct 14 21:59:04.111 INFO kablam!   |     ^^^^^^^^
Oct 14 21:59:04.111 INFO kablam!   |
Oct 14 21:59:04.111 INFO kablam!   = note: #[warn(unused_imports)] on by default
Oct 14 21:59:04.111 INFO kablam! 
Oct 14 21:59:04.111 INFO kablam! warning: unnecessary parentheses around method argument
Oct 14 21:59:04.111 INFO kablam!   --> src/sat_solver.rs:60:36
Oct 14 21:59:04.111 INFO kablam!    |
Oct 14 21:59:04.111 INFO kablam! 60 |                     ret.cnf_manager.assertLiteral((i as i32), ArrTuple::new(), 0);
Oct 14 21:59:04.111 INFO kablam!    |                                                   ^^^^^^^^^^ help: remove these parentheses
Oct 14 21:59:04.111 INFO kablam!    |
Oct 14 21:59:04.111 INFO kablam!    = note: #[warn(unused_parens)] on by default
Oct 14 21:59:04.111 INFO kablam! 
Oct 14 21:59:04.323 INFO kablam! warning: unused variable: `i`
Oct 14 21:59:04.323 INFO kablam!    --> src/cnf_manager.rs:157:7
Oct 14 21:59:04.323 INFO kablam!     |
Oct 14 21:59:04.323 INFO kablam! 157 |         for i in 0..ret.var_count+1 {
Oct 14 21:59:04.323 INFO kablam!     |             ^ help: consider using `_i` instead
Oct 14 21:59:04.323 INFO kablam!     |
Oct 14 21:59:04.323 INFO kablam!     = note: #[warn(unused_variables)] on by default
Oct 14 21:59:04.323 INFO kablam! 
Oct 14 21:59:04.323 INFO kablam! warning: value assigned to `lit` is never read
Oct 14 21:59:04.323 INFO kablam!    --> src/cnf_manager.rs:394:11
Oct 14 21:59:04.323 INFO kablam!     |
Oct 14 21:59:04.323 INFO kablam! 394 |         let mut lit = 0;
Oct 14 21:59:04.323 INFO kablam!     |                 ^^^
Oct 14 21:59:04.323 INFO kablam!     |
Oct 14 21:59:04.323 INFO kablam!     = note: #[warn(unused_assignments)] on by default
Oct 14 21:59:04.323 INFO kablam! 
Oct 14 21:59:04.323 INFO kablam! warning: value assigned to `cur_level_lits` is never read
Oct 14 21:59:04.323 INFO kablam!    --> src/cnf_manager.rs:418:5
Oct 14 21:59:04.323 INFO kablam!     |
Oct 14 21:59:04.323 INFO kablam! 418 |                 cur_level_lits -= 1;
Oct 14 21:59:04.323 INFO kablam!     |                 ^^^^^^^^^^^^^^
Oct 14 21:59:04.323 INFO kablam! 
Oct 14 21:59:04.355 INFO kablam! warning: variable does not need to be mutable
Oct 14 21:59:04.355 INFO kablam!    --> src/cnf_manager.rs:271:9
Oct 14 21:59:04.355 INFO kablam!     |
Oct 14 21:59:04.355 INFO kablam! 271 |                 let mut watch;
Oct 14 21:59:04.355 INFO kablam!     |                     ----^^^^^
Oct 14 21:59:04.355 INFO kablam!     |                     |
Oct 14 21:59:04.355 INFO kablam!     |                     help: remove this `mut`
Oct 14 21:59:04.355 INFO kablam!     |
Oct 14 21:59:04.355 INFO kablam!     = note: #[warn(unused_mut)] on by default
Oct 14 21:59:04.355 INFO kablam! 
Oct 14 21:59:04.355 INFO kablam! warning: variable does not need to be mutable
Oct 14 21:59:04.355 INFO kablam!    --> src/cnf_manager.rs:272:9
Oct 14 21:59:04.355 INFO kablam!     |
Oct 14 21:59:04.355 INFO kablam! 272 |                 let mut other_watch;
Oct 14 21:59:04.355 INFO kablam!     |                     ----^^^^^^^^^^^
Oct 14 21:59:04.355 INFO kablam!     |                     |
Oct 14 21:59:04.355 INFO kablam!     |                     help: remove this `mut`
Oct 14 21:59:04.355 INFO kablam! 
Oct 14 21:59:04.363 INFO kablam! warning: variable does not need to be mutable
Oct 14 21:59:04.363 INFO kablam!    --> src/cnf_manager.rs:363:7
Oct 14 21:59:04.363 INFO kablam!     |
Oct 14 21:59:04.363 INFO kablam! 363 |         let mut conflict_clause = 
Oct 14 21:59:04.363 INFO kablam!     |             ----^^^^^^^^^^^^^^^
Oct 14 21:59:04.363 INFO kablam!     |             |
Oct 14 21:59:04.363 INFO kablam!     |             help: remove this `mut`
Oct 14 21:59:04.363 INFO kablam! 
Oct 14 21:59:04.363 INFO kablam! warning: variable does not need to be mutable
Oct 14 21:59:04.363 INFO kablam!    --> src/cnf_manager.rs:428:9
Oct 14 21:59:04.363 INFO kablam!     |
Oct 14 21:59:04.363 INFO kablam! 428 |                 let mut ante = 
Oct 14 21:59:04.363 INFO kablam!     |                     ----^^^^
Oct 14 21:59:04.363 INFO kablam!     |                     |
Oct 14 21:59:04.363 INFO kablam!     |                     help: remove this `mut`
Oct 14 21:59:04.363 INFO kablam! 
Oct 14 21:59:04.367 INFO kablam! warning: variable does not need to be mutable
Oct 14 21:59:04.367 INFO kablam!    --> src/cnf_manager.rs:547:7
Oct 14 21:59:04.367 INFO kablam!     |
Oct 14 21:59:04.367 INFO kablam! 547 |         let mut vec = 
Oct 14 21:59:04.367 INFO kablam!     |             ----^^^
Oct 14 21:59:04.367 INFO kablam!     |             |
Oct 14 21:59:04.367 INFO kablam!     |             help: remove this `mut`
Oct 14 21:59:04.367 INFO kablam! 
Oct 14 21:59:04.386 INFO kablam! warning: function `SIGN` should have a snake case name such as `sign`
Oct 14 21:59:04.386 INFO kablam!   --> src/cnf_manager.rs:13:1
Oct 14 21:59:04.386 INFO kablam!    |
Oct 14 21:59:04.386 INFO kablam! 13 | / pub fn SIGN(&lit : &i32) -> VA {
Oct 14 21:59:04.386 INFO kablam! 14 | |     if lit > 0 {VA::Pos} else {VA::Neg}
Oct 14 21:59:04.386 INFO kablam! 15 | | }
Oct 14 21:59:04.386 INFO kablam!    | |_^
Oct 14 21:59:04.386 INFO kablam!    |
Oct 14 21:59:04.386 INFO kablam!    = note: #[warn(non_snake_case)] on by default
Oct 14 21:59:04.386 INFO kablam! 
Oct 14 21:59:04.386 INFO kablam! warning: function `VAR` should have a snake case name such as `var`
Oct 14 21:59:04.386 INFO kablam!   --> src/cnf_manager.rs:17:1
Oct 14 21:59:04.386 INFO kablam!    |
Oct 14 21:59:04.386 INFO kablam! 17 | / pub fn VAR(&lit : &i32) -> usize {
Oct 14 21:59:04.386 INFO kablam! 18 | |     lit.abs() as usize
Oct 14 21:59:04.386 INFO kablam! 19 | | }
Oct 14 21:59:04.386 INFO kablam!    | |_^
Oct 14 21:59:04.386 INFO kablam! 
Oct 14 21:59:04.386 INFO kablam! warning: function `NEG` should have a snake case name such as `neg`
Oct 14 21:59:04.386 INFO kablam!   --> src/cnf_manager.rs:21:1
Oct 14 21:59:04.386 INFO kablam!    |
Oct 14 21:59:04.386 INFO kablam! 21 | / pub fn NEG(&lit : &i32) -> i32 {
Oct 14 21:59:04.386 INFO kablam! 22 | |     -lit
Oct 14 21:59:04.386 INFO kablam! 23 | | }
Oct 14 21:59:04.386 INFO kablam!    | |_^
Oct 14 21:59:04.386 INFO kablam! 
Oct 14 21:59:04.386 INFO kablam! warning: function `FREE` should have a snake case name such as `free`
Oct 14 21:59:04.386 INFO kablam!   --> src/cnf_manager.rs:25:1
Oct 14 21:59:04.386 INFO kablam!    |
Oct 14 21:59:04.386 INFO kablam! 25 | / pub fn FREE(&lit : &i32, m : &CnfManager) -> bool {
Oct 14 21:59:04.386 INFO kablam! 26 | |     m.vars[VAR(&lit)].value == VA::Free
Oct 14 21:59:04.386 INFO kablam! 27 | | }
Oct 14 21:59:04.386 INFO kablam!    | |_^
Oct 14 21:59:04.386 INFO kablam! 
Oct 14 21:59:04.386 INFO kablam! warning: function `SET` should have a snake case name such as `set`
Oct 14 21:59:04.386 INFO kablam!   --> src/cnf_manager.rs:29:1
Oct 14 21:59:04.386 INFO kablam!    |
Oct 14 21:59:04.386 INFO kablam! 29 | / pub fn SET(&lit : &i32, m : &CnfManager) -> bool {
Oct 14 21:59:04.386 INFO kablam! 30 | |     m.vars[VAR(&lit)].value == SIGN(&lit)
Oct 14 21:59:04.386 INFO kablam! 31 | | }
Oct 14 21:59:04.386 INFO kablam!    | |_^
Oct 14 21:59:04.387 INFO kablam! 
Oct 14 21:59:04.387 INFO kablam! warning: function `RESOLVED` should have a snake case name such as `resolved`
Oct 14 21:59:04.387 INFO kablam!   --> src/cnf_manager.rs:33:1
Oct 14 21:59:04.387 INFO kablam!    |
Oct 14 21:59:04.387 INFO kablam! 33 | / pub fn RESOLVED(&lit : &i32, m : &CnfManager) -> bool {
Oct 14 21:59:04.387 INFO kablam! 34 | |     let neg = NEG(&lit);
Oct 14 21:59:04.387 INFO kablam! 35 | |     m.vars[VAR(&lit)].value == SIGN(&neg)
Oct 14 21:59:04.387 INFO kablam! 36 | | }
Oct 14 21:59:04.387 INFO kablam!    | |_^
Oct 14 21:59:04.387 INFO kablam! 
Oct 14 21:59:04.387 INFO kablam! warning: function `SCORE` should have a snake case name such as `score`
Oct 14 21:59:04.387 INFO kablam!   --> src/cnf_manager.rs:38:1
Oct 14 21:59:04.387 INFO kablam!    |
Oct 14 21:59:04.387 INFO kablam! 38 | / pub fn SCORE(&var : &i32, m : &CnfManager) -> i32 {
Oct 14 21:59:04.387 INFO kablam! 39 | |     m.vars[var as usize].activity[0] + m.vars[var as usize].activity[1]
Oct 14 21:59:04.387 INFO kablam! 40 | | }
Oct 14 21:59:04.387 INFO kablam!    | |_^
Oct 14 21:59:04.387 INFO kablam! 
Oct 14 21:59:04.387 INFO kablam! warning: method `setLiteral` should have a snake case name such as `set_literal`
Oct 14 21:59:04.387 INFO kablam!    --> src/cnf_manager.rs:215:2
Oct 14 21:59:04.387 INFO kablam!     |
Oct 14 21:59:04.387 INFO kablam! 215 |       pub fn setLiteral(&mut self, lit : i32, ante : ArrTuple, ind : usize) -> () {
Oct 14 21:59:04.387 INFO kablam!     |  _____^
Oct 14 21:59:04.387 INFO kablam! 216 | |         //println!("Set literal {}, ante_ind = {}", lit, ind);
Oct 14 21:59:04.387 INFO kablam! 217 | |         self.vars[VAR(&lit)].value = SIGN(&lit);
Oct 14 21:59:04.387 INFO kablam! 218 | |         self.vars[VAR(&lit)].ante = ante;
Oct 14 21:59:04.387 INFO kablam! 219 | |         self.vars[VAR(&lit)].ante_ind = ind;
Oct 14 21:59:04.387 INFO kablam! 220 | |         self.vars[VAR(&lit)].decision_level = self.decision_level;
Oct 14 21:59:04.387 INFO kablam! 221 | |     }
Oct 14 21:59:04.387 INFO kablam!     | |_____^
Oct 14 21:59:04.387 INFO kablam! 
Oct 14 21:59:04.388 INFO kablam! warning: method `assertLiteral` should have a snake case name such as `assert_literal`
Oct 14 21:59:04.388 INFO kablam!    --> src/cnf_manager.rs:223:2
Oct 14 21:59:04.388 INFO kablam!     |
Oct 14 21:59:04.388 INFO kablam! 223 |       pub fn assertLiteral(&mut self, mut lit : i32, ante : ArrTuple, ante_ind : usize) -> bool {
Oct 14 21:59:04.388 INFO kablam!     |  _____^
Oct 14 21:59:04.388 INFO kablam! 224 | |         //println!("assertLiteral for lit {}, ante_ind {}", lit, ante_ind);
Oct 14 21:59:04.388 INFO kablam! 225 | |         let self2 = unsafe {&mut *(self as *mut CnfManager)};
Oct 14 21:59:04.388 INFO kablam! 226 | |         let self3 = unsafe {&mut *(self as *mut CnfManager)};
Oct 14 21:59:04.388 INFO kablam! ...   |
Oct 14 21:59:04.388 INFO kablam! 330 | |         true
Oct 14 21:59:04.388 INFO kablam! 331 | |     }
Oct 14 21:59:04.388 INFO kablam!     | |_____^
Oct 14 21:59:04.388 INFO kablam! 
Oct 14 21:59:04.388 INFO kablam! warning: method `assertUnitClauses` should have a snake case name such as `assert_unit_clauses`
Oct 14 21:59:04.388 INFO kablam!    --> src/cnf_manager.rs:333:2
Oct 14 21:59:04.388 INFO kablam!     |
Oct 14 21:59:04.388 INFO kablam! 333 |       pub fn assertUnitClauses(&mut self) -> bool {
Oct 14 21:59:04.388 INFO kablam!     |  _____^
Oct 14 21:59:04.388 INFO kablam! 334 | |         //println!("assertUnitClauses");
Oct 14 21:59:04.388 INFO kablam! 335 | |         let self2 = unsafe {&mut *(self as *mut CnfManager)};
Oct 14 21:59:04.388 INFO kablam! 336 | |         for i in (1..self.decision_stack.len()).rev() {
Oct 14 21:59:04.388 INFO kablam! ...   |
Oct 14 21:59:04.388 INFO kablam! 347 | |         true
Oct 14 21:59:04.389 INFO kablam! 348 | |     }
Oct 14 21:59:04.389 INFO kablam!     | |_____^
Oct 14 21:59:04.389 INFO kablam! 
Oct 14 21:59:04.390 INFO kablam! warning: method `learnClause` should have a snake case name such as `learn_clause`
Oct 14 21:59:04.390 INFO kablam!    --> src/cnf_manager.rs:357:2
Oct 14 21:59:04.390 INFO kablam!     |
Oct 14 21:59:04.390 INFO kablam! 357 |       pub fn learnClause(&mut self, tuple : ArrTuple, mut ind : usize) -> () {
Oct 14 21:59:04.390 INFO kablam!     |  _____^
Oct 14 21:59:04.390 INFO kablam! 358 | |         //println!("learnClause {}", self.decision_level);
Oct 14 21:59:04.390 INFO kablam! 359 | |         let self2 = unsafe {&mut *(self as *mut CnfManager)};
Oct 14 21:59:04.390 INFO kablam! 360 | |         let self3 = unsafe {&mut *(self as *mut CnfManager)};
Oct 14 21:59:04.390 INFO kablam! ...   |
Oct 14 21:59:04.390 INFO kablam! 489 | |         self2.addClause();
Oct 14 21:59:04.390 INFO kablam! 490 | |     }
Oct 14 21:59:04.390 INFO kablam!     | |_____^
Oct 14 21:59:04.390 INFO kablam! 
Oct 14 21:59:04.390 INFO kablam! warning: method `addClause` should have a snake case name such as `add_clause`
Oct 14 21:59:04.390 INFO kablam!    --> src/cnf_manager.rs:492:2
Oct 14 21:59:04.391 INFO kablam!     |
Oct 14 21:59:04.391 INFO kablam! 492 |       pub fn addClause(& mut self) -> () {
Oct 14 21:59:04.391 INFO kablam!     |  _____^
Oct 14 21:59:04.391 INFO kablam! 493 | |         //println!("addClause");
Oct 14 21:59:04.391 INFO kablam! 494 | |         self.conflict_clause_ind = self.lit_pool.len();
Oct 14 21:59:04.391 INFO kablam! 495 | |         self.lit_pool.push(self.conflict_lit.back().unwrap().clone());
Oct 14 21:59:04.391 INFO kablam! ...   |
Oct 14 21:59:04.391 INFO kablam! 508 | |         self.lit_pool.push(0);
Oct 14 21:59:04.391 INFO kablam! 509 | |     }
Oct 14 21:59:04.391 INFO kablam!     | |_____^
Oct 14 21:59:04.391 INFO kablam! 
Oct 14 21:59:04.391 INFO kablam! warning: method `assertCL` should have a snake case name such as `assert_cl`
Oct 14 21:59:04.391 INFO kablam!    --> src/cnf_manager.rs:511:2
Oct 14 21:59:04.391 INFO kablam!     |
Oct 14 21:59:04.391 INFO kablam! 511 |       pub fn assertCL(&mut self) -> bool {
Oct 14 21:59:04.391 INFO kablam!     |  _____^
Oct 14 21:59:04.391 INFO kablam! 512 | |         //println!("assertCL");
Oct 14 21:59:04.391 INFO kablam! 513 | |         let ind = self.conflict_clause_ind.clone();
Oct 14 21:59:04.391 INFO kablam! 514 | |         let lit = self.lit_pool[ind].clone();
Oct 14 21:59:04.391 INFO kablam! 515 | |         return self.assertLiteral(lit, ArrTuple::ctor(true), ind + 1);
Oct 14 21:59:04.391 INFO kablam! 516 | |     }
Oct 14 21:59:04.391 INFO kablam!     | |_____^
Oct 14 21:59:04.391 INFO kablam! 
Oct 14 21:59:04.391 INFO kablam! warning: method `scoreDecay` should have a snake case name such as `score_decay`
Oct 14 21:59:04.391 INFO kablam!    --> src/cnf_manager.rs:536:2
Oct 14 21:59:04.391 INFO kablam!     |
Oct 14 21:59:04.391 INFO kablam! 536 |       pub fn scoreDecay(&mut self) -> () {
Oct 14 21:59:04.391 INFO kablam!     |  _____^
Oct 14 21:59:04.391 INFO kablam! 537 | |         //println!("scoreDecay");
Oct 14 21:59:04.391 INFO kablam! 538 | |         for i in 1..(self.var_count + 1) as usize {
Oct 14 21:59:04.391 INFO kablam! 539 | |             self.vars[i].activity[0] >>= 1;
Oct 14 21:59:04.391 INFO kablam! 540 | |             self.vars[i].activity[1] >>= 1;
Oct 14 21:59:04.391 INFO kablam! 541 | |         }
Oct 14 21:59:04.391 INFO kablam! 542 | |     }
Oct 14 21:59:04.391 INFO kablam!     | |_____^
Oct 14 21:59:04.391 INFO kablam! 
Oct 14 21:59:04.391 INFO kablam! warning: method `updateScores` should have a snake case name such as `update_scores`
Oct 14 21:59:04.391 INFO kablam!    --> src/cnf_manager.rs:544:2
Oct 14 21:59:04.392 INFO kablam!     |
Oct 14 21:59:04.392 INFO kablam! 544 |       pub fn updateScores(&mut self, tuple : ArrTuple, mut ind : usize) -> () {
Oct 14 21:59:04.392 INFO kablam!     |  _____^
Oct 14 21:59:04.392 INFO kablam! 545 | |         //println!("updateScores");
Oct 14 21:59:04.392 INFO kablam! 546 | |         let self2 = unsafe {&mut *(self as *mut CnfManager)};
Oct 14 21:59:04.392 INFO kablam! 547 | |         let mut vec = 
Oct 14 21:59:04.392 INFO kablam! ...   |
Oct 14 21:59:04.392 INFO kablam! 591 | |         }
Oct 14 21:59:04.392 INFO kablam! 592 | |     }
Oct 14 21:59:04.392 INFO kablam!     | |_____^
Oct 14 21:59:04.392 INFO kablam! 
Oct 14 21:59:04.392 INFO kablam! warning: method `selectLiteral` should have a snake case name such as `select_literal`
Oct 14 21:59:04.392 INFO kablam!    --> src/sat_solver.rs:89:2
Oct 14 21:59:04.392 INFO kablam!     |
Oct 14 21:59:04.392 INFO kablam! 89  |       pub fn selectLiteral(& mut self) -> i32 {
Oct 14 21:59:04.392 INFO kablam!     |  _____^
Oct 14 21:59:04.392 INFO kablam! 90  | |         //println!("selectLiteral");
Oct 14 21:59:04.392 INFO kablam! 91  | |         let mut x = 0 as i32;
Oct 14 21:59:04.392 INFO kablam! 92  | |         let last_clause = if self.cnf_manager.next_clause > 256 {
Oct 14 21:59:04.392 INFO kablam! ...   |
Oct 14 21:59:04.392 INFO kablam! 163 | |         0
Oct 14 21:59:04.392 INFO kablam! 164 | |     }
Oct 14 21:59:04.392 INFO kablam!     | |_____^
Oct 14 21:59:04.392 INFO kablam! 
Oct 14 21:59:04.392 INFO kablam! warning: method `verifySolution` should have a snake case name such as `verify_solution`
Oct 14 21:59:04.392 INFO kablam!    --> src/sat_solver.rs:214:2
Oct 14 21:59:04.392 INFO kablam!     |
Oct 14 21:59:04.392 INFO kablam! 214 |       pub fn verifySolution(&self) -> bool {
Oct 14 21:59:04.392 INFO kablam!     |  _____^
Oct 14 21:59:04.392 INFO kablam! 215 | |         let ref pool = self.cnf_manager.lit_pool;
Oct 14 21:59:04.392 INFO kablam! 216 | |         let mut i = 0;
Oct 14 21:59:04.392 INFO kablam! 217 | |         while i < self.cnf_manager.lit_pool_size_orig {
Oct 14 21:59:04.392 INFO kablam! ...   |
Oct 14 21:59:04.392 INFO kablam! 235 | |         true
Oct 14 21:59:04.392 INFO kablam! 236 | |     }
Oct 14 21:59:04.392 INFO kablam!     | |_____^
Oct 14 21:59:04.392 INFO kablam! 
Oct 14 21:59:04.393 INFO kablam! warning: method `printSolution` should have a snake case name such as `print_solution`
Oct 14 21:59:04.393 INFO kablam!    --> src/sat_solver.rs:238:2
Oct 14 21:59:04.393 INFO kablam!     |
Oct 14 21:59:04.393 INFO kablam! 238 |       pub fn printSolution(&self) -> () {
Oct 14 21:59:04.393 INFO kablam!     |  _____^
Oct 14 21:59:04.393 INFO kablam! 239 | |         for i in 1..(self.cnf_manager.var_count+1) as usize {
Oct 14 21:59:04.393 INFO kablam! 240 | |             let ref vars = self.cnf_manager.vars;
Oct 14 21:59:04.393 INFO kablam! 241 | |             if vars[i].value == VA::Pos {
Oct 14 21:59:04.393 INFO kablam! ...   |
Oct 14 21:59:04.393 INFO kablam! 247 | |         println!("0");
Oct 14 21:59:04.393 INFO kablam! 248 | |     }
Oct 14 21:59:04.393 INFO kablam!     | |_____^
Oct 14 21:59:04.393 INFO kablam! 
Oct 14 21:59:04.393 INFO kablam! warning: method `printStats` should have a snake case name such as `print_stats`
Oct 14 21:59:04.393 INFO kablam!    --> src/sat_solver.rs:250:2
Oct 14 21:59:04.393 INFO kablam!     |
Oct 14 21:59:04.393 INFO kablam! 250 |       pub fn printStats(&self) -> () {
Oct 14 21:59:04.393 INFO kablam!     |  _____^
Oct 14 21:59:04.393 INFO kablam! 251 | |         let ref m = self.cnf_manager;
Oct 14 21:59:04.393 INFO kablam! 252 | |         println!("c {} decisions, {} conflicts, {} restarts", m.decision_count, m.conflict_count, m.restart_count);
Oct 14 21:59:04.396 INFO kablam! 253 | |     }
Oct 14 21:59:04.396 INFO kablam!     | |_____^
Oct 14 21:59:04.396 INFO kablam! 
Oct 14 21:59:04.894 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 1.20s
Oct 14 21:59:04.896 INFO kablam! su: No module specific data is present
Oct 14 21:59:05.724 INFO running `"docker" "rm" "-f" "e0850ba9a1953db294ad38db9a2096ccaa1fa51531b211eb012b0d10ebe0e098"`
Oct 14 21:59:06.059 INFO blam! e0850ba9a1953db294ad38db9a2096ccaa1fa51531b211eb012b0d10ebe0e098
Oct 14 21:59:06.065 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling-1/worker-2/try#40d4795669493f1965de7c44029c69552134fe1f:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-2/rustdoc-test-static-cling-1/try#40d4795669493f1965de7c44029c69552134fe1f:/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 +40d4795669493f1965de7c44029c69552134fe1f-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"`
Oct 14 21:59:06.559 INFO blam! 212ac0b77f67ce7f21ce37a5261717014bbb6c029d2ef8d74757e9236be9c8e1
Oct 14 21:59:06.566 INFO running `"docker" "start" "-a" "212ac0b77f67ce7f21ce37a5261717014bbb6c029d2ef8d74757e9236be9c8e1"`
Oct 14 21:59:07.732 INFO kablam! usermod: no changes
Oct 14 21:59:07.791 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 0.03s
Oct 14 21:59:07.798 INFO kablam!      Running /target/debug/deps/rusty_duckling-d6f2d0dd40df4e16
Oct 14 21:59:07.807 INFO kablam!      Running /target/debug/deps/rusty_duckling-33856e845cd568f1
Oct 14 21:59:07.807 INFO blam! 
Oct 14 21:59:07.807 INFO blam! running 0 tests
Oct 14 21:59:07.807 INFO blam! 
Oct 14 21:59:07.807 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 14 21:59:07.807 INFO blam! 
Oct 14 21:59:07.809 INFO blam! 
Oct 14 21:59:07.809 INFO blam! running 0 tests
Oct 14 21:59:07.809 INFO blam! 
Oct 14 21:59:07.809 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 14 21:59:07.809 INFO blam! 
Oct 14 21:59:07.809 INFO kablam!    Doc-tests rusty_duckling
Oct 14 21:59:08.195 INFO blam! 
Oct 14 21:59:08.195 INFO blam! running 0 tests
Oct 14 21:59:08.195 INFO blam! 
Oct 14 21:59:08.195 INFO blam! test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Oct 14 21:59:08.195 INFO blam! 
Oct 14 21:59:08.201 INFO kablam! su: No module specific data is present
Oct 14 21:59:08.645 INFO running `"docker" "rm" "-f" "212ac0b77f67ce7f21ce37a5261717014bbb6c029d2ef8d74757e9236be9c8e1"`
Oct 14 21:59:08.808 INFO blam! 212ac0b77f67ce7f21ce37a5261717014bbb6c029d2ef8d74757e9236be9c8e1