[INFO] updating cached repository PBertinJohannet/exprToSop [INFO] running `"git" "fetch" "--all"` [INFO] [stdout] Fetching origin [INFO] [stderr] From git://github.com/PBertinJohannet/exprToSop [INFO] [stderr] * branch HEAD -> FETCH_HEAD [INFO] running `"git" "clone" "work/cache/sources/gh/PBertinJohannet/exprToSop" "work/ex/pr-58948/sources/master#0f88167f89fffe321590c5148f21b7d51d44388d/gh/PBertinJohannet/exprToSop"` [INFO] [stderr] Cloning into 'work/ex/pr-58948/sources/master#0f88167f89fffe321590c5148f21b7d51d44388d/gh/PBertinJohannet/exprToSop'... [INFO] [stderr] done. [INFO] running `"git" "clone" "work/cache/sources/gh/PBertinJohannet/exprToSop" "work/ex/pr-58948/sources/try#a829e31f924ec11e400e8d0c2fd2c4bb8937ae6b/gh/PBertinJohannet/exprToSop"` [INFO] [stderr] Cloning into 'work/ex/pr-58948/sources/try#a829e31f924ec11e400e8d0c2fd2c4bb8937ae6b/gh/PBertinJohannet/exprToSop'... [INFO] [stderr] done. [INFO] running `"git" "rev-parse" "HEAD"` [INFO] [stdout] 04f23d8b6a293337612ba6e3d1b5f6245b5b2824 [INFO] sha for GitHub repo PBertinJohannet/exprToSop: 04f23d8b6a293337612ba6e3d1b5f6245b5b2824 [INFO] validating manifest of PBertinJohannet/exprToSop on toolchain master#0f88167f89fffe321590c5148f21b7d51d44388d [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+0f88167f89fffe321590c5148f21b7d51d44388d-alt" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] validating manifest of PBertinJohannet/exprToSop on toolchain try#a829e31f924ec11e400e8d0c2fd2c4bb8937ae6b [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+a829e31f924ec11e400e8d0c2fd2c4bb8937ae6b-alt" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started frobbing PBertinJohannet/exprToSop [INFO] finished frobbing PBertinJohannet/exprToSop [INFO] frobbed toml for PBertinJohannet/exprToSop written to work/ex/pr-58948/sources/master#0f88167f89fffe321590c5148f21b7d51d44388d/gh/PBertinJohannet/exprToSop/Cargo.toml [INFO] started frobbing PBertinJohannet/exprToSop [INFO] finished frobbing PBertinJohannet/exprToSop [INFO] frobbed toml for PBertinJohannet/exprToSop written to work/ex/pr-58948/sources/try#a829e31f924ec11e400e8d0c2fd2c4bb8937ae6b/gh/PBertinJohannet/exprToSop/Cargo.toml [INFO] crate PBertinJohannet/exprToSop already has a lockfile, it will not be regenerated [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+0f88167f89fffe321590c5148f21b7d51d44388d-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+a829e31f924ec11e400e8d0c2fd2c4bb8937ae6b-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] checking PBertinJohannet/exprToSop against try#a829e31f924ec11e400e8d0c2fd2c4bb8937ae6b for pr-58948 [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-58948/worker-2/try#a829e31f924ec11e400e8d0c2fd2c4bb8937ae6b:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/pr-58948/sources/try#a829e31f924ec11e400e8d0c2fd2c4bb8937ae6b/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" "+a829e31f924ec11e400e8d0c2fd2c4bb8937ae6b-alt" "check" "--frozen" "--all" "--all-targets"` [INFO] [stdout] 72d8fe4e21428eef0b87d546561369f173b232ac1019265dcb9739364d137bcc [INFO] running `"docker" "start" "-a" "72d8fe4e21428eef0b87d546561369f173b232ac1019265dcb9739364d137bcc"` [INFO] [stderr] Checking booleansimplify v0.1.0 (/opt/crater/workdir) [INFO] [stderr] warning: unused import: `std::env` [INFO] [stderr] --> src/main.rs:5:5 [INFO] [stderr] | [INFO] [stderr] 5 | use std::env; [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(unused_imports)] on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `Sum` [INFO] [stderr] --> src/mccluskey.rs:3:26 [INFO] [stderr] | [INFO] [stderr] 3 | use equation::{Equation, Sum, Prod, Not}; [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `Not`, `Prod`, `Sum` [INFO] [stderr] --> src/equation.rs:434:30 [INFO] [stderr] | [INFO] [stderr] 434 | use equation::{Equation, Not, Prod, Sum}; [INFO] [stderr] | ^^^ ^^^^ ^^^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(unused_imports)] on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `lexer::EqLexer` [INFO] [stderr] --> src/equation.rs:435:9 [INFO] [stderr] | [INFO] [stderr] 435 | use lexer::EqLexer; [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `super::*` [INFO] [stderr] --> src/equation.rs:489:9 [INFO] [stderr] | [INFO] [stderr] 489 | use super::*; [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `Not`, `Prod`, `Sum` [INFO] [stderr] --> src/equation.rs:490:30 [INFO] [stderr] | [INFO] [stderr] 490 | use equation::{Equation, Not, Prod, Sum}; [INFO] [stderr] | ^^^ ^^^^ ^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `lexer::EqLexer` [INFO] [stderr] --> src/equation.rs:491:9 [INFO] [stderr] | [INFO] [stderr] 491 | use lexer::EqLexer; [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `super::*` [INFO] [stderr] --> src/equation.rs:511:9 [INFO] [stderr] | [INFO] [stderr] 511 | use super::*; [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `Not`, `Prod`, `Sum` [INFO] [stderr] --> src/equation.rs:512:30 [INFO] [stderr] | [INFO] [stderr] 512 | use equation::{Equation, Not, Prod, Sum}; [INFO] [stderr] | ^^^ ^^^^ ^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `lexer::EqLexer` [INFO] [stderr] --> src/equation.rs:513:9 [INFO] [stderr] | [INFO] [stderr] 513 | use lexer::EqLexer; [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `super::*` [INFO] [stderr] --> src/equation.rs:529:9 [INFO] [stderr] | [INFO] [stderr] 529 | use super::*; [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `Not`, `Prod`, `Sum` [INFO] [stderr] --> src/equation.rs:530:30 [INFO] [stderr] | [INFO] [stderr] 530 | use equation::{Equation, Not, Prod, Sum}; [INFO] [stderr] | ^^^ ^^^^ ^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `lexer::EqLexer` [INFO] [stderr] --> src/equation.rs:531:9 [INFO] [stderr] | [INFO] [stderr] 531 | use lexer::EqLexer; [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::env` [INFO] [stderr] --> src/main.rs:5:5 [INFO] [stderr] | [INFO] [stderr] 5 | use std::env; [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `Sum` [INFO] [stderr] --> src/mccluskey.rs:3:26 [INFO] [stderr] | [INFO] [stderr] 3 | use equation::{Equation, Sum, Prod, Not}; [INFO] [stderr] | ^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `Not`, `Prod` [INFO] [stderr] --> src/mccluskey.rs:194:30 [INFO] [stderr] | [INFO] [stderr] 194 | use equation::{Equation, Not, Prod, Sum}; [INFO] [stderr] | ^^^ ^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `Not`, `Prod`, `Sum` [INFO] [stderr] --> src/mccluskey.rs:241:30 [INFO] [stderr] | [INFO] [stderr] 241 | use equation::{Equation, Not, Prod, Sum}; [INFO] [stderr] | ^^^ ^^^^ ^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `Not`, `Prod`, `Sum` [INFO] [stderr] --> src/mccluskey.rs:281:30 [INFO] [stderr] | [INFO] [stderr] 281 | use equation::{Equation, Not, Prod, Sum}; [INFO] [stderr] | ^^^ ^^^^ ^^^ [INFO] [stderr] [INFO] [stderr] warning: unused imports: `Not`, `Prod`, `Sum` [INFO] [stderr] --> src/mccluskey.rs:299:30 [INFO] [stderr] | [INFO] [stderr] 299 | use equation::{Equation, Not, Prod, Sum}; [INFO] [stderr] | ^^^ ^^^^ ^^^ [INFO] [stderr] [INFO] [stderr] warning: unused variable: `new_sum` [INFO] [stderr] --> src/equation.rs:68:13 [INFO] [stderr] | [INFO] [stderr] 68 | let new_sum = match self { [INFO] [stderr] | ^^^^^^^ help: consider prefixing with an underscore: `_new_sum` [INFO] [stderr] | [INFO] [stderr] = note: #[warn(unused_variables)] on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `v` [INFO] [stderr] --> src/equation.rs:82:13 [INFO] [stderr] | [INFO] [stderr] 82 | v => vec![self], [INFO] [stderr] | ^ help: consider prefixing with an underscore: `_v` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ancient_nb_var` [INFO] [stderr] --> src/equation.rs:106:13 [INFO] [stderr] | [INFO] [stderr] 106 | let ancient_nb_var = self.get_vars().len(); [INFO] [stderr] | ^^^^^^^^^^^^^^ help: consider prefixing with an underscore: `_ancient_nb_var` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `s` [INFO] [stderr] --> src/mccluskey.rs:24:32 [INFO] [stderr] | [INFO] [stderr] 24 | &Equation::Sum(ref s) => panic!("do not give a sum to from_eq"), [INFO] [stderr] | ^ help: consider prefixing with an underscore: `_s` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `new_sum` [INFO] [stderr] --> src/equation.rs:68:13 [INFO] [stderr] | [INFO] [stderr] 68 | let new_sum = match self { [INFO] [stderr] | ^^^^^^^ help: consider prefixing with an underscore: `_new_sum` [INFO] [stderr] | [INFO] [stderr] = note: #[warn(unused_variables)] on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `v` [INFO] [stderr] --> src/equation.rs:82:13 [INFO] [stderr] | [INFO] [stderr] 82 | v => vec![self], [INFO] [stderr] | ^ help: consider prefixing with an underscore: `_v` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ancient_nb_var` [INFO] [stderr] --> src/equation.rs:106:13 [INFO] [stderr] | [INFO] [stderr] 106 | let ancient_nb_var = self.get_vars().len(); [INFO] [stderr] | ^^^^^^^^^^^^^^ help: consider prefixing with an underscore: `_ancient_nb_var` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `s` [INFO] [stderr] --> src/mccluskey.rs:24:32 [INFO] [stderr] | [INFO] [stderr] 24 | &Equation::Sum(ref s) => panic!("do not give a sum to from_eq"), [INFO] [stderr] | ^ help: consider prefixing with an underscore: `_s` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/mccluskey.rs:134:25 [INFO] [stderr] | [INFO] [stderr] 134 | pub fn mccluskey((vars, mut impls) : (Vec, Vec)) -> Vec{ [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: #[warn(unused_mut)] on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/mccluskey.rs:176:25 [INFO] [stderr] | [INFO] [stderr] 176 | pub fn mccluskey_primes(mut impls : Vec)-> Vec{ [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/mccluskey.rs:180:13 [INFO] [stderr] | [INFO] [stderr] 180 | let mut to_add = mccluskey_pass_two(sort_prime_implicants(mccluskey_pass_one(sorted_primes))); [INFO] [stderr] | ----^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: method is never used: `len_removed` [INFO] [stderr] --> src/equation.rs:50:5 [INFO] [stderr] | [INFO] [stderr] 50 | pub fn len_removed(&mut self) -> usize{ [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(dead_code)] on by default [INFO] [stderr] [INFO] [stderr] warning: method is never used: `eval` [INFO] [stderr] --> src/equation.rs:57:5 [INFO] [stderr] | [INFO] [stderr] 57 | pub fn eval(&self, vars: &HashMap) -> bool { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `inners` [INFO] [stderr] --> src/equation.rs:77:5 [INFO] [stderr] | [INFO] [stderr] 77 | pub fn inners(&self) -> Vec<&Equation> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `compare_random_values` [INFO] [stderr] --> src/equation.rs:87:5 [INFO] [stderr] | [INFO] [stderr] 87 | pub fn compare_random_values(&self, other : &Equation, tests : usize) { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `is_product` [INFO] [stderr] --> src/equation.rs:120:5 [INFO] [stderr] | [INFO] [stderr] 120 | pub fn is_product(&self) -> bool { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `get_owned_vars` [INFO] [stderr] --> src/equation.rs:175:5 [INFO] [stderr] | [INFO] [stderr] 175 | pub fn get_owned_vars(&self) -> Vec { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `get_owned_vars` [INFO] [stderr] --> src/equation.rs:250:5 [INFO] [stderr] | [INFO] [stderr] 250 | pub fn get_owned_vars(&self) -> Vec { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/equation.rs:536:13 [INFO] [stderr] | [INFO] [stderr] 536 | let mut new_eq = eq.complete_simplify(); [INFO] [stderr] | ----^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: #[warn(unused_mut)] on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/mccluskey.rs:134:25 [INFO] [stderr] | [INFO] [stderr] 134 | pub fn mccluskey((vars, mut impls) : (Vec, Vec)) -> Vec{ [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/mccluskey.rs:176:25 [INFO] [stderr] | [INFO] [stderr] 176 | pub fn mccluskey_primes(mut impls : Vec)-> Vec{ [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/mccluskey.rs:180:13 [INFO] [stderr] | [INFO] [stderr] 180 | let mut to_add = mccluskey_pass_two(sort_prime_implicants(mccluskey_pass_one(sorted_primes))); [INFO] [stderr] | ----^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: method is never used: `len_removed` [INFO] [stderr] --> src/equation.rs:50:5 [INFO] [stderr] | [INFO] [stderr] 50 | pub fn len_removed(&mut self) -> usize{ [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(dead_code)] on by default [INFO] [stderr] [INFO] [stderr] warning: method is never used: `inners` [INFO] [stderr] --> src/equation.rs:77:5 [INFO] [stderr] | [INFO] [stderr] 77 | pub fn inners(&self) -> Vec<&Equation> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `is_product` [INFO] [stderr] --> src/equation.rs:120:5 [INFO] [stderr] | [INFO] [stderr] 120 | pub fn is_product(&self) -> bool { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `get_owned_vars` [INFO] [stderr] --> src/equation.rs:175:5 [INFO] [stderr] | [INFO] [stderr] 175 | pub fn get_owned_vars(&self) -> Vec { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `get_owned_vars` [INFO] [stderr] --> src/equation.rs:250:5 [INFO] [stderr] | [INFO] [stderr] 250 | pub fn get_owned_vars(&self) -> Vec { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1.36s [INFO] running `"docker" "inspect" "72d8fe4e21428eef0b87d546561369f173b232ac1019265dcb9739364d137bcc"` [INFO] running `"docker" "rm" "-f" "72d8fe4e21428eef0b87d546561369f173b232ac1019265dcb9739364d137bcc"` [INFO] [stdout] 72d8fe4e21428eef0b87d546561369f173b232ac1019265dcb9739364d137bcc