[INFO] updating cached repository https://github.com/PBertinJohannet/exprToSop [INFO] running `Command { std: "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", kill_on_drop: false }` [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 5b7c37113c878ff00c4e207c2e5969ac403a381d [INFO] testing PBertinJohannet/exprToSop against master#8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e for pr-74409 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FPBertinJohannet%2FexprToSop" "/workspace/builds/worker-3/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/PBertinJohannet/exprToSop on toolchain 8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [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-3/source/Cargo.toml [INFO] crate git repo https://github.com/PBertinJohannet/exprToSop already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/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_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env@sha256:d9fbb4e2287ab3795bdefaf705efb7541a8875c13bce71e067d6b01dc5ed759b" "/opt/rustwide/cargo-home/bin/cargo" "+8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 572965e9d78e30e24df10e611b04c20a11a081821ffae8178de32204f2f0dbca [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "572965e9d78e30e24df10e611b04c20a11a081821ffae8178de32204f2f0dbca", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "572965e9d78e30e24df10e611b04c20a11a081821ffae8178de32204f2f0dbca", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "572965e9d78e30e24df10e611b04c20a11a081821ffae8178de32204f2f0dbca", kill_on_drop: false }` [INFO] [stdout] 572965e9d78e30e24df10e611b04c20a11a081821ffae8178de32204f2f0dbca [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/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@sha256:d9fbb4e2287ab3795bdefaf705efb7541a8875c13bce71e067d6b01dc5ed759b" "/opt/rustwide/cargo-home/bin/cargo" "+8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 4cb7d051a0bbf148eea5f0aefbc2706985af15a56058528ed4243ec1a3aa2feb [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "4cb7d051a0bbf148eea5f0aefbc2706985af15a56058528ed4243ec1a3aa2feb", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.42 [INFO] [stderr] Compiling rand v0.5.4 [INFO] [stderr] Compiling booleansimplify v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: `...` range patterns are deprecated [INFO] [stdout] --> src/lexer.rs:74:16 [INFO] [stdout] | [INFO] [stdout] 74 | '2'...'9' => self.identifier(), [INFO] [stdout] | ^^^ help: use `..=` for an inclusive range [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(ellipsis_inclusive_range_patterns)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `...` range patterns are deprecated [INFO] [stdout] --> src/lexer.rs:75:16 [INFO] [stdout] | [INFO] [stdout] 75 | 'a'...'z' => self.identifier(), [INFO] [stdout] | ^^^ help: use `..=` for an inclusive range [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `...` range patterns are deprecated [INFO] [stdout] --> src/lexer.rs:76:16 [INFO] [stdout] | [INFO] [stdout] 76 | 'A'...'Z' => self.identifier(), [INFO] [stdout] | ^^^ help: use `..=` for an inclusive range [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::env` [INFO] [stdout] --> src/main.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use std::env; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Sum` [INFO] [stdout] --> src/mccluskey.rs:3:26 [INFO] [stdout] | [INFO] [stdout] 3 | use equation::{Equation, Sum, Prod, Not}; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `new_sum` [INFO] [stdout] --> src/equation.rs:68:13 [INFO] [stdout] | [INFO] [stdout] 68 | let new_sum = match self { [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_new_sum` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `v` [INFO] [stdout] --> src/equation.rs:82:13 [INFO] [stdout] | [INFO] [stdout] 82 | v => vec![self], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ancient_nb_var` [INFO] [stdout] --> src/equation.rs:106:13 [INFO] [stdout] | [INFO] [stdout] 106 | let ancient_nb_var = self.get_vars().len(); [INFO] [stdout] | ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_ancient_nb_var` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `s` [INFO] [stdout] --> src/mccluskey.rs:24:28 [INFO] [stdout] | [INFO] [stdout] 24 | &Equation::Sum(ref s) => panic!("do not give a sum to from_eq"), [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/mccluskey.rs:134:25 [INFO] [stdout] | [INFO] [stdout] 134 | pub fn mccluskey((vars, mut impls) : (Vec, Vec)) -> Vec{ [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/mccluskey.rs:165:24 [INFO] [stdout] | [INFO] [stdout] 165 | while let Some(mut curr) = now.pop(){ [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/mccluskey.rs:176:25 [INFO] [stdout] | [INFO] [stdout] 176 | pub fn mccluskey_primes(mut impls : Vec)-> Vec{ [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/mccluskey.rs:180:13 [INFO] [stdout] | [INFO] [stdout] 180 | let mut to_add = mccluskey_pass_two(sort_prime_implicants(mccluskey_pass_one(sorted_primes))); [INFO] [stdout] | ----^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `len_removed` [INFO] [stdout] --> src/equation.rs:50:12 [INFO] [stdout] | [INFO] [stdout] 50 | pub fn len_removed(&mut self) -> usize{ [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `eval` [INFO] [stdout] --> src/equation.rs:57:12 [INFO] [stdout] | [INFO] [stdout] 57 | pub fn eval(&self, vars: &HashMap) -> bool { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `inners` [INFO] [stdout] --> src/equation.rs:77:12 [INFO] [stdout] | [INFO] [stdout] 77 | pub fn inners(&self) -> Vec<&Equation> { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `compare_random_values` [INFO] [stdout] --> src/equation.rs:87:12 [INFO] [stdout] | [INFO] [stdout] 87 | pub fn compare_random_values(&self, other : &Equation, tests : usize) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_product` [INFO] [stdout] --> src/equation.rs:120:12 [INFO] [stdout] | [INFO] [stdout] 120 | pub fn is_product(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `get_owned_vars` [INFO] [stdout] --> src/equation.rs:175:12 [INFO] [stdout] | [INFO] [stdout] 175 | pub fn get_owned_vars(&self) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `get_owned_vars` [INFO] [stdout] --> src/equation.rs:250:12 [INFO] [stdout] | [INFO] [stdout] 250 | pub fn get_owned_vars(&self) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 20 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 4.37s [INFO] running `Command { std: "docker" "inspect" "4cb7d051a0bbf148eea5f0aefbc2706985af15a56058528ed4243ec1a3aa2feb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4cb7d051a0bbf148eea5f0aefbc2706985af15a56058528ed4243ec1a3aa2feb", kill_on_drop: false }` [INFO] [stdout] 4cb7d051a0bbf148eea5f0aefbc2706985af15a56058528ed4243ec1a3aa2feb [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/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@sha256:d9fbb4e2287ab3795bdefaf705efb7541a8875c13bce71e067d6b01dc5ed759b" "/opt/rustwide/cargo-home/bin/cargo" "+8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 750a014a55eecbc829d6c2975150459ca6a8ccf1e6a0210c8ba814530dab0d60 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "750a014a55eecbc829d6c2975150459ca6a8ccf1e6a0210c8ba814530dab0d60", kill_on_drop: false }` [INFO] [stderr] Compiling booleansimplify v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused imports: `Not`, `Prod`, `Sum` [INFO] [stdout] --> src/equation.rs:434:30 [INFO] [stdout] | [INFO] [stdout] 434 | use equation::{Equation, Not, Prod, Sum}; [INFO] [stdout] | ^^^ ^^^^ ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `lexer::EqLexer` [INFO] [stdout] --> src/equation.rs:435:9 [INFO] [stdout] | [INFO] [stdout] 435 | use lexer::EqLexer; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `super::*` [INFO] [stdout] --> src/equation.rs:489:9 [INFO] [stdout] | [INFO] [stdout] 489 | use super::*; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Not`, `Prod`, `Sum` [INFO] [stdout] --> src/equation.rs:490:30 [INFO] [stdout] | [INFO] [stdout] 490 | use equation::{Equation, Not, Prod, Sum}; [INFO] [stdout] | ^^^ ^^^^ ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `lexer::EqLexer` [INFO] [stdout] --> src/equation.rs:491:9 [INFO] [stdout] | [INFO] [stdout] 491 | use lexer::EqLexer; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `super::*` [INFO] [stdout] --> src/equation.rs:511:9 [INFO] [stdout] | [INFO] [stdout] 511 | use super::*; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Not`, `Prod`, `Sum` [INFO] [stdout] --> src/equation.rs:512:30 [INFO] [stdout] | [INFO] [stdout] 512 | use equation::{Equation, Not, Prod, Sum}; [INFO] [stdout] | ^^^ ^^^^ ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `lexer::EqLexer` [INFO] [stdout] --> src/equation.rs:513:9 [INFO] [stdout] | [INFO] [stdout] 513 | use lexer::EqLexer; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `super::*` [INFO] [stdout] --> src/equation.rs:529:9 [INFO] [stdout] | [INFO] [stdout] 529 | use super::*; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Not`, `Prod`, `Sum` [INFO] [stdout] --> src/equation.rs:530:30 [INFO] [stdout] | [INFO] [stdout] 530 | use equation::{Equation, Not, Prod, Sum}; [INFO] [stdout] | ^^^ ^^^^ ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `lexer::EqLexer` [INFO] [stdout] --> src/equation.rs:531:9 [INFO] [stdout] | [INFO] [stdout] 531 | use lexer::EqLexer; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `...` range patterns are deprecated [INFO] [stdout] --> src/lexer.rs:74:16 [INFO] [stdout] | [INFO] [stdout] 74 | '2'...'9' => self.identifier(), [INFO] [stdout] | ^^^ help: use `..=` for an inclusive range [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(ellipsis_inclusive_range_patterns)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `...` range patterns are deprecated [INFO] [stdout] --> src/lexer.rs:75:16 [INFO] [stdout] | [INFO] [stdout] 75 | 'a'...'z' => self.identifier(), [INFO] [stdout] | ^^^ help: use `..=` for an inclusive range [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: `...` range patterns are deprecated [INFO] [stdout] --> src/lexer.rs:76:16 [INFO] [stdout] | [INFO] [stdout] 76 | 'A'...'Z' => self.identifier(), [INFO] [stdout] | ^^^ help: use `..=` for an inclusive range [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::env` [INFO] [stdout] --> src/main.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use std::env; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Sum` [INFO] [stdout] --> src/mccluskey.rs:3:26 [INFO] [stdout] | [INFO] [stdout] 3 | use equation::{Equation, Sum, Prod, Not}; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Not`, `Prod` [INFO] [stdout] --> src/mccluskey.rs:194:30 [INFO] [stdout] | [INFO] [stdout] 194 | use equation::{Equation, Not, Prod, Sum}; [INFO] [stdout] | ^^^ ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Not`, `Prod`, `Sum` [INFO] [stdout] --> src/mccluskey.rs:241:30 [INFO] [stdout] | [INFO] [stdout] 241 | use equation::{Equation, Not, Prod, Sum}; [INFO] [stdout] | ^^^ ^^^^ ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Not`, `Prod`, `Sum` [INFO] [stdout] --> src/mccluskey.rs:281:30 [INFO] [stdout] | [INFO] [stdout] 281 | use equation::{Equation, Not, Prod, Sum}; [INFO] [stdout] | ^^^ ^^^^ ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Not`, `Prod`, `Sum` [INFO] [stdout] --> src/mccluskey.rs:299:30 [INFO] [stdout] | [INFO] [stdout] 299 | use equation::{Equation, Not, Prod, Sum}; [INFO] [stdout] | ^^^ ^^^^ ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `new_sum` [INFO] [stdout] --> src/equation.rs:68:13 [INFO] [stdout] | [INFO] [stdout] 68 | let new_sum = match self { [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_new_sum` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `v` [INFO] [stdout] --> src/equation.rs:82:13 [INFO] [stdout] | [INFO] [stdout] 82 | v => vec![self], [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ancient_nb_var` [INFO] [stdout] --> src/equation.rs:106:13 [INFO] [stdout] | [INFO] [stdout] 106 | let ancient_nb_var = self.get_vars().len(); [INFO] [stdout] | ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_ancient_nb_var` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `s` [INFO] [stdout] --> src/mccluskey.rs:24:28 [INFO] [stdout] | [INFO] [stdout] 24 | &Equation::Sum(ref s) => panic!("do not give a sum to from_eq"), [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/equation.rs:536:13 [INFO] [stdout] | [INFO] [stdout] 536 | let mut new_eq = eq.complete_simplify(); [INFO] [stdout] | ----^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/mccluskey.rs:134:25 [INFO] [stdout] | [INFO] [stdout] 134 | pub fn mccluskey((vars, mut impls) : (Vec, Vec)) -> Vec{ [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/mccluskey.rs:165:24 [INFO] [stdout] | [INFO] [stdout] 165 | while let Some(mut curr) = now.pop(){ [INFO] [stdout] | ----^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/mccluskey.rs:176:25 [INFO] [stdout] | [INFO] [stdout] 176 | pub fn mccluskey_primes(mut impls : Vec)-> Vec{ [INFO] [stdout] | ----^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/mccluskey.rs:180:13 [INFO] [stdout] | [INFO] [stdout] 180 | let mut to_add = mccluskey_pass_two(sort_prime_implicants(mccluskey_pass_one(sorted_primes))); [INFO] [stdout] | ----^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `len_removed` [INFO] [stdout] --> src/equation.rs:50:12 [INFO] [stdout] | [INFO] [stdout] 50 | pub fn len_removed(&mut self) -> usize{ [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `inners` [INFO] [stdout] --> src/equation.rs:77:12 [INFO] [stdout] | [INFO] [stdout] 77 | pub fn inners(&self) -> Vec<&Equation> { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `is_product` [INFO] [stdout] --> src/equation.rs:120:12 [INFO] [stdout] | [INFO] [stdout] 120 | pub fn is_product(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `get_owned_vars` [INFO] [stdout] --> src/equation.rs:175:12 [INFO] [stdout] | [INFO] [stdout] 175 | pub fn get_owned_vars(&self) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `get_owned_vars` [INFO] [stdout] --> src/equation.rs:250:12 [INFO] [stdout] | [INFO] [stdout] 250 | pub fn get_owned_vars(&self) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 34 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 2.24s [INFO] running `Command { std: "docker" "inspect" "750a014a55eecbc829d6c2975150459ca6a8ccf1e6a0210c8ba814530dab0d60", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "750a014a55eecbc829d6c2975150459ca6a8ccf1e6a0210c8ba814530dab0d60", kill_on_drop: false }` [INFO] [stdout] 750a014a55eecbc829d6c2975150459ca6a8ccf1e6a0210c8ba814530dab0d60 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3/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@sha256:d9fbb4e2287ab3795bdefaf705efb7541a8875c13bce71e067d6b01dc5ed759b" "/opt/rustwide/cargo-home/bin/cargo" "+8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e" "test" "--frozen", kill_on_drop: false }` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 6e4c93ad16a3c0107588bb9292b7377d08daa68aea448abac15ec6f67e6e6bd5 [INFO] running `Command { std: "docker" "start" "-a" "6e4c93ad16a3c0107588bb9292b7377d08daa68aea448abac15ec6f67e6e6bd5", kill_on_drop: false }` [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: 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: associated function is never used: `len_removed` [INFO] [stderr] --> src/equation.rs:50:12 [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: associated function is never used: `inners` [INFO] [stderr] --> src/equation.rs:77:12 [INFO] [stderr] | [INFO] [stderr] 77 | pub fn inners(&self) -> Vec<&Equation> { [INFO] [stderr] | ^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: associated function is never used: `is_product` [INFO] [stderr] --> src/equation.rs:120:12 [INFO] [stderr] | [INFO] [stderr] 120 | pub fn is_product(&self) -> bool { [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: associated function is never used: `get_owned_vars` [INFO] [stderr] --> src/equation.rs:175:12 [INFO] [stderr] | [INFO] [stderr] 175 | pub fn get_owned_vars(&self) -> Vec { [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: associated function is never used: `get_owned_vars` [INFO] [stderr] --> src/equation.rs:250:12 [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 test [unoptimized + debuginfo] target(s) in 0.02s [INFO] [stderr] Running /opt/rustwide/target/debug/deps/booleansimplify-4f01c06511946438 [INFO] [stdout] [INFO] [stdout] running 27 tests [INFO] [stdout] test equation::tests_depth::test_more ... ok [INFO] [stdout] test equation::tests_eval::test_basics ... ok [INFO] [stdout] test equation::tests_get_var::test_basics ... ok [INFO] [stdout] test equation::tests_simplify::test_keep_same ... ok [INFO] [stdout] test equation::tests_get_var::test_more ... ok [INFO] [stdout] test equation::tests_simplify::test_remove_par ... ok [INFO] [stdout] test mccluskey::tests_from_eq::test_from_var ... ok [INFO] [stdout] test mccluskey::tests_from_eq::test_from_not ... ok [INFO] [stdout] test equation::tests_eval::test_more ... ok [INFO] [stdout] test equation::tests_simplify::test_not_not ... ok [INFO] [stdout] test equation::tests_simplify::test_not_sum ... ok [INFO] [stdout] test equation::tests_depth::test_basics ... ok [INFO] [stdout] test equation::tests_simplify::test_simplify_sum ... ok [INFO] [stdout] test lexer::tests_lexer::test_basics ... ok [INFO] [stdout] test equation::tests_simplify::test_not_prod ... ok [INFO] [stdout] test parser::tests_parser::test_basics ... ok [INFO] [stdout] test mccluskey::tests_from_eq::test_from_multi ... ok [INFO] [stdout] test mccluskey::tests_mccluskey_primes::test_complete ... ok [INFO] [stdout] test equation::tests_simplify::test_factorise ... ok [INFO] [stdout] test mccluskey::tests_mccluskey_primes::test_just_one ... ok [INFO] [stdout] test mccluskey::tests_from_eq::test_from_prod ... ok [INFO] [stdout] test mccluskey::tests_mccluskey_primes::test_yes_and_not ... ok [INFO] [stdout] test mccluskey::tests_merging::test_merge ... ok [INFO] [stdout] test mccluskey::tests_merging::test_can_merge ... ok [INFO] [stdout] test equation::tests_simplify::test_flatten_prod ... ok [INFO] [stdout] test mccluskey::tests_to_eq::test_complete ... ok [INFO] [stdout] test equation::tests_simplify::combined_tests ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 27 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "6e4c93ad16a3c0107588bb9292b7377d08daa68aea448abac15ec6f67e6e6bd5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6e4c93ad16a3c0107588bb9292b7377d08daa68aea448abac15ec6f67e6e6bd5", kill_on_drop: false }` [INFO] [stdout] 6e4c93ad16a3c0107588bb9292b7377d08daa68aea448abac15ec6f67e6e6bd5