Dec 18 06:01:54.125 INFO checking PBertinJohannet/exprToSop against master#96d1334e567237b1507cd277938e7ae2de75ff51 for pr-54252 Dec 18 06:01:54.125 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-54252/worker-6/master#96d1334e567237b1507cd277938e7ae2de75ff51:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/pr-54252/sources/master#96d1334e567237b1507cd277938e7ae2de75ff51/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" "+96d1334e567237b1507cd277938e7ae2de75ff51-alt" "check" "--frozen" "--all" "--all-targets"` Dec 18 06:01:54.558 INFO [stdout] fc0f6dda363c7c7b18faa275c2c4ce2fcfb54b9e92f203b0fb53fb0f14f97fe1 Dec 18 06:01:54.563 INFO running `"docker" "start" "-a" "fc0f6dda363c7c7b18faa275c2c4ce2fcfb54b9e92f203b0fb53fb0f14f97fe1"` Dec 18 06:01:56.189 INFO [stderr] Checking booleansimplify v0.1.0 (/opt/crater/workdir) Dec 18 06:01:56.765 INFO [stderr] warning: unused import: `std::env` Dec 18 06:01:56.765 INFO [stderr] --> src/main.rs:5:5 Dec 18 06:01:56.765 INFO [stderr] | Dec 18 06:01:56.765 INFO [stderr] 5 | use std::env; Dec 18 06:01:56.765 INFO [stderr] | ^^^^^^^^ Dec 18 06:01:56.765 INFO [stderr] | Dec 18 06:01:56.765 INFO [stderr] = note: #[warn(unused_imports)] on by default Dec 18 06:01:56.765 INFO [stderr] Dec 18 06:01:56.765 INFO [stderr] warning: unused import: `Sum` Dec 18 06:01:56.765 INFO [stderr] --> src/mccluskey.rs:3:26 Dec 18 06:01:56.765 INFO [stderr] | Dec 18 06:01:56.765 INFO [stderr] 3 | use equation::{Equation, Sum, Prod, Not}; Dec 18 06:01:56.765 INFO [stderr] | ^^^ Dec 18 06:01:56.765 INFO [stderr] Dec 18 06:01:56.997 INFO [stderr] warning: unused imports: `Not`, `Prod`, `Sum` Dec 18 06:01:56.997 INFO [stderr] --> src/equation.rs:434:30 Dec 18 06:01:56.997 INFO [stderr] | Dec 18 06:01:56.997 INFO [stderr] 434 | use equation::{Equation, Not, Prod, Sum}; Dec 18 06:01:56.997 INFO [stderr] | ^^^ ^^^^ ^^^ Dec 18 06:01:56.997 INFO [stderr] | Dec 18 06:01:56.997 INFO [stderr] = note: #[warn(unused_imports)] on by default Dec 18 06:01:56.997 INFO [stderr] Dec 18 06:01:56.997 INFO [stderr] warning: unused import: `lexer::EqLexer` Dec 18 06:01:56.997 INFO [stderr] --> src/equation.rs:435:9 Dec 18 06:01:56.997 INFO [stderr] | Dec 18 06:01:56.997 INFO [stderr] 435 | use lexer::EqLexer; Dec 18 06:01:56.997 INFO [stderr] | ^^^^^^^^^^^^^^ Dec 18 06:01:56.997 INFO [stderr] Dec 18 06:01:56.997 INFO [stderr] warning: unused import: `super::*` Dec 18 06:01:56.997 INFO [stderr] --> src/equation.rs:489:9 Dec 18 06:01:56.997 INFO [stderr] | Dec 18 06:01:56.997 INFO [stderr] 489 | use super::*; Dec 18 06:01:56.997 INFO [stderr] | ^^^^^^^^ Dec 18 06:01:56.997 INFO [stderr] Dec 18 06:01:56.997 INFO [stderr] warning: unused imports: `Not`, `Prod`, `Sum` Dec 18 06:01:56.997 INFO [stderr] --> src/equation.rs:490:30 Dec 18 06:01:56.997 INFO [stderr] | Dec 18 06:01:56.997 INFO [stderr] 490 | use equation::{Equation, Not, Prod, Sum}; Dec 18 06:01:56.997 INFO [stderr] | ^^^ ^^^^ ^^^ Dec 18 06:01:56.997 INFO [stderr] Dec 18 06:01:56.997 INFO [stderr] warning: unused import: `lexer::EqLexer` Dec 18 06:01:56.997 INFO [stderr] --> src/equation.rs:491:9 Dec 18 06:01:56.997 INFO [stderr] | Dec 18 06:01:56.997 INFO [stderr] 491 | use lexer::EqLexer; Dec 18 06:01:56.997 INFO [stderr] | ^^^^^^^^^^^^^^ Dec 18 06:01:56.997 INFO [stderr] Dec 18 06:01:56.997 INFO [stderr] warning: unused import: `super::*` Dec 18 06:01:56.997 INFO [stderr] --> src/equation.rs:511:9 Dec 18 06:01:56.997 INFO [stderr] | Dec 18 06:01:56.997 INFO [stderr] 511 | use super::*; Dec 18 06:01:56.997 INFO [stderr] | ^^^^^^^^ Dec 18 06:01:56.997 INFO [stderr] Dec 18 06:01:56.997 INFO [stderr] warning: unused imports: `Not`, `Prod`, `Sum` Dec 18 06:01:56.997 INFO [stderr] --> src/equation.rs:512:30 Dec 18 06:01:56.997 INFO [stderr] | Dec 18 06:01:56.997 INFO [stderr] 512 | use equation::{Equation, Not, Prod, Sum}; Dec 18 06:01:56.997 INFO [stderr] | ^^^ ^^^^ ^^^ Dec 18 06:01:56.997 INFO [stderr] Dec 18 06:01:56.997 INFO [stderr] warning: unused import: `lexer::EqLexer` Dec 18 06:01:56.997 INFO [stderr] --> src/equation.rs:513:9 Dec 18 06:01:56.997 INFO [stderr] | Dec 18 06:01:56.997 INFO [stderr] 513 | use lexer::EqLexer; Dec 18 06:01:56.997 INFO [stderr] | ^^^^^^^^^^^^^^ Dec 18 06:01:56.997 INFO [stderr] Dec 18 06:01:56.997 INFO [stderr] warning: unused import: `super::*` Dec 18 06:01:56.997 INFO [stderr] --> src/equation.rs:529:9 Dec 18 06:01:56.997 INFO [stderr] | Dec 18 06:01:56.997 INFO [stderr] 529 | use super::*; Dec 18 06:01:56.997 INFO [stderr] | ^^^^^^^^ Dec 18 06:01:56.997 INFO [stderr] Dec 18 06:01:56.997 INFO [stderr] warning: unused imports: `Not`, `Prod`, `Sum` Dec 18 06:01:56.997 INFO [stderr] --> src/equation.rs:530:30 Dec 18 06:01:56.997 INFO [stderr] | Dec 18 06:01:56.997 INFO [stderr] 530 | use equation::{Equation, Not, Prod, Sum}; Dec 18 06:01:56.997 INFO [stderr] | ^^^ ^^^^ ^^^ Dec 18 06:01:56.997 INFO [stderr] Dec 18 06:01:56.997 INFO [stderr] warning: unused import: `lexer::EqLexer` Dec 18 06:01:56.997 INFO [stderr] --> src/equation.rs:531:9 Dec 18 06:01:56.997 INFO [stderr] | Dec 18 06:01:56.997 INFO [stderr] 531 | use lexer::EqLexer; Dec 18 06:01:56.997 INFO [stderr] | ^^^^^^^^^^^^^^ Dec 18 06:01:56.997 INFO [stderr] Dec 18 06:01:56.997 INFO [stderr] warning: unused import: `std::env` Dec 18 06:01:56.997 INFO [stderr] --> src/main.rs:5:5 Dec 18 06:01:56.997 INFO [stderr] | Dec 18 06:01:56.997 INFO [stderr] 5 | use std::env; Dec 18 06:01:56.997 INFO [stderr] | ^^^^^^^^ Dec 18 06:01:56.997 INFO [stderr] Dec 18 06:01:56.997 INFO [stderr] warning: unused import: `Sum` Dec 18 06:01:56.997 INFO [stderr] --> src/mccluskey.rs:3:26 Dec 18 06:01:56.997 INFO [stderr] | Dec 18 06:01:56.997 INFO [stderr] 3 | use equation::{Equation, Sum, Prod, Not}; Dec 18 06:01:56.997 INFO [stderr] | ^^^ Dec 18 06:01:56.997 INFO [stderr] Dec 18 06:01:56.997 INFO [stderr] warning: unused imports: `Not`, `Prod` Dec 18 06:01:56.998 INFO [stderr] --> src/mccluskey.rs:194:30 Dec 18 06:01:56.998 INFO [stderr] | Dec 18 06:01:56.998 INFO [stderr] 194 | use equation::{Equation, Not, Prod, Sum}; Dec 18 06:01:56.998 INFO [stderr] | ^^^ ^^^^ Dec 18 06:01:56.998 INFO [stderr] Dec 18 06:01:56.998 INFO [stderr] warning: unused imports: `Not`, `Prod`, `Sum` Dec 18 06:01:56.998 INFO [stderr] --> src/mccluskey.rs:241:30 Dec 18 06:01:56.998 INFO [stderr] | Dec 18 06:01:56.998 INFO [stderr] 241 | use equation::{Equation, Not, Prod, Sum}; Dec 18 06:01:56.998 INFO [stderr] | ^^^ ^^^^ ^^^ Dec 18 06:01:56.998 INFO [stderr] Dec 18 06:01:56.998 INFO [stderr] warning: unused imports: `Not`, `Prod`, `Sum` Dec 18 06:01:56.998 INFO [stderr] --> src/mccluskey.rs:281:30 Dec 18 06:01:56.998 INFO [stderr] | Dec 18 06:01:56.998 INFO [stderr] 281 | use equation::{Equation, Not, Prod, Sum}; Dec 18 06:01:56.998 INFO [stderr] | ^^^ ^^^^ ^^^ Dec 18 06:01:56.998 INFO [stderr] Dec 18 06:01:57.008 INFO [stderr] warning: unused imports: `Not`, `Prod`, `Sum` Dec 18 06:01:57.008 INFO [stderr] --> src/mccluskey.rs:299:30 Dec 18 06:01:57.008 INFO [stderr] | Dec 18 06:01:57.008 INFO [stderr] 299 | use equation::{Equation, Not, Prod, Sum}; Dec 18 06:01:57.008 INFO [stderr] | ^^^ ^^^^ ^^^ Dec 18 06:01:57.008 INFO [stderr] Dec 18 06:01:57.289 INFO [stderr] warning: unused variable: `new_sum` Dec 18 06:01:57.289 INFO [stderr] --> src/equation.rs:68:13 Dec 18 06:01:57.289 INFO [stderr] | Dec 18 06:01:57.289 INFO [stderr] 68 | let new_sum = match self { Dec 18 06:01:57.289 INFO [stderr] | ^^^^^^^ help: consider using `_new_sum` instead Dec 18 06:01:57.289 INFO [stderr] | Dec 18 06:01:57.289 INFO [stderr] = note: #[warn(unused_variables)] on by default Dec 18 06:01:57.289 INFO [stderr] Dec 18 06:01:57.289 INFO [stderr] warning: unused variable: `v` Dec 18 06:01:57.289 INFO [stderr] --> src/equation.rs:82:13 Dec 18 06:01:57.289 INFO [stderr] | Dec 18 06:01:57.289 INFO [stderr] 82 | v => vec![self], Dec 18 06:01:57.289 INFO [stderr] | ^ help: consider using `_v` instead Dec 18 06:01:57.289 INFO [stderr] Dec 18 06:01:57.289 INFO [stderr] warning: unused variable: `ancient_nb_var` Dec 18 06:01:57.289 INFO [stderr] --> src/equation.rs:106:13 Dec 18 06:01:57.289 INFO [stderr] | Dec 18 06:01:57.289 INFO [stderr] 106 | let ancient_nb_var = self.get_vars().len(); Dec 18 06:01:57.289 INFO [stderr] | ^^^^^^^^^^^^^^ help: consider using `_ancient_nb_var` instead Dec 18 06:01:57.289 INFO [stderr] Dec 18 06:01:57.289 INFO [stderr] warning: unused variable: `s` Dec 18 06:01:57.289 INFO [stderr] --> src/mccluskey.rs:24:32 Dec 18 06:01:57.289 INFO [stderr] | Dec 18 06:01:57.289 INFO [stderr] 24 | &Equation::Sum(ref s) => panic!("do not give a sum to from_eq"), Dec 18 06:01:57.289 INFO [stderr] | ^ help: consider using `_s` instead Dec 18 06:01:57.289 INFO [stderr] Dec 18 06:01:57.440 INFO [stderr] warning: variable does not need to be mutable Dec 18 06:01:57.440 INFO [stderr] --> src/mccluskey.rs:134:25 Dec 18 06:01:57.440 INFO [stderr] | Dec 18 06:01:57.440 INFO [stderr] 134 | pub fn mccluskey((vars, mut impls) : (Vec, Vec)) -> Vec{ Dec 18 06:01:57.440 INFO [stderr] | ----^^^^^ Dec 18 06:01:57.440 INFO [stderr] | | Dec 18 06:01:57.440 INFO [stderr] | help: remove this `mut` Dec 18 06:01:57.440 INFO [stderr] | Dec 18 06:01:57.440 INFO [stderr] = note: #[warn(unused_mut)] on by default Dec 18 06:01:57.440 INFO [stderr] Dec 18 06:01:57.440 INFO [stderr] warning: variable does not need to be mutable Dec 18 06:01:57.440 INFO [stderr] --> src/mccluskey.rs:176:25 Dec 18 06:01:57.440 INFO [stderr] | Dec 18 06:01:57.440 INFO [stderr] 176 | pub fn mccluskey_primes(mut impls : Vec)-> Vec{ Dec 18 06:01:57.440 INFO [stderr] | ----^^^^^ Dec 18 06:01:57.440 INFO [stderr] | | Dec 18 06:01:57.440 INFO [stderr] | help: remove this `mut` Dec 18 06:01:57.440 INFO [stderr] Dec 18 06:01:57.440 INFO [stderr] warning: variable does not need to be mutable Dec 18 06:01:57.440 INFO [stderr] --> src/mccluskey.rs:180:13 Dec 18 06:01:57.440 INFO [stderr] | Dec 18 06:01:57.440 INFO [stderr] 180 | let mut to_add = mccluskey_pass_two(sort_prime_implicants(mccluskey_pass_one(sorted_primes))); Dec 18 06:01:57.441 INFO [stderr] | ----^^^^^^ Dec 18 06:01:57.441 INFO [stderr] | | Dec 18 06:01:57.441 INFO [stderr] | help: remove this `mut` Dec 18 06:01:57.441 INFO [stderr] Dec 18 06:01:57.452 INFO [stderr] warning: method is never used: `len_removed` Dec 18 06:01:57.452 INFO [stderr] --> src/equation.rs:50:5 Dec 18 06:01:57.452 INFO [stderr] | Dec 18 06:01:57.452 INFO [stderr] 50 | pub fn len_removed(&mut self) -> usize{ Dec 18 06:01:57.452 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 18 06:01:57.452 INFO [stderr] | Dec 18 06:01:57.452 INFO [stderr] = note: #[warn(dead_code)] on by default Dec 18 06:01:57.452 INFO [stderr] Dec 18 06:01:57.452 INFO [stderr] warning: method is never used: `eval` Dec 18 06:01:57.452 INFO [stderr] --> src/equation.rs:57:5 Dec 18 06:01:57.452 INFO [stderr] | Dec 18 06:01:57.452 INFO [stderr] 57 | pub fn eval(&self, vars: &HashMap) -> bool { Dec 18 06:01:57.452 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 18 06:01:57.452 INFO [stderr] Dec 18 06:01:57.452 INFO [stderr] warning: method is never used: `inners` Dec 18 06:01:57.452 INFO [stderr] --> src/equation.rs:77:5 Dec 18 06:01:57.452 INFO [stderr] | Dec 18 06:01:57.452 INFO [stderr] 77 | pub fn inners(&self) -> Vec<&Equation> { Dec 18 06:01:57.452 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 18 06:01:57.452 INFO [stderr] Dec 18 06:01:57.452 INFO [stderr] warning: method is never used: `compare_random_values` Dec 18 06:01:57.452 INFO [stderr] --> src/equation.rs:87:5 Dec 18 06:01:57.452 INFO [stderr] | Dec 18 06:01:57.452 INFO [stderr] 87 | pub fn compare_random_values(&self, other : &Equation, tests : usize) { Dec 18 06:01:57.452 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 18 06:01:57.452 INFO [stderr] Dec 18 06:01:57.452 INFO [stderr] warning: method is never used: `is_product` Dec 18 06:01:57.452 INFO [stderr] --> src/equation.rs:120:5 Dec 18 06:01:57.452 INFO [stderr] | Dec 18 06:01:57.452 INFO [stderr] 120 | pub fn is_product(&self) -> bool { Dec 18 06:01:57.452 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 18 06:01:57.452 INFO [stderr] Dec 18 06:01:57.452 INFO [stderr] warning: method is never used: `get_owned_vars` Dec 18 06:01:57.452 INFO [stderr] --> src/equation.rs:175:5 Dec 18 06:01:57.452 INFO [stderr] | Dec 18 06:01:57.452 INFO [stderr] 175 | pub fn get_owned_vars(&self) -> Vec { Dec 18 06:01:57.452 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 18 06:01:57.452 INFO [stderr] Dec 18 06:01:57.452 INFO [stderr] warning: method is never used: `get_owned_vars` Dec 18 06:01:57.452 INFO [stderr] --> src/equation.rs:250:5 Dec 18 06:01:57.453 INFO [stderr] | Dec 18 06:01:57.453 INFO [stderr] 250 | pub fn get_owned_vars(&self) -> Vec { Dec 18 06:01:57.453 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 18 06:01:57.453 INFO [stderr] Dec 18 06:01:57.720 INFO [stderr] warning: unused variable: `new_sum` Dec 18 06:01:57.721 INFO [stderr] --> src/equation.rs:68:13 Dec 18 06:01:57.721 INFO [stderr] | Dec 18 06:01:57.721 INFO [stderr] 68 | let new_sum = match self { Dec 18 06:01:57.721 INFO [stderr] | ^^^^^^^ help: consider using `_new_sum` instead Dec 18 06:01:57.721 INFO [stderr] | Dec 18 06:01:57.721 INFO [stderr] = note: #[warn(unused_variables)] on by default Dec 18 06:01:57.721 INFO [stderr] Dec 18 06:01:57.721 INFO [stderr] warning: unused variable: `v` Dec 18 06:01:57.721 INFO [stderr] --> src/equation.rs:82:13 Dec 18 06:01:57.721 INFO [stderr] | Dec 18 06:01:57.721 INFO [stderr] 82 | v => vec![self], Dec 18 06:01:57.721 INFO [stderr] | ^ help: consider using `_v` instead Dec 18 06:01:57.721 INFO [stderr] Dec 18 06:01:57.724 INFO [stderr] warning: unused variable: `ancient_nb_var` Dec 18 06:01:57.724 INFO [stderr] --> src/equation.rs:106:13 Dec 18 06:01:57.724 INFO [stderr] | Dec 18 06:01:57.724 INFO [stderr] 106 | let ancient_nb_var = self.get_vars().len(); Dec 18 06:01:57.724 INFO [stderr] | ^^^^^^^^^^^^^^ help: consider using `_ancient_nb_var` instead Dec 18 06:01:57.724 INFO [stderr] Dec 18 06:01:57.724 INFO [stderr] warning: unused variable: `s` Dec 18 06:01:57.724 INFO [stderr] --> src/mccluskey.rs:24:32 Dec 18 06:01:57.724 INFO [stderr] | Dec 18 06:01:57.724 INFO [stderr] 24 | &Equation::Sum(ref s) => panic!("do not give a sum to from_eq"), Dec 18 06:01:57.724 INFO [stderr] | ^ help: consider using `_s` instead Dec 18 06:01:57.724 INFO [stderr] Dec 18 06:01:57.821 INFO [stderr] warning: variable does not need to be mutable Dec 18 06:01:57.821 INFO [stderr] --> src/equation.rs:536:13 Dec 18 06:01:57.821 INFO [stderr] | Dec 18 06:01:57.821 INFO [stderr] 536 | let mut new_eq = eq.complete_simplify(); Dec 18 06:01:57.821 INFO [stderr] | ----^^^^^^ Dec 18 06:01:57.821 INFO [stderr] | | Dec 18 06:01:57.821 INFO [stderr] | help: remove this `mut` Dec 18 06:01:57.821 INFO [stderr] | Dec 18 06:01:57.821 INFO [stderr] = note: #[warn(unused_mut)] on by default Dec 18 06:01:57.821 INFO [stderr] Dec 18 06:01:57.892 INFO [stderr] warning: variable does not need to be mutable Dec 18 06:01:57.892 INFO [stderr] --> src/mccluskey.rs:134:25 Dec 18 06:01:57.892 INFO [stderr] | Dec 18 06:01:57.892 INFO [stderr] 134 | pub fn mccluskey((vars, mut impls) : (Vec, Vec)) -> Vec{ Dec 18 06:01:57.892 INFO [stderr] | ----^^^^^ Dec 18 06:01:57.892 INFO [stderr] | | Dec 18 06:01:57.892 INFO [stderr] | help: remove this `mut` Dec 18 06:01:57.892 INFO [stderr] Dec 18 06:01:57.892 INFO [stderr] warning: variable does not need to be mutable Dec 18 06:01:57.892 INFO [stderr] --> src/mccluskey.rs:176:25 Dec 18 06:01:57.892 INFO [stderr] | Dec 18 06:01:57.892 INFO [stderr] 176 | pub fn mccluskey_primes(mut impls : Vec)-> Vec{ Dec 18 06:01:57.892 INFO [stderr] | ----^^^^^ Dec 18 06:01:57.892 INFO [stderr] | | Dec 18 06:01:57.892 INFO [stderr] | help: remove this `mut` Dec 18 06:01:57.892 INFO [stderr] Dec 18 06:01:57.892 INFO [stderr] warning: variable does not need to be mutable Dec 18 06:01:57.892 INFO [stderr] --> src/mccluskey.rs:180:13 Dec 18 06:01:57.892 INFO [stderr] | Dec 18 06:01:57.892 INFO [stderr] 180 | let mut to_add = mccluskey_pass_two(sort_prime_implicants(mccluskey_pass_one(sorted_primes))); Dec 18 06:01:57.892 INFO [stderr] | ----^^^^^^ Dec 18 06:01:57.892 INFO [stderr] | | Dec 18 06:01:57.892 INFO [stderr] | help: remove this `mut` Dec 18 06:01:57.892 INFO [stderr] Dec 18 06:01:57.924 INFO [stderr] warning: method is never used: `len_removed` Dec 18 06:01:57.924 INFO [stderr] --> src/equation.rs:50:5 Dec 18 06:01:57.924 INFO [stderr] | Dec 18 06:01:57.924 INFO [stderr] 50 | pub fn len_removed(&mut self) -> usize{ Dec 18 06:01:57.924 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 18 06:01:57.924 INFO [stderr] | Dec 18 06:01:57.924 INFO [stderr] = note: #[warn(dead_code)] on by default Dec 18 06:01:57.924 INFO [stderr] Dec 18 06:01:57.924 INFO [stderr] warning: method is never used: `inners` Dec 18 06:01:57.924 INFO [stderr] --> src/equation.rs:77:5 Dec 18 06:01:57.924 INFO [stderr] | Dec 18 06:01:57.924 INFO [stderr] 77 | pub fn inners(&self) -> Vec<&Equation> { Dec 18 06:01:57.924 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 18 06:01:57.924 INFO [stderr] Dec 18 06:01:57.924 INFO [stderr] warning: method is never used: `is_product` Dec 18 06:01:57.924 INFO [stderr] --> src/equation.rs:120:5 Dec 18 06:01:57.924 INFO [stderr] | Dec 18 06:01:57.924 INFO [stderr] 120 | pub fn is_product(&self) -> bool { Dec 18 06:01:57.924 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 18 06:01:57.924 INFO [stderr] Dec 18 06:01:57.925 INFO [stderr] warning: method is never used: `get_owned_vars` Dec 18 06:01:57.925 INFO [stderr] --> src/equation.rs:175:5 Dec 18 06:01:57.925 INFO [stderr] | Dec 18 06:01:57.925 INFO [stderr] 175 | pub fn get_owned_vars(&self) -> Vec { Dec 18 06:01:57.925 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 18 06:01:57.925 INFO [stderr] Dec 18 06:01:57.925 INFO [stderr] warning: method is never used: `get_owned_vars` Dec 18 06:01:57.925 INFO [stderr] --> src/equation.rs:250:5 Dec 18 06:01:57.925 INFO [stderr] | Dec 18 06:01:57.925 INFO [stderr] 250 | pub fn get_owned_vars(&self) -> Vec { Dec 18 06:01:57.925 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Dec 18 06:01:57.925 INFO [stderr] Dec 18 06:01:58.012 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1.91s Dec 18 06:01:58.856 INFO running `"docker" "inspect" "fc0f6dda363c7c7b18faa275c2c4ce2fcfb54b9e92f203b0fb53fb0f14f97fe1"` Dec 18 06:01:59.128 INFO running `"docker" "rm" "-f" "fc0f6dda363c7c7b18faa275c2c4ce2fcfb54b9e92f203b0fb53fb0f14f97fe1"` Dec 18 06:01:59.504 INFO [stdout] fc0f6dda363c7c7b18faa275c2c4ce2fcfb54b9e92f203b0fb53fb0f14f97fe1