Nov 01 05:40:49.289 INFO checking edoipi/rusty_duckling against try#d7816399d50d407bbce1efe9dbadf8faaaf568fc for pr-55538 Nov 01 05:40:49.289 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55538/worker-2/try#d7816399d50d407bbce1efe9dbadf8faaaf568fc:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-2/pr-55538/try#d7816399d50d407bbce1efe9dbadf8faaaf568fc:/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 +d7816399d50d407bbce1efe9dbadf8faaaf568fc-alt check --frozen --all --all-targets" "-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"` Nov 01 05:40:49.794 INFO blam! 7655d3789624948760fcb21caa67c10bbe7b04af1e33cddb234c52adfff019be Nov 01 05:40:49.796 INFO running `"docker" "start" "-a" "7655d3789624948760fcb21caa67c10bbe7b04af1e33cddb234c52adfff019be"` Nov 01 05:40:50.912 INFO kablam! usermod: no changes Nov 01 05:40:51.000 INFO kablam! Checking rusty_duckling v0.1.0 (/source) Nov 01 05:40:51.472 INFO kablam! warning: unused import: `std::ptr` Nov 01 05:40:51.472 INFO kablam! --> src/cnf_manager.rs:3:5 Nov 01 05:40:51.472 INFO kablam! | Nov 01 05:40:51.472 INFO kablam! 3 | use std::ptr; Nov 01 05:40:51.472 INFO kablam! | ^^^^^^^^ Nov 01 05:40:51.472 INFO kablam! | Nov 01 05:40:51.472 INFO kablam! = note: #[warn(unused_imports)] on by default Nov 01 05:40:51.472 INFO kablam! Nov 01 05:40:51.472 INFO kablam! warning: unnecessary parentheses around method argument Nov 01 05:40:51.472 INFO kablam! --> src/sat_solver.rs:60:36 Nov 01 05:40:51.472 INFO kablam! | Nov 01 05:40:51.472 INFO kablam! 60 | ret.cnf_manager.assertLiteral((i as i32), ArrTuple::new(), 0); Nov 01 05:40:51.472 INFO kablam! | ^^^^^^^^^^ help: remove these parentheses Nov 01 05:40:51.472 INFO kablam! | Nov 01 05:40:51.472 INFO kablam! = note: #[warn(unused_parens)] on by default Nov 01 05:40:51.472 INFO kablam! Nov 01 05:40:51.828 INFO kablam! warning: unused import: `std::ptr` Nov 01 05:40:51.828 INFO kablam! --> src/cnf_manager.rs:3:5 Nov 01 05:40:51.828 INFO kablam! | Nov 01 05:40:51.828 INFO kablam! 3 | use std::ptr; Nov 01 05:40:51.828 INFO kablam! | ^^^^^^^^ Nov 01 05:40:51.828 INFO kablam! | Nov 01 05:40:51.828 INFO kablam! = note: #[warn(unused_imports)] on by default Nov 01 05:40:51.828 INFO kablam! Nov 01 05:40:51.828 INFO kablam! warning: unnecessary parentheses around method argument Nov 01 05:40:51.828 INFO kablam! --> src/sat_solver.rs:60:36 Nov 01 05:40:51.828 INFO kablam! | Nov 01 05:40:51.828 INFO kablam! 60 | ret.cnf_manager.assertLiteral((i as i32), ArrTuple::new(), 0); Nov 01 05:40:51.829 INFO kablam! | ^^^^^^^^^^ help: remove these parentheses Nov 01 05:40:51.829 INFO kablam! | Nov 01 05:40:51.829 INFO kablam! = note: #[warn(unused_parens)] on by default Nov 01 05:40:51.829 INFO kablam! Nov 01 05:40:51.853 INFO kablam! warning: unused variable: `i` Nov 01 05:40:51.853 INFO kablam! --> src/cnf_manager.rs:157:7 Nov 01 05:40:51.853 INFO kablam! | Nov 01 05:40:51.853 INFO kablam! 157 | for i in 0..ret.var_count+1 { Nov 01 05:40:51.853 INFO kablam! | ^ help: consider using `_i` instead Nov 01 05:40:51.853 INFO kablam! | Nov 01 05:40:51.853 INFO kablam! = note: #[warn(unused_variables)] on by default Nov 01 05:40:51.853 INFO kablam! Nov 01 05:40:51.853 INFO kablam! warning: value assigned to `lit` is never read Nov 01 05:40:51.853 INFO kablam! --> src/cnf_manager.rs:394:11 Nov 01 05:40:51.853 INFO kablam! | Nov 01 05:40:51.853 INFO kablam! 394 | let mut lit = 0; Nov 01 05:40:51.853 INFO kablam! | ^^^ Nov 01 05:40:51.853 INFO kablam! | Nov 01 05:40:51.853 INFO kablam! = note: #[warn(unused_assignments)] on by default Nov 01 05:40:51.853 INFO kablam! Nov 01 05:40:51.853 INFO kablam! warning: value assigned to `cur_level_lits` is never read Nov 01 05:40:51.853 INFO kablam! --> src/cnf_manager.rs:418:5 Nov 01 05:40:51.853 INFO kablam! | Nov 01 05:40:51.853 INFO kablam! 418 | cur_level_lits -= 1; Nov 01 05:40:51.853 INFO kablam! | ^^^^^^^^^^^^^^ Nov 01 05:40:51.853 INFO kablam! Nov 01 05:40:51.916 INFO kablam! warning: variable does not need to be mutable Nov 01 05:40:51.917 INFO kablam! --> src/cnf_manager.rs:271:9 Nov 01 05:40:51.917 INFO kablam! | Nov 01 05:40:51.917 INFO kablam! 271 | let mut watch; Nov 01 05:40:51.917 INFO kablam! | ----^^^^^ Nov 01 05:40:51.917 INFO kablam! | | Nov 01 05:40:51.917 INFO kablam! | help: remove this `mut` Nov 01 05:40:51.917 INFO kablam! | Nov 01 05:40:51.917 INFO kablam! = note: #[warn(unused_mut)] on by default Nov 01 05:40:51.918 INFO kablam! Nov 01 05:40:51.918 INFO kablam! warning: variable does not need to be mutable Nov 01 05:40:51.918 INFO kablam! --> src/cnf_manager.rs:272:9 Nov 01 05:40:51.918 INFO kablam! | Nov 01 05:40:51.918 INFO kablam! 272 | let mut other_watch; Nov 01 05:40:51.918 INFO kablam! | ----^^^^^^^^^^^ Nov 01 05:40:51.918 INFO kablam! | | Nov 01 05:40:51.919 INFO kablam! | help: remove this `mut` Nov 01 05:40:51.919 INFO kablam! Nov 01 05:40:51.948 INFO kablam! warning: variable does not need to be mutable Nov 01 05:40:51.948 INFO kablam! --> src/cnf_manager.rs:363:7 Nov 01 05:40:51.948 INFO kablam! | Nov 01 05:40:51.948 INFO kablam! 363 | let mut conflict_clause = Nov 01 05:40:51.948 INFO kablam! | ----^^^^^^^^^^^^^^^ Nov 01 05:40:51.948 INFO kablam! | | Nov 01 05:40:51.948 INFO kablam! | help: remove this `mut` Nov 01 05:40:51.948 INFO kablam! Nov 01 05:40:51.948 INFO kablam! warning: variable does not need to be mutable Nov 01 05:40:51.948 INFO kablam! --> src/cnf_manager.rs:428:9 Nov 01 05:40:51.948 INFO kablam! | Nov 01 05:40:51.948 INFO kablam! 428 | let mut ante = Nov 01 05:40:51.948 INFO kablam! | ----^^^^ Nov 01 05:40:51.948 INFO kablam! | | Nov 01 05:40:51.948 INFO kablam! | help: remove this `mut` Nov 01 05:40:51.948 INFO kablam! Nov 01 05:40:51.960 INFO kablam! warning: variable does not need to be mutable Nov 01 05:40:51.960 INFO kablam! --> src/cnf_manager.rs:547:7 Nov 01 05:40:51.960 INFO kablam! | Nov 01 05:40:51.960 INFO kablam! 547 | let mut vec = Nov 01 05:40:51.960 INFO kablam! | ----^^^ Nov 01 05:40:51.960 INFO kablam! | | Nov 01 05:40:51.960 INFO kablam! | help: remove this `mut` Nov 01 05:40:51.960 INFO kablam! Nov 01 05:40:51.997 INFO kablam! warning: function `SIGN` should have a snake case name such as `sign` Nov 01 05:40:51.997 INFO kablam! --> src/cnf_manager.rs:13:1 Nov 01 05:40:51.997 INFO kablam! | Nov 01 05:40:51.997 INFO kablam! 13 | / pub fn SIGN(&lit : &i32) -> VA { Nov 01 05:40:51.997 INFO kablam! 14 | | if lit > 0 {VA::Pos} else {VA::Neg} Nov 01 05:40:51.997 INFO kablam! 15 | | } Nov 01 05:40:51.997 INFO kablam! | |_^ Nov 01 05:40:51.997 INFO kablam! | Nov 01 05:40:51.997 INFO kablam! = note: #[warn(non_snake_case)] on by default Nov 01 05:40:51.997 INFO kablam! Nov 01 05:40:51.997 INFO kablam! warning: function `VAR` should have a snake case name such as `var` Nov 01 05:40:51.997 INFO kablam! --> src/cnf_manager.rs:17:1 Nov 01 05:40:51.997 INFO kablam! | Nov 01 05:40:51.997 INFO kablam! 17 | / pub fn VAR(&lit : &i32) -> usize { Nov 01 05:40:51.997 INFO kablam! 18 | | lit.abs() as usize Nov 01 05:40:51.997 INFO kablam! 19 | | } Nov 01 05:40:51.997 INFO kablam! | |_^ Nov 01 05:40:51.997 INFO kablam! Nov 01 05:40:51.997 INFO kablam! warning: function `NEG` should have a snake case name such as `neg` Nov 01 05:40:51.997 INFO kablam! --> src/cnf_manager.rs:21:1 Nov 01 05:40:51.997 INFO kablam! | Nov 01 05:40:51.997 INFO kablam! 21 | / pub fn NEG(&lit : &i32) -> i32 { Nov 01 05:40:51.997 INFO kablam! 22 | | -lit Nov 01 05:40:51.997 INFO kablam! 23 | | } Nov 01 05:40:51.997 INFO kablam! | |_^ Nov 01 05:40:51.997 INFO kablam! Nov 01 05:40:51.997 INFO kablam! warning: function `FREE` should have a snake case name such as `free` Nov 01 05:40:51.997 INFO kablam! --> src/cnf_manager.rs:25:1 Nov 01 05:40:51.997 INFO kablam! | Nov 01 05:40:51.997 INFO kablam! 25 | / pub fn FREE(&lit : &i32, m : &CnfManager) -> bool { Nov 01 05:40:51.997 INFO kablam! 26 | | m.vars[VAR(&lit)].value == VA::Free Nov 01 05:40:51.997 INFO kablam! 27 | | } Nov 01 05:40:51.997 INFO kablam! | |_^ Nov 01 05:40:51.997 INFO kablam! Nov 01 05:40:51.997 INFO kablam! warning: function `SET` should have a snake case name such as `set` Nov 01 05:40:51.997 INFO kablam! --> src/cnf_manager.rs:29:1 Nov 01 05:40:51.997 INFO kablam! | Nov 01 05:40:51.997 INFO kablam! 29 | / pub fn SET(&lit : &i32, m : &CnfManager) -> bool { Nov 01 05:40:51.997 INFO kablam! 30 | | m.vars[VAR(&lit)].value == SIGN(&lit) Nov 01 05:40:51.997 INFO kablam! 31 | | } Nov 01 05:40:51.997 INFO kablam! | |_^ Nov 01 05:40:51.997 INFO kablam! Nov 01 05:40:51.997 INFO kablam! warning: function `RESOLVED` should have a snake case name such as `resolved` Nov 01 05:40:51.997 INFO kablam! --> src/cnf_manager.rs:33:1 Nov 01 05:40:51.997 INFO kablam! | Nov 01 05:40:51.997 INFO kablam! 33 | / pub fn RESOLVED(&lit : &i32, m : &CnfManager) -> bool { Nov 01 05:40:51.997 INFO kablam! 34 | | let neg = NEG(&lit); Nov 01 05:40:51.997 INFO kablam! 35 | | m.vars[VAR(&lit)].value == SIGN(&neg) Nov 01 05:40:51.997 INFO kablam! 36 | | } Nov 01 05:40:51.997 INFO kablam! | |_^ Nov 01 05:40:51.997 INFO kablam! Nov 01 05:40:51.998 INFO kablam! warning: function `SCORE` should have a snake case name such as `score` Nov 01 05:40:51.998 INFO kablam! --> src/cnf_manager.rs:38:1 Nov 01 05:40:51.998 INFO kablam! | Nov 01 05:40:51.998 INFO kablam! 38 | / pub fn SCORE(&var : &i32, m : &CnfManager) -> i32 { Nov 01 05:40:51.998 INFO kablam! 39 | | m.vars[var as usize].activity[0] + m.vars[var as usize].activity[1] Nov 01 05:40:51.998 INFO kablam! 40 | | } Nov 01 05:40:51.998 INFO kablam! | |_^ Nov 01 05:40:51.998 INFO kablam! Nov 01 05:40:51.998 INFO kablam! warning: method `setLiteral` should have a snake case name such as `set_literal` Nov 01 05:40:51.998 INFO kablam! --> src/cnf_manager.rs:215:2 Nov 01 05:40:51.998 INFO kablam! | Nov 01 05:40:51.998 INFO kablam! 215 | pub fn setLiteral(&mut self, lit : i32, ante : ArrTuple, ind : usize) -> () { Nov 01 05:40:51.998 INFO kablam! | _____^ Nov 01 05:40:51.998 INFO kablam! 216 | | //println!("Set literal {}, ante_ind = {}", lit, ind); Nov 01 05:40:51.998 INFO kablam! 217 | | self.vars[VAR(&lit)].value = SIGN(&lit); Nov 01 05:40:51.998 INFO kablam! 218 | | self.vars[VAR(&lit)].ante = ante; Nov 01 05:40:51.998 INFO kablam! 219 | | self.vars[VAR(&lit)].ante_ind = ind; Nov 01 05:40:51.998 INFO kablam! 220 | | self.vars[VAR(&lit)].decision_level = self.decision_level; Nov 01 05:40:51.998 INFO kablam! 221 | | } Nov 01 05:40:51.998 INFO kablam! | |_____^ Nov 01 05:40:51.998 INFO kablam! Nov 01 05:40:51.998 INFO kablam! warning: method `assertLiteral` should have a snake case name such as `assert_literal` Nov 01 05:40:51.998 INFO kablam! --> src/cnf_manager.rs:223:2 Nov 01 05:40:51.998 INFO kablam! | Nov 01 05:40:51.998 INFO kablam! 223 | pub fn assertLiteral(&mut self, mut lit : i32, ante : ArrTuple, ante_ind : usize) -> bool { Nov 01 05:40:51.998 INFO kablam! | _____^ Nov 01 05:40:51.998 INFO kablam! 224 | | //println!("assertLiteral for lit {}, ante_ind {}", lit, ante_ind); Nov 01 05:40:51.998 INFO kablam! 225 | | let self2 = unsafe {&mut *(self as *mut CnfManager)}; Nov 01 05:40:51.998 INFO kablam! 226 | | let self3 = unsafe {&mut *(self as *mut CnfManager)}; Nov 01 05:40:51.998 INFO kablam! ... | Nov 01 05:40:51.998 INFO kablam! 330 | | true Nov 01 05:40:51.998 INFO kablam! 331 | | } Nov 01 05:40:51.998 INFO kablam! | |_____^ Nov 01 05:40:51.998 INFO kablam! Nov 01 05:40:51.998 INFO kablam! warning: method `assertUnitClauses` should have a snake case name such as `assert_unit_clauses` Nov 01 05:40:51.998 INFO kablam! --> src/cnf_manager.rs:333:2 Nov 01 05:40:51.998 INFO kablam! | Nov 01 05:40:51.998 INFO kablam! 333 | pub fn assertUnitClauses(&mut self) -> bool { Nov 01 05:40:51.998 INFO kablam! | _____^ Nov 01 05:40:51.998 INFO kablam! 334 | | //println!("assertUnitClauses"); Nov 01 05:40:51.998 INFO kablam! 335 | | let self2 = unsafe {&mut *(self as *mut CnfManager)}; Nov 01 05:40:51.998 INFO kablam! 336 | | for i in (1..self.decision_stack.len()).rev() { Nov 01 05:40:51.998 INFO kablam! ... | Nov 01 05:40:51.998 INFO kablam! 347 | | true Nov 01 05:40:51.998 INFO kablam! 348 | | } Nov 01 05:40:51.998 INFO kablam! | |_____^ Nov 01 05:40:51.998 INFO kablam! Nov 01 05:40:51.998 INFO kablam! warning: method `learnClause` should have a snake case name such as `learn_clause` Nov 01 05:40:51.998 INFO kablam! --> src/cnf_manager.rs:357:2 Nov 01 05:40:51.998 INFO kablam! | Nov 01 05:40:51.998 INFO kablam! 357 | pub fn learnClause(&mut self, tuple : ArrTuple, mut ind : usize) -> () { Nov 01 05:40:51.998 INFO kablam! | _____^ Nov 01 05:40:51.998 INFO kablam! 358 | | //println!("learnClause {}", self.decision_level); Nov 01 05:40:51.998 INFO kablam! 359 | | let self2 = unsafe {&mut *(self as *mut CnfManager)}; Nov 01 05:40:51.998 INFO kablam! 360 | | let self3 = unsafe {&mut *(self as *mut CnfManager)}; Nov 01 05:40:51.998 INFO kablam! ... | Nov 01 05:40:51.998 INFO kablam! 489 | | self2.addClause(); Nov 01 05:40:51.998 INFO kablam! 490 | | } Nov 01 05:40:51.998 INFO kablam! | |_____^ Nov 01 05:40:51.998 INFO kablam! Nov 01 05:40:51.998 INFO kablam! warning: method `addClause` should have a snake case name such as `add_clause` Nov 01 05:40:51.998 INFO kablam! --> src/cnf_manager.rs:492:2 Nov 01 05:40:51.998 INFO kablam! | Nov 01 05:40:51.998 INFO kablam! 492 | pub fn addClause(& mut self) -> () { Nov 01 05:40:51.998 INFO kablam! | _____^ Nov 01 05:40:51.998 INFO kablam! 493 | | //println!("addClause"); Nov 01 05:40:51.998 INFO kablam! 494 | | self.conflict_clause_ind = self.lit_pool.len(); Nov 01 05:40:51.998 INFO kablam! 495 | | self.lit_pool.push(self.conflict_lit.back().unwrap().clone()); Nov 01 05:40:51.998 INFO kablam! ... | Nov 01 05:40:51.998 INFO kablam! 508 | | self.lit_pool.push(0); Nov 01 05:40:51.998 INFO kablam! 509 | | } Nov 01 05:40:51.998 INFO kablam! | |_____^ Nov 01 05:40:51.998 INFO kablam! Nov 01 05:40:51.998 INFO kablam! warning: method `assertCL` should have a snake case name such as `assert_cl` Nov 01 05:40:51.998 INFO kablam! --> src/cnf_manager.rs:511:2 Nov 01 05:40:51.998 INFO kablam! | Nov 01 05:40:51.998 INFO kablam! 511 | pub fn assertCL(&mut self) -> bool { Nov 01 05:40:51.998 INFO kablam! | _____^ Nov 01 05:40:51.998 INFO kablam! 512 | | //println!("assertCL"); Nov 01 05:40:51.998 INFO kablam! 513 | | let ind = self.conflict_clause_ind.clone(); Nov 01 05:40:51.998 INFO kablam! 514 | | let lit = self.lit_pool[ind].clone(); Nov 01 05:40:51.998 INFO kablam! 515 | | return self.assertLiteral(lit, ArrTuple::ctor(true), ind + 1); Nov 01 05:40:51.998 INFO kablam! 516 | | } Nov 01 05:40:51.998 INFO kablam! | |_____^ Nov 01 05:40:51.998 INFO kablam! Nov 01 05:40:51.998 INFO kablam! warning: method `scoreDecay` should have a snake case name such as `score_decay` Nov 01 05:40:51.998 INFO kablam! --> src/cnf_manager.rs:536:2 Nov 01 05:40:51.999 INFO kablam! | Nov 01 05:40:51.999 INFO kablam! 536 | pub fn scoreDecay(&mut self) -> () { Nov 01 05:40:51.999 INFO kablam! | _____^ Nov 01 05:40:51.999 INFO kablam! 537 | | //println!("scoreDecay"); Nov 01 05:40:51.999 INFO kablam! 538 | | for i in 1..(self.var_count + 1) as usize { Nov 01 05:40:51.999 INFO kablam! 539 | | self.vars[i].activity[0] >>= 1; Nov 01 05:40:51.999 INFO kablam! 540 | | self.vars[i].activity[1] >>= 1; Nov 01 05:40:51.999 INFO kablam! 541 | | } Nov 01 05:40:51.999 INFO kablam! 542 | | } Nov 01 05:40:51.999 INFO kablam! | |_____^ Nov 01 05:40:51.999 INFO kablam! Nov 01 05:40:51.999 INFO kablam! warning: method `updateScores` should have a snake case name such as `update_scores` Nov 01 05:40:51.999 INFO kablam! --> src/cnf_manager.rs:544:2 Nov 01 05:40:51.999 INFO kablam! | Nov 01 05:40:51.999 INFO kablam! 544 | pub fn updateScores(&mut self, tuple : ArrTuple, mut ind : usize) -> () { Nov 01 05:40:51.999 INFO kablam! | _____^ Nov 01 05:40:51.999 INFO kablam! 545 | | //println!("updateScores"); Nov 01 05:40:51.999 INFO kablam! 546 | | let self2 = unsafe {&mut *(self as *mut CnfManager)}; Nov 01 05:40:51.999 INFO kablam! 547 | | let mut vec = Nov 01 05:40:51.999 INFO kablam! ... | Nov 01 05:40:51.999 INFO kablam! 591 | | } Nov 01 05:40:51.999 INFO kablam! 592 | | } Nov 01 05:40:51.999 INFO kablam! | |_____^ Nov 01 05:40:51.999 INFO kablam! Nov 01 05:40:51.999 INFO kablam! warning: method `selectLiteral` should have a snake case name such as `select_literal` Nov 01 05:40:51.999 INFO kablam! --> src/sat_solver.rs:89:2 Nov 01 05:40:51.999 INFO kablam! | Nov 01 05:40:51.999 INFO kablam! 89 | pub fn selectLiteral(& mut self) -> i32 { Nov 01 05:40:51.999 INFO kablam! | _____^ Nov 01 05:40:51.999 INFO kablam! 90 | | //println!("selectLiteral"); Nov 01 05:40:51.999 INFO kablam! 91 | | let mut x = 0 as i32; Nov 01 05:40:51.999 INFO kablam! 92 | | let last_clause = if self.cnf_manager.next_clause > 256 { Nov 01 05:40:51.999 INFO kablam! ... | Nov 01 05:40:51.999 INFO kablam! 163 | | 0 Nov 01 05:40:51.999 INFO kablam! 164 | | } Nov 01 05:40:51.999 INFO kablam! | |_____^ Nov 01 05:40:51.999 INFO kablam! Nov 01 05:40:51.999 INFO kablam! warning: method `verifySolution` should have a snake case name such as `verify_solution` Nov 01 05:40:51.999 INFO kablam! --> src/sat_solver.rs:214:2 Nov 01 05:40:51.999 INFO kablam! | Nov 01 05:40:51.999 INFO kablam! 214 | pub fn verifySolution(&self) -> bool { Nov 01 05:40:51.999 INFO kablam! | _____^ Nov 01 05:40:51.999 INFO kablam! 215 | | let ref pool = self.cnf_manager.lit_pool; Nov 01 05:40:51.999 INFO kablam! 216 | | let mut i = 0; Nov 01 05:40:51.999 INFO kablam! 217 | | while i < self.cnf_manager.lit_pool_size_orig { Nov 01 05:40:51.999 INFO kablam! ... | Nov 01 05:40:51.999 INFO kablam! 235 | | true Nov 01 05:40:51.999 INFO kablam! 236 | | } Nov 01 05:40:51.999 INFO kablam! | |_____^ Nov 01 05:40:51.999 INFO kablam! Nov 01 05:40:51.999 INFO kablam! warning: method `printSolution` should have a snake case name such as `print_solution` Nov 01 05:40:51.999 INFO kablam! --> src/sat_solver.rs:238:2 Nov 01 05:40:51.999 INFO kablam! | Nov 01 05:40:51.999 INFO kablam! 238 | pub fn printSolution(&self) -> () { Nov 01 05:40:51.999 INFO kablam! | _____^ Nov 01 05:40:51.999 INFO kablam! 239 | | for i in 1..(self.cnf_manager.var_count+1) as usize { Nov 01 05:40:51.999 INFO kablam! 240 | | let ref vars = self.cnf_manager.vars; Nov 01 05:40:51.999 INFO kablam! 241 | | if vars[i].value == VA::Pos { Nov 01 05:40:51.999 INFO kablam! ... | Nov 01 05:40:51.999 INFO kablam! 247 | | println!("0"); Nov 01 05:40:51.999 INFO kablam! 248 | | } Nov 01 05:40:51.999 INFO kablam! | |_____^ Nov 01 05:40:51.999 INFO kablam! Nov 01 05:40:51.999 INFO kablam! warning: method `printStats` should have a snake case name such as `print_stats` Nov 01 05:40:51.999 INFO kablam! --> src/sat_solver.rs:250:2 Nov 01 05:40:51.999 INFO kablam! | Nov 01 05:40:52.020 INFO kablam! 250 | pub fn printStats(&self) -> () { Nov 01 05:40:52.020 INFO kablam! | _____^ Nov 01 05:40:52.020 INFO kablam! 251 | | let ref m = self.cnf_manager; Nov 01 05:40:52.020 INFO kablam! 252 | | println!("c {} decisions, {} conflicts, {} restarts", m.decision_count, m.conflict_count, m.restart_count); Nov 01 05:40:52.020 INFO kablam! 253 | | } Nov 01 05:40:52.020 INFO kablam! | |_____^ Nov 01 05:40:52.020 INFO kablam! Nov 01 05:40:52.141 INFO kablam! warning: unused variable: `i` Nov 01 05:40:52.141 INFO kablam! --> src/cnf_manager.rs:157:7 Nov 01 05:40:52.141 INFO kablam! | Nov 01 05:40:52.141 INFO kablam! 157 | for i in 0..ret.var_count+1 { Nov 01 05:40:52.141 INFO kablam! | ^ help: consider using `_i` instead Nov 01 05:40:52.142 INFO kablam! | Nov 01 05:40:52.142 INFO kablam! = note: #[warn(unused_variables)] on by default Nov 01 05:40:52.142 INFO kablam! Nov 01 05:40:52.142 INFO kablam! warning: value assigned to `lit` is never read Nov 01 05:40:52.142 INFO kablam! --> src/cnf_manager.rs:394:11 Nov 01 05:40:52.142 INFO kablam! | Nov 01 05:40:52.143 INFO kablam! 394 | let mut lit = 0; Nov 01 05:40:52.143 INFO kablam! | ^^^ Nov 01 05:40:52.143 INFO kablam! | Nov 01 05:40:52.143 INFO kablam! = note: #[warn(unused_assignments)] on by default Nov 01 05:40:52.143 INFO kablam! Nov 01 05:40:52.144 INFO kablam! warning: value assigned to `cur_level_lits` is never read Nov 01 05:40:52.144 INFO kablam! --> src/cnf_manager.rs:418:5 Nov 01 05:40:52.144 INFO kablam! | Nov 01 05:40:52.144 INFO kablam! 418 | cur_level_lits -= 1; Nov 01 05:40:52.144 INFO kablam! | ^^^^^^^^^^^^^^ Nov 01 05:40:52.144 INFO kablam! Nov 01 05:40:52.216 INFO kablam! warning: variable does not need to be mutable Nov 01 05:40:52.216 INFO kablam! --> src/cnf_manager.rs:271:9 Nov 01 05:40:52.216 INFO kablam! | Nov 01 05:40:52.216 INFO kablam! 271 | let mut watch; Nov 01 05:40:52.216 INFO kablam! | ----^^^^^ Nov 01 05:40:52.216 INFO kablam! | | Nov 01 05:40:52.216 INFO kablam! | help: remove this `mut` Nov 01 05:40:52.228 INFO kablam! | Nov 01 05:40:52.229 INFO kablam! = note: #[warn(unused_mut)] on by default Nov 01 05:40:52.229 INFO kablam! Nov 01 05:40:52.229 INFO kablam! warning: variable does not need to be mutable Nov 01 05:40:52.229 INFO kablam! --> src/cnf_manager.rs:272:9 Nov 01 05:40:52.229 INFO kablam! | Nov 01 05:40:52.229 INFO kablam! 272 | let mut other_watch; Nov 01 05:40:52.229 INFO kablam! | ----^^^^^^^^^^^ Nov 01 05:40:52.230 INFO kablam! | | Nov 01 05:40:52.230 INFO kablam! | help: remove this `mut` Nov 01 05:40:52.230 INFO kablam! Nov 01 05:40:52.253 INFO kablam! warning: variable does not need to be mutable Nov 01 05:40:52.253 INFO kablam! --> src/cnf_manager.rs:363:7 Nov 01 05:40:52.253 INFO kablam! | Nov 01 05:40:52.253 INFO kablam! 363 | let mut conflict_clause = Nov 01 05:40:52.253 INFO kablam! | ----^^^^^^^^^^^^^^^ Nov 01 05:40:52.253 INFO kablam! | | Nov 01 05:40:52.253 INFO kablam! | help: remove this `mut` Nov 01 05:40:52.254 INFO kablam! Nov 01 05:40:52.254 INFO kablam! warning: variable does not need to be mutable Nov 01 05:40:52.254 INFO kablam! --> src/cnf_manager.rs:428:9 Nov 01 05:40:52.254 INFO kablam! | Nov 01 05:40:52.254 INFO kablam! 428 | let mut ante = Nov 01 05:40:52.254 INFO kablam! | ----^^^^ Nov 01 05:40:52.254 INFO kablam! | | Nov 01 05:40:52.255 INFO kablam! | help: remove this `mut` Nov 01 05:40:52.255 INFO kablam! Nov 01 05:40:52.260 INFO kablam! warning: variable does not need to be mutable Nov 01 05:40:52.261 INFO kablam! --> src/cnf_manager.rs:547:7 Nov 01 05:40:52.261 INFO kablam! | Nov 01 05:40:52.261 INFO kablam! 547 | let mut vec = Nov 01 05:40:52.261 INFO kablam! | ----^^^ Nov 01 05:40:52.261 INFO kablam! | | Nov 01 05:40:52.261 INFO kablam! | help: remove this `mut` Nov 01 05:40:52.278 INFO kablam! Nov 01 05:40:52.329 INFO kablam! warning: function `SIGN` should have a snake case name such as `sign` Nov 01 05:40:52.329 INFO kablam! --> src/cnf_manager.rs:13:1 Nov 01 05:40:52.330 INFO kablam! | Nov 01 05:40:52.330 INFO kablam! 13 | / pub fn SIGN(&lit : &i32) -> VA { Nov 01 05:40:52.330 INFO kablam! 14 | | if lit > 0 {VA::Pos} else {VA::Neg} Nov 01 05:40:52.330 INFO kablam! 15 | | } Nov 01 05:40:52.331 INFO kablam! | |_^ Nov 01 05:40:52.341 INFO kablam! | Nov 01 05:40:52.342 INFO kablam! = note: #[warn(non_snake_case)] on by default Nov 01 05:40:52.342 INFO kablam! Nov 01 05:40:52.342 INFO kablam! warning: function `VAR` should have a snake case name such as `var` Nov 01 05:40:52.342 INFO kablam! --> src/cnf_manager.rs:17:1 Nov 01 05:40:52.343 INFO kablam! | Nov 01 05:40:52.343 INFO kablam! 17 | / pub fn VAR(&lit : &i32) -> usize { Nov 01 05:40:52.343 INFO kablam! 18 | | lit.abs() as usize Nov 01 05:40:52.344 INFO kablam! 19 | | } Nov 01 05:40:52.344 INFO kablam! | |_^ Nov 01 05:40:52.344 INFO kablam! Nov 01 05:40:52.345 INFO kablam! warning: function `NEG` should have a snake case name such as `neg` Nov 01 05:40:52.345 INFO kablam! --> src/cnf_manager.rs:21:1 Nov 01 05:40:52.345 INFO kablam! | Nov 01 05:40:52.345 INFO kablam! 21 | / pub fn NEG(&lit : &i32) -> i32 { Nov 01 05:40:52.345 INFO kablam! 22 | | -lit Nov 01 05:40:52.346 INFO kablam! 23 | | } Nov 01 05:40:52.346 INFO kablam! | |_^ Nov 01 05:40:52.346 INFO kablam! Nov 01 05:40:52.347 INFO kablam! warning: function `FREE` should have a snake case name such as `free` Nov 01 05:40:52.347 INFO kablam! --> src/cnf_manager.rs:25:1 Nov 01 05:40:52.347 INFO kablam! | Nov 01 05:40:52.347 INFO kablam! 25 | / pub fn FREE(&lit : &i32, m : &CnfManager) -> bool { Nov 01 05:40:52.347 INFO kablam! 26 | | m.vars[VAR(&lit)].value == VA::Free Nov 01 05:40:52.348 INFO kablam! 27 | | } Nov 01 05:40:52.348 INFO kablam! | |_^ Nov 01 05:40:52.348 INFO kablam! Nov 01 05:40:52.348 INFO kablam! warning: function `SET` should have a snake case name such as `set` Nov 01 05:40:52.349 INFO kablam! --> src/cnf_manager.rs:29:1 Nov 01 05:40:52.349 INFO kablam! | Nov 01 05:40:52.349 INFO kablam! 29 | / pub fn SET(&lit : &i32, m : &CnfManager) -> bool { Nov 01 05:40:52.350 INFO kablam! 30 | | m.vars[VAR(&lit)].value == SIGN(&lit) Nov 01 05:40:52.350 INFO kablam! 31 | | } Nov 01 05:40:52.350 INFO kablam! | |_^ Nov 01 05:40:52.350 INFO kablam! Nov 01 05:40:52.350 INFO kablam! warning: function `RESOLVED` should have a snake case name such as `resolved` Nov 01 05:40:52.351 INFO kablam! --> src/cnf_manager.rs:33:1 Nov 01 05:40:52.351 INFO kablam! | Nov 01 05:40:52.351 INFO kablam! 33 | / pub fn RESOLVED(&lit : &i32, m : &CnfManager) -> bool { Nov 01 05:40:52.351 INFO kablam! 34 | | let neg = NEG(&lit); Nov 01 05:40:52.352 INFO kablam! 35 | | m.vars[VAR(&lit)].value == SIGN(&neg) Nov 01 05:40:52.352 INFO kablam! 36 | | } Nov 01 05:40:52.352 INFO kablam! | |_^ Nov 01 05:40:52.352 INFO kablam! Nov 01 05:40:52.353 INFO kablam! warning: function `SCORE` should have a snake case name such as `score` Nov 01 05:40:52.353 INFO kablam! --> src/cnf_manager.rs:38:1 Nov 01 05:40:52.353 INFO kablam! | Nov 01 05:40:52.353 INFO kablam! 38 | / pub fn SCORE(&var : &i32, m : &CnfManager) -> i32 { Nov 01 05:40:52.354 INFO kablam! 39 | | m.vars[var as usize].activity[0] + m.vars[var as usize].activity[1] Nov 01 05:40:52.354 INFO kablam! 40 | | } Nov 01 05:40:52.354 INFO kablam! | |_^ Nov 01 05:40:52.354 INFO kablam! Nov 01 05:40:52.355 INFO kablam! warning: method `setLiteral` should have a snake case name such as `set_literal` Nov 01 05:40:52.355 INFO kablam! --> src/cnf_manager.rs:215:2 Nov 01 05:40:52.355 INFO kablam! | Nov 01 05:40:52.355 INFO kablam! 215 | pub fn setLiteral(&mut self, lit : i32, ante : ArrTuple, ind : usize) -> () { Nov 01 05:40:52.356 INFO kablam! | _____^ Nov 01 05:40:52.359 INFO kablam! 216 | | //println!("Set literal {}, ante_ind = {}", lit, ind); Nov 01 05:40:52.360 INFO kablam! 217 | | self.vars[VAR(&lit)].value = SIGN(&lit); Nov 01 05:40:52.360 INFO kablam! 218 | | self.vars[VAR(&lit)].ante = ante; Nov 01 05:40:52.360 INFO kablam! 219 | | self.vars[VAR(&lit)].ante_ind = ind; Nov 01 05:40:52.360 INFO kablam! 220 | | self.vars[VAR(&lit)].decision_level = self.decision_level; Nov 01 05:40:52.361 INFO kablam! 221 | | } Nov 01 05:40:52.361 INFO kablam! | |_____^ Nov 01 05:40:52.361 INFO kablam! Nov 01 05:40:52.361 INFO kablam! warning: method `assertLiteral` should have a snake case name such as `assert_literal` Nov 01 05:40:52.362 INFO kablam! --> src/cnf_manager.rs:223:2 Nov 01 05:40:52.362 INFO kablam! | Nov 01 05:40:52.362 INFO kablam! 223 | pub fn assertLiteral(&mut self, mut lit : i32, ante : ArrTuple, ante_ind : usize) -> bool { Nov 01 05:40:52.362 INFO kablam! | _____^ Nov 01 05:40:52.363 INFO kablam! 224 | | //println!("assertLiteral for lit {}, ante_ind {}", lit, ante_ind); Nov 01 05:40:52.363 INFO kablam! 225 | | let self2 = unsafe {&mut *(self as *mut CnfManager)}; Nov 01 05:40:52.363 INFO kablam! 226 | | let self3 = unsafe {&mut *(self as *mut CnfManager)}; Nov 01 05:40:52.363 INFO kablam! ... | Nov 01 05:40:52.364 INFO kablam! 330 | | true Nov 01 05:40:52.364 INFO kablam! 331 | | } Nov 01 05:40:52.364 INFO kablam! | |_____^ Nov 01 05:40:52.364 INFO kablam! Nov 01 05:40:52.365 INFO kablam! warning: method `assertUnitClauses` should have a snake case name such as `assert_unit_clauses` Nov 01 05:40:52.365 INFO kablam! --> src/cnf_manager.rs:333:2 Nov 01 05:40:52.365 INFO kablam! | Nov 01 05:40:52.365 INFO kablam! 333 | pub fn assertUnitClauses(&mut self) -> bool { Nov 01 05:40:52.366 INFO kablam! | _____^ Nov 01 05:40:52.366 INFO kablam! 334 | | //println!("assertUnitClauses"); Nov 01 05:40:52.366 INFO kablam! 335 | | let self2 = unsafe {&mut *(self as *mut CnfManager)}; Nov 01 05:40:52.366 INFO kablam! 336 | | for i in (1..self.decision_stack.len()).rev() { Nov 01 05:40:52.367 INFO kablam! ... | Nov 01 05:40:52.367 INFO kablam! 347 | | true Nov 01 05:40:52.367 INFO kablam! 348 | | } Nov 01 05:40:52.367 INFO kablam! | |_____^ Nov 01 05:40:52.368 INFO kablam! Nov 01 05:40:52.368 INFO kablam! warning: method `learnClause` should have a snake case name such as `learn_clause` Nov 01 05:40:52.368 INFO kablam! --> src/cnf_manager.rs:357:2 Nov 01 05:40:52.368 INFO kablam! | Nov 01 05:40:52.369 INFO kablam! 357 | pub fn learnClause(&mut self, tuple : ArrTuple, mut ind : usize) -> () { Nov 01 05:40:52.369 INFO kablam! | _____^ Nov 01 05:40:52.369 INFO kablam! 358 | | //println!("learnClause {}", self.decision_level); Nov 01 05:40:52.369 INFO kablam! 359 | | let self2 = unsafe {&mut *(self as *mut CnfManager)}; Nov 01 05:40:52.370 INFO kablam! 360 | | let self3 = unsafe {&mut *(self as *mut CnfManager)}; Nov 01 05:40:52.370 INFO kablam! ... | Nov 01 05:40:52.370 INFO kablam! 489 | | self2.addClause(); Nov 01 05:40:52.370 INFO kablam! 490 | | } Nov 01 05:40:52.371 INFO kablam! | |_____^ Nov 01 05:40:52.371 INFO kablam! Nov 01 05:40:52.371 INFO kablam! warning: method `addClause` should have a snake case name such as `add_clause` Nov 01 05:40:52.371 INFO kablam! --> src/cnf_manager.rs:492:2 Nov 01 05:40:52.372 INFO kablam! | Nov 01 05:40:52.372 INFO kablam! 492 | pub fn addClause(& mut self) -> () { Nov 01 05:40:52.372 INFO kablam! | _____^ Nov 01 05:40:52.373 INFO kablam! 493 | | //println!("addClause"); Nov 01 05:40:52.373 INFO kablam! 494 | | self.conflict_clause_ind = self.lit_pool.len(); Nov 01 05:40:52.373 INFO kablam! 495 | | self.lit_pool.push(self.conflict_lit.back().unwrap().clone()); Nov 01 05:40:52.373 INFO kablam! ... | Nov 01 05:40:52.374 INFO kablam! 508 | | self.lit_pool.push(0); Nov 01 05:40:52.374 INFO kablam! 509 | | } Nov 01 05:40:52.374 INFO kablam! | |_____^ Nov 01 05:40:52.374 INFO kablam! Nov 01 05:40:52.375 INFO kablam! warning: method `assertCL` should have a snake case name such as `assert_cl` Nov 01 05:40:52.375 INFO kablam! --> src/cnf_manager.rs:511:2 Nov 01 05:40:52.375 INFO kablam! | Nov 01 05:40:52.376 INFO kablam! 511 | pub fn assertCL(&mut self) -> bool { Nov 01 05:40:52.376 INFO kablam! | _____^ Nov 01 05:40:52.380 INFO kablam! 512 | | //println!("assertCL"); Nov 01 05:40:52.381 INFO kablam! 513 | | let ind = self.conflict_clause_ind.clone(); Nov 01 05:40:52.381 INFO kablam! 514 | | let lit = self.lit_pool[ind].clone(); Nov 01 05:40:52.381 INFO kablam! 515 | | return self.assertLiteral(lit, ArrTuple::ctor(true), ind + 1); Nov 01 05:40:52.381 INFO kablam! 516 | | } Nov 01 05:40:52.382 INFO kablam! | |_____^ Nov 01 05:40:52.382 INFO kablam! Nov 01 05:40:52.382 INFO kablam! warning: method `scoreDecay` should have a snake case name such as `score_decay` Nov 01 05:40:52.382 INFO kablam! --> src/cnf_manager.rs:536:2 Nov 01 05:40:52.383 INFO kablam! | Nov 01 05:40:52.383 INFO kablam! 536 | pub fn scoreDecay(&mut self) -> () { Nov 01 05:40:52.383 INFO kablam! | _____^ Nov 01 05:40:52.383 INFO kablam! 537 | | //println!("scoreDecay"); Nov 01 05:40:52.384 INFO kablam! 538 | | for i in 1..(self.var_count + 1) as usize { Nov 01 05:40:52.384 INFO kablam! 539 | | self.vars[i].activity[0] >>= 1; Nov 01 05:40:52.384 INFO kablam! 540 | | self.vars[i].activity[1] >>= 1; Nov 01 05:40:52.384 INFO kablam! 541 | | } Nov 01 05:40:52.384 INFO kablam! 542 | | } Nov 01 05:40:52.384 INFO kablam! | |_____^ Nov 01 05:40:52.384 INFO kablam! Nov 01 05:40:52.384 INFO kablam! warning: method `updateScores` should have a snake case name such as `update_scores` Nov 01 05:40:52.384 INFO kablam! --> src/cnf_manager.rs:544:2 Nov 01 05:40:52.384 INFO kablam! | Nov 01 05:40:52.384 INFO kablam! 544 | pub fn updateScores(&mut self, tuple : ArrTuple, mut ind : usize) -> () { Nov 01 05:40:52.384 INFO kablam! | _____^ Nov 01 05:40:52.384 INFO kablam! 545 | | //println!("updateScores"); Nov 01 05:40:52.384 INFO kablam! 546 | | let self2 = unsafe {&mut *(self as *mut CnfManager)}; Nov 01 05:40:52.384 INFO kablam! 547 | | let mut vec = Nov 01 05:40:52.384 INFO kablam! ... | Nov 01 05:40:52.384 INFO kablam! 591 | | } Nov 01 05:40:52.384 INFO kablam! 592 | | } Nov 01 05:40:52.384 INFO kablam! | |_____^ Nov 01 05:40:52.384 INFO kablam! Nov 01 05:40:52.384 INFO kablam! warning: method `selectLiteral` should have a snake case name such as `select_literal` Nov 01 05:40:52.384 INFO kablam! --> src/sat_solver.rs:89:2 Nov 01 05:40:52.384 INFO kablam! | Nov 01 05:40:52.384 INFO kablam! 89 | pub fn selectLiteral(& mut self) -> i32 { Nov 01 05:40:52.384 INFO kablam! | _____^ Nov 01 05:40:52.384 INFO kablam! 90 | | //println!("selectLiteral"); Nov 01 05:40:52.384 INFO kablam! 91 | | let mut x = 0 as i32; Nov 01 05:40:52.384 INFO kablam! 92 | | let last_clause = if self.cnf_manager.next_clause > 256 { Nov 01 05:40:52.384 INFO kablam! ... | Nov 01 05:40:52.384 INFO kablam! 163 | | 0 Nov 01 05:40:52.384 INFO kablam! 164 | | } Nov 01 05:40:52.384 INFO kablam! | |_____^ Nov 01 05:40:52.384 INFO kablam! Nov 01 05:40:52.384 INFO kablam! warning: method `verifySolution` should have a snake case name such as `verify_solution` Nov 01 05:40:52.384 INFO kablam! --> src/sat_solver.rs:214:2 Nov 01 05:40:52.384 INFO kablam! | Nov 01 05:40:52.384 INFO kablam! 214 | pub fn verifySolution(&self) -> bool { Nov 01 05:40:52.384 INFO kablam! | _____^ Nov 01 05:40:52.384 INFO kablam! 215 | | let ref pool = self.cnf_manager.lit_pool; Nov 01 05:40:52.384 INFO kablam! 216 | | let mut i = 0; Nov 01 05:40:52.384 INFO kablam! 217 | | while i < self.cnf_manager.lit_pool_size_orig { Nov 01 05:40:52.385 INFO kablam! ... | Nov 01 05:40:52.385 INFO kablam! 235 | | true Nov 01 05:40:52.385 INFO kablam! 236 | | } Nov 01 05:40:52.385 INFO kablam! | |_____^ Nov 01 05:40:52.385 INFO kablam! Nov 01 05:40:52.385 INFO kablam! warning: method `printSolution` should have a snake case name such as `print_solution` Nov 01 05:40:52.385 INFO kablam! --> src/sat_solver.rs:238:2 Nov 01 05:40:52.385 INFO kablam! | Nov 01 05:40:52.385 INFO kablam! 238 | pub fn printSolution(&self) -> () { Nov 01 05:40:52.385 INFO kablam! | _____^ Nov 01 05:40:52.385 INFO kablam! 239 | | for i in 1..(self.cnf_manager.var_count+1) as usize { Nov 01 05:40:52.385 INFO kablam! 240 | | let ref vars = self.cnf_manager.vars; Nov 01 05:40:52.385 INFO kablam! 241 | | if vars[i].value == VA::Pos { Nov 01 05:40:52.385 INFO kablam! ... | Nov 01 05:40:52.385 INFO kablam! 247 | | println!("0"); Nov 01 05:40:52.385 INFO kablam! 248 | | } Nov 01 05:40:52.385 INFO kablam! | |_____^ Nov 01 05:40:52.385 INFO kablam! Nov 01 05:40:52.385 INFO kablam! warning: method `printStats` should have a snake case name such as `print_stats` Nov 01 05:40:52.385 INFO kablam! --> src/sat_solver.rs:250:2 Nov 01 05:40:52.385 INFO kablam! | Nov 01 05:40:52.385 INFO kablam! 250 | pub fn printStats(&self) -> () { Nov 01 05:40:52.385 INFO kablam! | _____^ Nov 01 05:40:52.385 INFO kablam! 251 | | let ref m = self.cnf_manager; Nov 01 05:40:52.385 INFO kablam! 252 | | println!("c {} decisions, {} conflicts, {} restarts", m.decision_count, m.conflict_count, m.restart_count); Nov 01 05:40:52.385 INFO kablam! 253 | | } Nov 01 05:40:52.385 INFO kablam! | |_____^ Nov 01 05:40:52.385 INFO kablam! Nov 01 05:40:52.956 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 2.01s Nov 01 05:40:52.969 INFO kablam! su: No module specific data is present Nov 01 05:40:53.800 INFO running `"docker" "rm" "-f" "7655d3789624948760fcb21caa67c10bbe7b04af1e33cddb234c52adfff019be"` Nov 01 05:40:54.120 INFO blam! 7655d3789624948760fcb21caa67c10bbe7b04af1e33cddb234c52adfff019be