[INFO] cloning repository https://github.com/RY5228/CellE-Rust-Part [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/RY5228/CellE-Rust-Part" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FRY5228%2FCellE-Rust-Part", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FRY5228%2FCellE-Rust-Part'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 9772edb39576b429c387e8e05f95d607b7bf994b [INFO] checking RY5228/CellE-Rust-Part against 8006091eb71ae7d9e9bccb66c6122c9d68af4466 for pr-129249-3 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FRY5228%2FCellE-Rust-Part" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/RY5228/CellE-Rust-Part [INFO] finished tweaking git repo https://github.com/RY5228/CellE-Rust-Part [INFO] tweaked toml for git repo https://github.com/RY5228/CellE-Rust-Part written to /workspace/builds/worker-6-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/RY5228/CellE-Rust-Part on toolchain 8006091eb71ae7d9e9bccb66c6122c9d68af4466 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8006091eb71ae7d9e9bccb66c6122c9d68af4466" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/RY5228/CellE-Rust-Part 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" "+8006091eb71ae7d9e9bccb66c6122c9d68af4466" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded archery v1.2.1 [INFO] [stderr] Downloaded readonly v0.2.13 [INFO] [stderr] Downloaded clilog v0.2.3 [INFO] [stderr] Downloaded libertyparse v0.3.0 [INFO] [stderr] Downloaded rpds v1.1.1 [INFO] [stderr] Downloaded into-attr-derive v0.2.1 [INFO] [stderr] Downloaded into-attr v0.1.1 [INFO] [stderr] Downloaded dot-structures v0.1.2 [INFO] [stderr] Downloaded dot-generator v0.2.0 [INFO] [stderr] Downloaded symbolic_expressions v5.0.3 [INFO] [stderr] Downloaded symbol_table v0.4.0 [INFO] [stderr] Downloaded graphviz-rust v0.6.6 [INFO] [stderr] Downloaded wit-bindgen v0.45.0 [INFO] [stderr] Downloaded egg v0.10.0 [INFO] [stderr] Downloaded aiger v0.2.0 [INFO] [stderr] Downloaded clap v4.5.49 [INFO] [stderr] Downloaded clap_builder v4.5.49 [INFO] [stderr] Downloaded egraph-serialize v0.1.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }` [INFO] [stdout] ec9d5a903d4121cd3b5453aa6e90d21c8fa390e5137e69f182d3971e40f4ee66 [INFO] running `Command { std: "docker" "start" "ec9d5a903d4121cd3b5453aa6e90d21c8fa390e5137e69f182d3971e40f4ee66", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "ec9d5a903d4121cd3b5453aa6e90d21c8fa390e5137e69f182d3971e40f4ee66", kill_on_drop: false }` [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "ec9d5a903d4121cd3b5453aa6e90d21c8fa390e5137e69f182d3971e40f4ee66" "/opt/rustwide/cargo-home/bin/cargo" "+8006091eb71ae7d9e9bccb66c6122c9d68af4466" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "ec9d5a903d4121cd3b5453aa6e90d21c8fa390e5137e69f182d3971e40f4ee66", kill_on_drop: false }` [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "ec9d5a903d4121cd3b5453aa6e90d21c8fa390e5137e69f182d3971e40f4ee66" "/opt/rustwide/cargo-home/bin/cargo" "+8006091eb71ae7d9e9bccb66c6122c9d68af4466" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.101 [INFO] [stderr] Compiling libc v0.2.175 [INFO] [stderr] Checking cfg-if v1.0.3 [INFO] [stderr] Compiling serde v1.0.219 [INFO] [stderr] Compiling thiserror v2.0.16 [INFO] [stderr] Checking log v0.4.28 [INFO] [stderr] Checking foldhash v0.1.5 [INFO] [stderr] Checking bitflags v2.9.3 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling dot-structures v0.1.2 [INFO] [stderr] Compiling rustix v1.0.8 [INFO] [stderr] Checking anstyle-parse v0.2.7 [INFO] [stderr] Checking is_terminal_polyfill v1.70.1 [INFO] [stderr] Compiling time-core v0.1.4 [INFO] [stderr] Checking anstyle v1.0.13 [INFO] [stderr] Checking colorchoice v1.0.4 [INFO] [stderr] Checking anstyle-query v1.1.4 [INFO] [stderr] Checking deranged v0.4.0 [INFO] [stderr] Compiling into-attr v0.1.1 [INFO] [stderr] Compiling dot-generator v0.2.0 [INFO] [stderr] Checking aho-corasick v1.1.3 [INFO] [stderr] Checking regex-syntax v0.8.8 [INFO] [stderr] Compiling serde_json v1.0.143 [INFO] [stderr] Checking anstream v0.6.21 [INFO] [stderr] Compiling time-macros v0.2.22 [INFO] [stderr] Compiling im-rc v15.1.0 [INFO] [stderr] Checking bitmaps v2.1.0 [INFO] [stderr] Compiling indexmap v1.9.3 [INFO] [stderr] Checking triomphe v0.1.14 [INFO] [stderr] Checking clap_lex v0.7.6 [INFO] [stderr] Compiling anyhow v1.0.99 [INFO] [stderr] Checking castaway v0.2.4 [INFO] [stderr] Checking raw-cpuid v11.5.0 [INFO] [stderr] Checking compact_str v0.7.1 [INFO] [stderr] Checking env_logger v0.9.3 [INFO] [stderr] Checking clap_builder v4.5.49 [INFO] [stderr] Checking archery v1.2.1 [INFO] [stderr] Checking rpds v1.1.1 [INFO] [stderr] Checking env_logger v0.10.2 [INFO] [stderr] Checking saturating v0.1.0 [INFO] [stderr] Checking symbolic_expressions v5.0.3 [INFO] [stderr] Checking fixedbitset v0.5.7 [INFO] [stderr] Checking pico-args v0.5.0 [INFO] [stderr] Checking rustc-hash v2.1.1 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Checking jiff v0.2.15 [INFO] [stderr] Checking itertools v0.14.0 [INFO] [stderr] Checking nom v8.0.0 [INFO] [stderr] Compiling syn v2.0.106 [INFO] [stderr] Checking aiger v0.2.0 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking getrandom v0.2.16 [INFO] [stderr] Checking getrandom v0.3.3 [INFO] [stderr] Checking regex-automata v0.4.13 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking sized-chunks v0.6.5 [INFO] [stderr] Checking num-bigint v0.4.6 [INFO] [stderr] Checking tempfile v3.21.0 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand_xoshiro v0.6.0 [INFO] [stderr] Checking time v0.3.41 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking quanta v0.12.6 [INFO] [stderr] Checking simplelog v0.12.2 [INFO] [stderr] Checking clilog v0.2.3 [INFO] [stderr] Checking regex v1.12.2 [INFO] [stderr] Checking env_filter v0.1.4 [INFO] [stderr] Compiling into-attr-derive v0.2.1 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Checking env_logger v0.11.8 [INFO] [stderr] Compiling serde_derive v1.0.219 [INFO] [stderr] Compiling thiserror-impl v2.0.16 [INFO] [stderr] Compiling thiserror-impl v1.0.69 [INFO] [stderr] Compiling clap_derive v4.5.49 [INFO] [stderr] Compiling readonly v0.2.13 [INFO] [stderr] Checking thiserror v1.0.69 [INFO] [stderr] Compiling pest v2.8.1 [INFO] [stderr] Checking clap v4.5.49 [INFO] [stderr] Checking clap-verbosity-flag v3.0.4 [INFO] [stderr] Compiling pest_meta v2.8.1 [INFO] [stderr] Compiling pest_generator v2.8.1 [INFO] [stderr] Compiling pest_derive v2.8.1 [INFO] [stderr] Checking graphviz-rust v0.6.6 [INFO] [stderr] Checking libertyparse v0.3.0 [INFO] [stderr] Checking hashbrown v0.15.5 [INFO] [stderr] Checking ordered-float v3.9.2 [INFO] [stderr] Checking vectorize v0.2.0 [INFO] [stderr] Checking indexmap v2.11.0 [INFO] [stderr] Checking symbol_table v0.4.0 [INFO] [stderr] Checking egg v0.10.0 [INFO] [stderr] Checking petgraph v0.8.2 [INFO] [stderr] Checking egraph-serialize v0.1.0 [INFO] [stderr] Checking extraction-gym v0.1.0 (/opt/rustwide/workdir/extraction-gym) [INFO] [stdout] warning: unexpected `cfg` condition value: `serde-1` [INFO] [stdout] --> extraction-gym/src/extract/faster_bottom_up.rs:72:12 [INFO] [stdout] | [INFO] [stdout] 72 | #[cfg_attr(feature = "serde-1", derive(Serialize, Deserialize))] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `coin_cbc` and `ilp-cbc` [INFO] [stdout] = help: consider adding `serde-1` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `serde-1` [INFO] [stdout] --> extraction-gym/src/extract/faster_greedy_dag.rs:154:12 [INFO] [stdout] | [INFO] [stdout] 154 | #[cfg_attr(feature = "serde-1", derive(Serialize, Deserialize))] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: expected values for `feature` are: `coin_cbc` and `ilp-cbc` [INFO] [stdout] = help: consider adding `serde-1` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `indexmap::IndexMap` [INFO] [stdout] --> extraction-gym/src/lib.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use indexmap::IndexMap; [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: `anyhow::Context` [INFO] [stdout] --> extraction-gym/src/lib.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | use anyhow::Context; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::io::Write` [INFO] [stdout] --> extraction-gym/src/lib.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | use std::io::Write; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::path::PathBuf` [INFO] [stdout] --> extraction-gym/src/lib.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | use std::path::PathBuf; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: use of deprecated constant `std::f64::INFINITY`: replaced by the `INFINITY` associated constant on `f64` [INFO] [stdout] --> extraction-gym/src/lib.rs:15:69 [INFO] [stdout] | [INFO] [stdout] 15 | pub const INFINITY: Cost = unsafe { NotNan::new_unchecked(std::f64::INFINITY) }; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deprecated)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking mac_egg v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `derivative::Derivative` [INFO] [stdout] --> src/analyzer.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use derivative::Derivative; [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: `Node` [INFO] [stdout] --> src/analyzer.rs:2:41 [INFO] [stdout] | [INFO] [stdout] 2 | use egraph_serialize::{ClassId, EGraph, Node, NodeId}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `SerializedEGraph` [INFO] [stdout] --> src/analyzer.rs:375:17 [INFO] [stdout] | [INFO] [stdout] 375 | use crate::{SerializedEGraph, egg_to_serialized_egraph, netlist_to_egg_roots}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `ilp-cbc` [INFO] [stdout] --> src/extractor.rs:76:19 [INFO] [stdout] | [INFO] [stdout] 76 | #[cfg(feature = "ilp-cbc")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ help: remove the condition [INFO] [stdout] | [INFO] [stdout] = note: no expected values for `feature` [INFO] [stdout] = help: consider adding `ilp-cbc` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `ilp-cbc` [INFO] [stdout] --> src/extractor.rs:85:19 [INFO] [stdout] | [INFO] [stdout] 85 | #[cfg(feature = "ilp-cbc")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ help: remove the condition [INFO] [stdout] | [INFO] [stdout] = note: no expected values for `feature` [INFO] [stdout] = help: consider adding `ilp-cbc` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `ilp-cbc` [INFO] [stdout] --> src/extractor.rs:94:19 [INFO] [stdout] | [INFO] [stdout] 94 | #[cfg(feature = "ilp-cbc")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ help: remove the condition [INFO] [stdout] | [INFO] [stdout] = note: no expected values for `feature` [INFO] [stdout] = help: consider adding `ilp-cbc` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `ilp-cbc` [INFO] [stdout] --> src/extractor.rs:103:19 [INFO] [stdout] | [INFO] [stdout] 103 | #[cfg(feature = "ilp-cbc")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ help: remove the condition [INFO] [stdout] | [INFO] [stdout] = note: no expected values for `feature` [INFO] [stdout] = help: consider adding `ilp-cbc` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `indexmap::IndexMap` [INFO] [stdout] --> src/io/stdcell.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use indexmap::IndexMap; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Lib` [INFO] [stdout] --> src/io/stdcell.rs:7:20 [INFO] [stdout] | [INFO] [stdout] 7 | use libertyparse::{Lib, PinDirection}; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::fmt::format` [INFO] [stdout] --> src/io/stdcell.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | use std::fmt::format; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BufWriter` [INFO] [stdout] --> src/io/stdcell.rs:16:15 [INFO] [stdout] | [INFO] [stdout] 16 | use std::io::{BufWriter, Write}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Analysis`, `EGraph`, and `Language` [INFO] [stdout] --> src/netlist.rs:1:11 [INFO] [stdout] | [INFO] [stdout] 1 | use egg::{Analysis, EGraph, Language}; [INFO] [stdout] | ^^^^^^^^ ^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Neighbors` [INFO] [stdout] --> src/netlist.rs:3:23 [INFO] [stdout] | [INFO] [stdout] 3 | use petgraph::graph::{Neighbors, NodeIndex}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::slice::Iter` [INFO] [stdout] --> src/netlist.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use std::slice::Iter; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `multi_rewrite` [INFO] [stdout] --> src/rule.rs:2:61 [INFO] [stdout] | [INFO] [stdout] 2 | use egg::{FromOp, Language, MultiPattern, Pattern, Rewrite, multi_rewrite, rewrite}; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `SerializedEGraph` [INFO] [stdout] --> src/rule.rs:112:17 [INFO] [stdout] | [INFO] [stdout] 112 | use crate::{SerializedEGraph, egg_to_serialized_egraph, netlist_to_egg_roots}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `derivative::Derivative` [INFO] [stdout] --> src/mining.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use derivative::Derivative; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `egraph_serialize::ClassId` [INFO] [stdout] --> src/mining.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use egraph_serialize::ClassId; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `sorted` [INFO] [stdout] --> src/mining.rs:6:28 [INFO] [stdout] | [INFO] [stdout] 6 | use itertools::{Itertools, sorted}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `EdgeReference`, `Edge`, and `Edges` [INFO] [stdout] --> src/mining.rs:11:23 [INFO] [stdout] | [INFO] [stdout] 11 | use petgraph::graph::{Edge, EdgeReference, Edges, NodeIndex}; [INFO] [stdout] | ^^^^ ^^^^^^^^^^^^^ ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `EdgeCount`, `VisitMap`, `Visitable`, and `depth_first_search` [INFO] [stdout] --> src/mining.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | EdgeCount, IntoEdges, IntoNeighbors, NodeRef, VisitMap, Visitable, depth_first_search, [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^ ^^^^^^^^^ ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Directed` and `Outgoing` [INFO] [stdout] --> src/mining.rs:16:16 [INFO] [stdout] | [INFO] [stdout] 16 | use petgraph::{Directed, Graph, Incoming, Outgoing}; [INFO] [stdout] | ^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `FxHashSet` [INFO] [stdout] --> src/mining.rs:17:29 [INFO] [stdout] | [INFO] [stdout] 17 | use rustc_hash::{FxHashMap, FxHashSet}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::cmp::Reverse` [INFO] [stdout] --> src/mining.rs:18:5 [INFO] [stdout] | [INFO] [stdout] 18 | use std::cmp::Reverse; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `HashSet` [INFO] [stdout] --> src/mining.rs:20:33 [INFO] [stdout] | [INFO] [stdout] 20 | use std::collections::{HashMap, HashSet}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Filter` [INFO] [stdout] --> src/mining.rs:23:17 [INFO] [stdout] | [INFO] [stdout] 23 | use std::iter::{Filter, zip}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ControlFlow` [INFO] [stdout] --> src/mining.rs:24:16 [INFO] [stdout] | [INFO] [stdout] 24 | use std::ops::{ControlFlow, Index}; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::choose_result_in_serialized_egraph_into_netlist` [INFO] [stdout] --> src/mining.rs:988:13 [INFO] [stdout] | [INFO] [stdout] 988 | use crate::choose_result_in_serialized_egraph_into_netlist; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `write_verilog_from_netlist_with_lib` [INFO] [stdout] --> src/mining.rs:992:47 [INFO] [stdout] | [INFO] [stdout] 992 | read_verilog_with_lib_to_netlist, write_verilog_from_netlist_with_lib, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::language::StdCellType` [INFO] [stdout] --> src/mining.rs:995:13 [INFO] [stdout] | [INFO] [stdout] 995 | use crate::language::StdCellType; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Config` [INFO] [stdout] --> src/mining.rs:999:29 [INFO] [stdout] | [INFO] [stdout] 999 | use petgraph::dot::{Config, Dot}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::choose_result_in_serialized_egraph_into_netlist` [INFO] [stdout] --> src/mining.rs:1089:13 [INFO] [stdout] | [INFO] [stdout] 1089 | use crate::choose_result_in_serialized_egraph_into_netlist; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `write_verilog_from_netlist_with_lib` [INFO] [stdout] --> src/mining.rs:1093:47 [INFO] [stdout] | [INFO] [stdout] 1093 | read_verilog_with_lib_to_netlist, write_verilog_from_netlist_with_lib, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::language::StdCellType` [INFO] [stdout] --> src/mining.rs:1096:13 [INFO] [stdout] | [INFO] [stdout] 1096 | use crate::language::StdCellType; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Config` [INFO] [stdout] --> src/mining.rs:1100:29 [INFO] [stdout] | [INFO] [stdout] 1100 | use petgraph::dot::{Config, Dot}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::ops::Index` [INFO] [stdout] --> src/lib.rs:22:5 [INFO] [stdout] | [INFO] [stdout] 22 | use std::ops::Index; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `indexmap::IndexMap` [INFO] [stdout] --> src/lib.rs:23:5 [INFO] [stdout] | [INFO] [stdout] 23 | use indexmap::IndexMap; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `derivative::Derivative` [INFO] [stdout] --> src/analyzer.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use derivative::Derivative; [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: `Node` [INFO] [stdout] --> src/analyzer.rs:2:41 [INFO] [stdout] | [INFO] [stdout] 2 | use egraph_serialize::{ClassId, EGraph, Node, NodeId}; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `ilp-cbc` [INFO] [stdout] --> src/extractor.rs:76:19 [INFO] [stdout] | [INFO] [stdout] 76 | #[cfg(feature = "ilp-cbc")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ help: remove the condition [INFO] [stdout] | [INFO] [stdout] = note: no expected values for `feature` [INFO] [stdout] = help: consider adding `ilp-cbc` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `ilp-cbc` [INFO] [stdout] --> src/extractor.rs:85:19 [INFO] [stdout] | [INFO] [stdout] 85 | #[cfg(feature = "ilp-cbc")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ help: remove the condition [INFO] [stdout] | [INFO] [stdout] = note: no expected values for `feature` [INFO] [stdout] = help: consider adding `ilp-cbc` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `ilp-cbc` [INFO] [stdout] --> src/extractor.rs:94:19 [INFO] [stdout] | [INFO] [stdout] 94 | #[cfg(feature = "ilp-cbc")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ help: remove the condition [INFO] [stdout] | [INFO] [stdout] = note: no expected values for `feature` [INFO] [stdout] = help: consider adding `ilp-cbc` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition value: `ilp-cbc` [INFO] [stdout] --> src/extractor.rs:103:19 [INFO] [stdout] | [INFO] [stdout] 103 | #[cfg(feature = "ilp-cbc")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ help: remove the condition [INFO] [stdout] | [INFO] [stdout] = note: no expected values for `feature` [INFO] [stdout] = help: consider adding `ilp-cbc` as a feature in `Cargo.toml` [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `indexmap::IndexMap` [INFO] [stdout] --> src/io/stdcell.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use indexmap::IndexMap; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Lib` [INFO] [stdout] --> src/io/stdcell.rs:7:20 [INFO] [stdout] | [INFO] [stdout] 7 | use libertyparse::{Lib, PinDirection}; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::fmt::format` [INFO] [stdout] --> src/io/stdcell.rs:13:5 [INFO] [stdout] | [INFO] [stdout] 13 | use std::fmt::format; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BufWriter` [INFO] [stdout] --> src/io/stdcell.rs:16:15 [INFO] [stdout] | [INFO] [stdout] 16 | use std::io::{BufWriter, Write}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Analysis`, `EGraph`, and `Language` [INFO] [stdout] --> src/netlist.rs:1:11 [INFO] [stdout] | [INFO] [stdout] 1 | use egg::{Analysis, EGraph, Language}; [INFO] [stdout] | ^^^^^^^^ ^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Neighbors` [INFO] [stdout] --> src/netlist.rs:3:23 [INFO] [stdout] | [INFO] [stdout] 3 | use petgraph::graph::{Neighbors, NodeIndex}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::slice::Iter` [INFO] [stdout] --> src/netlist.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use std::slice::Iter; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `multi_rewrite` [INFO] [stdout] --> src/rule.rs:2:61 [INFO] [stdout] | [INFO] [stdout] 2 | use egg::{FromOp, Language, MultiPattern, Pattern, Rewrite, multi_rewrite, rewrite}; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `derivative::Derivative` [INFO] [stdout] --> src/mining.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | use derivative::Derivative; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `egraph_serialize::ClassId` [INFO] [stdout] --> src/mining.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use egraph_serialize::ClassId; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `sorted` [INFO] [stdout] --> src/mining.rs:6:28 [INFO] [stdout] | [INFO] [stdout] 6 | use itertools::{Itertools, sorted}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `EdgeReference`, `Edge`, and `Edges` [INFO] [stdout] --> src/mining.rs:11:23 [INFO] [stdout] | [INFO] [stdout] 11 | use petgraph::graph::{Edge, EdgeReference, Edges, NodeIndex}; [INFO] [stdout] | ^^^^ ^^^^^^^^^^^^^ ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `EdgeCount`, `VisitMap`, `Visitable`, and `depth_first_search` [INFO] [stdout] --> src/mining.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | EdgeCount, IntoEdges, IntoNeighbors, NodeRef, VisitMap, Visitable, depth_first_search, [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^ ^^^^^^^^^ ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Directed` and `Outgoing` [INFO] [stdout] --> src/mining.rs:16:16 [INFO] [stdout] | [INFO] [stdout] 16 | use petgraph::{Directed, Graph, Incoming, Outgoing}; [INFO] [stdout] | ^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `FxHashSet` [INFO] [stdout] --> src/mining.rs:17:29 [INFO] [stdout] | [INFO] [stdout] 17 | use rustc_hash::{FxHashMap, FxHashSet}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::cmp::Reverse` [INFO] [stdout] --> src/mining.rs:18:5 [INFO] [stdout] | [INFO] [stdout] 18 | use std::cmp::Reverse; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `HashSet` [INFO] [stdout] --> src/mining.rs:20:33 [INFO] [stdout] | [INFO] [stdout] 20 | use std::collections::{HashMap, HashSet}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Filter` [INFO] [stdout] --> src/mining.rs:23:17 [INFO] [stdout] | [INFO] [stdout] 23 | use std::iter::{Filter, zip}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ControlFlow` [INFO] [stdout] --> src/mining.rs:24:16 [INFO] [stdout] | [INFO] [stdout] 24 | use std::ops::{ControlFlow, Index}; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `dfs_edge` [INFO] [stdout] --> src/mining.rs:86:14 [INFO] [stdout] | [INFO] [stdout] 86 | macro_rules! dfs_edge { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_macros)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] help: consider annotating the enclosing module with `#[macro_use]` [INFO] [stdout] --> src/lib.rs:8:1 [INFO] [stdout] | [INFO] [stdout] 8 + #[macro_use] [INFO] [stdout] 9 | pub mod mining; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `EClass` and `ENode` [INFO] [stdout] --> src/mining.rs:924:21 [INFO] [stdout] | [INFO] [stdout] 924 | use NodeLabel::{EClass, ENode}; [INFO] [stdout] | ^^^^^^ ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `egg::StopReason::Saturated` [INFO] [stdout] --> src/mining.rs:925:9 [INFO] [stdout] | [INFO] [stdout] 925 | use egg::StopReason::Saturated; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::ops::Index` [INFO] [stdout] --> src/lib.rs:22:5 [INFO] [stdout] | [INFO] [stdout] 22 | use std::ops::Index; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `indexmap::IndexMap` [INFO] [stdout] --> src/lib.rs:23:5 [INFO] [stdout] | [INFO] [stdout] 23 | use indexmap::IndexMap; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `petgraph::visit::IntoNeighbors` [INFO] [stdout] --> src/lib.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | use petgraph::visit::IntoNeighbors; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `IntoEdges` [INFO] [stdout] --> src/mining.rs:14:16 [INFO] [stdout] | [INFO] [stdout] 14 | EdgeCount, IntoEdges, IntoNeighbors, NodeRef, VisitMap, Visitable, depth_first_search, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `NodeRef` [INFO] [stdout] --> src/mining.rs:14:42 [INFO] [stdout] | [INFO] [stdout] 14 | EdgeCount, IntoEdges, IntoNeighbors, NodeRef, VisitMap, Visitable, depth_first_search, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `IntoNeighbors` [INFO] [stdout] --> src/mining.rs:14:27 [INFO] [stdout] | [INFO] [stdout] 14 | EdgeCount, IntoEdges, IntoNeighbors, NodeRef, VisitMap, Visitable, depth_first_search, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/analyzer.rs:225:5 [INFO] [stdout] | [INFO] [stdout] 225 | k: usize, [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k_cuts` [INFO] [stdout] --> src/analyzer.rs:227:5 [INFO] [stdout] | [INFO] [stdout] 227 | k_cuts: &IndexMap>, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_k_cuts` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k_cones` [INFO] [stdout] --> src/analyzer.rs:228:5 [INFO] [stdout] | [INFO] [stdout] 228 | k_cones: &FxHashMap>, [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_k_cones` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `childrens_nodes` [INFO] [stdout] --> src/analyzer.rs:250:9 [INFO] [stdout] | [INFO] [stdout] 250 | for childrens_nodes in childrens_classes [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_childrens_nodes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/analyzer.rs:274:13 [INFO] [stdout] | [INFO] [stdout] 274 | let mut this_cuts = k_cuts[first].clone(); [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: `egraph` [INFO] [stdout] --> src/analyzer.rs:261:5 [INFO] [stdout] | [INFO] [stdout] 261 | egraph: &EGraph, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_egraph` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `merge_cr` [INFO] [stdout] --> src/analyzer.rs:295:25 [INFO] [stdout] | [INFO] [stdout] 295 | let merge_cr = cut_root(merge_cut.clone(), node_id.clone()); [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_merge_cr` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `output` [INFO] [stdout] --> src/io/aiger.rs:273:31 [INFO] [stdout] | [INFO] [stdout] 273 | Ok(Aiger::Latch { output, input }) => { [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `output: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `input` [INFO] [stdout] --> src/io/aiger.rs:273:39 [INFO] [stdout] | [INFO] [stdout] 273 | Ok(Aiger::Latch { output, input }) => { [INFO] [stdout] | ^^^^^ help: try ignoring the field: `input: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `NodeRef` [INFO] [stdout] --> src/mining.rs:14:42 [INFO] [stdout] | [INFO] [stdout] 14 | EdgeCount, IntoEdges, IntoNeighbors, NodeRef, VisitMap, Visitable, depth_first_search, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `petgraph::visit::IntoNeighbors` [INFO] [stdout] --> src/lib.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 19 | use petgraph::visit::IntoNeighbors; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `IntoNeighbors` [INFO] [stdout] --> src/mining.rs:14:27 [INFO] [stdout] | [INFO] [stdout] 14 | EdgeCount, IntoEdges, IntoNeighbors, NodeRef, VisitMap, Visitable, depth_first_search, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `IntoEdges` [INFO] [stdout] --> src/mining.rs:14:16 [INFO] [stdout] | [INFO] [stdout] 14 | EdgeCount, IntoEdges, IntoNeighbors, NodeRef, VisitMap, Visitable, depth_first_search, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k` [INFO] [stdout] --> src/analyzer.rs:225:5 [INFO] [stdout] | [INFO] [stdout] 225 | k: usize, [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_k` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k_cuts` [INFO] [stdout] --> src/analyzer.rs:227:5 [INFO] [stdout] | [INFO] [stdout] 227 | k_cuts: &IndexMap>, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_k_cuts` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `k_cones` [INFO] [stdout] --> src/analyzer.rs:228:5 [INFO] [stdout] | [INFO] [stdout] 228 | k_cones: &FxHashMap>, [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_k_cones` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `childrens_nodes` [INFO] [stdout] --> src/analyzer.rs:250:9 [INFO] [stdout] | [INFO] [stdout] 250 | for childrens_nodes in childrens_classes [INFO] [stdout] | ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_childrens_nodes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/analyzer.rs:274:13 [INFO] [stdout] | [INFO] [stdout] 274 | let mut this_cuts = k_cuts[first].clone(); [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: `egraph` [INFO] [stdout] --> src/analyzer.rs:261:5 [INFO] [stdout] | [INFO] [stdout] 261 | egraph: &EGraph, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_egraph` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `merge_cr` [INFO] [stdout] --> src/analyzer.rs:295:25 [INFO] [stdout] | [INFO] [stdout] 295 | let merge_cr = cut_root(merge_cut.clone(), node_id.clone()); [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_merge_cr` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `output` [INFO] [stdout] --> src/io/aiger.rs:273:31 [INFO] [stdout] | [INFO] [stdout] 273 | Ok(Aiger::Latch { output, input }) => { [INFO] [stdout] | ^^^^^^ help: try ignoring the field: `output: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `input` [INFO] [stdout] --> src/io/aiger.rs:273:39 [INFO] [stdout] | [INFO] [stdout] 273 | Ok(Aiger::Latch { output, input }) => { [INFO] [stdout] | ^^^^^ help: try ignoring the field: `input: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `b` [INFO] [stdout] --> src/language.rs:165:24 [INFO] [stdout] | [INFO] [stdout] 165 | Self::Bool(b) => None, [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `egraph` [INFO] [stdout] --> src/lib.rs:178:39 [INFO] [stdout] | [INFO] [stdout] 178 | pub fn serialized_egraph_to_egg(egraph: &SerializedEGraph) -> (EGraph, Vec) [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_egraph` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `TopoSortEgraphIterator` is never constructed [INFO] [stdout] --> src/analyzer.rs:8:12 [INFO] [stdout] | [INFO] [stdout] 8 | pub struct TopoSortEgraphIterator<'a> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new` is never used [INFO] [stdout] --> src/analyzer.rs:18:8 [INFO] [stdout] | [INFO] [stdout] 17 | impl<'a> TopoSortEgraphIterator<'a> { [INFO] [stdout] | ----------------------------------- associated function in this implementation [INFO] [stdout] 18 | fn new(egraph: &'a EGraph) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `topo_sort_egragh` is never used [INFO] [stdout] --> src/analyzer.rs:93:8 [INFO] [stdout] | [INFO] [stdout] 93 | pub fn topo_sort_egragh(egraph: &EGraph) -> TopoSortEgraphIterator { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `Cut` is never used [INFO] [stdout] --> src/analyzer.rs:102:10 [INFO] [stdout] | [INFO] [stdout] 102 | pub type Cut = BTreeSet; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `CutRoot` is never used [INFO] [stdout] --> src/analyzer.rs:117:10 [INFO] [stdout] | [INFO] [stdout] 117 | pub type CutRoot = BTreeSet; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `cut_root` is never used [INFO] [stdout] --> src/analyzer.rs:135:4 [INFO] [stdout] | [INFO] [stdout] 135 | fn cut_root(mut cut: Cut, root: NodeId) -> CutRoot { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `Cone` is never used [INFO] [stdout] --> src/analyzer.rs:146:10 [INFO] [stdout] | [INFO] [stdout] 146 | pub type Cone = BTreeMap; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `KCuts` is never constructed [INFO] [stdout] --> src/analyzer.rs:157:12 [INFO] [stdout] | [INFO] [stdout] 157 | pub struct KCuts { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `KCones` is never constructed [INFO] [stdout] --> src/analyzer.rs:163:12 [INFO] [stdout] | [INFO] [stdout] 163 | pub struct KCones { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `k_cuts_k_cones` is never used [INFO] [stdout] --> src/analyzer.rs:168:8 [INFO] [stdout] | [INFO] [stdout] 168 | pub fn k_cuts_k_cones(egraph: &EGraph, k: usize) -> Result<(KCuts, KCones), String> { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `calculate_cuts_cones` is never used [INFO] [stdout] --> src/analyzer.rs:223:4 [INFO] [stdout] | [INFO] [stdout] 223 | fn calculate_cuts_cones( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `calculate_cuts_cones_for_childrens_nodes` is never used [INFO] [stdout] --> src/analyzer.rs:260:4 [INFO] [stdout] | [INFO] [stdout] 260 | fn calculate_cuts_cones_for_childrens_nodes( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `UniqueQueue` is never constructed [INFO] [stdout] --> src/analyzer.rs:307:8 [INFO] [stdout] | [INFO] [stdout] 307 | struct UniqueQueue [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `insert`, `extend`, and `pop` are never used [INFO] [stdout] --> src/analyzer.rs:337:12 [INFO] [stdout] | [INFO] [stdout] 333 | / impl UniqueQueue [INFO] [stdout] 334 | | where [INFO] [stdout] 335 | | T: Eq + std::hash::Hash + Clone, [INFO] [stdout] | |____________________________________- methods in this implementation [INFO] [stdout] 336 | { [INFO] [stdout] 337 | pub fn insert(&mut self, t: T) { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 343 | pub fn extend(&mut self, iter: I) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 352 | pub fn pop(&mut self) -> Option { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `output` and `input` are never read [INFO] [stdout] --> src/io/aiger.rs:220:5 [INFO] [stdout] | [INFO] [stdout] 219 | struct Latch { [INFO] [stdout] | ----- fields in this struct [INFO] [stdout] 220 | output: Literal, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 221 | input: Literal, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Latch` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `position` is never read [INFO] [stdout] --> src/io/aiger.rs:227:5 [INFO] [stdout] | [INFO] [stdout] 225 | struct Symbol { [INFO] [stdout] | ------ field in this struct [INFO] [stdout] 226 | type_spec: aiger::Symbol, [INFO] [stdout] 227 | position: usize, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Symbol` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `latches` is never read [INFO] [stdout] --> src/io/aiger.rs:236:5 [INFO] [stdout] | [INFO] [stdout] 232 | struct AigerData { [INFO] [stdout] | --------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 236 | latches: Vec, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `AigerData` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `from_str` is never used [INFO] [stdout] --> src/rule.rs:53:8 [INFO] [stdout] | [INFO] [stdout] 45 | impl JsonRules { [INFO] [stdout] | -------------- associated function in this implementation [INFO] [stdout] ... [INFO] [stdout] 53 | fn from_str(rules: &str) -> Result { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `egraph` and `library` are never read [INFO] [stdout] --> src/mining.rs:46:5 [INFO] [stdout] | [INFO] [stdout] 45 | pub struct GSpan { [INFO] [stdout] | ----- fields in this struct [INFO] [stdout] 46 | egraph: SerializedEGraph, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 47 | library: Library, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `NodeId` is never used [INFO] [stdout] --> src/mining.rs:58:6 [INFO] [stdout] | [INFO] [stdout] 58 | type NodeId = egraph_serialize::NodeId; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `get_gi` is never used [INFO] [stdout] --> src/mining.rs:519:8 [INFO] [stdout] | [INFO] [stdout] 512 | impl Projection { [INFO] [stdout] | --------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 519 | fn get_gi(&self, pi: &PatternId) -> Option<&NodeIndex> { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/analyzer.rs:93:33 [INFO] [stdout] | [INFO] [stdout] 93 | pub fn topo_sort_egragh(egraph: &EGraph) -> TopoSortEgraphIterator { [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 93 | pub fn topo_sort_egragh(egraph: &EGraph) -> TopoSortEgraphIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/io/bench.rs:29:22 [INFO] [stdout] | [INFO] [stdout] 29 | fn parse_gate(input: &str) -> IResult<&str, Gate> { [INFO] [stdout] | ^^^^ ^^^^ ^^^^ the same lifetime is hidden here [INFO] [stdout] | | | [INFO] [stdout] | | the same lifetime is elided here [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 29 | fn parse_gate(input: &str) -> IResult<&str, Gate<'_>> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/io/bench.rs:58:27 [INFO] [stdout] | [INFO] [stdout] 58 | pub fn parse_bench(input: &str) -> IResult<&str, BenchFile> { [INFO] [stdout] | ^^^^ ^^^^ ^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | | [INFO] [stdout] | | the same lifetime is elided here [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 58 | pub fn parse_bench(input: &str) -> IResult<&str, BenchFile<'_>> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/io/verilog.rs:150:29 [INFO] [stdout] | [INFO] [stdout] 150 | fn wires_declaration(input: &str) -> IResult<&str, Wires> { [INFO] [stdout] | ^^^^ ^^^^ ^^^^^ the same lifetime is hidden here [INFO] [stdout] | | | [INFO] [stdout] | | the same lifetime is elided here [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 150 | fn wires_declaration(input: &str) -> IResult<&str, Wires<'_>> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/io/verilog.rs:165:29 [INFO] [stdout] | [INFO] [stdout] 165 | fn input_declaration(input: &str) -> IResult<&str, Wires> { [INFO] [stdout] | ^^^^ ^^^^ ^^^^^ the same lifetime is hidden here [INFO] [stdout] | | | [INFO] [stdout] | | the same lifetime is elided here [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 165 | fn input_declaration(input: &str) -> IResult<&str, Wires<'_>> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/io/verilog.rs:174:30 [INFO] [stdout] | [INFO] [stdout] 174 | fn output_declaration(input: &str) -> IResult<&str, Wires> { [INFO] [stdout] | ^^^^ ^^^^ ^^^^^ the same lifetime is hidden here [INFO] [stdout] | | | [INFO] [stdout] | | the same lifetime is elided here [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 174 | fn output_declaration(input: &str) -> IResult<&str, Wires<'_>> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/io/verilog.rs:183:28 [INFO] [stdout] | [INFO] [stdout] 183 | fn wire_declaration(input: &str) -> IResult<&str, Wires> { [INFO] [stdout] | ^^^^ ^^^^ ^^^^^ the same lifetime is hidden here [INFO] [stdout] | | | [INFO] [stdout] | | the same lifetime is elided here [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 183 | fn wire_declaration(input: &str) -> IResult<&str, Wires<'_>> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/io/verilog.rs:192:47 [INFO] [stdout] | [INFO] [stdout] 192 | fn identifier_with_possible_bit_choice(input: &str) -> IResult<&str, Bit> { [INFO] [stdout] | ^^^^ ^^^^ ^^^ the same lifetime is hidden here [INFO] [stdout] | | | [INFO] [stdout] | | the same lifetime is elided here [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 192 | fn identifier_with_possible_bit_choice(input: &str) -> IResult<&str, Bit<'_>> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/io/verilog.rs:207:27 [INFO] [stdout] | [INFO] [stdout] 207 | fn port_connection(input: &str) -> IResult<&str, Connection> { [INFO] [stdout] | ^^^^ ^^^^ ^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | | [INFO] [stdout] | | the same lifetime is elided here [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 207 | fn port_connection(input: &str) -> IResult<&str, Connection<'_>> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/io/verilog.rs:223:28 [INFO] [stdout] | [INFO] [stdout] 223 | fn port_connections(input: &str) -> IResult<&str, Vec> { [INFO] [stdout] | ^^^^ ^^^^ ^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | | [INFO] [stdout] | | the same lifetime is elided here [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 223 | fn port_connections(input: &str) -> IResult<&str, Vec>> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/io/verilog.rs:235:28 [INFO] [stdout] | [INFO] [stdout] 235 | fn gate_declaration(input: &str) -> IResult<&str, Gate> { [INFO] [stdout] | ^^^^ ^^^^ ^^^^ the same lifetime is hidden here [INFO] [stdout] | | | [INFO] [stdout] | | the same lifetime is elided here [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 235 | fn gate_declaration(input: &str) -> IResult<&str, Gate<'_>> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/io/verilog.rs:264:23 [INFO] [stdout] | [INFO] [stdout] 264 | fn module_body(input: &str) -> IResult<&str, ModuleBody> { [INFO] [stdout] | ^^^^ ^^^^ ^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | | [INFO] [stdout] | | the same lifetime is elided here [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 264 | fn module_body(input: &str) -> IResult<&str, ModuleBody<'_>> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/io/verilog.rs:324:22 [INFO] [stdout] | [INFO] [stdout] 324 | pub fn module(input: &str) -> IResult<&str, Module> { [INFO] [stdout] | ^^^^ ^^^^ ^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | | [INFO] [stdout] | | the same lifetime is elided here [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 324 | pub fn module(input: &str) -> IResult<&str, Module<'_>> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `b` [INFO] [stdout] --> src/language.rs:165:24 [INFO] [stdout] | [INFO] [stdout] 165 | Self::Bool(b) => None, [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_b` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `arg` [INFO] [stdout] --> src/main.rs:1:30 [INFO] [stdout] | [INFO] [stdout] 1 | use clap::{ArgGroup, Parser, arg}; [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: `env` [INFO] [stdout] --> src/main.rs:16:11 [INFO] [stdout] | [INFO] [stdout] 16 | use std::{env, fs}; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `arg` [INFO] [stdout] --> src/main.rs:1:30 [INFO] [stdout] | [INFO] [stdout] 1 | use clap::{ArgGroup, Parser, arg}; [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: `env` [INFO] [stdout] --> src/main.rs:16:11 [INFO] [stdout] | [INFO] [stdout] 16 | use std::{env, fs}; [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `egraph` [INFO] [stdout] --> src/lib.rs:178:39 [INFO] [stdout] | [INFO] [stdout] 178 | pub fn serialized_egraph_to_egg(egraph: &SerializedEGraph) -> (EGraph, Vec) [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_egraph` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `Cut` is never used [INFO] [stdout] --> src/analyzer.rs:102:10 [INFO] [stdout] | [INFO] [stdout] 102 | pub type Cut = BTreeSet; [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `CutRoot` is never used [INFO] [stdout] --> src/analyzer.rs:117:10 [INFO] [stdout] | [INFO] [stdout] 117 | pub type CutRoot = BTreeSet; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `cut_root` is never used [INFO] [stdout] --> src/analyzer.rs:135:4 [INFO] [stdout] | [INFO] [stdout] 135 | fn cut_root(mut cut: Cut, root: NodeId) -> CutRoot { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `Cone` is never used [INFO] [stdout] --> src/analyzer.rs:146:10 [INFO] [stdout] | [INFO] [stdout] 146 | pub type Cone = BTreeMap; [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `KCuts` is never constructed [INFO] [stdout] --> src/analyzer.rs:157:12 [INFO] [stdout] | [INFO] [stdout] 157 | pub struct KCuts { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `KCones` is never constructed [INFO] [stdout] --> src/analyzer.rs:163:12 [INFO] [stdout] | [INFO] [stdout] 163 | pub struct KCones { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `k_cuts_k_cones` is never used [INFO] [stdout] --> src/analyzer.rs:168:8 [INFO] [stdout] | [INFO] [stdout] 168 | pub fn k_cuts_k_cones(egraph: &EGraph, k: usize) -> Result<(KCuts, KCones), String> { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `calculate_cuts_cones` is never used [INFO] [stdout] --> src/analyzer.rs:223:4 [INFO] [stdout] | [INFO] [stdout] 223 | fn calculate_cuts_cones( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `calculate_cuts_cones_for_childrens_nodes` is never used [INFO] [stdout] --> src/analyzer.rs:260:4 [INFO] [stdout] | [INFO] [stdout] 260 | fn calculate_cuts_cones_for_childrens_nodes( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `UniqueQueue` is never constructed [INFO] [stdout] --> src/analyzer.rs:307:8 [INFO] [stdout] | [INFO] [stdout] 307 | struct UniqueQueue [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `insert`, `extend`, and `pop` are never used [INFO] [stdout] --> src/analyzer.rs:337:12 [INFO] [stdout] | [INFO] [stdout] 333 | / impl UniqueQueue [INFO] [stdout] 334 | | where [INFO] [stdout] 335 | | T: Eq + std::hash::Hash + Clone, [INFO] [stdout] | |____________________________________- methods in this implementation [INFO] [stdout] 336 | { [INFO] [stdout] 337 | pub fn insert(&mut self, t: T) { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 343 | pub fn extend(&mut self, iter: I) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 352 | pub fn pop(&mut self) -> Option { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `output` and `input` are never read [INFO] [stdout] --> src/io/aiger.rs:220:5 [INFO] [stdout] | [INFO] [stdout] 219 | struct Latch { [INFO] [stdout] | ----- fields in this struct [INFO] [stdout] 220 | output: Literal, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 221 | input: Literal, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Latch` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `position` is never read [INFO] [stdout] --> src/io/aiger.rs:227:5 [INFO] [stdout] | [INFO] [stdout] 225 | struct Symbol { [INFO] [stdout] | ------ field in this struct [INFO] [stdout] 226 | type_spec: aiger::Symbol, [INFO] [stdout] 227 | position: usize, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Symbol` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `latches` is never read [INFO] [stdout] --> src/io/aiger.rs:236:5 [INFO] [stdout] | [INFO] [stdout] 232 | struct AigerData { [INFO] [stdout] | --------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 236 | latches: Vec, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `AigerData` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `egraph` and `library` are never read [INFO] [stdout] --> src/mining.rs:46:5 [INFO] [stdout] | [INFO] [stdout] 45 | pub struct GSpan { [INFO] [stdout] | ----- fields in this struct [INFO] [stdout] 46 | egraph: SerializedEGraph, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 47 | library: Library, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `NodeId` is never used [INFO] [stdout] --> src/mining.rs:58:6 [INFO] [stdout] | [INFO] [stdout] 58 | type NodeId = egraph_serialize::NodeId; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `get_gi` is never used [INFO] [stdout] --> src/mining.rs:519:8 [INFO] [stdout] | [INFO] [stdout] 512 | impl Projection { [INFO] [stdout] | --------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 519 | fn get_gi(&self, pi: &PatternId) -> Option<&NodeIndex> { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/analyzer.rs:93:33 [INFO] [stdout] | [INFO] [stdout] 93 | pub fn topo_sort_egragh(egraph: &EGraph) -> TopoSortEgraphIterator { [INFO] [stdout] | ^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 93 | pub fn topo_sort_egragh(egraph: &EGraph) -> TopoSortEgraphIterator<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/io/bench.rs:29:22 [INFO] [stdout] | [INFO] [stdout] 29 | fn parse_gate(input: &str) -> IResult<&str, Gate> { [INFO] [stdout] | ^^^^ ^^^^ ^^^^ the same lifetime is hidden here [INFO] [stdout] | | | [INFO] [stdout] | | the same lifetime is elided here [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 29 | fn parse_gate(input: &str) -> IResult<&str, Gate<'_>> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/io/bench.rs:58:27 [INFO] [stdout] | [INFO] [stdout] 58 | pub fn parse_bench(input: &str) -> IResult<&str, BenchFile> { [INFO] [stdout] | ^^^^ ^^^^ ^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | | [INFO] [stdout] | | the same lifetime is elided here [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 58 | pub fn parse_bench(input: &str) -> IResult<&str, BenchFile<'_>> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/io/verilog.rs:150:29 [INFO] [stdout] | [INFO] [stdout] 150 | fn wires_declaration(input: &str) -> IResult<&str, Wires> { [INFO] [stdout] | ^^^^ ^^^^ ^^^^^ the same lifetime is hidden here [INFO] [stdout] | | | [INFO] [stdout] | | the same lifetime is elided here [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 150 | fn wires_declaration(input: &str) -> IResult<&str, Wires<'_>> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/io/verilog.rs:165:29 [INFO] [stdout] | [INFO] [stdout] 165 | fn input_declaration(input: &str) -> IResult<&str, Wires> { [INFO] [stdout] | ^^^^ ^^^^ ^^^^^ the same lifetime is hidden here [INFO] [stdout] | | | [INFO] [stdout] | | the same lifetime is elided here [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 165 | fn input_declaration(input: &str) -> IResult<&str, Wires<'_>> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/io/verilog.rs:174:30 [INFO] [stdout] | [INFO] [stdout] 174 | fn output_declaration(input: &str) -> IResult<&str, Wires> { [INFO] [stdout] | ^^^^ ^^^^ ^^^^^ the same lifetime is hidden here [INFO] [stdout] | | | [INFO] [stdout] | | the same lifetime is elided here [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 174 | fn output_declaration(input: &str) -> IResult<&str, Wires<'_>> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/io/verilog.rs:183:28 [INFO] [stdout] | [INFO] [stdout] 183 | fn wire_declaration(input: &str) -> IResult<&str, Wires> { [INFO] [stdout] | ^^^^ ^^^^ ^^^^^ the same lifetime is hidden here [INFO] [stdout] | | | [INFO] [stdout] | | the same lifetime is elided here [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 183 | fn wire_declaration(input: &str) -> IResult<&str, Wires<'_>> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/io/verilog.rs:192:47 [INFO] [stdout] | [INFO] [stdout] 192 | fn identifier_with_possible_bit_choice(input: &str) -> IResult<&str, Bit> { [INFO] [stdout] | ^^^^ ^^^^ ^^^ the same lifetime is hidden here [INFO] [stdout] | | | [INFO] [stdout] | | the same lifetime is elided here [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 192 | fn identifier_with_possible_bit_choice(input: &str) -> IResult<&str, Bit<'_>> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/io/verilog.rs:207:27 [INFO] [stdout] | [INFO] [stdout] 207 | fn port_connection(input: &str) -> IResult<&str, Connection> { [INFO] [stdout] | ^^^^ ^^^^ ^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | | [INFO] [stdout] | | the same lifetime is elided here [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 207 | fn port_connection(input: &str) -> IResult<&str, Connection<'_>> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/io/verilog.rs:223:28 [INFO] [stdout] | [INFO] [stdout] 223 | fn port_connections(input: &str) -> IResult<&str, Vec> { [INFO] [stdout] | ^^^^ ^^^^ ^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | | [INFO] [stdout] | | the same lifetime is elided here [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 223 | fn port_connections(input: &str) -> IResult<&str, Vec>> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/io/verilog.rs:235:28 [INFO] [stdout] | [INFO] [stdout] 235 | fn gate_declaration(input: &str) -> IResult<&str, Gate> { [INFO] [stdout] | ^^^^ ^^^^ ^^^^ the same lifetime is hidden here [INFO] [stdout] | | | [INFO] [stdout] | | the same lifetime is elided here [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 235 | fn gate_declaration(input: &str) -> IResult<&str, Gate<'_>> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/io/verilog.rs:264:23 [INFO] [stdout] | [INFO] [stdout] 264 | fn module_body(input: &str) -> IResult<&str, ModuleBody> { [INFO] [stdout] | ^^^^ ^^^^ ^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | | [INFO] [stdout] | | the same lifetime is elided here [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 264 | fn module_body(input: &str) -> IResult<&str, ModuleBody<'_>> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/io/verilog.rs:324:22 [INFO] [stdout] | [INFO] [stdout] 324 | pub fn module(input: &str) -> IResult<&str, Module> { [INFO] [stdout] | ^^^^ ^^^^ ^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | | [INFO] [stdout] | | the same lifetime is elided here [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 324 | pub fn module(input: &str) -> IResult<&str, Module<'_>> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 38.54s [INFO] running `Command { std: "docker" "inspect" "ec9d5a903d4121cd3b5453aa6e90d21c8fa390e5137e69f182d3971e40f4ee66", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ec9d5a903d4121cd3b5453aa6e90d21c8fa390e5137e69f182d3971e40f4ee66", kill_on_drop: false }` [INFO] [stdout] ec9d5a903d4121cd3b5453aa6e90d21c8fa390e5137e69f182d3971e40f4ee66