Nov 17 12:46:27.628 INFO testing PBertinJohannet/exprToSop against try#2e026d6e5d7621634147ad4c8074f1d964dbb1be for pr-55982 Nov 17 12:46:27.628 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-7/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/pr-55982/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/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 +2e026d6e5d7621634147ad4c8074f1d964dbb1be-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"` Nov 17 12:46:28.061 INFO [stdout] d25fd6940bb1c39a7904ca51d9b214f0878d53ae6bb49236f2cc26e7e1d480ea Nov 17 12:46:28.063 INFO running `"docker" "start" "-a" "d25fd6940bb1c39a7904ca51d9b214f0878d53ae6bb49236f2cc26e7e1d480ea"` Nov 17 12:46:28.823 INFO [stderr] usermod: no changes Nov 17 12:46:28.907 INFO [stderr] Compiling booleansimplify v0.1.0 (/source) Nov 17 12:46:29.643 INFO [stderr] warning: unused import: `std::env` Nov 17 12:46:29.643 INFO [stderr] --> src/main.rs:5:5 Nov 17 12:46:29.643 INFO [stderr] | Nov 17 12:46:29.643 INFO [stderr] 5 | use std::env; Nov 17 12:46:29.643 INFO [stderr] | ^^^^^^^^ Nov 17 12:46:29.643 INFO [stderr] | Nov 17 12:46:29.643 INFO [stderr] = note: #[warn(unused_imports)] on by default Nov 17 12:46:29.643 INFO [stderr] Nov 17 12:46:29.643 INFO [stderr] warning: unused import: `Sum` Nov 17 12:46:29.643 INFO [stderr] --> src/mccluskey.rs:3:26 Nov 17 12:46:29.643 INFO [stderr] | Nov 17 12:46:29.643 INFO [stderr] 3 | use equation::{Equation, Sum, Prod, Not}; Nov 17 12:46:29.643 INFO [stderr] | ^^^ Nov 17 12:46:29.643 INFO [stderr] Nov 17 12:46:29.951 INFO [stderr] warning: unused variable: `new_sum` Nov 17 12:46:29.951 INFO [stderr] --> src/equation.rs:68:13 Nov 17 12:46:29.951 INFO [stderr] | Nov 17 12:46:29.951 INFO [stderr] 68 | let new_sum = match self { Nov 17 12:46:29.951 INFO [stderr] | ^^^^^^^ help: consider using `_new_sum` instead Nov 17 12:46:29.951 INFO [stderr] | Nov 17 12:46:29.951 INFO [stderr] = note: #[warn(unused_variables)] on by default Nov 17 12:46:29.951 INFO [stderr] Nov 17 12:46:29.951 INFO [stderr] warning: unused variable: `v` Nov 17 12:46:29.951 INFO [stderr] --> src/equation.rs:82:13 Nov 17 12:46:29.951 INFO [stderr] | Nov 17 12:46:29.951 INFO [stderr] 82 | v => vec![self], Nov 17 12:46:29.951 INFO [stderr] | ^ help: consider using `_v` instead Nov 17 12:46:29.951 INFO [stderr] Nov 17 12:46:29.951 INFO [stderr] warning: unused variable: `ancient_nb_var` Nov 17 12:46:29.951 INFO [stderr] --> src/equation.rs:106:13 Nov 17 12:46:29.951 INFO [stderr] | Nov 17 12:46:29.951 INFO [stderr] 106 | let ancient_nb_var = self.get_vars().len(); Nov 17 12:46:29.951 INFO [stderr] | ^^^^^^^^^^^^^^ help: consider using `_ancient_nb_var` instead Nov 17 12:46:29.951 INFO [stderr] Nov 17 12:46:29.951 INFO [stderr] warning: unused variable: `s` Nov 17 12:46:29.951 INFO [stderr] --> src/mccluskey.rs:24:32 Nov 17 12:46:29.951 INFO [stderr] | Nov 17 12:46:29.951 INFO [stderr] 24 | &Equation::Sum(ref s) => panic!("do not give a sum to from_eq"), Nov 17 12:46:29.951 INFO [stderr] | ^ help: consider using `_s` instead Nov 17 12:46:29.951 INFO [stderr] Nov 17 12:46:30.095 INFO [stderr] warning: variable does not need to be mutable Nov 17 12:46:30.095 INFO [stderr] --> src/mccluskey.rs:134:25 Nov 17 12:46:30.095 INFO [stderr] | Nov 17 12:46:30.095 INFO [stderr] 134 | pub fn mccluskey((vars, mut impls) : (Vec, Vec)) -> Vec{ Nov 17 12:46:30.095 INFO [stderr] | ----^^^^^ Nov 17 12:46:30.095 INFO [stderr] | | Nov 17 12:46:30.095 INFO [stderr] | help: remove this `mut` Nov 17 12:46:30.095 INFO [stderr] | Nov 17 12:46:30.095 INFO [stderr] = note: #[warn(unused_mut)] on by default Nov 17 12:46:30.095 INFO [stderr] Nov 17 12:46:30.103 INFO [stderr] warning: variable does not need to be mutable Nov 17 12:46:30.103 INFO [stderr] --> src/mccluskey.rs:176:25 Nov 17 12:46:30.103 INFO [stderr] | Nov 17 12:46:30.103 INFO [stderr] 176 | pub fn mccluskey_primes(mut impls : Vec)-> Vec{ Nov 17 12:46:30.103 INFO [stderr] | ----^^^^^ Nov 17 12:46:30.103 INFO [stderr] | | Nov 17 12:46:30.103 INFO [stderr] | help: remove this `mut` Nov 17 12:46:30.103 INFO [stderr] Nov 17 12:46:30.103 INFO [stderr] warning: variable does not need to be mutable Nov 17 12:46:30.103 INFO [stderr] --> src/mccluskey.rs:180:13 Nov 17 12:46:30.103 INFO [stderr] | Nov 17 12:46:30.103 INFO [stderr] 180 | let mut to_add = mccluskey_pass_two(sort_prime_implicants(mccluskey_pass_one(sorted_primes))); Nov 17 12:46:30.103 INFO [stderr] | ----^^^^^^ Nov 17 12:46:30.103 INFO [stderr] | | Nov 17 12:46:30.103 INFO [stderr] | help: remove this `mut` Nov 17 12:46:30.103 INFO [stderr] Nov 17 12:46:30.103 INFO [stderr] warning: method is never used: `len_removed` Nov 17 12:46:30.103 INFO [stderr] --> src/equation.rs:50:5 Nov 17 12:46:30.103 INFO [stderr] | Nov 17 12:46:30.103 INFO [stderr] 50 | pub fn len_removed(&mut self) -> usize{ Nov 17 12:46:30.103 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 17 12:46:30.103 INFO [stderr] | Nov 17 12:46:30.103 INFO [stderr] = note: #[warn(dead_code)] on by default Nov 17 12:46:30.103 INFO [stderr] Nov 17 12:46:30.103 INFO [stderr] warning: method is never used: `eval` Nov 17 12:46:30.103 INFO [stderr] --> src/equation.rs:57:5 Nov 17 12:46:30.103 INFO [stderr] | Nov 17 12:46:30.103 INFO [stderr] 57 | pub fn eval(&self, vars: &HashMap) -> bool { Nov 17 12:46:30.103 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 17 12:46:30.103 INFO [stderr] Nov 17 12:46:30.103 INFO [stderr] warning: method is never used: `inners` Nov 17 12:46:30.103 INFO [stderr] --> src/equation.rs:77:5 Nov 17 12:46:30.103 INFO [stderr] | Nov 17 12:46:30.103 INFO [stderr] 77 | pub fn inners(&self) -> Vec<&Equation> { Nov 17 12:46:30.103 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 17 12:46:30.103 INFO [stderr] Nov 17 12:46:30.103 INFO [stderr] warning: method is never used: `compare_random_values` Nov 17 12:46:30.103 INFO [stderr] --> src/equation.rs:87:5 Nov 17 12:46:30.103 INFO [stderr] | Nov 17 12:46:30.103 INFO [stderr] 87 | pub fn compare_random_values(&self, other : &Equation, tests : usize) { Nov 17 12:46:30.103 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 17 12:46:30.103 INFO [stderr] Nov 17 12:46:30.103 INFO [stderr] warning: method is never used: `is_product` Nov 17 12:46:30.103 INFO [stderr] --> src/equation.rs:120:5 Nov 17 12:46:30.103 INFO [stderr] | Nov 17 12:46:30.103 INFO [stderr] 120 | pub fn is_product(&self) -> bool { Nov 17 12:46:30.103 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 17 12:46:30.103 INFO [stderr] Nov 17 12:46:30.103 INFO [stderr] warning: method is never used: `get_owned_vars` Nov 17 12:46:30.104 INFO [stderr] --> src/equation.rs:175:5 Nov 17 12:46:30.104 INFO [stderr] | Nov 17 12:46:30.104 INFO [stderr] 175 | pub fn get_owned_vars(&self) -> Vec { Nov 17 12:46:30.104 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 17 12:46:30.104 INFO [stderr] Nov 17 12:46:30.104 INFO [stderr] warning: method is never used: `get_owned_vars` Nov 17 12:46:30.104 INFO [stderr] --> src/equation.rs:250:5 Nov 17 12:46:30.104 INFO [stderr] | Nov 17 12:46:30.104 INFO [stderr] 250 | pub fn get_owned_vars(&self) -> Vec { Nov 17 12:46:30.104 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 17 12:46:30.104 INFO [stderr] Nov 17 12:46:32.915 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 4.07s Nov 17 12:46:32.915 INFO [stderr] su: No module specific data is present Nov 17 12:46:33.505 INFO running `"docker" "inspect" "d25fd6940bb1c39a7904ca51d9b214f0878d53ae6bb49236f2cc26e7e1d480ea"` Nov 17 12:46:33.804 INFO running `"docker" "rm" "-f" "d25fd6940bb1c39a7904ca51d9b214f0878d53ae6bb49236f2cc26e7e1d480ea"` Nov 17 12:46:34.210 INFO [stdout] d25fd6940bb1c39a7904ca51d9b214f0878d53ae6bb49236f2cc26e7e1d480ea Nov 17 12:46:34.223 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-7/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/pr-55982/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/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 +2e026d6e5d7621634147ad4c8074f1d964dbb1be-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"` Nov 17 12:46:34.643 INFO [stdout] 4f2d9fea78f6986f1710d57f23045857addfe3b2274926b05e97027b84323d69 Nov 17 12:46:34.647 INFO running `"docker" "start" "-a" "4f2d9fea78f6986f1710d57f23045857addfe3b2274926b05e97027b84323d69"` Nov 17 12:46:35.765 INFO [stderr] usermod: no changes Nov 17 12:46:35.879 INFO [stderr] Compiling booleansimplify v0.1.0 (/source) Nov 17 12:46:36.463 INFO [stderr] warning: unused imports: `Not`, `Prod`, `Sum` Nov 17 12:46:36.464 INFO [stderr] --> src/equation.rs:434:30 Nov 17 12:46:36.464 INFO [stderr] | Nov 17 12:46:36.465 INFO [stderr] 434 | use equation::{Equation, Not, Prod, Sum}; Nov 17 12:46:36.465 INFO [stderr] | ^^^ ^^^^ ^^^ Nov 17 12:46:36.465 INFO [stderr] | Nov 17 12:46:36.465 INFO [stderr] = note: #[warn(unused_imports)] on by default Nov 17 12:46:36.465 INFO [stderr] Nov 17 12:46:36.466 INFO [stderr] warning: unused import: `lexer::EqLexer` Nov 17 12:46:36.466 INFO [stderr] --> src/equation.rs:435:9 Nov 17 12:46:36.466 INFO [stderr] | Nov 17 12:46:36.467 INFO [stderr] 435 | use lexer::EqLexer; Nov 17 12:46:36.467 INFO [stderr] | ^^^^^^^^^^^^^^ Nov 17 12:46:36.467 INFO [stderr] Nov 17 12:46:36.468 INFO [stderr] warning: unused import: `super::*` Nov 17 12:46:36.468 INFO [stderr] --> src/equation.rs:489:9 Nov 17 12:46:36.468 INFO [stderr] | Nov 17 12:46:36.468 INFO [stderr] 489 | use super::*; Nov 17 12:46:36.469 INFO [stderr] | ^^^^^^^^ Nov 17 12:46:36.469 INFO [stderr] Nov 17 12:46:36.469 INFO [stderr] warning: unused imports: `Not`, `Prod`, `Sum` Nov 17 12:46:36.469 INFO [stderr] --> src/equation.rs:490:30 Nov 17 12:46:36.470 INFO [stderr] | Nov 17 12:46:36.470 INFO [stderr] 490 | use equation::{Equation, Not, Prod, Sum}; Nov 17 12:46:36.470 INFO [stderr] | ^^^ ^^^^ ^^^ Nov 17 12:46:36.470 INFO [stderr] Nov 17 12:46:36.471 INFO [stderr] warning: unused import: `lexer::EqLexer` Nov 17 12:46:36.471 INFO [stderr] --> src/equation.rs:491:9 Nov 17 12:46:36.471 INFO [stderr] | Nov 17 12:46:36.471 INFO [stderr] 491 | use lexer::EqLexer; Nov 17 12:46:36.472 INFO [stderr] | ^^^^^^^^^^^^^^ Nov 17 12:46:36.472 INFO [stderr] Nov 17 12:46:36.472 INFO [stderr] warning: unused import: `super::*` Nov 17 12:46:36.472 INFO [stderr] --> src/equation.rs:511:9 Nov 17 12:46:36.473 INFO [stderr] | Nov 17 12:46:36.473 INFO [stderr] 511 | use super::*; Nov 17 12:46:36.473 INFO [stderr] | ^^^^^^^^ Nov 17 12:46:36.473 INFO [stderr] Nov 17 12:46:36.474 INFO [stderr] warning: unused imports: `Not`, `Prod`, `Sum` Nov 17 12:46:36.474 INFO [stderr] --> src/equation.rs:512:30 Nov 17 12:46:36.474 INFO [stderr] | Nov 17 12:46:36.475 INFO [stderr] 512 | use equation::{Equation, Not, Prod, Sum}; Nov 17 12:46:36.475 INFO [stderr] | ^^^ ^^^^ ^^^ Nov 17 12:46:36.475 INFO [stderr] Nov 17 12:46:36.476 INFO [stderr] warning: unused import: `lexer::EqLexer` Nov 17 12:46:36.476 INFO [stderr] --> src/equation.rs:513:9 Nov 17 12:46:36.476 INFO [stderr] | Nov 17 12:46:36.476 INFO [stderr] 513 | use lexer::EqLexer; Nov 17 12:46:36.477 INFO [stderr] | ^^^^^^^^^^^^^^ Nov 17 12:46:36.477 INFO [stderr] Nov 17 12:46:36.477 INFO [stderr] warning: unused import: `super::*` Nov 17 12:46:36.477 INFO [stderr] --> src/equation.rs:529:9 Nov 17 12:46:36.478 INFO [stderr] | Nov 17 12:46:36.478 INFO [stderr] 529 | use super::*; Nov 17 12:46:36.478 INFO [stderr] | ^^^^^^^^ Nov 17 12:46:36.479 INFO [stderr] Nov 17 12:46:36.479 INFO [stderr] warning: unused imports: `Not`, `Prod`, `Sum` Nov 17 12:46:36.479 INFO [stderr] --> src/equation.rs:530:30 Nov 17 12:46:36.479 INFO [stderr] | Nov 17 12:46:36.479 INFO [stderr] 530 | use equation::{Equation, Not, Prod, Sum}; Nov 17 12:46:36.480 INFO [stderr] | ^^^ ^^^^ ^^^ Nov 17 12:46:36.480 INFO [stderr] Nov 17 12:46:36.480 INFO [stderr] warning: unused import: `lexer::EqLexer` Nov 17 12:46:36.481 INFO [stderr] --> src/equation.rs:531:9 Nov 17 12:46:36.481 INFO [stderr] | Nov 17 12:46:36.481 INFO [stderr] 531 | use lexer::EqLexer; Nov 17 12:46:36.481 INFO [stderr] | ^^^^^^^^^^^^^^ Nov 17 12:46:36.482 INFO [stderr] Nov 17 12:46:36.482 INFO [stderr] warning: unused import: `std::env` Nov 17 12:46:36.482 INFO [stderr] --> src/main.rs:5:5 Nov 17 12:46:36.482 INFO [stderr] | Nov 17 12:46:36.483 INFO [stderr] 5 | use std::env; Nov 17 12:46:36.483 INFO [stderr] | ^^^^^^^^ Nov 17 12:46:36.483 INFO [stderr] Nov 17 12:46:36.483 INFO [stderr] warning: unused import: `Sum` Nov 17 12:46:36.484 INFO [stderr] --> src/mccluskey.rs:3:26 Nov 17 12:46:36.484 INFO [stderr] | Nov 17 12:46:36.484 INFO [stderr] 3 | use equation::{Equation, Sum, Prod, Not}; Nov 17 12:46:36.484 INFO [stderr] | ^^^ Nov 17 12:46:36.484 INFO [stderr] Nov 17 12:46:36.485 INFO [stderr] warning: unused imports: `Not`, `Prod` Nov 17 12:46:36.485 INFO [stderr] --> src/mccluskey.rs:194:30 Nov 17 12:46:36.485 INFO [stderr] | Nov 17 12:46:36.486 INFO [stderr] 194 | use equation::{Equation, Not, Prod, Sum}; Nov 17 12:46:36.486 INFO [stderr] | ^^^ ^^^^ Nov 17 12:46:36.486 INFO [stderr] Nov 17 12:46:36.486 INFO [stderr] warning: unused imports: `Not`, `Prod`, `Sum` Nov 17 12:46:36.486 INFO [stderr] --> src/mccluskey.rs:241:30 Nov 17 12:46:36.487 INFO [stderr] | Nov 17 12:46:36.487 INFO [stderr] 241 | use equation::{Equation, Not, Prod, Sum}; Nov 17 12:46:36.487 INFO [stderr] | ^^^ ^^^^ ^^^ Nov 17 12:46:36.488 INFO [stderr] Nov 17 12:46:36.488 INFO [stderr] warning: unused imports: `Not`, `Prod`, `Sum` Nov 17 12:46:36.488 INFO [stderr] --> src/mccluskey.rs:281:30 Nov 17 12:46:36.489 INFO [stderr] | Nov 17 12:46:36.489 INFO [stderr] 281 | use equation::{Equation, Not, Prod, Sum}; Nov 17 12:46:36.489 INFO [stderr] | ^^^ ^^^^ ^^^ Nov 17 12:46:36.489 INFO [stderr] Nov 17 12:46:36.490 INFO [stderr] warning: unused imports: `Not`, `Prod`, `Sum` Nov 17 12:46:36.490 INFO [stderr] --> src/mccluskey.rs:299:30 Nov 17 12:46:36.490 INFO [stderr] | Nov 17 12:46:36.491 INFO [stderr] 299 | use equation::{Equation, Not, Prod, Sum}; Nov 17 12:46:36.491 INFO [stderr] | ^^^ ^^^^ ^^^ Nov 17 12:46:36.491 INFO [stderr] Nov 17 12:46:36.899 INFO [stderr] warning: unused variable: `new_sum` Nov 17 12:46:36.899 INFO [stderr] --> src/equation.rs:68:13 Nov 17 12:46:36.899 INFO [stderr] | Nov 17 12:46:36.900 INFO [stderr] 68 | let new_sum = match self { Nov 17 12:46:36.900 INFO [stderr] | ^^^^^^^ help: consider using `_new_sum` instead Nov 17 12:46:36.900 INFO [stderr] | Nov 17 12:46:36.900 INFO [stderr] = note: #[warn(unused_variables)] on by default Nov 17 12:46:36.900 INFO [stderr] Nov 17 12:46:36.900 INFO [stderr] warning: unused variable: `v` Nov 17 12:46:36.901 INFO [stderr] --> src/equation.rs:82:13 Nov 17 12:46:36.901 INFO [stderr] | Nov 17 12:46:36.901 INFO [stderr] 82 | v => vec![self], Nov 17 12:46:36.901 INFO [stderr] | ^ help: consider using `_v` instead Nov 17 12:46:36.901 INFO [stderr] Nov 17 12:46:36.902 INFO [stderr] warning: unused variable: `ancient_nb_var` Nov 17 12:46:36.902 INFO [stderr] --> src/equation.rs:106:13 Nov 17 12:46:36.902 INFO [stderr] | Nov 17 12:46:36.902 INFO [stderr] 106 | let ancient_nb_var = self.get_vars().len(); Nov 17 12:46:36.902 INFO [stderr] | ^^^^^^^^^^^^^^ help: consider using `_ancient_nb_var` instead Nov 17 12:46:36.902 INFO [stderr] Nov 17 12:46:36.903 INFO [stderr] warning: unused variable: `s` Nov 17 12:46:36.903 INFO [stderr] --> src/mccluskey.rs:24:32 Nov 17 12:46:36.903 INFO [stderr] | Nov 17 12:46:36.903 INFO [stderr] 24 | &Equation::Sum(ref s) => panic!("do not give a sum to from_eq"), Nov 17 12:46:36.903 INFO [stderr] | ^ help: consider using `_s` instead Nov 17 12:46:36.903 INFO [stderr] Nov 17 12:46:37.011 INFO [stderr] warning: variable does not need to be mutable Nov 17 12:46:37.011 INFO [stderr] --> src/equation.rs:536:13 Nov 17 12:46:37.012 INFO [stderr] | Nov 17 12:46:37.012 INFO [stderr] 536 | let mut new_eq = eq.complete_simplify(); Nov 17 12:46:37.012 INFO [stderr] | ----^^^^^^ Nov 17 12:46:37.013 INFO [stderr] | | Nov 17 12:46:37.013 INFO [stderr] | help: remove this `mut` Nov 17 12:46:37.013 INFO [stderr] | Nov 17 12:46:37.013 INFO [stderr] = note: #[warn(unused_mut)] on by default Nov 17 12:46:37.014 INFO [stderr] Nov 17 12:46:37.091 INFO [stderr] warning: variable does not need to be mutable Nov 17 12:46:37.091 INFO [stderr] --> src/mccluskey.rs:134:25 Nov 17 12:46:37.091 INFO [stderr] | Nov 17 12:46:37.091 INFO [stderr] 134 | pub fn mccluskey((vars, mut impls) : (Vec, Vec)) -> Vec{ Nov 17 12:46:37.091 INFO [stderr] | ----^^^^^ Nov 17 12:46:37.091 INFO [stderr] | | Nov 17 12:46:37.091 INFO [stderr] | help: remove this `mut` Nov 17 12:46:37.091 INFO [stderr] Nov 17 12:46:37.091 INFO [stderr] warning: variable does not need to be mutable Nov 17 12:46:37.091 INFO [stderr] --> src/mccluskey.rs:176:25 Nov 17 12:46:37.091 INFO [stderr] | Nov 17 12:46:37.091 INFO [stderr] 176 | pub fn mccluskey_primes(mut impls : Vec)-> Vec{ Nov 17 12:46:37.091 INFO [stderr] | ----^^^^^ Nov 17 12:46:37.091 INFO [stderr] | | Nov 17 12:46:37.091 INFO [stderr] | help: remove this `mut` Nov 17 12:46:37.091 INFO [stderr] Nov 17 12:46:37.091 INFO [stderr] warning: variable does not need to be mutable Nov 17 12:46:37.091 INFO [stderr] --> src/mccluskey.rs:180:13 Nov 17 12:46:37.091 INFO [stderr] | Nov 17 12:46:37.091 INFO [stderr] 180 | let mut to_add = mccluskey_pass_two(sort_prime_implicants(mccluskey_pass_one(sorted_primes))); Nov 17 12:46:37.091 INFO [stderr] | ----^^^^^^ Nov 17 12:46:37.091 INFO [stderr] | | Nov 17 12:46:37.091 INFO [stderr] | help: remove this `mut` Nov 17 12:46:37.091 INFO [stderr] Nov 17 12:46:37.143 INFO [stderr] warning: method is never used: `len_removed` Nov 17 12:46:37.143 INFO [stderr] --> src/equation.rs:50:5 Nov 17 12:46:37.143 INFO [stderr] | Nov 17 12:46:37.143 INFO [stderr] 50 | pub fn len_removed(&mut self) -> usize{ Nov 17 12:46:37.143 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 17 12:46:37.143 INFO [stderr] | Nov 17 12:46:37.143 INFO [stderr] = note: #[warn(dead_code)] on by default Nov 17 12:46:37.143 INFO [stderr] Nov 17 12:46:37.143 INFO [stderr] warning: method is never used: `inners` Nov 17 12:46:37.143 INFO [stderr] --> src/equation.rs:77:5 Nov 17 12:46:37.143 INFO [stderr] | Nov 17 12:46:37.143 INFO [stderr] 77 | pub fn inners(&self) -> Vec<&Equation> { Nov 17 12:46:37.143 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 17 12:46:37.143 INFO [stderr] Nov 17 12:46:37.143 INFO [stderr] warning: method is never used: `is_product` Nov 17 12:46:37.143 INFO [stderr] --> src/equation.rs:120:5 Nov 17 12:46:37.143 INFO [stderr] | Nov 17 12:46:37.143 INFO [stderr] 120 | pub fn is_product(&self) -> bool { Nov 17 12:46:37.143 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 17 12:46:37.143 INFO [stderr] Nov 17 12:46:37.143 INFO [stderr] warning: method is never used: `get_owned_vars` Nov 17 12:46:37.143 INFO [stderr] --> src/equation.rs:175:5 Nov 17 12:46:37.143 INFO [stderr] | Nov 17 12:46:37.143 INFO [stderr] 175 | pub fn get_owned_vars(&self) -> Vec { Nov 17 12:46:37.143 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 17 12:46:37.143 INFO [stderr] Nov 17 12:46:37.143 INFO [stderr] warning: method is never used: `get_owned_vars` Nov 17 12:46:37.143 INFO [stderr] --> src/equation.rs:250:5 Nov 17 12:46:37.143 INFO [stderr] | Nov 17 12:46:37.143 INFO [stderr] 250 | pub fn get_owned_vars(&self) -> Vec { Nov 17 12:46:37.143 INFO [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Nov 17 12:46:37.143 INFO [stderr] Nov 17 12:46:40.135 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 4.32s Nov 17 12:46:40.135 INFO [stderr] su: No module specific data is present Nov 17 12:46:41.176 INFO running `"docker" "inspect" "4f2d9fea78f6986f1710d57f23045857addfe3b2274926b05e97027b84323d69"` Nov 17 12:46:41.525 INFO running `"docker" "rm" "-f" "4f2d9fea78f6986f1710d57f23045857addfe3b2274926b05e97027b84323d69"` Nov 17 12:46:41.799 INFO [stdout] 4f2d9fea78f6986f1710d57f23045857addfe3b2274926b05e97027b84323d69 Nov 17 12:46:41.803 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55982/worker-7/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/pr-55982/try#2e026d6e5d7621634147ad4c8074f1d964dbb1be:/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 +2e026d6e5d7621634147ad4c8074f1d964dbb1be-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"` Nov 17 12:46:42.179 INFO [stdout] 3549abe75bfb2502e777134a1521ba7b914724da10699bc338cca72d5b2722b1 Nov 17 12:46:42.181 INFO running `"docker" "start" "-a" "3549abe75bfb2502e777134a1521ba7b914724da10699bc338cca72d5b2722b1"` Nov 17 12:46:43.263 INFO [stderr] usermod: no changes Nov 17 12:46:43.307 INFO [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.03s Nov 17 12:46:43.319 INFO [stderr] Running /target/debug/deps/booleansimplify-2a5f9373856dca40 Nov 17 12:46:43.339 INFO [stdout] Nov 17 12:46:43.339 INFO [stdout] running 27 tests Nov 17 12:46:43.340 INFO [stdout] test equation::tests_depth::test_basics ... ok Nov 17 12:46:43.340 INFO [stdout] test equation::tests_depth::test_more ... ok Nov 17 12:46:43.340 INFO [stdout] test equation::tests_get_var::test_basics ... ok Nov 17 12:46:43.341 INFO [stdout] test equation::tests_get_var::test_more ... ok Nov 17 12:46:43.341 INFO [stdout] test equation::tests_eval::test_basics ... ok Nov 17 12:46:43.347 INFO [stdout] test equation::tests_eval::test_more ... ok Nov 17 12:46:43.347 INFO [stdout] test equation::tests_simplify::test_not_sum ... ok Nov 17 12:46:43.348 INFO [stdout] test equation::tests_simplify::test_not_not ... ok Nov 17 12:46:43.348 INFO [stdout] test equation::tests_simplify::test_not_prod ... ok Nov 17 12:46:43.348 INFO [stdout] test equation::tests_simplify::test_keep_same ... ok Nov 17 12:46:43.348 INFO [stdout] test equation::tests_simplify::test_flatten_prod ... ok Nov 17 12:46:43.349 INFO [stdout] test lexer::tests_lexer::test_basics ... ok Nov 17 12:46:43.349 INFO [stdout] test equation::tests_simplify::test_simplify_sum ... ok Nov 17 12:46:43.349 INFO [stdout] test mccluskey::tests_from_eq::test_from_multi ... ok Nov 17 12:46:43.350 INFO [stdout] test mccluskey::tests_from_eq::test_from_not ... ok Nov 17 12:46:43.350 INFO [stdout] test mccluskey::tests_from_eq::test_from_prod ... ok Nov 17 12:46:43.350 INFO [stdout] test mccluskey::tests_from_eq::test_from_var ... ok Nov 17 12:46:43.364 INFO [stdout] test mccluskey::tests_mccluskey_primes::test_yes_and_not ... ok Nov 17 12:46:43.364 INFO [stdout] test equation::tests_simplify::test_remove_par ... ok Nov 17 12:46:43.364 INFO [stdout] test equation::tests_simplify::test_factorise ... ok Nov 17 12:46:43.364 INFO [stdout] test mccluskey::tests_mccluskey_primes::test_complete ... ok Nov 17 12:46:43.365 INFO [stdout] test mccluskey::tests_to_eq::test_complete ... ok Nov 17 12:46:43.380 INFO [stdout] test parser::tests_parser::test_basics ... ok Nov 17 12:46:43.387 INFO [stdout] test mccluskey::tests_merging::test_merge ... ok Nov 17 12:46:43.387 INFO [stdout] test mccluskey::tests_merging::test_can_merge ... ok Nov 17 12:46:43.393 INFO [stdout] test mccluskey::tests_mccluskey_primes::test_just_one ... ok Nov 17 12:46:43.529 INFO [stdout] test equation::tests_simplify::combined_tests ... ok Nov 17 12:46:43.529 INFO [stdout] Nov 17 12:46:43.529 INFO [stdout] test result: ok. 27 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out Nov 17 12:46:43.529 INFO [stdout] Nov 17 12:46:43.532 INFO [stderr] su: No module specific data is present Nov 17 12:46:44.047 INFO running `"docker" "inspect" "3549abe75bfb2502e777134a1521ba7b914724da10699bc338cca72d5b2722b1"` Nov 17 12:46:44.296 INFO running `"docker" "rm" "-f" "3549abe75bfb2502e777134a1521ba7b914724da10699bc338cca72d5b2722b1"` Nov 17 12:46:44.495 INFO [stdout] 3549abe75bfb2502e777134a1521ba7b914724da10699bc338cca72d5b2722b1