[INFO] cloning repository https://github.com/Hirtol/parity-game-rs [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Hirtol/parity-game-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FHirtol%2Fparity-game-rs", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FHirtol%2Fparity-game-rs'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 9678c5a624942b7a1d0823d3c076d10274e3ac6c [INFO] checking Hirtol/parity-game-rs/9678c5a624942b7a1d0823d3c076d10274e3ac6c against master#5337252b9952fdd9482ed6a4add17254e5bd2c40 for pr-138785 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FHirtol%2Fparity-game-rs" "/workspace/builds/worker-4-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/Hirtol/parity-game-rs on toolchain 5337252b9952fdd9482ed6a4add17254e5bd2c40 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+5337252b9952fdd9482ed6a4add17254e5bd2c40" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/Hirtol/parity-game-rs [INFO] finished tweaking git repo https://github.com/Hirtol/parity-game-rs [INFO] tweaked toml for git repo https://github.com/Hirtol/parity-game-rs written to /workspace/builds/worker-4-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/Hirtol/parity-game-rs 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" "+5337252b9952fdd9482ed6a4add17254e5bd2c40" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Updating git repository `https://github.com/Hirtol/fixedbitset` [INFO] [stderr] Updating git repository `https://github.com/Hirtol/oxidd` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded generator v0.8.3 [INFO] [stderr] Downloaded soa-rs-derive v0.7.0 [INFO] [stderr] Downloaded soa-rs v0.7.2 [INFO] [stderr] Downloaded tracing-test v0.2.5 [INFO] [stderr] Downloaded tracing-test-macro v0.2.5 [INFO] [stderr] Downloaded is_sorted v0.1.1 [INFO] [stderr] Downloaded peak_alloc v0.2.1 [INFO] [stderr] Downloaded mintex v0.1.3 [INFO] [stderr] Downloaded bitcode_derive v0.6.3 [INFO] [stderr] Downloaded dhat v0.3.3 [INFO] [stderr] Downloaded vt100 v0.15.2 [INFO] [stderr] Downloaded bitcode v0.6.3 [INFO] [stderr] Downloaded roaring v0.10.6 [INFO] [stderr] Downloaded divan v0.1.14 [INFO] [stderr] Downloaded tracing-indicatif v0.3.6 [INFO] [stderr] Downloaded condtype v1.3.0 [INFO] [stderr] Downloaded divan-macros v0.1.14 [INFO] [stderr] Downloaded ecow v0.2.3 [INFO] [stderr] Downloaded sysinfo v0.33.0 [INFO] [stderr] Downloaded anstyle v1.0.9 [INFO] [stderr] Downloaded terminal_size v0.4.0 [INFO] [stderr] Downloaded vte_generate_state_changes v0.1.2 [INFO] [stderr] Downloaded dynqueue v0.3.0 [INFO] [stderr] Downloaded tracy-client v0.17.4 [INFO] [stderr] Downloaded tracy-client-sys v0.24.1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/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:b0b074c097205a61b89e8ad263052f976b2b332c4dc5f02aef1fe52501660d6e" "/opt/rustwide/cargo-home/bin/cargo" "+5337252b9952fdd9482ed6a4add17254e5bd2c40" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 0e7247fb0ce8a755694fe74b7f8962bbe29e39187a4a74416bc61eec9de45e06 [INFO] running `Command { std: "docker" "start" "-a" "0e7247fb0ce8a755694fe74b7f8962bbe29e39187a4a74416bc61eec9de45e06", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "0e7247fb0ce8a755694fe74b7f8962bbe29e39187a4a74416bc61eec9de45e06", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0e7247fb0ce8a755694fe74b7f8962bbe29e39187a4a74416bc61eec9de45e06", kill_on_drop: false }` [INFO] [stdout] 0e7247fb0ce8a755694fe74b7f8962bbe29e39187a4a74416bc61eec9de45e06 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/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:b0b074c097205a61b89e8ad263052f976b2b332c4dc5f02aef1fe52501660d6e" "/opt/rustwide/cargo-home/bin/cargo" "+5337252b9952fdd9482ed6a4add17254e5bd2c40" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] efa9cc892e1dbf374a4931920273ed8e9f24bf4774a90fd233a1f93bb129f798 [INFO] running `Command { std: "docker" "start" "-a" "efa9cc892e1dbf374a4931920273ed8e9f24bf4774a90fd233a1f93bb129f798", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.92 [INFO] [stderr] Compiling unicode-ident v1.0.13 [INFO] [stderr] Compiling libc v0.2.168 [INFO] [stderr] Checking memchr v2.7.4 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Compiling autocfg v1.4.0 [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Compiling crossbeam-utils v0.8.20 [INFO] [stderr] Checking once_cell v1.20.2 [INFO] [stderr] Compiling serde v1.0.214 [INFO] [stderr] Checking smallvec v1.13.2 [INFO] [stderr] Checking scopeguard v1.2.0 [INFO] [stderr] Checking either v1.13.0 [INFO] [stderr] Checking nanorand v0.7.0 [INFO] [stderr] Compiling rayon-core v1.12.1 [INFO] [stderr] Compiling radium v0.7.0 [INFO] [stderr] Checking utf8parse v0.2.2 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking oxidd-core v0.7.0 (https://github.com/Hirtol/oxidd#62dfa919) [INFO] [stderr] Compiling parking_lot_core v0.9.10 [INFO] [stderr] Checking tap v1.0.1 [INFO] [stderr] Checking wyz v0.5.1 [INFO] [stderr] Checking crossbeam-epoch v0.9.18 [INFO] [stderr] Checking lazy_static v1.5.0 [INFO] [stderr] Checking log v0.4.22 [INFO] [stderr] Checking rustc-hash v1.1.0 [INFO] [stderr] Checking crossbeam-deque v0.8.5 [INFO] [stderr] Compiling quote v1.0.37 [INFO] [stderr] Compiling windows_x86_64_gnu v0.52.6 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Checking funty v2.0.0 [INFO] [stderr] Checking itoa v1.0.11 [INFO] [stderr] Compiling syn v2.0.90 [INFO] [stderr] Compiling litrs v0.4.1 [INFO] [stderr] Compiling lock_api v0.4.12 [INFO] [stderr] Checking bitvec v1.0.1 [INFO] [stderr] Checking rayon v1.10.0 [INFO] [stderr] Checking aho-corasick v1.1.3 [INFO] [stderr] Compiling rustix v0.38.38 [INFO] [stderr] Compiling document-features v0.2.10 [INFO] [stderr] Checking regex-syntax v0.8.5 [INFO] [stderr] Checking is_sorted v0.1.1 [INFO] [stderr] Checking parking_lot v0.12.3 [INFO] [stderr] Checking tracing-core v0.1.32 [INFO] [stderr] Checking bitflags v2.6.0 [INFO] [stderr] Compiling shlex v1.3.0 [INFO] [stderr] Checking linux-raw-sys v0.4.14 [INFO] [stderr] Checking sptr v0.3.2 [INFO] [stderr] Checking regex-syntax v0.6.29 [INFO] [stderr] Compiling cc v1.1.31 [INFO] [stderr] Checking windows-targets v0.52.6 [INFO] [stderr] Checking anstyle-parse v0.2.6 [INFO] [stderr] Checking ryu v1.0.18 [INFO] [stderr] Checking regex-automata v0.1.10 [INFO] [stderr] Checking oxidd-dump v0.2.0 (https://github.com/Hirtol/oxidd#62dfa919) [INFO] [stderr] Checking anstyle-query v1.1.2 [INFO] [stderr] Checking regex-automata v0.4.8 [INFO] [stderr] Compiling eyre v0.6.12 [INFO] [stderr] Checking colorchoice v1.0.3 [INFO] [stderr] Compiling serde_json v1.0.132 [INFO] [stderr] Checking overload v0.1.1 [INFO] [stderr] Compiling pkg-config v0.3.31 [INFO] [stderr] Checking pin-project-lite v0.2.15 [INFO] [stderr] Checking is_terminal_polyfill v1.70.1 [INFO] [stderr] Checking anstyle v1.0.9 [INFO] [stderr] Checking nu-ansi-term v0.46.0 [INFO] [stderr] Checking anstream v0.6.17 [INFO] [stderr] Checking windows-result v0.2.0 [INFO] [stderr] Checking matchers v0.1.0 [INFO] [stderr] Checking terminal_size v0.4.0 [INFO] [stderr] Checking tracing-log v0.2.0 [INFO] [stderr] Checking spin v0.9.8 [INFO] [stderr] Checking sharded-slab v0.1.7 [INFO] [stderr] Checking thread_local v1.1.8 [INFO] [stderr] Checking indenter v0.3.3 [INFO] [stderr] Checking allocator-api2 v0.2.18 [INFO] [stderr] Checking clap_lex v0.7.2 [INFO] [stderr] Compiling heck v0.5.0 [INFO] [stderr] Checking strsim v0.11.1 [INFO] [stderr] Checking clap_builder v4.5.20 [INFO] [stderr] Checking hugealloc v0.1.0 (https://github.com/Hirtol/oxidd#62dfa919) [INFO] [stderr] Checking flume v0.11.1 [INFO] [stderr] Checking windows-strings v0.1.0 [INFO] [stderr] Checking arcslab v0.1.0 (https://github.com/Hirtol/oxidd#62dfa919) [INFO] [stderr] Compiling include_dir_macros v0.7.4 [INFO] [stderr] Compiling ahash v0.8.11 [INFO] [stderr] Checking winnow v0.6.20 [INFO] [stderr] Compiling thiserror v1.0.65 [INFO] [stderr] Checking bytemuck v1.19.0 [INFO] [stderr] Checking linear-hashtbl v0.1.0 (https://github.com/Hirtol/oxidd#62dfa919) [INFO] [stderr] Compiling itertools v0.10.5 [INFO] [stderr] Checking oxidd-manager-pointer v0.2.0 (https://github.com/Hirtol/oxidd#62dfa919) [INFO] [stderr] Checking regex v1.11.1 [INFO] [stderr] Compiling include_dir v0.7.4 [INFO] [stderr] Checking oxidd-reorder v0.2.0 (https://github.com/Hirtol/oxidd#62dfa919) [INFO] [stderr] Checking oxidd-cache v0.7.0 (https://github.com/Hirtol/oxidd#62dfa919) [INFO] [stderr] Checking getrandom v0.2.15 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking crossbeam-queue v0.3.11 [INFO] [stderr] Checking zerocopy v0.7.35 [INFO] [stderr] Compiling ident_case v1.0.1 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Compiling fnv v1.0.7 [INFO] [stderr] Checking pg_parser v0.1.0 (/opt/rustwide/workdir/pg_parser) [INFO] [stderr] Checking roaring v0.10.6 [INFO] [stdout] warning: unused variable: `header` [INFO] [stdout] --> pg_parser/src/lib.rs:29:15 [INFO] [stdout] | [INFO] [stdout] 29 | if let Ok(header) = &result { [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_header` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling darling_core v0.20.10 [INFO] [stderr] Checking dynqueue v0.3.0 [INFO] [stderr] Compiling vte_generate_state_changes v0.1.2 [INFO] [stderr] Checking itertools v0.13.0 [INFO] [stderr] Checking half v2.4.1 [INFO] [stderr] Checking ecow v0.2.3 [INFO] [stderr] Checking ciborium-io v0.2.2 [INFO] [stderr] Compiling portable-atomic v1.9.0 [INFO] [stderr] Checking unicode-width v0.1.14 [INFO] [stderr] Checking arrayvec v0.7.6 [INFO] [stderr] Checking fixedbitset v0.5.7 (https://github.com/Hirtol/fixedbitset#970b167f) [INFO] [stderr] Checking plotters-backend v0.3.7 [INFO] [stderr] Checking vte v0.11.1 [INFO] [stderr] Checking ciborium-ll v0.2.2 [INFO] [stderr] Checking plotters-svg v0.3.7 [INFO] [stderr] Checking gimli v0.31.1 [INFO] [stderr] Checking adler2 v2.0.0 [INFO] [stderr] Checking cast v0.3.0 [INFO] [stderr] Checking same-file v1.0.6 [INFO] [stderr] Checking walkdir v2.5.0 [INFO] [stderr] Checking plotters v0.3.7 [INFO] [stderr] Checking miniz_oxide v0.8.0 [INFO] [stderr] Checking vt100 v0.15.2 [INFO] [stderr] Checking criterion-plot v0.5.0 [INFO] [stderr] Compiling bzip2-sys v0.1.11+1.0.8 [INFO] [stderr] Checking console v0.15.8 [INFO] [stderr] Checking is-terminal v0.4.13 [INFO] [stderr] Checking object v0.36.5 [INFO] [stderr] Checking oorandom v11.1.4 [INFO] [stderr] Checking regex-lite v0.1.6 [INFO] [stderr] Checking number_prefix v0.4.0 [INFO] [stderr] Checking rustc-demangle v0.1.24 [INFO] [stderr] Checking condtype v1.3.0 [INFO] [stderr] Checking anes v0.1.6 [INFO] [stderr] Checking indicatif v0.17.8 [INFO] [stderr] Checking csv-core v0.1.11 [INFO] [stderr] Checking mintex v0.1.3 [INFO] [stderr] Checking addr2line v0.24.2 [INFO] [stderr] Checking thousands v0.2.0 [INFO] [stderr] Checking sysinfo v0.33.0 [INFO] [stderr] Checking peak_alloc v0.2.1 [INFO] [stdout] warning: unused variable: `header` [INFO] [stdout] --> pg_parser/src/lib.rs:29:15 [INFO] [stdout] | [INFO] [stdout] 29 | if let Ok(header) = &result { [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_header` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `vertex_count` [INFO] [stdout] --> pg_parser/src/lib.rs:104:34 [INFO] [stdout] | [INFO] [stdout] 104 | fn set_header(&mut self, vertex_count: usize) -> eyre::Result<()> { [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_vertex_count` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `id` [INFO] [stdout] --> pg_parser/src/lib.rs:108:34 [INFO] [stdout] | [INFO] [stdout] 108 | fn add_vertex(&mut self, id: usize, vertex: Vertex<'a>) -> eyre::Result<()> { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_id` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking backtrace v0.3.74 [INFO] [stderr] Checking bzip2 v0.4.4 [INFO] [stderr] Compiling serde_derive v1.0.214 [INFO] [stderr] Compiling oxidd-derive v0.7.0 (https://github.com/Hirtol/oxidd#62dfa919) [INFO] [stderr] Compiling tracing-attributes v0.1.27 [INFO] [stderr] Compiling clap_derive v4.5.18 [INFO] [stderr] Compiling windows-implement v0.58.0 [INFO] [stderr] Compiling windows-interface v0.58.0 [INFO] [stderr] Compiling thiserror-impl v1.0.65 [INFO] [stderr] Compiling profiling-procmacros v1.0.16 [INFO] [stderr] Compiling bitcode_derive v0.6.3 [INFO] [stderr] Compiling soa-rs-derive v0.7.0 [INFO] [stderr] Checking windows-core v0.58.0 [INFO] [stderr] Compiling tracing-test-macro v0.2.5 [INFO] [stderr] Checking oxidd-rules-zbdd v0.7.0 (https://github.com/Hirtol/oxidd#62dfa919) [INFO] [stderr] Checking oxidd-rules-bdd v0.7.0 (https://github.com/Hirtol/oxidd#62dfa919) [INFO] [stderr] Checking oxidd-rules-mtbdd v0.2.0 (https://github.com/Hirtol/oxidd#62dfa919) [INFO] [stderr] Checking oxidd v0.7.0 (https://github.com/Hirtol/oxidd#62dfa919) [INFO] [stderr] Checking windows v0.58.0 [INFO] [stderr] Checking profiling v1.0.16 [INFO] [stderr] Compiling aquamarine v0.5.0 [INFO] [stderr] Compiling darling_macro v0.20.10 [INFO] [stderr] Compiling divan-macros v0.1.14 [INFO] [stderr] Checking tracing v0.1.40 [INFO] [stderr] Checking tracing-subscriber v0.3.18 [INFO] [stderr] Checking tracing-test v0.2.5 [INFO] [stderr] Checking tracing-indicatif v0.3.6 [INFO] [stderr] Compiling darling v0.20.10 [INFO] [stderr] Checking clap v4.5.20 [INFO] [stderr] Compiling serde_with_macros v3.11.0 [INFO] [stderr] Checking divan v0.1.14 [INFO] [stderr] Checking bitcode v0.6.3 [INFO] [stderr] Checking soa-rs v0.7.2 [INFO] [stderr] Checking ciborium v0.2.2 [INFO] [stderr] Checking csv v1.3.0 [INFO] [stderr] Checking serde_with v3.11.0 [INFO] [stderr] Checking tinytemplate v1.2.1 [INFO] [stderr] Checking dhat v0.3.3 [INFO] [stderr] Checking criterion v0.5.1 [INFO] [stderr] Checking pg_graph v0.1.0 (/opt/rustwide/workdir/pg_graph) [INFO] [stdout] warning: unused imports: `Duration` and `Instant` [INFO] [stdout] --> pg_graph/src/explicit/solvers/tangle_learning.rs:17:17 [INFO] [stdout] | [INFO] [stdout] 17 | use std::time::{Duration, Instant}; [INFO] [stdout] | ^^^^^^^^ ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `NonZeroUsize` [INFO] [stdout] --> pg_graph/src/explicit/solvers/tangle_learning.rs:21:23 [INFO] [stdout] | [INFO] [stdout] 21 | num::{NonZeroU32, NonZeroUsize}, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BitsetExtensions` [INFO] [stdout] --> pg_graph/src/explicit/solvers/zielonka.rs:1:23 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::explicit::{BitsetExtensions, VertexSet}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `itertools::Itertools` [INFO] [stdout] --> pg_graph/src/explicit/solvers/zielonka.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use itertools::Itertools; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `VertexId` and `VertexSet` [INFO] [stdout] --> pg_graph/src/explicit/solvers/priority_promotion.rs:6:48 [INFO] [stdout] | [INFO] [stdout] 6 | BitsetExtensions, ParityGame, ParityGraph, VertexId, VertexSet, [INFO] [stdout] | ^^^^^^^^ ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `BitsetExtensions` and `VertexId` [INFO] [stdout] --> pg_graph/src/explicit/solvers/qpt_liverpool.rs:1:23 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::explicit::{BitsetExtensions, SubGame, VertexId, VertexSet}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Priority` [INFO] [stdout] --> pg_graph/src/explicit/solvers/qpt_liverpool.rs:5:11 [INFO] [stdout] | [INFO] [stdout] 5 | }, Owner, Priority}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BitsetExtensions` [INFO] [stdout] --> pg_graph/src/explicit/solvers/qpt_tangle_liverpool.rs:3:23 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::explicit::{BitsetExtensions, OptimisedGraph, SubGame, VertexId, VertexSet}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `IndexType` [INFO] [stdout] --> pg_graph/src/explicit/solvers/qpt_tangle_liverpool.rs:7:4 [INFO] [stdout] | [INFO] [stdout] 7 | }, IndexType, Owner, Priority}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `itertools::Itertools` [INFO] [stdout] --> pg_graph/src/explicit/solvers/qpt_zielonka.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | use itertools::Itertools; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `PearceTangleScc`, `TangleCollection`, and `Tangle` [INFO] [stdout] --> pg_graph/src/explicit/solvers/qpt_tangle_zielonka.rs:1:49 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::explicit::solvers::tangle_learning::{PearceTangleScc, Tangle, TangleCollection, TangleManager, NO_STRATEGY}; [INFO] [stdout] | ^^^^^^^^^^^^^^^ ^^^^^^ ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::explicit::solvers::Dominion` [INFO] [stdout] --> pg_graph/src/explicit/solvers/qpt_tangle_zielonka.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use crate::explicit::solvers::Dominion; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `IndexType` [INFO] [stdout] --> pg_graph/src/explicit/solvers/qpt_tangle_zielonka.rs:7:4 [INFO] [stdout] | [INFO] [stdout] 7 | }, IndexType, Owner, Priority}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `itertools::Itertools` [INFO] [stdout] --> pg_graph/src/explicit/solvers/qpt_tangle_zielonka.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use itertools::Itertools; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ahash::HashSetExt` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/test_helpers.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use ahash::HashSetExt; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `itertools::Itertools` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/test_helpers.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use itertools::Itertools; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ManagerRef` and `WorkerManager` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/test_helpers.rs:3:18 [INFO] [stdout] | [INFO] [stdout] 3 | use oxidd_core::{ManagerRef, WorkerManager}; [INFO] [stdout] | ^^^^^^^^^^ ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::symbolic::helpers::SymbolicEncoder` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/test_helpers.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::symbolic::helpers::SymbolicEncoder; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::symbolic::oxidd_extensions::GeneralBooleanFunction` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/test_helpers.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::symbolic::oxidd_extensions::GeneralBooleanFunction; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> pg_graph/src/symbolic/register_game/mod.rs:567:79 [INFO] [stdout] | [INFO] [stdout] 567 | pub fn iter_names<'a>(&'a self, suffix: &'a str) -> impl Iterator + 'a { [INFO] [stdout] | -- lifetime `'a` declared here ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(elided_named_lifetimes)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `borrow::Borrow` [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:1:11 [INFO] [stdout] | [INFO] [stdout] 1 | use std::{borrow::Borrow, hash::Hash}; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/mod.rs:474:79 [INFO] [stdout] | [INFO] [stdout] 474 | pub fn iter_names<'a>(&'a self, suffix: &'a str) -> impl Iterator + 'a { [INFO] [stdout] | -- lifetime `'a` declared here ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `is_sorted` has been stable since 1.82.0 and no longer requires an attribute to enable [INFO] [stdout] --> pg_graph/src/lib.rs:1:12 [INFO] [stdout] | [INFO] [stdout] 1 | #![feature(is_sorted)] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(stable_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `FunctionSubst` [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:6:65 [INFO] [stdout] | [INFO] [stdout] 6 | function::{BooleanFunction, BooleanFunctionQuant, Function, FunctionSubst}, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `IndexType` [INFO] [stdout] --> pg_graph/src/symbolic/solvers/symbolic_zielonka.rs:7:99 [INFO] [stdout] | [INFO] [stdout] 7 | use crate::{explicit::solvers::SolverOutput, symbolic, symbolic::parity_game::SymbolicParityGame, IndexType, Owner}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BooleanFunctionQuant` [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:6:33 [INFO] [stdout] | [INFO] [stdout] 6 | function::{BooleanFunction, BooleanFunctionQuant, Function, FunctionSubst}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BooleanFunction` [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:6:16 [INFO] [stdout] | [INFO] [stdout] 6 | function::{BooleanFunction, BooleanFunctionQuant, Function, FunctionSubst}, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `fixedbitset::specific::SubBitSet` [INFO] [stdout] --> pg_graph/src/explicit/solvers/qpt_zielonka.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use fixedbitset::specific::SubBitSet; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `itertools::Itertools` [INFO] [stdout] --> pg_graph/src/symbolic/solvers/symbolic_zielonka.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use itertools::Itertools; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BooleanFunction` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/helpers.rs:1:28 [INFO] [stdout] | [INFO] [stdout] 1 | use oxidd_core::function::{BooleanFunction, BooleanFunctionQuant, FunctionSubst}; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BooleanFunctionExtensions` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/helpers.rs:5:41 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::symbolic::oxidd_extensions::{BooleanFunctionExtensions, GeneralBooleanFunction}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BooleanFunctionQuant` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/helpers.rs:1:45 [INFO] [stdout] | [INFO] [stdout] 1 | use oxidd_core::function::{BooleanFunction, BooleanFunctionQuant, FunctionSubst}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `FunctionSubst` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/helpers.rs:1:67 [INFO] [stdout] | [INFO] [stdout] 1 | use oxidd_core::function::{BooleanFunction, BooleanFunctionQuant, FunctionSubst}; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `HasApplyCache` [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/mod.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | HasApplyCache, ManagerRef, WorkerManager, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `oxidd_cache::StatisticsGenerator` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/mod.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use oxidd_cache::StatisticsGenerator; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `HasApplyCache` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/mod.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | HasApplyCache, Manager, ManagerRef, WorkerManager, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Manager` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/mod.rs:12:20 [INFO] [stdout] | [INFO] [stdout] 12 | HasApplyCache, Manager, ManagerRef, WorkerManager, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `oxidd_cache::StatisticsGenerator` [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/mod.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use oxidd_cache::StatisticsGenerator; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `even` [INFO] [stdout] --> pg_graph/src/explicit/solvers/tangle_learning.rs:66:14 [INFO] [stdout] | [INFO] [stdout] 66 | let (even, odd) = self.tangle_solver(self.game.create_subgame([])); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_even` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `even` [INFO] [stdout] --> pg_graph/src/explicit/solvers/priority_promotion.rs:32:14 [INFO] [stdout] | [INFO] [stdout] 32 | let (even, odd) = self.priority_promotion(self.game); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_even` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `even` [INFO] [stdout] --> pg_graph/src/explicit/solvers/priority_promotion.rs:171:14 [INFO] [stdout] | [INFO] [stdout] 171 | let (even, odd) = self.priority_promotion(self.game); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_even` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> pg_graph/src/explicit/solvers/priority_promotion.rs:299:21 [INFO] [stdout] | [INFO] [stdout] 299 | let mut full_dominion = [INFO] [stdout] | ----^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `dominion` [INFO] [stdout] --> pg_graph/src/explicit/solvers/qpt_tangle_zielonka.rs:150:17 [INFO] [stdout] | [INFO] [stdout] 150 | let dominion = self.tangles.extract_tangles(game.parent, &tangle_subgame, &starting_set, d, strategy); [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_dominion` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `vertex_id` [INFO] [stdout] --> pg_graph/src/explicit/reduced_register_game.rs:229:21 [INFO] [stdout] | [INFO] [stdout] 229 | fn label(&self, vertex_id: VertexId) -> Option<&str> { [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_vertex_id` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pg` [INFO] [stdout] --> pg_graph/src/explicit/mod.rs:44:55 [INFO] [stdout] | [INFO] [stdout] 44 | fn empty_game>(pg: &PG) -> Self { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_pg` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `p` [INFO] [stdout] --> pg_graph/src/symbolic/parity_game.rs:231:23 [INFO] [stdout] | [INFO] [stdout] 231 | .filter(|(p, bdd)| self.base_false != **bdd) [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_p` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Duration` and `Instant` [INFO] [stdout] --> pg_graph/src/explicit/solvers/tangle_learning.rs:17:17 [INFO] [stdout] | [INFO] [stdout] 17 | use std::time::{Duration, Instant}; [INFO] [stdout] | ^^^^^^^^ ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `NonZeroUsize` [INFO] [stdout] --> pg_graph/src/explicit/solvers/tangle_learning.rs:21:23 [INFO] [stdout] | [INFO] [stdout] 21 | num::{NonZeroU32, NonZeroUsize}, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BitsetExtensions` [INFO] [stdout] --> pg_graph/src/explicit/solvers/zielonka.rs:1:23 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::explicit::{BitsetExtensions, VertexSet}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `itertools::Itertools` [INFO] [stdout] --> pg_graph/src/explicit/solvers/zielonka.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use itertools::Itertools; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `VertexId` and `VertexSet` [INFO] [stdout] --> pg_graph/src/explicit/solvers/priority_promotion.rs:6:48 [INFO] [stdout] | [INFO] [stdout] 6 | BitsetExtensions, ParityGame, ParityGraph, VertexId, VertexSet, [INFO] [stdout] | ^^^^^^^^ ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `BitsetExtensions` and `VertexId` [INFO] [stdout] --> pg_graph/src/explicit/solvers/qpt_liverpool.rs:1:23 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::explicit::{BitsetExtensions, SubGame, VertexId, VertexSet}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Priority` [INFO] [stdout] --> pg_graph/src/explicit/solvers/qpt_liverpool.rs:5:11 [INFO] [stdout] | [INFO] [stdout] 5 | }, Owner, Priority}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BitsetExtensions` [INFO] [stdout] --> pg_graph/src/explicit/solvers/qpt_tangle_liverpool.rs:3:23 [INFO] [stdout] | [INFO] [stdout] 3 | use crate::explicit::{BitsetExtensions, OptimisedGraph, SubGame, VertexId, VertexSet}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `IndexType` [INFO] [stdout] --> pg_graph/src/explicit/solvers/qpt_tangle_liverpool.rs:7:4 [INFO] [stdout] | [INFO] [stdout] 7 | }, IndexType, Owner, Priority}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `itertools::Itertools` [INFO] [stdout] --> pg_graph/src/explicit/solvers/qpt_zielonka.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | use itertools::Itertools; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `PearceTangleScc`, `TangleCollection`, and `Tangle` [INFO] [stdout] --> pg_graph/src/explicit/solvers/qpt_tangle_zielonka.rs:1:49 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::explicit::solvers::tangle_learning::{PearceTangleScc, Tangle, TangleCollection, TangleManager, NO_STRATEGY}; [INFO] [stdout] | ^^^^^^^^^^^^^^^ ^^^^^^ ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::explicit::solvers::Dominion` [INFO] [stdout] --> pg_graph/src/explicit/solvers/qpt_tangle_zielonka.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use crate::explicit::solvers::Dominion; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `IndexType` [INFO] [stdout] --> pg_graph/src/explicit/solvers/qpt_tangle_zielonka.rs:7:4 [INFO] [stdout] | [INFO] [stdout] 7 | }, IndexType, Owner, Priority}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `itertools::Itertools` [INFO] [stdout] --> pg_graph/src/explicit/solvers/qpt_tangle_zielonka.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use itertools::Itertools; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `oxidd_cache::StatisticsGenerator` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/mod.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use oxidd_cache::StatisticsGenerator; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `HasApplyCache` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/mod.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | HasApplyCache, Manager, ManagerRef, WorkerManager, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `id_vec` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/helpers.rs:329:18 [INFO] [stdout] | [INFO] [stdout] 329 | macro_rules! id_vec { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_macros)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ahash::HashSetExt` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/test_helpers.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use ahash::HashSetExt; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `itertools::Itertools` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/test_helpers.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use itertools::Itertools; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ManagerRef` and `WorkerManager` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/test_helpers.rs:3:18 [INFO] [stdout] | [INFO] [stdout] 3 | use oxidd_core::{ManagerRef, WorkerManager}; [INFO] [stdout] | ^^^^^^^^^^ ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::symbolic::helpers::SymbolicEncoder` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/test_helpers.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::symbolic::helpers::SymbolicEncoder; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::symbolic::oxidd_extensions::GeneralBooleanFunction` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/test_helpers.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::symbolic::oxidd_extensions::GeneralBooleanFunction; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> pg_graph/src/symbolic/register_game/mod.rs:567:79 [INFO] [stdout] | [INFO] [stdout] 567 | pub fn iter_names<'a>(&'a self, suffix: &'a str) -> impl Iterator + 'a { [INFO] [stdout] | -- lifetime `'a` declared here ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(elided_named_lifetimes)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `oxidd_cache::StatisticsGenerator` [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/mod.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use oxidd_cache::StatisticsGenerator; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `HasApplyCache` [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/mod.rs:12:5 [INFO] [stdout] | [INFO] [stdout] 12 | HasApplyCache, ManagerRef, WorkerManager, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `borrow::Borrow` [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:1:11 [INFO] [stdout] | [INFO] [stdout] 1 | use std::{borrow::Borrow, hash::Hash}; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `id_vec` [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:392:18 [INFO] [stdout] | [INFO] [stdout] 392 | macro_rules! id_vec { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: elided lifetime has a name [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/mod.rs:474:79 [INFO] [stdout] | [INFO] [stdout] 474 | pub fn iter_names<'a>(&'a self, suffix: &'a str) -> impl Iterator + 'a { [INFO] [stdout] | -- lifetime `'a` declared here ^ this elided lifetime gets resolved as `'a` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `p` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/helpers.rs:28:23 [INFO] [stdout] | [INFO] [stdout] 28 | .filter(|(p, bdd)| self.base_false != **bdd) [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_p` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rg_gt_eq_p` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/mod.rs:301:27 [INFO] [stdout] | [INFO] [stdout] 301 | let ((rg_gt_eq_p, rg_gt_eq), (rg_gt_neq_p, rg_gt_neq)) = if rg_odd_priority == rg_prio_general { [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_rg_gt_eq_p` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `is_sorted` has been stable since 1.82.0 and no longer requires an attribute to enable [INFO] [stdout] --> pg_graph/src/lib.rs:1:12 [INFO] [stdout] | [INFO] [stdout] 1 | #![feature(is_sorted)] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(stable_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `priorities` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/mod.rs:626:9 [INFO] [stdout] | [INFO] [stdout] 626 | let priorities = pg.priorities_unique().collect_vec(); [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_priorities` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `p` [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:39:23 [INFO] [stdout] | [INFO] [stdout] 39 | .filter(|(p, bdd)| self.base_false != **bdd) [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_p` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `ProgressMeasureData` is never used [INFO] [stdout] --> pg_graph/src/explicit/solvers/small_progress.rs:12:6 [INFO] [stdout] | [INFO] [stdout] 12 | type ProgressMeasureData<'a> = &'a [Progress]; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `replace_measure` and `get_measure_mut` are never used [INFO] [stdout] --> pg_graph/src/explicit/solvers/small_progress.rs:187:12 [INFO] [stdout] | [INFO] [stdout] 182 | impl ProgressMeasures { [INFO] [stdout] | --------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 187 | pub fn replace_measure(&mut self, vertex_id: VertexId, measure: ProgressMeasure) -> ProgressMeasure { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 195 | pub fn get_measure_mut(&mut self, vertex_id: VertexId) -> Option<&mut ProgressMeasure> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `compare_limit` is never used [INFO] [stdout] --> pg_graph/src/explicit/solvers/small_progress.rs:239:12 [INFO] [stdout] | [INFO] [stdout] 225 | impl ProgressMeasure { [INFO] [stdout] | -------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 239 | pub fn compare_limit(&self, min_incl: usize, other: &ProgressMeasure) -> Ordering { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `min_precision` is never read [INFO] [stdout] --> pg_graph/src/explicit/solvers/qpt_liverpool.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 8 | pub struct LiverpoolSolver<'a> { [INFO] [stdout] | --------------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 15 | min_precision: usize, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `min_precision` is never read [INFO] [stdout] --> pg_graph/src/explicit/solvers/qpt_tangle_liverpool.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 10 | pub struct TLZSolver<'a> { [INFO] [stdout] | --------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 19 | min_precision: usize, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `ToExpand` is never used [INFO] [stdout] --> pg_graph/src/explicit/reduced_register_game.rs:32:6 [INFO] [stdout] | [INFO] [stdout] 32 | enum ToExpand { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `encode_eval` is never used [INFO] [stdout] --> pg_graph/src/symbolic/helpers.rs:120:19 [INFO] [stdout] | [INFO] [stdout] 49 | / impl CachedBinaryEncoder [INFO] [stdout] 50 | | where [INFO] [stdout] 51 | | T: std::ops::BitAnd + std::ops::Shl + Copy + From + BitHelper, [INFO] [stdout] 52 | | T: Eq + Hash + Debug, [INFO] [stdout] 53 | | ::Output: PartialEq, [INFO] [stdout] 54 | | F: Function + BooleanFunctionExtensions, [INFO] [stdout] | |____________________________________________- associated function in this implementation [INFO] [stdout] ... [INFO] [stdout] 120 | pub(crate) fn encode_eval<'a>( [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `recursive_bit_encode_geq` is never used [INFO] [stdout] --> pg_graph/src/symbolic/helpers.rs:390:8 [INFO] [stdout] | [INFO] [stdout] 252 | / impl CachedInequalityEncoder [INFO] [stdout] 253 | | where [INFO] [stdout] 254 | | T: std::ops::BitAnd + std::ops::Shl + std::ops::Sub + Copy + From + BitHelper + Sized + Ord, [INFO] [stdout] 255 | | T: Eq + Hash + Debug + PartialOrd, [INFO] [stdout] 256 | | ::Output: PartialEq, [INFO] [stdout] 257 | | F: Function + BooleanFunctionExtensions { [INFO] [stdout] | |_______________________________________________- associated function in this implementation [INFO] [stdout] ... [INFO] [stdout] 390 | fn recursive_bit_encode_geq(value: T, bit: usize, variables: &[F], base_true: &F) -> AllocResult { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `n_registers` is never used [INFO] [stdout] --> pg_graph/src/symbolic/register_game/mod.rs:454:8 [INFO] [stdout] | [INFO] [stdout] 54 | / impl SymbolicRegisterGame [INFO] [stdout] 55 | | where [INFO] [stdout] 56 | | F: GeneralBooleanFunction, [INFO] [stdout] 57 | | for<'id> F::Manager<'id>: WorkerManager, [INFO] [stdout] 58 | | for<'a, 'b> TruthAssignmentsIterator<'b, 'a, F>: Iterator>, [INFO] [stdout] | |___________________________________________________________________________________- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 454 | fn n_registers(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `rev_edge_substitute` is never used [INFO] [stdout] --> pg_graph/src/symbolic/register_game/helpers.rs:189:8 [INFO] [stdout] | [INFO] [stdout] 9 | impl SymbolicRegisterGame [INFO] [stdout] | ------------------------------------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 189 | fn rev_edge_substitute(&self, bdd: &F) -> symbolic::Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `VariableOrder` is never used [INFO] [stdout] --> pg_graph/src/symbolic/register_game/variable_order.rs:11:10 [INFO] [stdout] | [INFO] [stdout] 11 | pub type VariableOrder = ahash::HashMap>; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `rev_edge_substitute` is never used [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:203:8 [INFO] [stdout] | [INFO] [stdout] 21 | impl OneHotRegisterGame { [INFO] [stdout] | ----------------------------------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 203 | fn rev_edge_substitute(&self, bdd: &F) -> symbolic::Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `variables` is never read [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:325:5 [INFO] [stdout] | [INFO] [stdout] 322 | pub struct OneHotEncoder { [INFO] [stdout] | ------------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 325 | variables: EcoVec, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `VariableOrder` is never used [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/variable_order.rs:11:10 [INFO] [stdout] | [INFO] [stdout] 11 | pub type VariableOrder = ahash::HashMap>; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `counter` is never read [INFO] [stdout] --> pg_graph/src/symbolic/sat.rs:44:5 [INFO] [stdout] | [INFO] [stdout] 41 | pub struct TruthAssignmentsIterator<'b, 'a, F: Function> { [INFO] [stdout] | ------------------------ field in this struct [INFO] [stdout] ... [INFO] [stdout] 44 | counter: usize, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking pg_cli v0.1.0 (/opt/rustwide/workdir/pg_cli) [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> pg_graph/benches/solvers.rs:18:77 [INFO] [stdout] | [INFO] [stdout] 18 | group.bench_with_input(BenchmarkId::new("SmallProgress", i), i, |b, i| { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::path::PathBuf` [INFO] [stdout] --> pg_graph/benches/divan.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use std::path::PathBuf; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `ParityGameBuilder` and `ParityGame` [INFO] [stdout] --> pg_graph/benches/divan.rs:3:26 [INFO] [stdout] | [INFO] [stdout] 3 | use pg_graph::explicit::{ParityGame, ParityGameBuilder}; [INFO] [stdout] | ^^^^^^^^^^ ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `Result` that must be used [INFO] [stdout] --> pg_graph/benches/solvers.rs:39:1 [INFO] [stdout] | [INFO] [stdout] 39 | criterion_group!(benches, bench_solvers); [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)]` on by default [INFO] [stdout] = note: this warning originates in the macro `$crate::criterion_group` which comes from the expansion of the macro `criterion_group` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ahash::HashMap` [INFO] [stdout] --> pg_cli/src/args/bench.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use ahash::HashMap; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ParityGame` [INFO] [stdout] --> pg_cli/src/args/bench.rs:8:9 [INFO] [stdout] | [INFO] [stdout] 8 | ParityGame, ParityGraph, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `OnceLock` [INFO] [stdout] --> pg_cli/src/args/bench.rs:20:39 [INFO] [stdout] | [INFO] [stdout] 20 | use std::sync::{Arc, LazyLock, Mutex, OnceLock}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::args::solve::ExplicitSolvers::*` [INFO] [stdout] --> pg_cli/src/args/bench.rs:394:13 [INFO] [stdout] | [INFO] [stdout] 394 | use crate::args::solve::ExplicitSolvers::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::args::solve::ExplicitSolvers::*` [INFO] [stdout] --> pg_cli/src/args/bench.rs:686:13 [INFO] [stdout] | [INFO] [stdout] 686 | use crate::args::solve::ExplicitSolvers::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `BDD` and `SymbolicParityGame` [INFO] [stdout] --> pg_cli/src/args/testing.rs:4:26 [INFO] [stdout] | [INFO] [stdout] 4 | use pg_graph::symbolic::{SymbolicParityGame, BDD}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `timed_solve` [INFO] [stdout] --> pg_cli/src/args/testing.rs:18:14 [INFO] [stdout] | [INFO] [stdout] 18 | macro_rules! timed_solve { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_macros)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ahash::HashMap` [INFO] [stdout] --> pg_cli/src/args/bench.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use ahash::HashMap; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ParityGame` [INFO] [stdout] --> pg_cli/src/args/bench.rs:8:9 [INFO] [stdout] | [INFO] [stdout] 8 | ParityGame, ParityGraph, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `OnceLock` [INFO] [stdout] --> pg_cli/src/args/bench.rs:20:39 [INFO] [stdout] | [INFO] [stdout] 20 | use std::sync::{Arc, LazyLock, Mutex, OnceLock}; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::args::solve::ExplicitSolvers::*` [INFO] [stdout] --> pg_cli/src/args/bench.rs:394:13 [INFO] [stdout] | [INFO] [stdout] 394 | use crate::args::solve::ExplicitSolvers::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::args::solve::ExplicitSolvers::*` [INFO] [stdout] --> pg_cli/src/args/bench.rs:686:13 [INFO] [stdout] | [INFO] [stdout] 686 | use crate::args::solve::ExplicitSolvers::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `BDD` and `SymbolicParityGame` [INFO] [stdout] --> pg_cli/src/args/testing.rs:4:26 [INFO] [stdout] | [INFO] [stdout] 4 | use pg_graph::symbolic::{SymbolicParityGame, BDD}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused macro definition: `timed_solve` [INFO] [stdout] --> pg_cli/src/args/testing.rs:18:14 [INFO] [stdout] | [INFO] [stdout] 18 | macro_rules! timed_solve { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_macros)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `itertools::Itertools` [INFO] [stdout] --> pg_graph/src/symbolic/solvers/symbolic_zielonka.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use itertools::Itertools; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `fixedbitset::specific::SubBitSet` [INFO] [stdout] --> pg_graph/src/explicit/solvers/qpt_zielonka.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use fixedbitset::specific::SubBitSet; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `IndexType` [INFO] [stdout] --> pg_graph/src/symbolic/solvers/symbolic_zielonka.rs:7:99 [INFO] [stdout] | [INFO] [stdout] 7 | use crate::{explicit::solvers::SolverOutput, symbolic, symbolic::parity_game::SymbolicParityGame, IndexType, Owner}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BooleanFunction` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/helpers.rs:1:28 [INFO] [stdout] | [INFO] [stdout] 1 | use oxidd_core::function::{BooleanFunction, BooleanFunctionQuant, FunctionSubst}; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BooleanFunctionExtensions` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/helpers.rs:5:41 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::symbolic::oxidd_extensions::{BooleanFunctionExtensions, GeneralBooleanFunction}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BooleanFunctionQuant` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/helpers.rs:1:45 [INFO] [stdout] | [INFO] [stdout] 1 | use oxidd_core::function::{BooleanFunction, BooleanFunctionQuant, FunctionSubst}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `FunctionSubst` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/helpers.rs:1:67 [INFO] [stdout] | [INFO] [stdout] 1 | use oxidd_core::function::{BooleanFunction, BooleanFunctionQuant, FunctionSubst}; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Manager` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/mod.rs:12:20 [INFO] [stdout] | [INFO] [stdout] 12 | HasApplyCache, Manager, ManagerRef, WorkerManager, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BooleanFunction` [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:6:16 [INFO] [stdout] | [INFO] [stdout] 6 | function::{BooleanFunction, BooleanFunctionQuant, Function, FunctionSubst}, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `BooleanFunctionQuant` [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:6:33 [INFO] [stdout] | [INFO] [stdout] 6 | function::{BooleanFunction, BooleanFunctionQuant, Function, FunctionSubst}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `FunctionSubst` [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:6:65 [INFO] [stdout] | [INFO] [stdout] 6 | function::{BooleanFunction, BooleanFunctionQuant, Function, FunctionSubst}, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `even` [INFO] [stdout] --> pg_graph/src/explicit/solvers/tangle_learning.rs:66:14 [INFO] [stdout] | [INFO] [stdout] 66 | let (even, odd) = self.tangle_solver(self.game.create_subgame([])); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_even` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `even` [INFO] [stdout] --> pg_graph/src/explicit/solvers/priority_promotion.rs:32:14 [INFO] [stdout] | [INFO] [stdout] 32 | let (even, odd) = self.priority_promotion(self.game); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_even` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `even` [INFO] [stdout] --> pg_graph/src/explicit/solvers/priority_promotion.rs:171:14 [INFO] [stdout] | [INFO] [stdout] 171 | let (even, odd) = self.priority_promotion(self.game); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_even` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> pg_graph/src/explicit/solvers/priority_promotion.rs:299:21 [INFO] [stdout] | [INFO] [stdout] 299 | let mut full_dominion = [INFO] [stdout] | ----^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `dominion` [INFO] [stdout] --> pg_graph/src/explicit/solvers/qpt_tangle_zielonka.rs:150:17 [INFO] [stdout] | [INFO] [stdout] 150 | let dominion = self.tangles.extract_tangles(game.parent, &tangle_subgame, &starting_set, d, strategy); [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_dominion` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `vertex_id` [INFO] [stdout] --> pg_graph/src/explicit/reduced_register_game.rs:229:21 [INFO] [stdout] | [INFO] [stdout] 229 | fn label(&self, vertex_id: VertexId) -> Option<&str> { [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_vertex_id` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `pg` [INFO] [stdout] --> pg_graph/src/explicit/mod.rs:44:55 [INFO] [stdout] | [INFO] [stdout] 44 | fn empty_game>(pg: &PG) -> Self { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_pg` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `manager` [INFO] [stdout] --> pg_graph/src/symbolic/helpers.rs:500:13 [INFO] [stdout] | [INFO] [stdout] 500 | let manager = BDD::new_manager( [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_manager` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Write` [INFO] [stdout] --> pg_cli/src/args/bench.rs:17:27 [INFO] [stdout] | [INFO] [stdout] 17 | use std::fmt::{Formatter, Write}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Write` [INFO] [stdout] --> pg_cli/src/args/solve.rs:16:22 [INFO] [stdout] | [INFO] [stdout] 16 | fmt::{Formatter, Write}, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `p` [INFO] [stdout] --> pg_graph/src/symbolic/parity_game.rs:231:23 [INFO] [stdout] | [INFO] [stdout] 231 | .filter(|(p, bdd)| self.base_false != **bdd) [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_p` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `edge_nodes_exist` [INFO] [stdout] --> pg_graph/src/symbolic/parity_game.rs:443:13 [INFO] [stdout] | [INFO] [stdout] 443 | let edge_nodes_exist = &s.edge_vertices[0]; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_edge_nodes_exist` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `p` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/helpers.rs:28:23 [INFO] [stdout] | [INFO] [stdout] 28 | .filter(|(p, bdd)| self.base_false != **bdd) [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_p` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `v` [INFO] [stdout] --> pg_cli/src/args/bench.rs:172:30 [INFO] [stdout] | [INFO] [stdout] 172 | out.map(|v| ()) [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_v` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `v` [INFO] [stdout] --> pg_cli/src/args/bench.rs:179:30 [INFO] [stdout] | [INFO] [stdout] 179 | out.map(|v| ()) [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `v` [INFO] [stdout] --> pg_cli/src/args/bench.rs:187:30 [INFO] [stdout] | [INFO] [stdout] 187 | out.map(|v| ()) [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `v` [INFO] [stdout] --> pg_cli/src/args/bench.rs:199:34 [INFO] [stdout] | [INFO] [stdout] 199 | out.map(|v| ()) [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `v` [INFO] [stdout] --> pg_cli/src/args/bench.rs:206:34 [INFO] [stdout] | [INFO] [stdout] 206 | out.map(|v| ()) [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `compare` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/test_helpers.rs:47:20 [INFO] [stdout] | [INFO] [stdout] 47 | let (game, compare) = crate::tests::load_and_compare_example("amba_decomposed_decode.tlsf.ehoa.pg"); [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_compare` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `compare` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/test_helpers.rs:66:20 [INFO] [stdout] | [INFO] [stdout] 66 | let (game, compare) = crate::tests::load_and_compare_example("amba_decomposed_arbiter_6.tlsf.ehoa.pg"); [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_compare` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> pg_graph/src/symbolic/register_game/test_helpers.rs:127:13 [INFO] [stdout] | [INFO] [stdout] 127 | let mut pg = r#"parity 3; [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/variable_order.rs:397:14 [INFO] [stdout] | [INFO] [stdout] 397 | for (i, group_id) in var_iter.enumerate() { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rg_gt_eq_p` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/mod.rs:301:27 [INFO] [stdout] | [INFO] [stdout] 301 | let ((rg_gt_eq_p, rg_gt_eq), (rg_gt_neq_p, rg_gt_neq)) = if rg_odd_priority == rg_prio_general { [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_rg_gt_eq_p` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> pg_cli/src/args/bench.rs:471:21 [INFO] [stdout] | [INFO] [stdout] 471 | _ => unreachable!(), [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] note: multiple earlier patterns match some of the same values [INFO] [stdout] --> pg_cli/src/args/bench.rs:471:21 [INFO] [stdout] | [INFO] [stdout] 447 | Algos::Srg => { [INFO] [stdout] | ---------- matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 452 | Algos::Erg => { [INFO] [stdout] | ---------- matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 457 | Algos::ErgReduced => { [INFO] [stdout] | ----------------- matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 464 | Algos::ErgJit => { [INFO] [stdout] | ------------- matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 471 | _ => unreachable!(), [INFO] [stdout] | ^ collectively making this unreachable [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> pg_cli/src/args/bench.rs:757:21 [INFO] [stdout] | [INFO] [stdout] 757 | _ => unreachable!(), [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] note: multiple earlier patterns match some of the same values [INFO] [stdout] --> pg_cli/src/args/bench.rs:757:21 [INFO] [stdout] | [INFO] [stdout] 733 | Algos::Srg => { [INFO] [stdout] | ---------- matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 738 | Algos::Erg => { [INFO] [stdout] | ---------- matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 743 | Algos::ErgReduced => { [INFO] [stdout] | ----------------- matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 750 | Algos::ErgJit => { [INFO] [stdout] | ------------- matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 757 | _ => unreachable!(), [INFO] [stdout] | ^ collectively making this unreachable [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `priorities` [INFO] [stdout] --> pg_graph/src/symbolic/register_game/mod.rs:626:9 [INFO] [stdout] | [INFO] [stdout] 626 | let priorities = pg.priorities_unique().collect_vec(); [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_priorities` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `p` [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:39:23 [INFO] [stdout] | [INFO] [stdout] 39 | .filter(|(p, bdd)| self.base_false != **bdd) [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_p` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:376:13 [INFO] [stdout] | [INFO] [stdout] 376 | let mut pg = r#"parity 3; [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] --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:384:13 [INFO] [stdout] | [INFO] [stdout] 384 | let mut pg = r#"parity 4; [INFO] [stdout] | ----^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/variable_order.rs:398:14 [INFO] [stdout] | [INFO] [stdout] 398 | for (i, group_id) in var_iter.enumerate() { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `time_odd` [INFO] [stdout] --> pg_cli/src/args/bench.rs:1022:28 [INFO] [stdout] | [INFO] [stdout] 1022 | let (odd_game, time_odd) = timed_solve!( [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_time_odd` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `time_solve_odd` [INFO] [stdout] --> pg_cli/src/args/bench.rs:1029:30 [INFO] [stdout] | [INFO] [stdout] 1029 | let (output_odd, time_solve_odd) = timed_solve!(solver.run(), "Solved Zielonka on Odd register game"); [INFO] [stdout] | ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_time_solve_odd` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `time_odd` [INFO] [stdout] --> pg_cli/src/args/bench.rs:1102:28 [INFO] [stdout] | [INFO] [stdout] 1102 | let (odd_game, time_odd) = timed_solve!( [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_time_odd` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `time_solve_odd` [INFO] [stdout] --> pg_cli/src/args/bench.rs:1111:35 [INFO] [stdout] | [INFO] [stdout] 1111 | let (solution_rg_odd, time_solve_odd) = timed_solve!(solver.run(), "Solved Zielonka on Odd register game"); [INFO] [stdout] | ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_time_solve_odd` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `base_true` [INFO] [stdout] --> pg_graph/src/symbolic/sat.rs:370:13 [INFO] [stdout] | [INFO] [stdout] 370 | let base_true = manager.with_manager_exclusive(|man| BDDFunction::t(man)); [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_base_true` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `base_false` [INFO] [stdout] --> pg_graph/src/symbolic/sat.rs:371:13 [INFO] [stdout] | [INFO] [stdout] 371 | let base_false = manager.with_manager_exclusive(|man| BDDFunction::f(man)); [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_base_false` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `both` [INFO] [stdout] --> pg_graph/src/symbolic/sat.rs:377:13 [INFO] [stdout] | [INFO] [stdout] 377 | let both = v0_and_v1.or(&v0_and_v2)?; [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_both` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `had_nodes` [INFO] [stdout] --> pg_cli/src/args/convert.rs:94:21 [INFO] [stdout] | [INFO] [stdout] 94 | let had_nodes = parity_game.vertex_count(); [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_had_nodes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `ProgressMeasureData` is never used [INFO] [stdout] --> pg_graph/src/explicit/solvers/small_progress.rs:12:6 [INFO] [stdout] | [INFO] [stdout] 12 | type ProgressMeasureData<'a> = &'a [Progress]; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `replace_measure` and `get_measure_mut` are never used [INFO] [stdout] --> pg_graph/src/explicit/solvers/small_progress.rs:187:12 [INFO] [stdout] | [INFO] [stdout] 182 | impl ProgressMeasures { [INFO] [stdout] | --------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 187 | pub fn replace_measure(&mut self, vertex_id: VertexId, measure: ProgressMeasure) -> ProgressMeasure { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 195 | pub fn get_measure_mut(&mut self, vertex_id: VertexId) -> Option<&mut ProgressMeasure> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `min_precision` is never read [INFO] [stdout] --> pg_graph/src/explicit/solvers/qpt_liverpool.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 8 | pub struct LiverpoolSolver<'a> { [INFO] [stdout] | --------------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 15 | min_precision: usize, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `min_precision` is never read [INFO] [stdout] --> pg_graph/src/explicit/solvers/qpt_tangle_liverpool.rs:19:5 [INFO] [stdout] | [INFO] [stdout] 10 | pub struct TLZSolver<'a> { [INFO] [stdout] | --------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 19 | min_precision: usize, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `ToExpand` is never used [INFO] [stdout] --> pg_graph/src/explicit/reduced_register_game.rs:32:6 [INFO] [stdout] | [INFO] [stdout] 32 | enum ToExpand { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `encode_eval` is never used [INFO] [stdout] --> pg_graph/src/symbolic/helpers.rs:120:19 [INFO] [stdout] | [INFO] [stdout] 49 | / impl CachedBinaryEncoder [INFO] [stdout] 50 | | where [INFO] [stdout] 51 | | T: std::ops::BitAnd + std::ops::Shl + Copy + From + BitHelper, [INFO] [stdout] 52 | | T: Eq + Hash + Debug, [INFO] [stdout] 53 | | ::Output: PartialEq, [INFO] [stdout] 54 | | F: Function + BooleanFunctionExtensions, [INFO] [stdout] | |____________________________________________- associated function in this implementation [INFO] [stdout] ... [INFO] [stdout] 120 | pub(crate) fn encode_eval<'a>( [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `recursive_bit_encode_geq` is never used [INFO] [stdout] --> pg_graph/src/symbolic/helpers.rs:390:8 [INFO] [stdout] | [INFO] [stdout] 252 | / impl CachedInequalityEncoder [INFO] [stdout] 253 | | where [INFO] [stdout] 254 | | T: std::ops::BitAnd + std::ops::Shl + std::ops::Sub + Copy + From + BitHelper + Sized + Ord, [INFO] [stdout] 255 | | T: Eq + Hash + Debug + PartialOrd, [INFO] [stdout] 256 | | ::Output: PartialEq, [INFO] [stdout] 257 | | F: Function + BooleanFunctionExtensions { [INFO] [stdout] | |_______________________________________________- associated function in this implementation [INFO] [stdout] ... [INFO] [stdout] 390 | fn recursive_bit_encode_geq(value: T, bit: usize, variables: &[F], base_true: &F) -> AllocResult { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `n_registers` is never used [INFO] [stdout] --> pg_graph/src/symbolic/register_game/mod.rs:454:8 [INFO] [stdout] | [INFO] [stdout] 54 | / impl SymbolicRegisterGame [INFO] [stdout] 55 | | where [INFO] [stdout] 56 | | F: GeneralBooleanFunction, [INFO] [stdout] 57 | | for<'id> F::Manager<'id>: WorkerManager, [INFO] [stdout] 58 | | for<'a, 'b> TruthAssignmentsIterator<'b, 'a, F>: Iterator>, [INFO] [stdout] | |___________________________________________________________________________________- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 454 | fn n_registers(&self) -> usize { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `rev_edge_substitute` is never used [INFO] [stdout] --> pg_graph/src/symbolic/register_game/helpers.rs:189:8 [INFO] [stdout] | [INFO] [stdout] 9 | impl SymbolicRegisterGame [INFO] [stdout] | ------------------------------------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 189 | fn rev_edge_substitute(&self, bdd: &F) -> symbolic::Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `small_pg` is never used [INFO] [stdout] --> pg_graph/src/symbolic/register_game/helpers.rs:312:8 [INFO] [stdout] | [INFO] [stdout] 312 | fn small_pg() -> eyre::Result { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `other_pg` is never used [INFO] [stdout] --> pg_graph/src/symbolic/register_game/helpers.rs:320:8 [INFO] [stdout] | [INFO] [stdout] 320 | fn other_pg() -> eyre::Result { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `SymbolicTest` is never constructed [INFO] [stdout] --> pg_graph/src/symbolic/register_game/helpers.rs:348:12 [INFO] [stdout] | [INFO] [stdout] 348 | struct SymbolicTest { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `symbolic_rg` is never used [INFO] [stdout] --> pg_graph/src/symbolic/register_game/helpers.rs:353:8 [INFO] [stdout] | [INFO] [stdout] 353 | fn symbolic_rg(pg: ParityGame, k: Rank) -> eyre::Result { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `small_pg` is never used [INFO] [stdout] --> pg_graph/src/symbolic/register_game/test_helpers.rs:124:8 [INFO] [stdout] | [INFO] [stdout] 124 | fn small_pg() -> eyre::Result { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `VariableOrder` is never used [INFO] [stdout] --> pg_graph/src/symbolic/register_game/variable_order.rs:11:10 [INFO] [stdout] | [INFO] [stdout] 11 | pub type VariableOrder = ahash::HashMap>; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `test_variable_orders` is never used [INFO] [stdout] --> pg_graph/src/symbolic/register_game/variable_order.rs:169:12 [INFO] [stdout] | [INFO] [stdout] 169 | pub fn test_variable_orders() -> eyre::Result<()> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `test_variable_orders_grouped` is never used [INFO] [stdout] --> pg_graph/src/symbolic/register_game/variable_order.rs:232:12 [INFO] [stdout] | [INFO] [stdout] 232 | pub fn test_variable_orders_grouped() -> eyre::Result<()> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `test_variable_orders_grouped_time_taken` is never used [INFO] [stdout] --> pg_graph/src/symbolic/register_game/variable_order.rs:289:12 [INFO] [stdout] | [INFO] [stdout] 289 | pub fn test_variable_orders_grouped_time_taken() -> eyre::Result<()> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `alloc_var_with_order` is never used [INFO] [stdout] --> pg_graph/src/symbolic/register_game/variable_order.rs:351:8 [INFO] [stdout] | [INFO] [stdout] 351 | fn alloc_var_with_order( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `permutation_to_order_grouped` is never used [INFO] [stdout] --> pg_graph/src/symbolic/register_game/variable_order.rs:384:8 [INFO] [stdout] | [INFO] [stdout] 384 | fn permutation_to_order_grouped(vars: VariableAllocatorInfo, perm: &[usize]) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `permutation_to_order` is never used [INFO] [stdout] --> pg_graph/src/symbolic/register_game/variable_order.rs:427:8 [INFO] [stdout] | [INFO] [stdout] 427 | fn permutation_to_order( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `rev_edge_substitute` is never used [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:203:8 [INFO] [stdout] | [INFO] [stdout] 21 | impl OneHotRegisterGame { [INFO] [stdout] | ----------------------------------------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 203 | fn rev_edge_substitute(&self, bdd: &F) -> symbolic::Result { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `variables` is never read [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:325:5 [INFO] [stdout] | [INFO] [stdout] 322 | pub struct OneHotEncoder { [INFO] [stdout] | ------------- field in this struct [INFO] [stdout] ... [INFO] [stdout] 325 | variables: EcoVec, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `small_pg` is never used [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:375:8 [INFO] [stdout] | [INFO] [stdout] 375 | fn small_pg() -> eyre::Result { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `other_pg` is never used [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:383:8 [INFO] [stdout] | [INFO] [stdout] 383 | fn other_pg() -> eyre::Result { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `SymbolicTest` is never constructed [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:411:12 [INFO] [stdout] | [INFO] [stdout] 411 | struct SymbolicTest { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `symbolic_rg` is never used [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/helpers.rs:416:8 [INFO] [stdout] | [INFO] [stdout] 416 | fn symbolic_rg(pg: ParityGame, k: Rank) -> eyre::Result { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `VariableOrder` is never used [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/variable_order.rs:11:10 [INFO] [stdout] | [INFO] [stdout] 11 | pub type VariableOrder = ahash::HashMap>; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `test_variable_orders` is never used [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/variable_order.rs:170:12 [INFO] [stdout] | [INFO] [stdout] 170 | pub fn test_variable_orders() -> eyre::Result<()> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `test_variable_orders_grouped` is never used [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/variable_order.rs:234:12 [INFO] [stdout] | [INFO] [stdout] 234 | pub fn test_variable_orders_grouped() -> eyre::Result<()> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `test_variable_orders_grouped_time_taken` is never used [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/variable_order.rs:290:12 [INFO] [stdout] | [INFO] [stdout] 290 | pub fn test_variable_orders_grouped_time_taken() -> eyre::Result<()> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `alloc_var_with_order` is never used [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/variable_order.rs:352:8 [INFO] [stdout] | [INFO] [stdout] 352 | fn alloc_var_with_order( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `permutation_to_order_grouped` is never used [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/variable_order.rs:385:8 [INFO] [stdout] | [INFO] [stdout] 385 | fn permutation_to_order_grouped(vars: VariableAllocatorInfo, perm: &[usize]) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `permutation_to_order` is never used [INFO] [stdout] --> pg_graph/src/symbolic/register_game_one_hot/variable_order.rs:428:8 [INFO] [stdout] | [INFO] [stdout] 428 | fn permutation_to_order( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `counter` is never read [INFO] [stdout] --> pg_graph/src/symbolic/sat.rs:44:5 [INFO] [stdout] | [INFO] [stdout] 41 | pub struct TruthAssignmentsIterator<'b, 'a, F: Function> { [INFO] [stdout] | ------------------------ field in this struct [INFO] [stdout] ... [INFO] [stdout] 44 | counter: usize, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Write` [INFO] [stdout] --> pg_cli/src/args/bench.rs:17:27 [INFO] [stdout] | [INFO] [stdout] 17 | use std::fmt::{Formatter, Write}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Write` [INFO] [stdout] --> pg_cli/src/args/solve.rs:16:22 [INFO] [stdout] | [INFO] [stdout] 16 | fmt::{Formatter, Write}, [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `v` [INFO] [stdout] --> pg_cli/src/args/bench.rs:172:30 [INFO] [stdout] | [INFO] [stdout] 172 | out.map(|v| ()) [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_v` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `v` [INFO] [stdout] --> pg_cli/src/args/bench.rs:179:30 [INFO] [stdout] | [INFO] [stdout] 179 | out.map(|v| ()) [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `v` [INFO] [stdout] --> pg_cli/src/args/bench.rs:187:30 [INFO] [stdout] | [INFO] [stdout] 187 | out.map(|v| ()) [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `v` [INFO] [stdout] --> pg_cli/src/args/bench.rs:199:34 [INFO] [stdout] | [INFO] [stdout] 199 | out.map(|v| ()) [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `v` [INFO] [stdout] --> pg_cli/src/args/bench.rs:206:34 [INFO] [stdout] | [INFO] [stdout] 206 | out.map(|v| ()) [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_v` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> pg_cli/src/args/bench.rs:471:21 [INFO] [stdout] | [INFO] [stdout] 471 | _ => unreachable!(), [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] note: multiple earlier patterns match some of the same values [INFO] [stdout] --> pg_cli/src/args/bench.rs:471:21 [INFO] [stdout] | [INFO] [stdout] 447 | Algos::Srg => { [INFO] [stdout] | ---------- matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 452 | Algos::Erg => { [INFO] [stdout] | ---------- matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 457 | Algos::ErgReduced => { [INFO] [stdout] | ----------------- matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 464 | Algos::ErgJit => { [INFO] [stdout] | ------------- matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 471 | _ => unreachable!(), [INFO] [stdout] | ^ collectively making this unreachable [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> pg_cli/src/args/bench.rs:757:21 [INFO] [stdout] | [INFO] [stdout] 757 | _ => unreachable!(), [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] note: multiple earlier patterns match some of the same values [INFO] [stdout] --> pg_cli/src/args/bench.rs:757:21 [INFO] [stdout] | [INFO] [stdout] 733 | Algos::Srg => { [INFO] [stdout] | ---------- matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 738 | Algos::Erg => { [INFO] [stdout] | ---------- matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 743 | Algos::ErgReduced => { [INFO] [stdout] | ----------------- matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 750 | Algos::ErgJit => { [INFO] [stdout] | ------------- matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 757 | _ => unreachable!(), [INFO] [stdout] | ^ collectively making this unreachable [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> pg_cli/src/args/testing.rs:47:21 [INFO] [stdout] | [INFO] [stdout] 47 | let mut u_edges = parity_game.edges(u).collect::>(); [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sim_matrix` [INFO] [stdout] --> pg_cli/src/args/testing.rs:187:71 [INFO] [stdout] | [INFO] [stdout] 187 | ...larities: &[Similarity], sim_matrix: &ahash::HashMap>) -> (Vec, Vec) { [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sim_matrix` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `time_odd` [INFO] [stdout] --> pg_cli/src/args/bench.rs:1022:28 [INFO] [stdout] | [INFO] [stdout] 1022 | let (odd_game, time_odd) = timed_solve!( [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_time_odd` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `time_solve_odd` [INFO] [stdout] --> pg_cli/src/args/bench.rs:1029:30 [INFO] [stdout] | [INFO] [stdout] 1029 | let (output_odd, time_solve_odd) = timed_solve!(solver.run(), "Solved Zielonka on Odd register game"); [INFO] [stdout] | ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_time_solve_odd` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `recursive_split` and `partition` are never used [INFO] [stdout] --> pg_cli/src/args/testing.rs:86:8 [INFO] [stdout] | [INFO] [stdout] 32 | impl TestingCommand { [INFO] [stdout] | ------------------- associated functions in this implementation [INFO] [stdout] ... [INFO] [stdout] 86 | fn recursive_split(vertices: impl Iterator, similarity_matrix: &HashMap>) -> HashMa... [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 187 | fn partition(vertices: &[NodeIndex], similarities: &[Similarity], sim_matrix: &ahash::HashMap pg_cli/src/args/testing.rs:251:8 [INFO] [stdout] | [INFO] [stdout] 251 | struct Similarity { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `time_odd` [INFO] [stdout] --> pg_cli/src/args/bench.rs:1102:28 [INFO] [stdout] | [INFO] [stdout] 1102 | let (odd_game, time_odd) = timed_solve!( [INFO] [stdout] | ^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_time_odd` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `time_solve_odd` [INFO] [stdout] --> pg_cli/src/args/bench.rs:1111:35 [INFO] [stdout] | [INFO] [stdout] 1111 | let (solution_rg_odd, time_solve_odd) = timed_solve!(solver.run(), "Solved Zielonka on Odd register game"); [INFO] [stdout] | ^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_time_solve_odd` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `had_nodes` [INFO] [stdout] --> pg_cli/src/args/convert.rs:94:21 [INFO] [stdout] | [INFO] [stdout] 94 | let had_nodes = parity_game.vertex_count(); [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_had_nodes` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> pg_cli/src/args/testing.rs:47:21 [INFO] [stdout] | [INFO] [stdout] 47 | let mut u_edges = parity_game.edges(u).collect::>(); [INFO] [stdout] | ----^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `sim_matrix` [INFO] [stdout] --> pg_cli/src/args/testing.rs:187:71 [INFO] [stdout] | [INFO] [stdout] 187 | ...larities: &[Similarity], sim_matrix: &ahash::HashMap>) -> (Vec, Vec) { [INFO] [stdout] | ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_sim_matrix` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `recursive_split` and `partition` are never used [INFO] [stdout] --> pg_cli/src/args/testing.rs:86:8 [INFO] [stdout] | [INFO] [stdout] 32 | impl TestingCommand { [INFO] [stdout] | ------------------- associated functions in this implementation [INFO] [stdout] ... [INFO] [stdout] 86 | fn recursive_split(vertices: impl Iterator, similarity_matrix: &HashMap>) -> HashMa... [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 187 | fn partition(vertices: &[NodeIndex], similarities: &[Similarity], sim_matrix: &ahash::HashMap pg_cli/src/args/testing.rs:251:8 [INFO] [stdout] | [INFO] [stdout] 251 | struct Similarity { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 4m 54s [INFO] running `Command { std: "docker" "inspect" "efa9cc892e1dbf374a4931920273ed8e9f24bf4774a90fd233a1f93bb129f798", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "efa9cc892e1dbf374a4931920273ed8e9f24bf4774a90fd233a1f93bb129f798", kill_on_drop: false }` [INFO] [stdout] efa9cc892e1dbf374a4931920273ed8e9f24bf4774a90fd233a1f93bb129f798