[INFO] updating cached repository https://github.com/PBertinJohannet/exprToSop [INFO] running `"git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "-c" "remote.origin.fetch=refs/heads/*:refs/heads/*" "fetch" "origin" "--force" "--prune"` [INFO] running `"git" "rev-parse" "HEAD"` [INFO] [stdout] 5b7c37113c878ff00c4e207c2e5969ac403a381d [INFO] checking PBertinJohannet/exprToSop against master#45d050cde277b22a755847338f2acc2c7b834141 for pr-71393 [INFO] running `"git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FPBertinJohannet%2FexprToSop" "/workspace/builds/worker-11/source"` [INFO] [stderr] Cloning into '/workspace/builds/worker-11/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/PBertinJohannet/exprToSop on toolchain 45d050cde277b22a755847338f2acc2c7b834141 [INFO] running `"/workspace/cargo-home/bin/cargo" "+45d050cde277b22a755847338f2acc2c7b834141" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started tweaking git repo https://github.com/PBertinJohannet/exprToSop [INFO] finished tweaking git repo https://github.com/PBertinJohannet/exprToSop [INFO] tweaked toml for git repo https://github.com/PBertinJohannet/exprToSop written to /workspace/builds/worker-11/source/Cargo.toml [INFO] crate git repo https://github.com/PBertinJohannet/exprToSop already has a lockfile, it will not be regenerated [INFO] running `"/workspace/cargo-home/bin/cargo" "+45d050cde277b22a755847338f2acc2c7b834141" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-11/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-11/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+45d050cde277b22a755847338f2acc2c7b834141" "check" "--frozen" "--all" "--all-targets"` [INFO] [stdout] 75211199e81d329566de31f2bea63ef7b1bebde18439d6574d4cacb8dab00256 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `"docker" "start" "-a" "75211199e81d329566de31f2bea63ef7b1bebde18439d6574d4cacb8dab00256"` [INFO] [stderr] Checking libc v0.2.42 [INFO] [stderr] Checking rand v0.5.4 [INFO] [stderr] Checking booleansimplify v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] warning: `...` range patterns are deprecated [INFO] [stderr] --> src/lexer.rs:74:16 [INFO] [stderr] | [INFO] [stderr] 74 | '2'...'9' => self.identifier(), [INFO] [stderr] | ^^^ help: use `..=` for an inclusive range [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(ellipsis_inclusive_range_patterns)]` on by default [INFO] [stderr] [INFO] [stderr] warning: `...` range patterns are deprecated [INFO] [stderr] --> src/lexer.rs:75:16 [INFO] [stderr] | [INFO] [stderr] 75 | 'a'...'z' => self.identifier(), [INFO] [stderr] | ^^^ help: use `..=` for an inclusive range [INFO] [stderr] [INFO] [stderr] warning: `...` range patterns are deprecated [INFO] [stderr] --> src/lexer.rs:76:16 [INFO] [stderr] | [INFO] [stderr] 76 | 'A'...'Z' => self.identifier(), [INFO] [stderr] | ^^^ help: use `..=` for an inclusive range [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] = 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: `...` range patterns are deprecated [INFO] [stderr] --> src/lexer.rs:74:16 [INFO] [stderr] | [INFO] [stderr] 74 | '2'...'9' => self.identifier(), [INFO] [stderr] | ^^^ help: use `..=` for an inclusive range [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(ellipsis_inclusive_range_patterns)]` on by default [INFO] [stderr] [INFO] [stderr] warning: `...` range patterns are deprecated [INFO] [stderr] --> src/lexer.rs:75:16 [INFO] [stderr] | [INFO] [stderr] 75 | 'a'...'z' => self.identifier(), [INFO] [stderr] | ^^^ help: use `..=` for an inclusive range [INFO] [stderr] [INFO] [stderr] warning: `...` range patterns are deprecated [INFO] [stderr] --> src/lexer.rs:76:16 [INFO] [stderr] | [INFO] [stderr] 76 | 'A'...'Z' => self.identifier(), [INFO] [stderr] | ^^^ help: use `..=` for an inclusive range [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: if this is intentional, prefix it 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: if this is intentional, prefix it 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: if this is intentional, prefix it with an underscore: `_ancient_nb_var` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `s` [INFO] [stderr] --> src/mccluskey.rs:24:28 [INFO] [stderr] | [INFO] [stderr] 24 | &Equation::Sum(ref s) => panic!("do not give a sum to from_eq"), [INFO] [stderr] | ^^^^^ help: if this is intentional, prefix it 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: if this is intentional, prefix it 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: if this is intentional, prefix it 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: if this is intentional, prefix it with an underscore: `_ancient_nb_var` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `s` [INFO] [stderr] --> src/mccluskey.rs:24:28 [INFO] [stderr] | [INFO] [stderr] 24 | &Equation::Sum(ref s) => panic!("do not give a sum to from_eq"), [INFO] [stderr] | ^^^^^ help: if this is intentional, prefix it 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:165:24 [INFO] [stderr] | [INFO] [stderr] 165 | while let Some(mut curr) = now.pop(){ [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: `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: 20 warnings emitted [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:165:24 [INFO] [stderr] | [INFO] [stderr] 165 | while let Some(mut curr) = now.pop(){ [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] warning: 34 warnings emitted [INFO] [stderr] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 3.68s [INFO] running `"docker" "inspect" "75211199e81d329566de31f2bea63ef7b1bebde18439d6574d4cacb8dab00256"` [INFO] running `"docker" "rm" "-f" "75211199e81d329566de31f2bea63ef7b1bebde18439d6574d4cacb8dab00256"` [INFO] [stdout] 75211199e81d329566de31f2bea63ef7b1bebde18439d6574d4cacb8dab00256