Dec 19 22:27:44.713 INFO checking PBertinJohannet/exprToSop against master#d99a320cba42f661aebfa1293b7b2ec3603dda75 for pr-56955 Dec 19 22:27:44.713 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-56955/worker-2/master#d99a320cba42f661aebfa1293b7b2ec3603dda75:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/pr-56955/sources/master#d99a320cba42f661aebfa1293b7b2ec3603dda75/gh/PBertinJohannet/exprToSop:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+d99a320cba42f661aebfa1293b7b2ec3603dda75-alt" "check" "--frozen" "--all" "--all-targets"` Dec 19 22:27:45.130 INFO [stdout] ea8f0b89bda521f5d2f51a70a2775c18465a152a15d76d0fcd77be00cba5aa38 Dec 19 22:27:45.132 INFO running `"docker" "start" "-a" "ea8f0b89bda521f5d2f51a70a2775c18465a152a15d76d0fcd77be00cba5aa38"` Dec 19 22:27:47.363 INFO [stderr] Checking booleansimplify v0.1.0 (/opt/crater/workdir) Dec 19 22:27:47.716 INFO [stderr] warning: unused import: `std::env` Dec 19 22:27:47.716 INFO [stderr] --> src/main.rs:5:5 Dec 19 22:27:47.716 INFO [stderr] | Dec 19 22:27:47.716 INFO [stderr] 5 | use std::env; Dec 19 22:27:47.716 INFO [stderr] | ^^^^^^^^ Dec 19 22:27:47.716 INFO [stderr] | Dec 19 22:27:47.716 INFO [stderr] = note: #[warn(unused_imports)] on by default Dec 19 22:27:47.716 INFO [stderr] Dec 19 22:27:47.716 INFO [stderr] warning: unused import: `Sum` Dec 19 22:27:47.716 INFO [stderr] --> src/mccluskey.rs:3:26 Dec 19 22:27:47.716 INFO [stderr] | Dec 19 22:27:47.716 INFO [stderr] 3 | use equation::{Equation, Sum, Prod, Not}; Dec 19 22:27:47.716 INFO [stderr] | ^^^ Dec 19 22:27:47.716 INFO [stderr] Dec 19 22:27:47.868 INFO [stderr] warning: unused imports: `Not`, `Prod`, `Sum` Dec 19 22:27:47.868 INFO [stderr] --> src/equation.rs:434:30 Dec 19 22:27:47.868 INFO [stderr] | Dec 19 22:27:47.868 INFO [stderr] 434 | use equation::{Equation, Not, Prod, Sum}; Dec 19 22:27:47.868 INFO [stderr] | ^^^ ^^^^ ^^^ Dec 19 22:27:47.868 INFO [stderr] | Dec 19 22:27:47.868 INFO [stderr] = note: #[warn(unused_imports)] on by default Dec 19 22:27:47.868 INFO [stderr] Dec 19 22:27:47.868 INFO [stderr] warning: unused import: `lexer::EqLexer` Dec 19 22:27:47.868 INFO [stderr] --> src/equation.rs:435:9 Dec 19 22:27:47.868 INFO [stderr] | Dec 19 22:27:47.868 INFO [stderr] 435 | use lexer::EqLexer; Dec 19 22:27:47.868 INFO [stderr] | ^^^^^^^^^^^^^^ Dec 19 22:27:47.868 INFO [stderr] Dec 19 22:27:47.869 INFO [stderr] warning: unused import: `super::*` Dec 19 22:27:47.869 INFO [stderr] --> src/equation.rs:489:9 Dec 19 22:27:47.869 INFO [stderr] | Dec 19 22:27:47.869 INFO [stderr] 489 | use super::*; Dec 19 22:27:47.869 INFO [stderr] | ^^^^^^^^ Dec 19 22:27:47.869 INFO [stderr] Dec 19 22:27:47.869 INFO [stderr] warning: unused imports: `Not`, `Prod`, `Sum` Dec 19 22:27:47.869 INFO [stderr] --> src/equation.rs:490:30 Dec 19 22:27:47.869 INFO [stderr] | Dec 19 22:27:47.870 INFO [stderr] 490 | use equation::{Equation, Not, Prod, Sum}; Dec 19 22:27:47.870 INFO [stderr] | ^^^ ^^^^ ^^^ Dec 19 22:27:47.870 INFO [stderr] Dec 19 22:27:47.870 INFO [stderr] warning: unused import: `lexer::EqLexer` Dec 19 22:27:47.870 INFO [stderr] --> src/equation.rs:491:9 Dec 19 22:27:47.870 INFO [stderr] | Dec 19 22:27:47.870 INFO [stderr] 491 | use lexer::EqLexer; Dec 19 22:27:47.870 INFO [stderr] | ^^^^^^^^^^^^^^ Dec 19 22:27:47.870 INFO [stderr] Dec 19 22:27:47.870 INFO [stderr] warning: unused import: `super::*` Dec 19 22:27:47.870 INFO [stderr] --> src/equation.rs:511:9 Dec 19 22:27:47.870 INFO [stderr] | Dec 19 22:27:47.870 INFO [stderr] 511 | use super::*; Dec 19 22:27:47.870 INFO [stderr] | ^^^^^^^^ Dec 19 22:27:47.870 INFO [stderr] Dec 19 22:27:47.870 INFO [stderr] warning: unused imports: `Not`, `Prod`, `Sum` Dec 19 22:27:47.870 INFO [stderr] --> src/equation.rs:512:30 Dec 19 22:27:47.870 INFO [stderr] | Dec 19 22:27:47.870 INFO [stderr] 512 | use equation::{Equation, Not, Prod, Sum}; Dec 19 22:27:47.870 INFO [stderr] | ^^^ ^^^^ ^^^ Dec 19 22:27:47.870 INFO [stderr] Dec 19 22:27:47.870 INFO [stderr] warning: unused import: `lexer::EqLexer` Dec 19 22:27:47.870 INFO [stderr] --> src/equation.rs:513:9 Dec 19 22:27:47.870 INFO [stderr] | Dec 19 22:27:47.870 INFO [stderr] 513 | use lexer::EqLexer; Dec 19 22:27:47.870 INFO [stderr] | ^^^^^^^^^^^^^^ Dec 19 22:27:47.870 INFO [stderr] Dec 19 22:27:47.872 INFO [stderr] warning: unused import: `super::*` Dec 19 22:27:47.872 INFO [stderr] --> src/equation.rs:529:9 Dec 19 22:27:47.872 INFO [stderr] | Dec 19 22:27:47.872 INFO [stderr] 529 | use super::*; Dec 19 22:27:47.872 INFO [stderr] | ^^^^^^^^ Dec 19 22:27:47.872 INFO [stderr] Dec 19 22:27:47.872 INFO [stderr] warning: unused imports: `Not`, `Prod`, `Sum` Dec 19 22:27:47.872 INFO [stderr] --> src/equation.rs:530:30 Dec 19 22:27:47.872 INFO [stderr] | Dec 19 22:27:47.872 INFO [stderr] 530 | use equation::{Equation, Not, Prod, Sum}; Dec 19 22:27:47.872 INFO [stderr] | ^^^ ^^^^ ^^^ Dec 19 22:27:47.872 INFO [stderr] Dec 19 22:27:47.872 INFO [stderr] warning: unused import: `lexer::EqLexer` Dec 19 22:27:47.872 INFO [stderr] --> src/equation.rs:531:9 Dec 19 22:27:47.872 INFO [stderr] | Dec 19 22:27:47.872 INFO [stderr] 531 | use lexer::EqLexer; Dec 19 22:27:47.872 INFO [stderr] | ^^^^^^^^^^^^^^ Dec 19 22:27:47.872 INFO [stderr] Dec 19 22:27:47.872 INFO [stderr] warning: unused import: `std::env` Dec 19 22:27:47.872 INFO [stderr] --> src/main.rs:5:5 Dec 19 22:27:47.872 INFO [stderr] | Dec 19 22:27:47.872 INFO [stderr] 5 | use std::env; Dec 19 22:27:47.872 INFO [stderr] | ^^^^^^^^ Dec 19 22:27:47.872 INFO [stderr] Dec 19 22:27:47.872 INFO [stderr] warning: unused import: `Sum` Dec 19 22:27:47.872 INFO [stderr] --> src/mccluskey.rs:3:26 Dec 19 22:27:47.872 INFO [stderr] | Dec 19 22:27:47.872 INFO [stderr] 3 | use equation::{Equation, Sum, Prod, Not}; Dec 19 22:27:47.872 INFO [stderr] | ^^^ Dec 19 22:27:47.872 INFO [stderr] Dec 19 22:27:47.873 INFO [stderr] warning: unused imports: `Not`, `Prod` Dec 19 22:27:47.873 INFO [stderr] --> src/mccluskey.rs:194:30 Dec 19 22:27:47.873 INFO [stderr] | Dec 19 22:27:47.873 INFO [stderr] 194 | use equation::{Equation, Not, Prod, Sum}; Dec 19 22:27:47.873 INFO [stderr] | ^^^ ^^^^ Dec 19 22:27:47.873 INFO [stderr] Dec 19 22:27:47.873 INFO [stderr] warning: unused imports: `Not`, `Prod`, `Sum` Dec 19 22:27:47.873 INFO [stderr] --> src/mccluskey.rs:241:30 Dec 19 22:27:47.873 INFO [stderr] | Dec 19 22:27:47.873 INFO [stderr] 241 | use equation::{Equation, Not, Prod, Sum}; Dec 19 22:27:47.873 INFO [stderr] | ^^^ ^^^^ ^^^ Dec 19 22:27:47.873 INFO [stderr] Dec 19 22:27:47.876 INFO [stderr] warning: unused imports: `Not`, `Prod`, `Sum` Dec 19 22:27:47.876 INFO [stderr] --> src/mccluskey.rs:281:30 Dec 19 22:27:47.876 INFO [stderr] | Dec 19 22:27:47.876 INFO [stderr] 281 | use equation::{Equation, Not, Prod, Sum}; Dec 19 22:27:47.876 INFO [stderr] | ^^^ ^^^^ ^^^ Dec 19 22:27:47.876 INFO [stderr] Dec 19 22:27:47.876 INFO [stderr] warning: unused imports: `Not`, `Prod`, `Sum` Dec 19 22:27:47.876 INFO [stderr] --> src/mccluskey.rs:299:30 Dec 19 22:27:47.876 INFO [stderr] | Dec 19 22:27:47.876 INFO [stderr] 299 | use equation::{Equation, Not, Prod, Sum}; Dec 19 22:27:47.876 INFO [stderr] | ^^^ ^^^^ ^^^ Dec 19 22:27:47.876 INFO [stderr] Dec 19 22:27:48.172 INFO [stderr] warning: unused variable: `new_sum` Dec 19 22:27:48.172 INFO [stderr] --> src/equation.rs:68:13 Dec 19 22:27:48.172 INFO [stderr] | Dec 19 22:27:48.172 INFO [stderr] 68 | let new_sum = match self { Dec 19 22:27:48.172 INFO [stderr] | ^^^^^^^ help: consider using `_new_sum` instead Dec 19 22:27:48.172 INFO [stderr] | Dec 19 22:27:48.172 INFO [stderr] = note: #[warn(unused_variables)] on by default Dec 19 22:27:48.172 INFO [stderr] Dec 19 22:27:48.172 INFO [stderr] warning: unused variable: `v` Dec 19 22:27:48.172 INFO [stderr] --> src/equation.rs:82:13 Dec 19 22:27:48.172 INFO [stderr] | Dec 19 22:27:48.172 INFO [stderr] 82 | v => vec![self], Dec 19 22:27:48.172 INFO [stderr] | ^ help: consider using `_v` instead Dec 19 22:27:48.172 INFO [stderr] Dec 19 22:27:48.172 INFO [stderr] warning: unused variable: `ancient_nb_var` Dec 19 22:27:48.172 INFO [stderr] --> src/equation.rs:106:13 Dec 19 22:27:48.172 INFO [stderr] | Dec 19 22:27:48.173 INFO [stderr] 106 | let ancient_nb_var = self.get_vars().len(); Dec 19 22:27:48.173 INFO [stderr] | ^^^^^^^^^^^^^^ help: consider using `_ancient_nb_var` instead Dec 19 22:27:48.173 INFO [stderr] Dec 19 22:27:48.173 INFO [stderr] warning: unused variable: `s` Dec 19 22:27:48.173 INFO [stderr] --> src/mccluskey.rs:24:32 Dec 19 22:27:48.173 INFO [stderr] | Dec 19 22:27:48.173 INFO [stderr] 24 | &Equation::Sum(ref s) => panic!("do not give a sum to from_eq"), Dec 19 22:27:48.173 INFO [stderr] | ^ help: consider using `_s` instead Dec 19 22:27:48.173 INFO [stderr] Dec 19 22:27:48.336 INFO [stderr] warning: variable does not need to be mutable Dec 19 22:27:48.336 INFO [stderr] --> src/mccluskey.rs:134:25 Dec 19 22:27:48.336 INFO [stderr] | Dec 19 22:27:48.336 INFO [stderr] 134 | pub fn mccluskey((vars, mut impls) : (Vec, Vec)) -> Vec{ Dec 19 22:27:48.336 INFO [stderr] | ----^^^^^ Dec 19 22:27:48.336 INFO [stderr] | | Dec 19 22:27:48.336 INFO [stderr] | help: remove this `mut` Dec 19 22:27:48.336 INFO [stderr] | Dec 19 22:27:48.336 INFO [stderr] = note: #[warn(unused_mut)] on by default Dec 19 22:27:48.336 INFO [stderr] Dec 19 22:27:48.340 INFO [stderr] warning: variable does not need to be mutable Dec 19 22:27:48.340 INFO [stderr] --> src/mccluskey.rs:176:25 Dec 19 22:27:48.340 INFO [stderr] | Dec 19 22:27:48.340 INFO [stderr] 176 | pub fn mccluskey_primes(mut impls : Vec)-> Vec{ Dec 19 22:27:48.340 INFO [stderr] | ----^^^^^ Dec 19 22:27:48.340 INFO [stderr] | | Dec 19 22:27:48.340 INFO [stderr] | help: remove this `mut` Dec 19 22:27:48.340 INFO [stderr] Dec 19 22:27:48.340 INFO [stderr] warning: variable does not need to be mutable Dec 19 22:27:48.340 INFO [stderr] --> src/mccluskey.rs:180:13 Dec 19 22:27:48.340 INFO [stderr] | Dec 19 22:27:48.340 INFO [stderr] 180 | let mut to_add = mccluskey_pass_two(sort_prime_implicants(mccluskey_pass_one(sorted_primes))); Dec 19 22:27:48.340 INFO [stderr] | ----^^^^^^ Dec 19 22:27:48.340 INFO [stderr] | | Dec 19 22:27:48.340 INFO [stderr] | help: remove this `mut` Dec 19 22:27:48.340 INFO [stderr] Dec 19 22:27:48.340 INFO [stderr] warning: method is never used: `len_removed` Dec 19 22:27:48.340 INFO [stderr] --> src/equation.rs:50:5 Dec 19 22:27:48.340 INFO [stderr] | Dec 19 22:27:48.341 INFO [stderr] 50 | pub fn len_removed(&mut self) -> usize{ Dec 19 22:27:48.341 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 19 22:27:48.341 INFO [stderr] | Dec 19 22:27:48.341 INFO [stderr] = note: #[warn(dead_code)] on by default Dec 19 22:27:48.341 INFO [stderr] Dec 19 22:27:48.341 INFO [stderr] warning: method is never used: `eval` Dec 19 22:27:48.341 INFO [stderr] --> src/equation.rs:57:5 Dec 19 22:27:48.341 INFO [stderr] | Dec 19 22:27:48.341 INFO [stderr] 57 | pub fn eval(&self, vars: &HashMap) -> bool { Dec 19 22:27:48.341 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 19 22:27:48.341 INFO [stderr] Dec 19 22:27:48.341 INFO [stderr] warning: method is never used: `inners` Dec 19 22:27:48.341 INFO [stderr] --> src/equation.rs:77:5 Dec 19 22:27:48.341 INFO [stderr] | Dec 19 22:27:48.341 INFO [stderr] 77 | pub fn inners(&self) -> Vec<&Equation> { Dec 19 22:27:48.341 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 19 22:27:48.341 INFO [stderr] Dec 19 22:27:48.341 INFO [stderr] warning: method is never used: `compare_random_values` Dec 19 22:27:48.341 INFO [stderr] --> src/equation.rs:87:5 Dec 19 22:27:48.341 INFO [stderr] | Dec 19 22:27:48.341 INFO [stderr] 87 | pub fn compare_random_values(&self, other : &Equation, tests : usize) { Dec 19 22:27:48.341 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 19 22:27:48.341 INFO [stderr] Dec 19 22:27:48.342 INFO [stderr] warning: method is never used: `is_product` Dec 19 22:27:48.342 INFO [stderr] --> src/equation.rs:120:5 Dec 19 22:27:48.342 INFO [stderr] | Dec 19 22:27:48.342 INFO [stderr] 120 | pub fn is_product(&self) -> bool { Dec 19 22:27:48.342 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 19 22:27:48.342 INFO [stderr] Dec 19 22:27:48.342 INFO [stderr] warning: method is never used: `get_owned_vars` Dec 19 22:27:48.342 INFO [stderr] --> src/equation.rs:175:5 Dec 19 22:27:48.342 INFO [stderr] | Dec 19 22:27:48.342 INFO [stderr] 175 | pub fn get_owned_vars(&self) -> Vec { Dec 19 22:27:48.342 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 19 22:27:48.342 INFO [stderr] Dec 19 22:27:48.343 INFO [stderr] warning: method is never used: `get_owned_vars` Dec 19 22:27:48.343 INFO [stderr] --> src/equation.rs:250:5 Dec 19 22:27:48.343 INFO [stderr] | Dec 19 22:27:48.343 INFO [stderr] 250 | pub fn get_owned_vars(&self) -> Vec { Dec 19 22:27:48.343 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 19 22:27:48.343 INFO [stderr] Dec 19 22:27:48.588 INFO [stderr] warning: unused variable: `new_sum` Dec 19 22:27:48.588 INFO [stderr] --> src/equation.rs:68:13 Dec 19 22:27:48.588 INFO [stderr] | Dec 19 22:27:48.588 INFO [stderr] 68 | let new_sum = match self { Dec 19 22:27:48.588 INFO [stderr] | ^^^^^^^ help: consider using `_new_sum` instead Dec 19 22:27:48.588 INFO [stderr] | Dec 19 22:27:48.588 INFO [stderr] = note: #[warn(unused_variables)] on by default Dec 19 22:27:48.588 INFO [stderr] Dec 19 22:27:48.588 INFO [stderr] warning: unused variable: `v` Dec 19 22:27:48.588 INFO [stderr] --> src/equation.rs:82:13 Dec 19 22:27:48.588 INFO [stderr] | Dec 19 22:27:48.588 INFO [stderr] 82 | v => vec![self], Dec 19 22:27:48.588 INFO [stderr] | ^ help: consider using `_v` instead Dec 19 22:27:48.588 INFO [stderr] Dec 19 22:27:48.588 INFO [stderr] warning: unused variable: `ancient_nb_var` Dec 19 22:27:48.588 INFO [stderr] --> src/equation.rs:106:13 Dec 19 22:27:48.588 INFO [stderr] | Dec 19 22:27:48.588 INFO [stderr] 106 | let ancient_nb_var = self.get_vars().len(); Dec 19 22:27:48.588 INFO [stderr] | ^^^^^^^^^^^^^^ help: consider using `_ancient_nb_var` instead Dec 19 22:27:48.588 INFO [stderr] Dec 19 22:27:48.589 INFO [stderr] warning: unused variable: `s` Dec 19 22:27:48.589 INFO [stderr] --> src/mccluskey.rs:24:32 Dec 19 22:27:48.589 INFO [stderr] | Dec 19 22:27:48.589 INFO [stderr] 24 | &Equation::Sum(ref s) => panic!("do not give a sum to from_eq"), Dec 19 22:27:48.589 INFO [stderr] | ^ help: consider using `_s` instead Dec 19 22:27:48.589 INFO [stderr] Dec 19 22:27:48.732 INFO [stderr] warning: variable does not need to be mutable Dec 19 22:27:48.732 INFO [stderr] --> src/equation.rs:536:13 Dec 19 22:27:48.732 INFO [stderr] | Dec 19 22:27:48.732 INFO [stderr] 536 | let mut new_eq = eq.complete_simplify(); Dec 19 22:27:48.732 INFO [stderr] | ----^^^^^^ Dec 19 22:27:48.732 INFO [stderr] | | Dec 19 22:27:48.732 INFO [stderr] | help: remove this `mut` Dec 19 22:27:48.732 INFO [stderr] | Dec 19 22:27:48.732 INFO [stderr] = note: #[warn(unused_mut)] on by default Dec 19 22:27:48.732 INFO [stderr] Dec 19 22:27:48.814 INFO [stderr] warning: variable does not need to be mutable Dec 19 22:27:48.814 INFO [stderr] --> src/mccluskey.rs:134:25 Dec 19 22:27:48.814 INFO [stderr] | Dec 19 22:27:48.814 INFO [stderr] 134 | pub fn mccluskey((vars, mut impls) : (Vec, Vec)) -> Vec{ Dec 19 22:27:48.814 INFO [stderr] | ----^^^^^ Dec 19 22:27:48.814 INFO [stderr] | | Dec 19 22:27:48.814 INFO [stderr] | help: remove this `mut` Dec 19 22:27:48.814 INFO [stderr] Dec 19 22:27:48.820 INFO [stderr] warning: variable does not need to be mutable Dec 19 22:27:48.820 INFO [stderr] --> src/mccluskey.rs:176:25 Dec 19 22:27:48.820 INFO [stderr] | Dec 19 22:27:48.820 INFO [stderr] 176 | pub fn mccluskey_primes(mut impls : Vec)-> Vec{ Dec 19 22:27:48.820 INFO [stderr] | ----^^^^^ Dec 19 22:27:48.820 INFO [stderr] | | Dec 19 22:27:48.820 INFO [stderr] | help: remove this `mut` Dec 19 22:27:48.820 INFO [stderr] Dec 19 22:27:48.820 INFO [stderr] warning: variable does not need to be mutable Dec 19 22:27:48.820 INFO [stderr] --> src/mccluskey.rs:180:13 Dec 19 22:27:48.820 INFO [stderr] | Dec 19 22:27:48.820 INFO [stderr] 180 | let mut to_add = mccluskey_pass_two(sort_prime_implicants(mccluskey_pass_one(sorted_primes))); Dec 19 22:27:48.820 INFO [stderr] | ----^^^^^^ Dec 19 22:27:48.820 INFO [stderr] | | Dec 19 22:27:48.820 INFO [stderr] | help: remove this `mut` Dec 19 22:27:48.820 INFO [stderr] Dec 19 22:27:48.868 INFO [stderr] warning: method is never used: `len_removed` Dec 19 22:27:48.868 INFO [stderr] --> src/equation.rs:50:5 Dec 19 22:27:48.868 INFO [stderr] | Dec 19 22:27:48.868 INFO [stderr] 50 | pub fn len_removed(&mut self) -> usize{ Dec 19 22:27:48.868 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 19 22:27:48.868 INFO [stderr] | Dec 19 22:27:48.868 INFO [stderr] = note: #[warn(dead_code)] on by default Dec 19 22:27:48.868 INFO [stderr] Dec 19 22:27:48.868 INFO [stderr] warning: method is never used: `inners` Dec 19 22:27:48.868 INFO [stderr] --> src/equation.rs:77:5 Dec 19 22:27:48.869 INFO [stderr] | Dec 19 22:27:48.869 INFO [stderr] 77 | pub fn inners(&self) -> Vec<&Equation> { Dec 19 22:27:48.869 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 19 22:27:48.869 INFO [stderr] Dec 19 22:27:48.869 INFO [stderr] warning: method is never used: `is_product` Dec 19 22:27:48.869 INFO [stderr] --> src/equation.rs:120:5 Dec 19 22:27:48.869 INFO [stderr] | Dec 19 22:27:48.869 INFO [stderr] 120 | pub fn is_product(&self) -> bool { Dec 19 22:27:48.869 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 19 22:27:48.869 INFO [stderr] Dec 19 22:27:48.869 INFO [stderr] warning: method is never used: `get_owned_vars` Dec 19 22:27:48.869 INFO [stderr] --> src/equation.rs:175:5 Dec 19 22:27:48.869 INFO [stderr] | Dec 19 22:27:48.869 INFO [stderr] 175 | pub fn get_owned_vars(&self) -> Vec { Dec 19 22:27:48.869 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 19 22:27:48.869 INFO [stderr] Dec 19 22:27:48.869 INFO [stderr] warning: method is never used: `get_owned_vars` Dec 19 22:27:48.869 INFO [stderr] --> src/equation.rs:250:5 Dec 19 22:27:48.869 INFO [stderr] | Dec 19 22:27:48.869 INFO [stderr] 250 | pub fn get_owned_vars(&self) -> Vec { Dec 19 22:27:48.869 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 19 22:27:48.869 INFO [stderr] Dec 19 22:27:48.968 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1.68s Dec 19 22:27:50.238 INFO running `"docker" "inspect" "ea8f0b89bda521f5d2f51a70a2775c18465a152a15d76d0fcd77be00cba5aa38"` Dec 19 22:27:50.610 INFO running `"docker" "rm" "-f" "ea8f0b89bda521f5d2f51a70a2775c18465a152a15d76d0fcd77be00cba5aa38"` Dec 19 22:27:51.016 INFO [stdout] ea8f0b89bda521f5d2f51a70a2775c18465a152a15d76d0fcd77be00cba5aa38