[INFO] cloning repository https://github.com/st-vi/parserTest
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/st-vi/parserTest" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fst-vi%2FparserTest", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fst-vi%2FparserTest'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 1d27fff396464be5f1fa209e280634f5ca253431
[INFO] checking st-vi/parserTest against try#804fff1ae95da9d03bd44eee27f258020a575dab for pr-146013
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fst-vi%2FparserTest" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/st-vi/parserTest
[INFO] finished tweaking git repo https://github.com/st-vi/parserTest
[INFO] tweaked toml for git repo https://github.com/st-vi/parserTest written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/st-vi/parserTest on toolchain 804fff1ae95da9d03bd44eee27f258020a575dab
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+804fff1ae95da9d03bd44eee27f258020a575dab" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/st-vi/parserTest already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+804fff1ae95da9d03bd44eee27f258020a575dab" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/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" "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" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+804fff1ae95da9d03bd44eee27f258020a575dab" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 84b0e9a966ca8b6f7c3f980089436c453466c789cb1c8260c03be195adf79cb4
[INFO] running `Command { std: "docker" "start" "-a" "84b0e9a966ca8b6f7c3f980089436c453466c789cb1c8260c03be195adf79cb4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "84b0e9a966ca8b6f7c3f980089436c453466c789cb1c8260c03be195adf79cb4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "84b0e9a966ca8b6f7c3f980089436c453466c789cb1c8260c03be195adf79cb4", kill_on_drop: false }`
[INFO] [stdout] 84b0e9a966ca8b6f7c3f980089436c453466c789cb1c8260c03be195adf79cb4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/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" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+804fff1ae95da9d03bd44eee27f258020a575dab" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 3d529c12634abb9e400f38ceb88473f35708776410a69b75898ab1a85dcf862c
[INFO] running `Command { std: "docker" "start" "-a" "3d529c12634abb9e400f38ceb88473f35708776410a69b75898ab1a85dcf862c", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.86
[INFO] [stderr]    Compiling unicode-ident v1.0.12
[INFO] [stderr]    Compiling thiserror v1.0.63
[INFO] [stderr]    Compiling libc v0.2.158
[INFO] [stderr]     Checking byteorder v1.5.0
[INFO] [stderr]    Compiling memchr v2.7.4
[INFO] [stderr]    Compiling ucd-trie v0.1.6
[INFO] [stderr]    Compiling once_cell v1.19.0
[INFO] [stderr]     Checking bimap v0.6.3
[INFO] [stderr]    Compiling quote v1.0.37
[INFO] [stderr]    Compiling syn v2.0.77
[INFO] [stderr]     Checking getrandom v0.2.15
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]    Compiling thiserror-impl v1.0.63
[INFO] [stderr]    Compiling zerocopy-derive v0.7.35
[INFO] [stderr]     Checking zerocopy v0.7.35
[INFO] [stderr]    Compiling pest v2.7.11
[INFO] [stderr]     Checking ppv-lite86 v0.2.20
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]    Compiling pest_meta v2.7.11
[INFO] [stderr]    Compiling pest_generator v2.7.11
[INFO] [stderr]    Compiling pest_derive v2.7.11
[INFO] [stderr]     Checking parserTest v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused imports: `Display`, `Formatter`, and `Write`
[INFO] [stdout]  --> src/main.rs:2:16
[INFO] [stdout]   |
[INFO] [stdout] 2 | use std::fmt::{Write, Display, Formatter};
[INFO] [stdout]   |                ^^^^^  ^^^^^^^  ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `pest::Parser`
[INFO] [stdout]  --> src/main.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pest::Parser;
[INFO] [stdout]   |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashSet`
[INFO] [stdout]  --> src/parsing/equation_ds.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::collections::HashSet;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `eq` should have an upper camel case name
[INFO] [stdout]   --> src/parsing/equation_ds.rs:81:5
[INFO] [stdout]    |
[INFO] [stdout] 81 |     eq,
[INFO] [stdout]    |     ^^ help: convert the identifier to upper camel case: `Eq`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_camel_case_types)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `ge` should have an upper camel case name
[INFO] [stdout]   --> src/parsing/equation_ds.rs:82:5
[INFO] [stdout]    |
[INFO] [stdout] 82 |     ge,
[INFO] [stdout]    |     ^^ help: convert the identifier to upper camel case: `Ge`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `le` should have an upper camel case name
[INFO] [stdout]   --> src/parsing/equation_ds.rs:83:5
[INFO] [stdout]    |
[INFO] [stdout] 83 |     le
[INFO] [stdout]    |     ^^ help: convert the identifier to upper camel case: `Le`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `parsing` and `solving`
[INFO] [stdout]  --> src/solving/solver.rs:3:13
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::{parsing, solving};
[INFO] [stdout]   |             ^^^^^^^  ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Equation` and `File`
[INFO] [stdout]  --> src/solving/solver.rs:4:35
[INFO] [stdout]   |
[INFO] [stdout] 4 | use crate::parsing::equation_ds::{Equation, File};
[INFO] [stdout]   |                                   ^^^^^^^^  ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Clause` and `new`
[INFO] [stdout]  --> src/solving/solver.rs:5:29
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::solving::pb_ds::{new, Clause, Literal, PBFormula};
[INFO] [stdout]   |                             ^^^  ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around `if` condition
[INFO] [stdout]   --> src/solving/solver.rs:15:15
[INFO] [stdout]    |
[INFO] [stdout] 15 |             if(formula.clauses.len() == 0){
[INFO] [stdout]    |               ^                          ^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]    |
[INFO] [stdout] 15 -             if(formula.clauses.len() == 0){
[INFO] [stdout] 15 +             if formula.clauses.len() == 0 {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around `if` condition
[INFO] [stdout]   --> src/solving/solver.rs:27:19
[INFO] [stdout]    |
[INFO] [stdout] 27 |                 if(end_progress - start_progress >= 1){
[INFO] [stdout]    |                   ^                                  ^
[INFO] [stdout]    |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]    |
[INFO] [stdout] 27 -                 if(end_progress - start_progress >= 1){
[INFO] [stdout] 27 +                 if end_progress - start_progress >= 1 {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around `if` condition
[INFO] [stdout]    --> src/solving/solver.rs:142:15
[INFO] [stdout]     |
[INFO] [stdout] 142 |             if(formula.clauses.len() == 0){
[INFO] [stdout]     |               ^                          ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 142 -             if(formula.clauses.len() == 0){
[INFO] [stdout] 142 +             if formula.clauses.len() == 0 {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around `if` condition
[INFO] [stdout]    --> src/solving/solver.rs:157:19
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 if(end_progress - start_progress >= 1){
[INFO] [stdout]     |                   ^                                  ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 157 -                 if(end_progress - start_progress >= 1){
[INFO] [stdout] 157 +                 if end_progress - start_progress >= 1 {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around `for` iterator expression
[INFO] [stdout]   --> src/generating/generator.rs:13:14
[INFO] [stdout]    |
[INFO] [stdout] 13 |     for i in (1..=number_equations) {
[INFO] [stdout]    |              ^                    ^
[INFO] [stdout]    |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]    |
[INFO] [stdout] 13 -     for i in (1..=number_equations) {
[INFO] [stdout] 13 +     for i in 1..=number_equations {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around `for` iterator expression
[INFO] [stdout]   --> src/generating/generator.rs:29:14
[INFO] [stdout]    |
[INFO] [stdout] 29 |     for i in (1..=size_equation){
[INFO] [stdout]    |              ^                 ^
[INFO] [stdout]    |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]    |
[INFO] [stdout] 29 -     for i in (1..=size_equation){
[INFO] [stdout] 29 +     for i in 1..=size_equation {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Display`, `Formatter`, and `Write`
[INFO] [stdout]  --> src/main.rs:2:16
[INFO] [stdout]   |
[INFO] [stdout] 2 | use std::fmt::{Write, Display, Formatter};
[INFO] [stdout]   |                ^^^^^  ^^^^^^^  ^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `pest::Parser`
[INFO] [stdout]  --> src/main.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pest::Parser;
[INFO] [stdout]   |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::collections::HashSet`
[INFO] [stdout]  --> src/parsing/equation_ds.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::collections::HashSet;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `eq` should have an upper camel case name
[INFO] [stdout]   --> src/parsing/equation_ds.rs:81:5
[INFO] [stdout]    |
[INFO] [stdout] 81 |     eq,
[INFO] [stdout]    |     ^^ help: convert the identifier to upper camel case: `Eq`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_camel_case_types)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `ge` should have an upper camel case name
[INFO] [stdout]   --> src/parsing/equation_ds.rs:82:5
[INFO] [stdout]    |
[INFO] [stdout] 82 |     ge,
[INFO] [stdout]    |     ^^ help: convert the identifier to upper camel case: `Ge`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `le` should have an upper camel case name
[INFO] [stdout]   --> src/parsing/equation_ds.rs:83:5
[INFO] [stdout]    |
[INFO] [stdout] 83 |     le
[INFO] [stdout]    |     ^^ help: convert the identifier to upper camel case: `Le`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `parsing` and `solving`
[INFO] [stdout]  --> src/solving/solver.rs:3:13
[INFO] [stdout]   |
[INFO] [stdout] 3 | use crate::{parsing, solving};
[INFO] [stdout]   |             ^^^^^^^  ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Equation` and `File`
[INFO] [stdout]  --> src/solving/solver.rs:4:35
[INFO] [stdout]   |
[INFO] [stdout] 4 | use crate::parsing::equation_ds::{Equation, File};
[INFO] [stdout]   |                                   ^^^^^^^^  ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Clause` and `new`
[INFO] [stdout]  --> src/solving/solver.rs:5:29
[INFO] [stdout]   |
[INFO] [stdout] 5 | use crate::solving::pb_ds::{new, Clause, Literal, PBFormula};
[INFO] [stdout]   |                             ^^^  ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around `if` condition
[INFO] [stdout]   --> src/solving/solver.rs:15:15
[INFO] [stdout]    |
[INFO] [stdout] 15 |             if(formula.clauses.len() == 0){
[INFO] [stdout]    |               ^                          ^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]    |
[INFO] [stdout] 15 -             if(formula.clauses.len() == 0){
[INFO] [stdout] 15 +             if formula.clauses.len() == 0 {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around `if` condition
[INFO] [stdout]   --> src/solving/solver.rs:27:19
[INFO] [stdout]    |
[INFO] [stdout] 27 |                 if(end_progress - start_progress >= 1){
[INFO] [stdout]    |                   ^                                  ^
[INFO] [stdout]    |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]    |
[INFO] [stdout] 27 -                 if(end_progress - start_progress >= 1){
[INFO] [stdout] 27 +                 if end_progress - start_progress >= 1 {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around `if` condition
[INFO] [stdout]    --> src/solving/solver.rs:142:15
[INFO] [stdout]     |
[INFO] [stdout] 142 |             if(formula.clauses.len() == 0){
[INFO] [stdout]     |               ^                          ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 142 -             if(formula.clauses.len() == 0){
[INFO] [stdout] 142 +             if formula.clauses.len() == 0 {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around `if` condition
[INFO] [stdout]    --> src/solving/solver.rs:157:19
[INFO] [stdout]     |
[INFO] [stdout] 157 |                 if(end_progress - start_progress >= 1){
[INFO] [stdout]     |                   ^                                  ^
[INFO] [stdout]     |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 157 -                 if(end_progress - start_progress >= 1){
[INFO] [stdout] 157 +                 if end_progress - start_progress >= 1 {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around `for` iterator expression
[INFO] [stdout]   --> src/generating/generator.rs:13:14
[INFO] [stdout]    |
[INFO] [stdout] 13 |     for i in (1..=number_equations) {
[INFO] [stdout]    |              ^                    ^
[INFO] [stdout]    |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]    |
[INFO] [stdout] 13 -     for i in (1..=number_equations) {
[INFO] [stdout] 13 +     for i in 1..=number_equations {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unnecessary parentheses around `for` iterator expression
[INFO] [stdout]   --> src/generating/generator.rs:29:14
[INFO] [stdout]    |
[INFO] [stdout] 29 |     for i in (1..=size_equation){
[INFO] [stdout]    |              ^                 ^
[INFO] [stdout]    |
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]    |
[INFO] [stdout] 29 -     for i in (1..=size_equation){
[INFO] [stdout] 29 +     for i in 1..=size_equation {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `tmp`
[INFO] [stdout]   --> src/parsing/parser.rs:42:13
[INFO] [stdout]    |
[INFO] [stdout] 42 |         let tmp = inner_rule.as_rule();
[INFO] [stdout]    |             ^^^ help: if this is intentional, prefix it with an underscore: `_tmp`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `tmp`
[INFO] [stdout]    --> src/parsing/parser.rs:114:21
[INFO] [stdout]     |
[INFO] [stdout] 114 |                 let tmp = inner_rule.as_str().trim();
[INFO] [stdout]     |                     ^^^ help: if this is intentional, prefix it with an underscore: `_tmp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/parsing/parser.rs:130:9
[INFO] [stdout]     |
[INFO] [stdout] 130 |     let mut index: u32;
[INFO] [stdout]     |         ----^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `tmp`
[INFO] [stdout]    --> src/parsing/equation_ds.rs:191:21
[INFO] [stdout]     |
[INFO] [stdout] 191 |                 let tmp = file.name_map.get_by_right(name);
[INFO] [stdout]     |                     ^^^ help: if this is intentional, prefix it with an underscore: `_tmp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `file`
[INFO] [stdout]    --> src/parsing/equation_ds.rs:202:33
[INFO] [stdout]     |
[INFO] [stdout] 202 |     fn to_pbcount_string(&self, file: &File) -> String {
[INFO] [stdout]     |                                 ^^^^ help: if this is intentional, prefix it with an underscore: `_file`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/parsing/equation_ds.rs:225:34
[INFO] [stdout]     |
[INFO] [stdout] 225 |             EquationPart::Factor(i) => {
[INFO] [stdout]     |                                  ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/parsing/preprocessing.rs:34:9
[INFO] [stdout]    |
[INFO] [stdout] 34 |     for mut eq in &mut file.equations {
[INFO] [stdout]    |         ----^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `formula_cache_count`
[INFO] [stdout]  --> src/solving/solver.rs:8:13
[INFO] [stdout]   |
[INFO] [stdout] 8 |     let mut formula_cache_count: u32 = 0;
[INFO] [stdout]   |             ^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_formula_cache_count`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]  --> src/solving/solver.rs:8:9
[INFO] [stdout]   |
[INFO] [stdout] 8 |     let mut formula_cache_count: u32 = 0;
[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/solving/solver.rs:9:9
[INFO] [stdout]   |
[INFO] [stdout] 9 |     let mut map_result = cache_count.get(&calculate_hash(&formula));
[INFO] [stdout]   |         ----^^^^^^^^^^
[INFO] [stdout]   |         |
[INFO] [stdout]   |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `max_number_clauses_index` is assigned to, but never used
[INFO] [stdout]    --> src/solving/solver.rs:115:25
[INFO] [stdout]     |
[INFO] [stdout] 115 |                 let mut max_number_clauses_index = 0;
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: consider using `_max_number_clauses_index` instead
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `max_number_clauses_index` is never read
[INFO] [stdout]    --> src/solving/solver.rs:119:25
[INFO] [stdout]     |
[INFO] [stdout] 119 |                         max_number_clauses_index = i;
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `formula_cache_count`
[INFO] [stdout]    --> src/solving/solver.rs:135:13
[INFO] [stdout]     |
[INFO] [stdout] 135 |     let mut formula_cache_count: u32 = 0;
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_formula_cache_count`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/solving/solver.rs:135:9
[INFO] [stdout]     |
[INFO] [stdout] 135 |     let mut formula_cache_count: u32 = 0;
[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/solving/solver.rs:136:9
[INFO] [stdout]     |
[INFO] [stdout] 136 |     let mut map_result = cache_count.get(&calculate_hash(&formula));
[INFO] [stdout]     |         ----^^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `n`
[INFO] [stdout]    --> src/solving/solver.rs:171:13
[INFO] [stdout]     |
[INFO] [stdout] 171 |     let mut n = 0;
[INFO] [stdout]     |             ^ help: if this is intentional, prefix it with an underscore: `_n`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `new_formula`
[INFO] [stdout]    --> src/solving/solver.rs:172:13
[INFO] [stdout]     |
[INFO] [stdout] 172 |     let mut new_formula = formula.clone();
[INFO] [stdout]     |             ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_new_formula`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `tmp`
[INFO] [stdout]   --> src/parsing/parser.rs:42:13
[INFO] [stdout]    |
[INFO] [stdout] 42 |         let tmp = inner_rule.as_rule();
[INFO] [stdout]    |             ^^^ help: if this is intentional, prefix it with an underscore: `_tmp`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/solving/solver.rs:171:9
[INFO] [stdout]     |
[INFO] [stdout] 171 |     let mut n = 0;
[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/solving/solver.rs:172:9
[INFO] [stdout]     |
[INFO] [stdout] 172 |     let mut new_formula = formula.clone();
[INFO] [stdout]     |         ----^^^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `tmp`
[INFO] [stdout]    --> src/parsing/parser.rs:114:21
[INFO] [stdout]     |
[INFO] [stdout] 114 |                 let tmp = inner_rule.as_str().trim();
[INFO] [stdout]     |                     ^^^ help: if this is intentional, prefix it with an underscore: `_tmp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]   --> src/generating/generator.rs:13:9
[INFO] [stdout]    |
[INFO] [stdout] 13 |     for i in (1..=number_equations) {
[INFO] [stdout]    |         ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/parsing/parser.rs:130:9
[INFO] [stdout]     |
[INFO] [stdout] 130 |     let mut index: u32;
[INFO] [stdout]     |         ----^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]   --> src/generating/generator.rs:29:9
[INFO] [stdout]    |
[INFO] [stdout] 29 |     for i in (1..=size_equation){
[INFO] [stdout]    |         ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `max_factor`
[INFO] [stdout]   --> src/generating/generator.rs:54:51
[INFO] [stdout]    |
[INFO] [stdout] 54 | fn generate_random_literal(number_variables: u32, max_factor: i32, name_map: &mut BiMap<String, u32>) -> EquationPart {
[INFO] [stdout]    |                                                   ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_max_factor`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `count_with_disconnected_components_on_string` is never used
[INFO] [stdout]   --> src/main.rs:62:4
[INFO] [stdout]    |
[INFO] [stdout] 62 | fn count_with_disconnected_components_on_string(content: String) {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `count_with_disconnected_components` is never used
[INFO] [stdout]   --> src/main.rs:75:4
[INFO] [stdout]    |
[INFO] [stdout] 75 | fn count_with_disconnected_components(path: &str) {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run_solver_on_string` is never used
[INFO] [stdout]   --> src/main.rs:96:4
[INFO] [stdout]    |
[INFO] [stdout] 96 | fn run_solver_on_string(string: &str){
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `print_file_as_pbcount_string` is never used
[INFO] [stdout]    --> src/main.rs:114:4
[INFO] [stdout]     |
[INFO] [stdout] 114 | fn print_file_as_pbcount_string(file: File){
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `to_pbcount_string` and `to_dimacs_string` are never used
[INFO] [stdout]   --> src/parsing/equation_ds.rs:27:12
[INFO] [stdout]    |
[INFO] [stdout] 17 | impl File {
[INFO] [stdout]    | --------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 27 |     pub fn to_pbcount_string(&self) -> String {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 41 |     pub fn to_dimacs_string(&self) -> String {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `to_pbcount_string` and `to_dimacs_string` are never used
[INFO] [stdout]   --> src/parsing/equation_ds.rs:71:8
[INFO] [stdout]    |
[INFO] [stdout] 67 | impl Equation {
[INFO] [stdout]    | ------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 71 |     fn to_pbcount_string(&self, file: &File) -> String {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 74 |     fn to_dimacs_string(&self) -> String {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `to_pbcount_string` and `to_dimacs_string` are never used
[INFO] [stdout]    --> src/parsing/equation_ds.rs:129:8
[INFO] [stdout]     |
[INFO] [stdout] 114 | impl EquationSide {
[INFO] [stdout]     | ----------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 129 |     fn to_pbcount_string(&self, file: &File) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 143 |     fn to_dimacs_string(&self) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `to_pbcount_string` and `to_dimacs_string` are never used
[INFO] [stdout]    --> src/parsing/equation_ds.rs:202:8
[INFO] [stdout]     |
[INFO] [stdout] 180 | impl EquationPart {
[INFO] [stdout]     | ----------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 202 |     fn to_pbcount_string(&self, file: &File) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 222 |     fn to_dimacs_string(&self) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `has_variable_overlap` is never used
[INFO] [stdout]   --> src/solving/pb_ds.rs:84:19
[INFO] [stdout]    |
[INFO] [stdout] 69 | impl Clause {
[INFO] [stdout]    | ----------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 84 |     pub(crate) fn has_variable_overlap(&self, variables: &HashSet<u32>) -> bool {
[INFO] [stdout]    |                   ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `count_disconnected_components` is never used
[INFO] [stdout]   --> src/solving/solver.rs:46:8
[INFO] [stdout]    |
[INFO] [stdout] 46 | pub fn count_disconnected_components(pb_formula: PBFormula, n: u32,  start_progress: u32, end_progress: u32, mut cache_count: &mut HashMa...
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `get_next_variable_for_best_partition` is never used
[INFO] [stdout]   --> src/solving/solver.rs:96:4
[INFO] [stdout]    |
[INFO] [stdout] 96 | fn get_next_variable_for_best_partition(pbformula: &PBFormula, n: u32) -> u32 {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `count_dc` is never used
[INFO] [stdout]    --> src/solving/solver.rs:134:4
[INFO] [stdout]     |
[INFO] [stdout] 134 | fn count_dc(formula: &PBFormula, n: u32,  start_progress: u32, end_progress: u32, cache_count: &mut HashMap<u64, u128>) -> u128 {
[INFO] [stdout]     |    ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `formula_to_disconnected_formula` is never used
[INFO] [stdout]    --> src/solving/solver.rs:182:4
[INFO] [stdout]     |
[INFO] [stdout] 182 | fn formula_to_disconnected_formula(formula: PBFormula, n: u32) -> DisconnectedFormula {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Partition` is never constructed
[INFO] [stdout]    --> src/solving/solver.rs:265:8
[INFO] [stdout]     |
[INFO] [stdout] 265 | struct Partition {
[INFO] [stdout]     |        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `DisconnectedFormula` is never constructed
[INFO] [stdout]    --> src/solving/solver.rs:270:8
[INFO] [stdout]     |
[INFO] [stdout] 270 | struct DisconnectedFormula {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `generate_pb_formula` is never used
[INFO] [stdout]  --> src/generating/generator.rs:6:8
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub fn generate_pb_formula(number_equations: u32, number_variables: u32, size_equation: u32, max_factor: i32) -> File {
[INFO] [stdout]   |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `generate_random_equation` is never used
[INFO] [stdout]   --> src/generating/generator.rs:20:4
[INFO] [stdout]    |
[INFO] [stdout] 20 | fn generate_random_equation(number_variables: u32, size_equation: u32, max_factor: i32, name_map: &mut BiMap<String, u32>) -> Equation {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `generate_random_rhs` is never used
[INFO] [stdout]   --> src/generating/generator.rs:40:4
[INFO] [stdout]    |
[INFO] [stdout] 40 | fn generate_random_rhs(size_equation: i32, max_factor: i32) -> EquationPart {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `generate_random_equation_symbol` is never used
[INFO] [stdout]   --> src/generating/generator.rs:45:4
[INFO] [stdout]    |
[INFO] [stdout] 45 | fn generate_random_equation_symbol() -> EquationSymbol {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `generate_random_literal` is never used
[INFO] [stdout]   --> src/generating/generator.rs:54:4
[INFO] [stdout]    |
[INFO] [stdout] 54 | fn generate_random_literal(number_variables: u32, max_factor: i32, name_map: &mut BiMap<String, u32>) -> EquationPart {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `tmp`
[INFO] [stdout]    --> src/parsing/equation_ds.rs:191:21
[INFO] [stdout]     |
[INFO] [stdout] 191 |                 let tmp = file.name_map.get_by_right(name);
[INFO] [stdout]     |                     ^^^ help: if this is intentional, prefix it with an underscore: `_tmp`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `file`
[INFO] [stdout]    --> src/parsing/equation_ds.rs:202:33
[INFO] [stdout]     |
[INFO] [stdout] 202 |     fn to_pbcount_string(&self, file: &File) -> String {
[INFO] [stdout]     |                                 ^^^^ help: if this is intentional, prefix it with an underscore: `_file`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]    --> src/parsing/equation_ds.rs:225:34
[INFO] [stdout]     |
[INFO] [stdout] 225 |             EquationPart::Factor(i) => {
[INFO] [stdout]     |                                  ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/parsing/preprocessing.rs:34:9
[INFO] [stdout]    |
[INFO] [stdout] 34 |     for mut eq in &mut file.equations {
[INFO] [stdout]    |         ----^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/parsing/equation_ds.rs:106:17
[INFO] [stdout]     |
[INFO] [stdout] 106 |                 write!(f, "{}", l);
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 106 |                 let _ = write!(f, "{}", l);
[INFO] [stdout]     |                 +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/parsing/equation_ds.rs:108:17
[INFO] [stdout]     |
[INFO] [stdout] 108 |                 write!(f, " {}", l);
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 108 |                 let _ = write!(f, " {}", l);
[INFO] [stdout]     |                 +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `formula_cache_count`
[INFO] [stdout]  --> src/solving/solver.rs:8:13
[INFO] [stdout]   |
[INFO] [stdout] 8 |     let mut formula_cache_count: u32 = 0;
[INFO] [stdout]   |             ^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_formula_cache_count`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]  --> src/solving/solver.rs:8:9
[INFO] [stdout]   |
[INFO] [stdout] 8 |     let mut formula_cache_count: u32 = 0;
[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/solving/solver.rs:9:9
[INFO] [stdout]   |
[INFO] [stdout] 9 |     let mut map_result = cache_count.get(&calculate_hash(&formula));
[INFO] [stdout]   |         ----^^^^^^^^^^
[INFO] [stdout]   |         |
[INFO] [stdout]   |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `max_number_clauses_index` is assigned to, but never used
[INFO] [stdout]    --> src/solving/solver.rs:115:25
[INFO] [stdout]     |
[INFO] [stdout] 115 |                 let mut max_number_clauses_index = 0;
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: consider using `_max_number_clauses_index` instead
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: value assigned to `max_number_clauses_index` is never read
[INFO] [stdout]    --> src/solving/solver.rs:119:25
[INFO] [stdout]     |
[INFO] [stdout] 119 |                         max_number_clauses_index = i;
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: maybe it is overwritten before being read?
[INFO] [stdout]     = note: `#[warn(unused_assignments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `formula_cache_count`
[INFO] [stdout]    --> src/solving/solver.rs:135:13
[INFO] [stdout]     |
[INFO] [stdout] 135 |     let mut formula_cache_count: u32 = 0;
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_formula_cache_count`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/solving/solver.rs:135:9
[INFO] [stdout]     |
[INFO] [stdout] 135 |     let mut formula_cache_count: u32 = 0;
[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/solving/solver.rs:136:9
[INFO] [stdout]     |
[INFO] [stdout] 136 |     let mut map_result = cache_count.get(&calculate_hash(&formula));
[INFO] [stdout]     |         ----^^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `n`
[INFO] [stdout]    --> src/solving/solver.rs:171:13
[INFO] [stdout]     |
[INFO] [stdout] 171 |     let mut n = 0;
[INFO] [stdout]     |             ^ help: if this is intentional, prefix it with an underscore: `_n`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `new_formula`
[INFO] [stdout]    --> src/solving/solver.rs:172:13
[INFO] [stdout]     |
[INFO] [stdout] 172 |     let mut new_formula = formula.clone();
[INFO] [stdout]     |             ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_new_formula`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/solving/solver.rs:171:9
[INFO] [stdout]     |
[INFO] [stdout] 171 |     let mut n = 0;
[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/solving/solver.rs:172:9
[INFO] [stdout]     |
[INFO] [stdout] 172 |     let mut new_formula = formula.clone();
[INFO] [stdout]     |         ----^^^^^^^^^^^
[INFO] [stdout]     |         |
[INFO] [stdout]     |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]   --> src/generating/generator.rs:13:9
[INFO] [stdout]    |
[INFO] [stdout] 13 |     for i in (1..=number_equations) {
[INFO] [stdout]    |         ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `i`
[INFO] [stdout]   --> src/generating/generator.rs:29:9
[INFO] [stdout]    |
[INFO] [stdout] 29 |     for i in (1..=size_equation){
[INFO] [stdout]    |         ^ help: if this is intentional, prefix it with an underscore: `_i`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `max_factor`
[INFO] [stdout]   --> src/generating/generator.rs:54:51
[INFO] [stdout]    |
[INFO] [stdout] 54 | fn generate_random_literal(number_variables: u32, max_factor: i32, name_map: &mut BiMap<String, u32>) -> EquationPart {
[INFO] [stdout]    |                                                   ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_max_factor`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `count_with_disconnected_components_on_string` is never used
[INFO] [stdout]   --> src/main.rs:62:4
[INFO] [stdout]    |
[INFO] [stdout] 62 | fn count_with_disconnected_components_on_string(content: String) {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `count_with_disconnected_components` is never used
[INFO] [stdout]   --> src/main.rs:75:4
[INFO] [stdout]    |
[INFO] [stdout] 75 | fn count_with_disconnected_components(path: &str) {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `run_solver_on_string` is never used
[INFO] [stdout]   --> src/main.rs:96:4
[INFO] [stdout]    |
[INFO] [stdout] 96 | fn run_solver_on_string(string: &str){
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `print_file_as_pbcount_string` is never used
[INFO] [stdout]    --> src/main.rs:114:4
[INFO] [stdout]     |
[INFO] [stdout] 114 | fn print_file_as_pbcount_string(file: File){
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `to_pbcount_string` and `to_dimacs_string` are never used
[INFO] [stdout]   --> src/parsing/equation_ds.rs:27:12
[INFO] [stdout]    |
[INFO] [stdout] 17 | impl File {
[INFO] [stdout]    | --------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 27 |     pub fn to_pbcount_string(&self) -> String {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 41 |     pub fn to_dimacs_string(&self) -> String {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `to_pbcount_string` and `to_dimacs_string` are never used
[INFO] [stdout]   --> src/parsing/equation_ds.rs:71:8
[INFO] [stdout]    |
[INFO] [stdout] 67 | impl Equation {
[INFO] [stdout]    | ------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 71 |     fn to_pbcount_string(&self, file: &File) -> String {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 74 |     fn to_dimacs_string(&self) -> String {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `to_pbcount_string` and `to_dimacs_string` are never used
[INFO] [stdout]    --> src/parsing/equation_ds.rs:129:8
[INFO] [stdout]     |
[INFO] [stdout] 114 | impl EquationSide {
[INFO] [stdout]     | ----------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 129 |     fn to_pbcount_string(&self, file: &File) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 143 |     fn to_dimacs_string(&self) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `to_pbcount_string` and `to_dimacs_string` are never used
[INFO] [stdout]    --> src/parsing/equation_ds.rs:202:8
[INFO] [stdout]     |
[INFO] [stdout] 180 | impl EquationPart {
[INFO] [stdout]     | ----------------- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 202 |     fn to_pbcount_string(&self, file: &File) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 222 |     fn to_dimacs_string(&self) -> String {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `has_variable_overlap` is never used
[INFO] [stdout]   --> src/solving/pb_ds.rs:84:19
[INFO] [stdout]    |
[INFO] [stdout] 69 | impl Clause {
[INFO] [stdout]    | ----------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 84 |     pub(crate) fn has_variable_overlap(&self, variables: &HashSet<u32>) -> bool {
[INFO] [stdout]    |                   ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `count_disconnected_components` is never used
[INFO] [stdout]   --> src/solving/solver.rs:46:8
[INFO] [stdout]    |
[INFO] [stdout] 46 | pub fn count_disconnected_components(pb_formula: PBFormula, n: u32,  start_progress: u32, end_progress: u32, mut cache_count: &mut HashMa...
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `get_next_variable_for_best_partition` is never used
[INFO] [stdout]   --> src/solving/solver.rs:96:4
[INFO] [stdout]    |
[INFO] [stdout] 96 | fn get_next_variable_for_best_partition(pbformula: &PBFormula, n: u32) -> u32 {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `count_dc` is never used
[INFO] [stdout]    --> src/solving/solver.rs:134:4
[INFO] [stdout]     |
[INFO] [stdout] 134 | fn count_dc(formula: &PBFormula, n: u32,  start_progress: u32, end_progress: u32, cache_count: &mut HashMap<u64, u128>) -> u128 {
[INFO] [stdout]     |    ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `formula_to_disconnected_formula` is never used
[INFO] [stdout]    --> src/solving/solver.rs:182:4
[INFO] [stdout]     |
[INFO] [stdout] 182 | fn formula_to_disconnected_formula(formula: PBFormula, n: u32) -> DisconnectedFormula {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Partition` is never constructed
[INFO] [stdout]    --> src/solving/solver.rs:265:8
[INFO] [stdout]     |
[INFO] [stdout] 265 | struct Partition {
[INFO] [stdout]     |        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `DisconnectedFormula` is never constructed
[INFO] [stdout]    --> src/solving/solver.rs:270:8
[INFO] [stdout]     |
[INFO] [stdout] 270 | struct DisconnectedFormula {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `generate_pb_formula` is never used
[INFO] [stdout]  --> src/generating/generator.rs:6:8
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub fn generate_pb_formula(number_equations: u32, number_variables: u32, size_equation: u32, max_factor: i32) -> File {
[INFO] [stdout]   |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `generate_random_equation` is never used
[INFO] [stdout]   --> src/generating/generator.rs:20:4
[INFO] [stdout]    |
[INFO] [stdout] 20 | fn generate_random_equation(number_variables: u32, size_equation: u32, max_factor: i32, name_map: &mut BiMap<String, u32>) -> Equation {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `generate_random_rhs` is never used
[INFO] [stdout]   --> src/generating/generator.rs:40:4
[INFO] [stdout]    |
[INFO] [stdout] 40 | fn generate_random_rhs(size_equation: i32, max_factor: i32) -> EquationPart {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `generate_random_equation_symbol` is never used
[INFO] [stdout]   --> src/generating/generator.rs:45:4
[INFO] [stdout]    |
[INFO] [stdout] 45 | fn generate_random_equation_symbol() -> EquationSymbol {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `generate_random_literal` is never used
[INFO] [stdout]   --> src/generating/generator.rs:54:4
[INFO] [stdout]    |
[INFO] [stdout] 54 | fn generate_random_literal(number_variables: u32, max_factor: i32, name_map: &mut BiMap<String, u32>) -> EquationPart {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/parsing/equation_ds.rs:106:17
[INFO] [stdout]     |
[INFO] [stdout] 106 |                 write!(f, "{}", l);
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout]     = note: `#[warn(unused_must_use)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 106 |                 let _ = write!(f, "{}", l);
[INFO] [stdout]     |                 +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused `Result` that must be used
[INFO] [stdout]    --> src/parsing/equation_ds.rs:108:17
[INFO] [stdout]     |
[INFO] [stdout] 108 |                 write!(f, " {}", l);
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: this `Result` may be an `Err` variant, which should be handled
[INFO] [stdout] help: use `let _ = ...` to ignore the resulting value
[INFO] [stdout]     |
[INFO] [stdout] 108 |                 let _ = write!(f, " {}", l);
[INFO] [stdout]     |                 +++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 7.27s
[INFO] running `Command { std: "docker" "inspect" "3d529c12634abb9e400f38ceb88473f35708776410a69b75898ab1a85dcf862c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3d529c12634abb9e400f38ceb88473f35708776410a69b75898ab1a85dcf862c", kill_on_drop: false }`
[INFO] [stdout] 3d529c12634abb9e400f38ceb88473f35708776410a69b75898ab1a85dcf862c