[INFO] updating cached repository Dialock/Logic_Solver
[INFO] running `"git" "fetch" "--all"`
[INFO] [stdout] Fetching origin
[INFO] [stderr] From git://github.com/Dialock/Logic_Solver
[INFO] [stderr]  * branch            HEAD       -> FETCH_HEAD
[INFO] running `"git" "clone" "work/cache/sources/gh/Dialock/Logic_Solver" "work/ex/clippy-test-run/sources/stable/gh/Dialock/Logic_Solver"`
[INFO] [stderr] Cloning into 'work/ex/clippy-test-run/sources/stable/gh/Dialock/Logic_Solver'...
[INFO] [stderr] done.
[INFO] running `"git" "clone" "work/cache/sources/gh/Dialock/Logic_Solver" "work/ex/clippy-test-run/sources/stable+rustflags=-Dclippy%3A%3Ainto_iter_on_array/gh/Dialock/Logic_Solver"`
[INFO] [stderr] Cloning into 'work/ex/clippy-test-run/sources/stable+rustflags=-Dclippy%3A%3Ainto_iter_on_array/gh/Dialock/Logic_Solver'...
[INFO] [stderr] done.
[INFO] running `"git" "rev-parse" "HEAD"`
[INFO] [stdout] 3231369b0faa60a525b0f02bafa48de3334b22ec
[INFO] sha for GitHub repo Dialock/Logic_Solver: 3231369b0faa60a525b0f02bafa48de3334b22ec
[INFO] validating manifest of Dialock/Logic_Solver on toolchain stable
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+stable" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] validating manifest of Dialock/Logic_Solver on toolchain stable+rustflags=-Dclippy::into_iter_on_array
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+stable" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started frobbing Dialock/Logic_Solver
[INFO] finished frobbing Dialock/Logic_Solver
[INFO] frobbed toml for Dialock/Logic_Solver written to work/ex/clippy-test-run/sources/stable/gh/Dialock/Logic_Solver/Cargo.toml
[INFO] started frobbing Dialock/Logic_Solver
[INFO] finished frobbing Dialock/Logic_Solver
[INFO] frobbed toml for Dialock/Logic_Solver written to work/ex/clippy-test-run/sources/stable+rustflags=-Dclippy%3A%3Ainto_iter_on_array/gh/Dialock/Logic_Solver/Cargo.toml
[INFO] crate Dialock/Logic_Solver has a lockfile. skipping
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+stable" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+stable" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] linting Dialock/Logic_Solver against stable for clippy-test-run
[INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/clippy-test-run/worker-5/stable:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/clippy-test-run/sources/stable/gh/Dialock/Logic_Solver:/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" "+stable" "clippy" "--frozen" "--all" "--all-targets"`
[INFO] [stdout] 41c01cee86657775f9c9dbe0fc7f5844af15be5f4e795406288dc90066d5f594
[INFO] running `"docker" "start" "-a" "41c01cee86657775f9c9dbe0fc7f5844af15be5f4e795406288dc90066d5f594"`
[INFO] [stderr]     Checking aho-corasick v0.6.9
[INFO] [stderr]     Checking regex v1.0.5
[INFO] [stderr]     Checking logic_solver v0.1.0 (/opt/crater/workdir)
[INFO] [stderr] warning: unused import: `std::str::*`
[INFO] [stderr]  --> src/main.rs:6:5
[INFO] [stderr]   |
[INFO] [stderr] 6 | use std::str::*;
[INFO] [stderr]   |     ^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: #[warn(unused_imports)] on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unneeded return statement
[INFO] [stderr]   --> src/truth_tree.rs:87:3
[INFO] [stderr]    |
[INFO] [stderr] 87 |         return false;
[INFO] [stderr]    |         ^^^^^^^^^^^^^ help: remove `return` as shown: `false`
[INFO] [stderr]    |
[INFO] [stderr]    = note: #[warn(clippy::needless_return)] on by default
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_return
[INFO] [stderr] 
[INFO] [stderr] warning: unneeded return statement
[INFO] [stderr]   --> src/truth_tree.rs:90:3
[INFO] [stderr]    |
[INFO] [stderr] 90 |         return true;
[INFO] [stderr]    |         ^^^^^^^^^^^^ help: remove `return` as shown: `true`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_return
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `Write`, `self`
[INFO] [stderr]  --> src/val_inval.rs:1:15
[INFO] [stderr]   |
[INFO] [stderr] 1 | use std::io::{self, Write};
[INFO] [stderr]   |               ^^^^  ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `std::collections::LinkedList`
[INFO] [stderr]  --> src/val_inval.rs:2:5
[INFO] [stderr]   |
[INFO] [stderr] 2 | use std::collections::LinkedList;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: doc comment not used by rustdoc
[INFO] [stderr]   --> src/main.rs:45:3
[INFO] [stderr]    |
[INFO] [stderr] 45 |         /// Parses the user input to select solver
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: #[warn(unused_doc_comments)] on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unneeded return statement
[INFO] [stderr]    --> src/main.rs:186:2
[INFO] [stderr]     |
[INFO] [stderr] 186 |     return true;
[INFO] [stderr]     |     ^^^^^^^^^^^^ help: remove `return` as shown: `true`
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_return
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `std::str::*`
[INFO] [stderr]  --> src/main.rs:6:5
[INFO] [stderr]   |
[INFO] [stderr] 6 | use std::str::*;
[INFO] [stderr]   |     ^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: #[warn(unused_imports)] on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unneeded return statement
[INFO] [stderr]   --> src/truth_tree.rs:87:3
[INFO] [stderr]    |
[INFO] [stderr] 87 |         return false;
[INFO] [stderr]    |         ^^^^^^^^^^^^^ help: remove `return` as shown: `false`
[INFO] [stderr]    |
[INFO] [stderr]    = note: #[warn(clippy::needless_return)] on by default
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_return
[INFO] [stderr] 
[INFO] [stderr] warning: unneeded return statement
[INFO] [stderr]   --> src/truth_tree.rs:90:3
[INFO] [stderr]    |
[INFO] [stderr] 90 |         return true;
[INFO] [stderr]    |         ^^^^^^^^^^^^ help: remove `return` as shown: `true`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_return
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `Write`, `self`
[INFO] [stderr]  --> src/val_inval.rs:1:15
[INFO] [stderr]   |
[INFO] [stderr] 1 | use std::io::{self, Write};
[INFO] [stderr]   |               ^^^^  ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `std::collections::LinkedList`
[INFO] [stderr]  --> src/val_inval.rs:2:5
[INFO] [stderr]   |
[INFO] [stderr] 2 | use std::collections::LinkedList;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: doc comment not used by rustdoc
[INFO] [stderr]   --> src/main.rs:45:3
[INFO] [stderr]    |
[INFO] [stderr] 45 |         /// Parses the user input to select solver
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: #[warn(unused_doc_comments)] on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unneeded return statement
[INFO] [stderr]    --> src/main.rs:186:2
[INFO] [stderr]     |
[INFO] [stderr] 186 |     return true;
[INFO] [stderr]     |     ^^^^^^^^^^^^ help: remove `return` as shown: `true`
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_return
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `list`
[INFO] [stderr]   --> src/truth_tree.rs:20:10
[INFO] [stderr]    |
[INFO] [stderr] 20 |     let mut list: LinkedList<String> = LinkedList::new();
[INFO] [stderr]    |             ^^^^ help: consider using `_list` instead
[INFO] [stderr]    |
[INFO] [stderr]    = note: #[warn(unused_variables)] on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `s`
[INFO] [stderr]  --> src/truth_table_single.rs:2:31
[INFO] [stderr]   |
[INFO] [stderr] 2 | pub fn run_truth_table_single(s: &str) {
[INFO] [stderr]   |                               ^ help: consider using `_s` instead
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `list`
[INFO] [stderr]   --> src/main.rs:86:10
[INFO] [stderr]    |
[INFO] [stderr] 86 |     let mut list: LinkedList<String> = LinkedList::new();
[INFO] [stderr]    |             ^^^^ help: consider using `_list` instead
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]   --> src/main.rs:86:6
[INFO] [stderr]    |
[INFO] [stderr] 86 |     let mut list: LinkedList<String> = LinkedList::new();
[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/truth_tree.rs:20:6
[INFO] [stderr]    |
[INFO] [stderr] 20 |     let mut list: LinkedList<String> = LinkedList::new();
[INFO] [stderr]    |         ----^^^^
[INFO] [stderr]    |         |
[INFO] [stderr]    |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `run_tree`
[INFO] [stderr]  --> src/truth_tree.rs:5:1
[INFO] [stderr]   |
[INFO] [stderr] 5 | pub fn run_tree() {
[INFO] [stderr]   | ^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: #[warn(dead_code)] on by default
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `check_string`
[INFO] [stderr]   --> src/truth_tree.rs:68:1
[INFO] [stderr]    |
[INFO] [stderr] 68 | fn check_string(s: &str) -> bool {
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `isolate_string`
[INFO] [stderr]   --> src/truth_tree.rs:96:1
[INFO] [stderr]    |
[INFO] [stderr] 96 | fn isolate_string(s: &str) {
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `evalute_argument`
[INFO] [stderr]    --> src/truth_tree.rs:100:1
[INFO] [stderr]     |
[INFO] [stderr] 100 | fn evalute_argument(s: &str) {
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `run_val_inval`
[INFO] [stderr]  --> src/val_inval.rs:4:1
[INFO] [stderr]   |
[INFO] [stderr] 4 | pub fn run_val_inval() {
[INFO] [stderr]   | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `run_true_multi`
[INFO] [stderr]  --> src/truth_table_multi.rs:2:1
[INFO] [stderr]   |
[INFO] [stderr] 2 | pub fn run_true_multi() {
[INFO] [stderr]   | ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: length comparison to zero
[INFO] [stderr]   --> src/truth_tree.rs:76:7
[INFO] [stderr]    |
[INFO] [stderr] 76 |             if list.len() == 0 {
[INFO] [stderr]    |                ^^^^^^^^^^^^^^^ help: using `is_empty` is clearer and more explicit: `list.is_empty()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: #[warn(clippy::len_zero)] on by default
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#len_zero
[INFO] [stderr] 
[INFO] [stderr] warning: length comparison to zero
[INFO] [stderr]   --> src/truth_tree.rs:85:5
[INFO] [stderr]    |
[INFO] [stderr] 85 |     if list.len() > 0 {
[INFO] [stderr]    |        ^^^^^^^^^^^^^^ help: using `is_empty` is clearer and more explicit: `!list.is_empty()`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#len_zero
[INFO] [stderr] 
[INFO] [stderr] error: this `if` has identical blocks
[INFO] [stderr]    --> src/main.rs:132:20
[INFO] [stderr]     |
[INFO] [stderr] 132 |                 else if x == 2 {  }
[INFO] [stderr]     |                                ^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: #[deny(clippy::if_same_then_else)] on by default
[INFO] [stderr] note: same as this
[INFO] [stderr]    --> src/main.rs:131:15
[INFO] [stderr]     |
[INFO] [stderr] 131 |                 if x == 1 {  }
[INFO] [stderr]     |                           ^^^^
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#if_same_then_else
[INFO] [stderr] 
[INFO] [stderr] warning: length comparison to zero
[INFO] [stderr]    --> src/main.rs:160:7
[INFO] [stderr]     |
[INFO] [stderr] 160 |             if para_check.len() == 0 {
[INFO] [stderr]     |                ^^^^^^^^^^^^^^^^^^^^^ help: using `is_empty` is clearer and more explicit: `para_check.is_empty()`
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#len_zero
[INFO] [stderr] 
[INFO] [stderr] warning: length comparison to zero
[INFO] [stderr]    --> src/main.rs:169:5
[INFO] [stderr]     |
[INFO] [stderr] 169 |     if para_check.len() > 0 {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^ help: using `is_empty` is clearer and more explicit: `!para_check.is_empty()`
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#len_zero
[INFO] [stderr] 
[INFO] [stderr] error: aborting due to previous error
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `list`
[INFO] [stderr]   --> src/truth_tree.rs:20:10
[INFO] [stderr]    |
[INFO] [stderr] 20 |     let mut list: LinkedList<String> = LinkedList::new();
[INFO] [stderr]    |             ^^^^ help: consider using `_list` instead
[INFO] [stderr]    |
[INFO] [stderr]    = note: #[warn(unused_variables)] on by default
[INFO] [stderr] 
[INFO] [stderr] error: Could not compile `logic_solver`.
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] warning: unused variable: `s`
[INFO] [stderr]  --> src/truth_table_single.rs:2:31
[INFO] [stderr]   |
[INFO] [stderr] 2 | pub fn run_truth_table_single(s: &str) {
[INFO] [stderr]   |                               ^ help: consider using `_s` instead
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `list`
[INFO] [stderr]   --> src/main.rs:86:10
[INFO] [stderr]    |
[INFO] [stderr] 86 |     let mut list: LinkedList<String> = LinkedList::new();
[INFO] [stderr]    |             ^^^^ help: consider using `_list` instead
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]   --> src/main.rs:86:6
[INFO] [stderr]    |
[INFO] [stderr] 86 |     let mut list: LinkedList<String> = LinkedList::new();
[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/truth_tree.rs:20:6
[INFO] [stderr]    |
[INFO] [stderr] 20 |     let mut list: LinkedList<String> = LinkedList::new();
[INFO] [stderr]    |         ----^^^^
[INFO] [stderr]    |         |
[INFO] [stderr]    |         help: remove this `mut`
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `run_tree`
[INFO] [stderr]  --> src/truth_tree.rs:5:1
[INFO] [stderr]   |
[INFO] [stderr] 5 | pub fn run_tree() {
[INFO] [stderr]   | ^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: #[warn(dead_code)] on by default
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `check_string`
[INFO] [stderr]   --> src/truth_tree.rs:68:1
[INFO] [stderr]    |
[INFO] [stderr] 68 | fn check_string(s: &str) -> bool {
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `isolate_string`
[INFO] [stderr]   --> src/truth_tree.rs:96:1
[INFO] [stderr]    |
[INFO] [stderr] 96 | fn isolate_string(s: &str) {
[INFO] [stderr]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `evalute_argument`
[INFO] [stderr]    --> src/truth_tree.rs:100:1
[INFO] [stderr]     |
[INFO] [stderr] 100 | fn evalute_argument(s: &str) {
[INFO] [stderr]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `run_val_inval`
[INFO] [stderr]  --> src/val_inval.rs:4:1
[INFO] [stderr]   |
[INFO] [stderr] 4 | pub fn run_val_inval() {
[INFO] [stderr]   | ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function is never used: `run_true_multi`
[INFO] [stderr]  --> src/truth_table_multi.rs:2:1
[INFO] [stderr]   |
[INFO] [stderr] 2 | pub fn run_true_multi() {
[INFO] [stderr]   | ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: length comparison to zero
[INFO] [stderr]   --> src/truth_tree.rs:76:7
[INFO] [stderr]    |
[INFO] [stderr] 76 |             if list.len() == 0 {
[INFO] [stderr]    |                ^^^^^^^^^^^^^^^ help: using `is_empty` is clearer and more explicit: `list.is_empty()`
[INFO] [stderr]    |
[INFO] [stderr]    = note: #[warn(clippy::len_zero)] on by default
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#len_zero
[INFO] [stderr] 
[INFO] [stderr] warning: length comparison to zero
[INFO] [stderr]   --> src/truth_tree.rs:85:5
[INFO] [stderr]    |
[INFO] [stderr] 85 |     if list.len() > 0 {
[INFO] [stderr]    |        ^^^^^^^^^^^^^^ help: using `is_empty` is clearer and more explicit: `!list.is_empty()`
[INFO] [stderr]    |
[INFO] [stderr]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#len_zero
[INFO] [stderr] 
[INFO] [stderr] error: this `if` has identical blocks
[INFO] [stderr]    --> src/main.rs:132:20
[INFO] [stderr]     |
[INFO] [stderr] 132 |                 else if x == 2 {  }
[INFO] [stderr]     |                                ^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: #[deny(clippy::if_same_then_else)] on by default
[INFO] [stderr] note: same as this
[INFO] [stderr]    --> src/main.rs:131:15
[INFO] [stderr]     |
[INFO] [stderr] 131 |                 if x == 1 {  }
[INFO] [stderr]     |                           ^^^^
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#if_same_then_else
[INFO] [stderr] 
[INFO] [stderr] warning: length comparison to zero
[INFO] [stderr]    --> src/main.rs:160:7
[INFO] [stderr]     |
[INFO] [stderr] 160 |             if para_check.len() == 0 {
[INFO] [stderr]     |                ^^^^^^^^^^^^^^^^^^^^^ help: using `is_empty` is clearer and more explicit: `para_check.is_empty()`
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#len_zero
[INFO] [stderr] 
[INFO] [stderr] warning: length comparison to zero
[INFO] [stderr]    --> src/main.rs:169:5
[INFO] [stderr]     |
[INFO] [stderr] 169 |     if para_check.len() > 0 {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^ help: using `is_empty` is clearer and more explicit: `!para_check.is_empty()`
[INFO] [stderr]     |
[INFO] [stderr]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#len_zero
[INFO] [stderr] 
[INFO] [stderr] error: aborting due to previous error
[INFO] [stderr] 
[INFO] [stderr] error: Could not compile `logic_solver`.
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] running `"docker" "inspect" "41c01cee86657775f9c9dbe0fc7f5844af15be5f4e795406288dc90066d5f594"`
[INFO] running `"docker" "rm" "-f" "41c01cee86657775f9c9dbe0fc7f5844af15be5f4e795406288dc90066d5f594"`
[INFO] [stdout] 41c01cee86657775f9c9dbe0fc7f5844af15be5f4e795406288dc90066d5f594