[INFO] cloning repository https://github.com/daemontus/biodivine-aeon-wasm [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/daemontus/biodivine-aeon-wasm" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdaemontus%2Fbiodivine-aeon-wasm", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdaemontus%2Fbiodivine-aeon-wasm'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] db1678896b49291349f17bdfeddc0d2a373afafb [INFO] checking daemontus/biodivine-aeon-wasm against master#385fa9d845dd326c6bbfd58c22244215e431948a for absurd-question-mark-desugar [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdaemontus%2Fbiodivine-aeon-wasm" "/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/daemontus/biodivine-aeon-wasm on toolchain 385fa9d845dd326c6bbfd58c22244215e431948a [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/daemontus/biodivine-aeon-wasm [INFO] finished tweaking git repo https://github.com/daemontus/biodivine-aeon-wasm [INFO] tweaked toml for git repo https://github.com/daemontus/biodivine-aeon-wasm written to /workspace/builds/worker-4-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/daemontus/biodivine-aeon-wasm 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" "+385fa9d845dd326c6bbfd58c22244215e431948a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded fixed-map v0.7.2 [INFO] [stderr] Downloaded fixed-map-derive v0.7.0 [INFO] [stderr] Downloaded bumpalo v3.15.3 [INFO] [stderr] Downloaded bitvector v0.1.5 [INFO] [stderr] Downloaded num-integer v0.1.46 [INFO] [stderr] Downloaded ahash v0.7.8 [INFO] [stderr] Downloaded biodivine-lib-bdd v0.5.11 [INFO] [stderr] Downloaded json v0.12.4 [INFO] [stderr] Downloaded num-bigint v0.4.4 [INFO] [stderr] Downloaded roxmltree v0.19.0 [INFO] [stderr] Downloaded serde-wasm-bindgen v0.6.5 [INFO] [stderr] Downloaded biodivine-lib-param-bn v0.5.9 [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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 68aaccac636f670f4afd97d72b37fd6795a3f785bbf1328d578f981b25a503de [INFO] running `Command { std: "docker" "start" "-a" "68aaccac636f670f4afd97d72b37fd6795a3f785bbf1328d578f981b25a503de", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "68aaccac636f670f4afd97d72b37fd6795a3f785bbf1328d578f981b25a503de", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "68aaccac636f670f4afd97d72b37fd6795a3f785bbf1328d578f981b25a503de", kill_on_drop: false }` [INFO] [stdout] 68aaccac636f670f4afd97d72b37fd6795a3f785bbf1328d578f981b25a503de [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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] e85a943b5b0dbeb861879eb882891ed98e20098f3f59faaa58159c24a7b1c486 [INFO] running `Command { std: "docker" "start" "-a" "e85a943b5b0dbeb861879eb882891ed98e20098f3f59faaa58159c24a7b1c486", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.78 [INFO] [stderr] Compiling libc v0.2.153 [INFO] [stderr] Compiling wasm-bindgen-shared v0.2.91 [INFO] [stderr] Compiling log v0.4.20 [INFO] [stderr] Compiling once_cell v1.19.0 [INFO] [stderr] Compiling num-traits v0.2.18 [INFO] [stderr] Compiling bumpalo v3.15.3 [INFO] [stderr] Compiling ahash v0.7.8 [INFO] [stderr] Compiling num-bigint v0.4.4 [INFO] [stderr] Checking memchr v2.7.1 [INFO] [stderr] Compiling wasm-bindgen v0.2.91 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking ppv-lite86 v0.2.17 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Compiling serde v1.0.197 [INFO] [stderr] Checking regex-syntax v0.8.2 [INFO] [stderr] Checking fxhash v0.2.1 [INFO] [stderr] Checking roxmltree v0.19.0 [INFO] [stderr] Checking aho-corasick v1.1.2 [INFO] [stderr] Checking bitvector v0.1.5 [INFO] [stderr] Checking instant v0.1.12 [INFO] [stderr] Checking json v0.12.4 [INFO] [stderr] Compiling quote v1.0.35 [INFO] [stderr] Checking getrandom v0.2.12 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Compiling syn v2.0.50 [INFO] [stderr] Checking hashbrown v0.11.2 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking regex-automata v0.4.5 [INFO] [stderr] Checking biodivine-lib-bdd v0.5.11 [INFO] [stderr] Compiling fixed-map-derive v0.7.0 [INFO] [stderr] Compiling wasm-bindgen-backend v0.2.91 [INFO] [stderr] Checking fixed-map v0.7.2 [INFO] [stderr] Compiling serde_derive v1.0.197 [INFO] [stderr] Checking regex v1.10.3 [INFO] [stderr] Checking biodivine-lib-param-bn v0.5.9 [INFO] [stderr] Compiling wasm-bindgen-macro-support v0.2.91 [INFO] [stderr] Compiling wasm-bindgen-macro v0.2.91 [INFO] [stderr] Checking js-sys v0.3.68 [INFO] [stderr] Checking serde-wasm-bindgen v0.6.5 [INFO] [stderr] Checking aeon-wasm v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: the item `Some` is imported redundantly [INFO] [stdout] --> src/bdt/_impl_bdt.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | use std::option::Option::Some; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Some` is already defined here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryFrom` is imported redundantly [INFO] [stdout] --> src/scc/_impl_behaviour.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use std::convert::TryFrom; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryFrom` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryFrom` is imported redundantly [INFO] [stdout] --> src/scc/algo_interleaved_transition_guided_reduction/mod.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | use std::convert::TryFrom; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryFrom` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryFrom` is imported redundantly [INFO] [stdout] --> src/scc/algo_stability_analysis/_impl_stability.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use std::convert::TryFrom; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryFrom` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryFrom` is imported redundantly [INFO] [stdout] --> src/scc/algo_stability_analysis/_impl_stability_vector.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use std::convert::TryFrom; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryFrom` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryFrom` is imported redundantly [INFO] [stdout] --> src/scc/algo_stability_analysis/_impl_variable_stability.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | use std::convert::TryFrom; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryFrom` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Some` is imported redundantly [INFO] [stdout] --> src/bdt/_impl_bdt.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | use std::option::Option::Some; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Some` is already defined here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryFrom` is imported redundantly [INFO] [stdout] --> src/scc/_impl_behaviour.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use std::convert::TryFrom; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryFrom` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryFrom` is imported redundantly [INFO] [stdout] --> src/scc/algo_interleaved_transition_guided_reduction/mod.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | use std::convert::TryFrom; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryFrom` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryFrom` is imported redundantly [INFO] [stdout] --> src/scc/algo_stability_analysis/_impl_stability.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use std::convert::TryFrom; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryFrom` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryFrom` is imported redundantly [INFO] [stdout] --> src/scc/algo_stability_analysis/_impl_stability.rs:31:9 [INFO] [stdout] | [INFO] [stdout] 31 | use std::convert::TryFrom; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryFrom` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryFrom` is imported redundantly [INFO] [stdout] --> src/scc/algo_stability_analysis/_impl_stability_vector.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use std::convert::TryFrom; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryFrom` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryFrom` is imported redundantly [INFO] [stdout] --> src/scc/algo_stability_analysis/_impl_stability_vector.rs:138:9 [INFO] [stdout] | [INFO] [stdout] 138 | use std::convert::TryFrom; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryFrom` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryFrom` is imported redundantly [INFO] [stdout] --> src/scc/algo_stability_analysis/_impl_variable_stability.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | use std::convert::TryFrom; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/385fa9d845dd326c6bbfd58c22244215e431948a/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryFrom` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `args` [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:332:28 [INFO] [stdout] | [INFO] [stdout] 332 | FnUpdate::Param(_, args) => { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_args` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `args` [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:332:28 [INFO] [stdout] | [INFO] [stdout] 332 | FnUpdate::Param(_, args) => { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_args` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `graph` is never read [INFO] [stdout] --> src/lib.rs:275:5 [INFO] [stdout] | [INFO] [stdout] 274 | pub struct ComputationResult { [INFO] [stdout] | ----------------- field in this struct [INFO] [stdout] 275 | graph: SymbolicAsyncGraph, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Binary`, `Not`, and `Atom` are never constructed [INFO] [stdout] --> src/all/mod.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 8 | pub enum BooleanFormula

{ [INFO] [stdout] | -------------- variants in this enum [INFO] [stdout] 9 | Binary { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 14 | Not(Box>), [INFO] [stdout] | ^^^ [INFO] [stdout] 15 | Atom(P), [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `BooleanFormula` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `IsSet` and `IsNotSet` are never constructed [INFO] [stdout] --> src/all/mod.rs:20:5 [INFO] [stdout] | [INFO] [stdout] 19 | pub enum StateAtom { [INFO] [stdout] | --------- variants in this enum [INFO] [stdout] 20 | IsSet(VariableId), [INFO] [stdout] | ^^^^^ [INFO] [stdout] 21 | IsNotSet(VariableId), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `StateAtom` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `IsClass`, `AllStates`, and `SomeState` are never constructed [INFO] [stdout] --> src/all/mod.rs:26:5 [INFO] [stdout] | [INFO] [stdout] 25 | pub enum AttractorAtom { [INFO] [stdout] | ------------- variants in this enum [INFO] [stdout] 26 | IsClass(Behaviour), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 27 | AllStates(StateFormula), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 28 | SomeState(StateFormula), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `AttractorAtom` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `AllAttractors` and `SomeAttractor` are never constructed [INFO] [stdout] --> src/all/mod.rs:33:5 [INFO] [stdout] | [INFO] [stdout] 32 | pub enum AllAtom { [INFO] [stdout] | ------- variants in this enum [INFO] [stdout] 33 | AllAttractors(AttractorFormula), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] 34 | SomeAttractor(AttractorFormula), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `AllAtom` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `AllFormula` is never used [INFO] [stdout] --> src/all/mod.rs:41:10 [INFO] [stdout] | [INFO] [stdout] 41 | pub type AllFormula = BooleanFormula; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Leaf`, `Decision`, and `Unprocessed` are never constructed [INFO] [stdout] --> src/bdt/mod.rs:32:5 [INFO] [stdout] | [INFO] [stdout] 31 | pub enum BdtNode { [INFO] [stdout] | ------- variants in this enum [INFO] [stdout] 32 | Leaf { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 36 | Decision { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 42 | Unprocessed { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `BdtNode` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `next_id` and `precision` are never read [INFO] [stdout] --> src/bdt/mod.rs:73:5 [INFO] [stdout] | [INFO] [stdout] 70 | pub struct Bdt { [INFO] [stdout] | --- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 73 | next_id: usize, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 77 | precision: Option, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `BdtNodeIds` is never used [INFO] [stdout] --> src/bdt/mod.rs:80:6 [INFO] [stdout] | [INFO] [stdout] 80 | type BdtNodeIds<'a> = Map, fn(&usize) -> BdtNodeId>; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `AttributeIds` is never used [INFO] [stdout] --> src/bdt/mod.rs:81:6 [INFO] [stdout] | [INFO] [stdout] 81 | type AttributeIds<'a> = Map, fn(usize) -> AttributeId>; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `name`, `positive`, `negative`, and `context` are never read [INFO] [stdout] --> src/bdt/mod.rs:87:5 [INFO] [stdout] | [INFO] [stdout] 86 | pub struct Attribute { [INFO] [stdout] | --------- fields in this struct [INFO] [stdout] 87 | name: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] 88 | positive: GraphColors, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 89 | negative: GraphColors, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 90 | context: Option, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Attribute` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `target`, `regulator`, and `context` are never read [INFO] [stdout] --> src/bdt/mod.rs:97:5 [INFO] [stdout] | [INFO] [stdout] 96 | struct AttributeContext { [INFO] [stdout] | ---------------- fields in this struct [INFO] [stdout] 97 | target: VariableId, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 98 | regulator: VariableId, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 99 | context: Vec, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `AttributeContext` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `AppliedAttribute` is never constructed [INFO] [stdout] --> src/bdt/mod.rs:108:12 [INFO] [stdout] | [INFO] [stdout] 108 | pub struct AppliedAttribute { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `AppliedAttribute` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `entropy` is never used [INFO] [stdout] --> src/bdt/mod.rs:116:8 [INFO] [stdout] | [INFO] [stdout] 116 | pub fn entropy(classes: &BifurcationFunction) -> f64 { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `information_gain` is never used [INFO] [stdout] --> src/bdt/mod.rs:131:8 [INFO] [stdout] | [INFO] [stdout] 131 | pub fn information_gain(original: f64, left: f64, right: f64) -> f64 { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new_from_graph` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:9:12 [INFO] [stdout] | [INFO] [stdout] 8 | impl Bdt { [INFO] [stdout] | -------- associated function in this implementation [INFO] [stdout] 9 | pub fn new_from_graph( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `attributes_for_network_inputs` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:37:4 [INFO] [stdout] | [INFO] [stdout] 37 | fn attributes_for_network_inputs( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `attributes_for_constant_parameters` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:61:4 [INFO] [stdout] | [INFO] [stdout] 61 | fn attributes_for_constant_parameters( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `attributes_for_missing_constraints` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:84:4 [INFO] [stdout] | [INFO] [stdout] 84 | fn attributes_for_missing_constraints( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `attributes_for_implicit_function_tables` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:177:4 [INFO] [stdout] | [INFO] [stdout] 177 | fn attributes_for_implicit_function_tables( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `attributes_for_explicit_function_tables` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:216:4 [INFO] [stdout] | [INFO] [stdout] 216 | fn attributes_for_explicit_function_tables( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `attributes_for_conditional_observability` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:248:4 [INFO] [stdout] | [INFO] [stdout] 248 | fn attributes_for_conditional_observability( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `graph` is never read [INFO] [stdout] --> src/lib.rs:275:5 [INFO] [stdout] | [INFO] [stdout] 274 | pub struct ComputationResult { [INFO] [stdout] | ----------------- field in this struct [INFO] [stdout] 275 | graph: SymbolicAsyncGraph, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `variable_contexts` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:328:4 [INFO] [stdout] | [INFO] [stdout] 328 | fn variable_contexts(function: &FnUpdate) -> Vec> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Binary`, `Not`, and `Atom` are never constructed [INFO] [stdout] --> src/all/mod.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 8 | pub enum BooleanFormula

{ [INFO] [stdout] | -------------- variants in this enum [INFO] [stdout] 9 | Binary { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 14 | Not(Box>), [INFO] [stdout] | ^^^ [INFO] [stdout] 15 | Atom(P), [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `BooleanFormula` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `IsSet` and `IsNotSet` are never constructed [INFO] [stdout] --> src/all/mod.rs:20:5 [INFO] [stdout] | [INFO] [stdout] 19 | pub enum StateAtom { [INFO] [stdout] | --------- variants in this enum [INFO] [stdout] 20 | IsSet(VariableId), [INFO] [stdout] | ^^^^^ [INFO] [stdout] 21 | IsNotSet(VariableId), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `StateAtom` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `make_contexts` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:351:4 [INFO] [stdout] | [INFO] [stdout] 351 | fn make_contexts(conditions: &[(String, Bdd)]) -> Vec<(String, Vec, Bdd)> { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `split_function`, `restrict`, and `is_specification_of` are never used [INFO] [stdout] --> src/bdt/_impl_attribute.rs:9:12 [INFO] [stdout] | [INFO] [stdout] 7 | impl Attribute { [INFO] [stdout] | -------------- associated items in this implementation [INFO] [stdout] 8 | /// Apply this attribute to the given bifurcation function, splitting it into two. [INFO] [stdout] 9 | pub fn split_function( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 20 | fn restrict(classes: &BifurcationFunction, attribute: &GraphColors) -> BifurcationFunction { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 30 | pub fn is_specification_of(&self, attr: &Attribute) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> src/bdt/_impl_bdt.rs:15:12 [INFO] [stdout] | [INFO] [stdout] 13 | impl Bdt { [INFO] [stdout] | -------- associated items in this implementation [INFO] [stdout] 14 | /// Create a new single-node tree for given classification and attributes. [INFO] [stdout] 15 | pub fn new(classes: BifurcationFunction, attributes: Vec) -> Bdt { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 31 | pub fn set_precision(&mut self, precision: u32) { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 41 | pub fn get_precision(&self) -> u32 { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 50 | pub fn root_id(&self) -> BdtNodeId { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 55 | pub fn nodes(&self) -> BdtNodeIds { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 60 | pub fn attributes(&self) -> AttributeIds { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 65 | pub fn params_for_leaf(&self, node: BdtNodeId) -> Option<&GraphColors> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 74 | pub fn all_node_params(&self, node: BdtNodeId) -> GraphColors { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 82 | fn class_union(classes: &BifurcationFunction) -> GraphColors { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 92 | fn next_id(&mut self) -> BdtNodeId { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 97 | pub(super) fn replace_node(&mut self, id: BdtNodeId, node: BdtNode) { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 104 | pub(super) fn insert_node(&mut self, node: BdtNode) -> BdtNodeId { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 113 | pub(super) fn insert_node_with_classes(&mut self, classes: BifurcationFunction) -> BdtNodeId { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 124 | pub fn applied_attributes(&self, node: BdtNodeId) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 172 | pub fn make_decision( [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 210 | pub fn revert_decision(&mut self, node: BdtNodeId) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 234 | pub fn auto_expand(&mut self, node: BdtNodeId, depth: u32) -> HashSet { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 240 | fn auto_expand_recursive( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `to_dot`, `write_dot`, and `format_dot_recursive` are never used [INFO] [stdout] --> src/bdt/_impl_bdt_dot_export.rs:8:12 [INFO] [stdout] | [INFO] [stdout] 6 | impl Bdt { [INFO] [stdout] | -------- methods in this implementation [INFO] [stdout] 7 | /// Convert this tree to a .dot graph string. [INFO] [stdout] 8 | pub fn to_dot(&self) -> String { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 15 | pub fn write_dot(&self, out: &mut dyn Write) -> Result<(), std::io::Error> { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 25 | fn format_dot_recursive( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `to_json` is never used [INFO] [stdout] --> src/bdt/_impl_bdt_json.rs:15:12 [INFO] [stdout] | [INFO] [stdout] 10 | impl BdtNode { [INFO] [stdout] | ------------ method in this implementation [INFO] [stdout] ... [INFO] [stdout] 15 | pub fn to_json(&self, precision: Option) -> JsonValue { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `IsClass`, `AllStates`, and `SomeState` are never constructed [INFO] [stdout] --> src/all/mod.rs:26:5 [INFO] [stdout] | [INFO] [stdout] 25 | pub enum AttractorAtom { [INFO] [stdout] | ------------- variants in this enum [INFO] [stdout] 26 | IsClass(Behaviour), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 27 | AllStates(StateFormula), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 28 | SomeState(StateFormula), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `AttractorAtom` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `AllAttractors` and `SomeAttractor` are never constructed [INFO] [stdout] --> src/all/mod.rs:33:5 [INFO] [stdout] | [INFO] [stdout] 32 | pub enum AllAtom { [INFO] [stdout] | ------- variants in this enum [INFO] [stdout] 33 | AllAttractors(AttractorFormula), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] 34 | SomeAttractor(AttractorFormula), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `AllAtom` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `AllFormula` is never used [INFO] [stdout] --> src/all/mod.rs:41:10 [INFO] [stdout] | [INFO] [stdout] 41 | pub type AllFormula = BooleanFormula; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Leaf`, `Decision`, and `Unprocessed` are never constructed [INFO] [stdout] --> src/bdt/mod.rs:32:5 [INFO] [stdout] | [INFO] [stdout] 31 | pub enum BdtNode { [INFO] [stdout] | ------- variants in this enum [INFO] [stdout] 32 | Leaf { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 36 | Decision { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 42 | Unprocessed { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `BdtNode` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `next_id` and `precision` are never read [INFO] [stdout] --> src/bdt/mod.rs:73:5 [INFO] [stdout] | [INFO] [stdout] 70 | pub struct Bdt { [INFO] [stdout] | --- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 73 | next_id: usize, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 77 | precision: Option, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `BdtNodeIds` is never used [INFO] [stdout] --> src/bdt/mod.rs:80:6 [INFO] [stdout] | [INFO] [stdout] 80 | type BdtNodeIds<'a> = Map, fn(&usize) -> BdtNodeId>; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `AttributeIds` is never used [INFO] [stdout] --> src/bdt/mod.rs:81:6 [INFO] [stdout] | [INFO] [stdout] 81 | type AttributeIds<'a> = Map, fn(usize) -> AttributeId>; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `name`, `positive`, `negative`, and `context` are never read [INFO] [stdout] --> src/bdt/mod.rs:87:5 [INFO] [stdout] | [INFO] [stdout] 86 | pub struct Attribute { [INFO] [stdout] | --------- fields in this struct [INFO] [stdout] 87 | name: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] 88 | positive: GraphColors, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 89 | negative: GraphColors, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 90 | context: Option, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Attribute` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `to_json`, `to_json_partial`, `node_to_json`, and `attribute_gains_json` are never used [INFO] [stdout] --> src/bdt/_impl_bdt_json.rs:68:12 [INFO] [stdout] | [INFO] [stdout] 66 | impl Bdt { [INFO] [stdout] | -------- methods in this implementation [INFO] [stdout] 67 | /// Convert the whole tree into one json array. [INFO] [stdout] 68 | pub fn to_json(&self) -> JsonValue { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 79 | pub fn to_json_partial(&self, ids: &HashSet) -> JsonValue { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 106 | pub fn node_to_json(&self, id: BdtNodeId) -> JsonValue { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 124 | pub fn attribute_gains_json(&self, id: BdtNodeId) -> JsonValue { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `target`, `regulator`, and `context` are never read [INFO] [stdout] --> src/bdt/mod.rs:97:5 [INFO] [stdout] | [INFO] [stdout] 96 | struct AttributeContext { [INFO] [stdout] | ---------------- fields in this struct [INFO] [stdout] 97 | target: VariableId, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 98 | regulator: VariableId, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 99 | context: Vec, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `AttributeContext` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `class_list_to_json` is never used [INFO] [stdout] --> src/bdt/_impl_bdt_json.rs:141:15 [INFO] [stdout] | [INFO] [stdout] 141 | pub(super) fn class_list_to_json(classes: &HashMap) -> JsonValue { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `class_to_json` is never used [INFO] [stdout] --> src/bdt/_impl_bdt_json.rs:145:15 [INFO] [stdout] | [INFO] [stdout] 145 | pub(super) fn class_to_json((class, params): (&Class, &GraphColors)) -> JsonValue { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `AppliedAttribute` is never constructed [INFO] [stdout] --> src/bdt/mod.rs:108:12 [INFO] [stdout] | [INFO] [stdout] 108 | pub struct AppliedAttribute { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `AppliedAttribute` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `get_majority_class` is never used [INFO] [stdout] --> src/bdt/_impl_bdt_json.rs:152:15 [INFO] [stdout] | [INFO] [stdout] 152 | pub(super) fn get_majority_class( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `entropy` is never used [INFO] [stdout] --> src/bdt/mod.rs:116:8 [INFO] [stdout] | [INFO] [stdout] 116 | pub fn entropy(classes: &BifurcationFunction) -> f64 { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `information_gain` is never used [INFO] [stdout] --> src/bdt/mod.rs:131:8 [INFO] [stdout] | [INFO] [stdout] 131 | pub fn information_gain(original: f64, left: f64, right: f64) -> f64 { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `approx_cardinality`, `is_leaf`, `is_decision`, and `is_unprocessed` are never used [INFO] [stdout] --> src/bdt/_impl_bdt_node.rs:8:12 [INFO] [stdout] | [INFO] [stdout] 6 | impl BdtNode { [INFO] [stdout] | ------------ methods in this implementation [INFO] [stdout] 7 | /// Computes the cardinality of the parameter set covered by this tree node. [INFO] [stdout] 8 | pub fn approx_cardinality(&self) -> f64 { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 16 | pub fn is_leaf(&self) -> bool { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 20 | pub fn is_decision(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 24 | pub fn is_unprocessed(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new_from_graph` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:9:12 [INFO] [stdout] | [INFO] [stdout] 8 | impl Bdt { [INFO] [stdout] | -------- associated function in this implementation [INFO] [stdout] 9 | pub fn new_from_graph( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `class_list_cardinality` is never used [INFO] [stdout] --> src/bdt/_impl_bdt_node.rs:30:15 [INFO] [stdout] | [INFO] [stdout] 30 | pub(super) fn class_list_cardinality(classes: &HashMap) -> f64 { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `attributes_for_network_inputs` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:37:4 [INFO] [stdout] | [INFO] [stdout] 37 | fn attributes_for_network_inputs( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `attributes_for_constant_parameters` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:61:4 [INFO] [stdout] | [INFO] [stdout] 61 | fn attributes_for_constant_parameters( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `restart`, `cancel`, and `get_percent_string` are never used [INFO] [stdout] --> src/graph_task_context.rs:31:12 [INFO] [stdout] | [INFO] [stdout] 21 | impl GraphTaskContext { [INFO] [stdout] | --------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 31 | pub fn restart(&self, graph: &SymbolicAsyncGraph) { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 45 | pub fn cancel(&self) -> bool { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 55 | pub fn get_percent_string(&self) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `attributes_for_missing_constraints` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:84:4 [INFO] [stdout] | [INFO] [stdout] 84 | fn attributes_for_missing_constraints( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `extend` is never used [INFO] [stdout] --> src/scc/_impl_class.rs:10:12 [INFO] [stdout] | [INFO] [stdout] 5 | impl Class { [INFO] [stdout] | ---------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 10 | pub fn extend(&mut self, behaviour: Behaviour) { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `attributes_for_implicit_function_tables` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:177:4 [INFO] [stdout] | [INFO] [stdout] 177 | fn attributes_for_implicit_function_tables( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `attributes_for_explicit_function_tables` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:216:4 [INFO] [stdout] | [INFO] [stdout] 216 | fn attributes_for_explicit_function_tables( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `attributes_for_conditional_observability` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:248:4 [INFO] [stdout] | [INFO] [stdout] 248 | fn attributes_for_conditional_observability( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> src/scc/_impl_classifier.rs:20:12 [INFO] [stdout] | [INFO] [stdout] 9 | impl Classifier { [INFO] [stdout] | --------------- associated items in this implementation [INFO] [stdout] ... [INFO] [stdout] 20 | pub fn try_get_num_classes(&self) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 29 | pub fn try_export_result(&self) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 36 | pub fn try_get_params(&self, class: &Class) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 43 | pub fn get_params(&self, class: &Class) -> Option { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 53 | pub fn export_components( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 61 | pub fn export_components_with_class(&self, class: Behaviour) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 73 | pub fn classify_component( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 93 | pub fn attractors(&self, witness_colour: &GraphColors) -> Vec<(GraphVertices, Behaviour)> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 189 | pub fn print(&self) { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `variable_contexts` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:328:4 [INFO] [stdout] | [INFO] [stdout] 328 | fn variable_contexts(function: &FnUpdate) -> Vec> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `init_from_graph` is never used [INFO] [stdout] --> src/scc/_impl_progress_tracker.rs:23:12 [INFO] [stdout] | [INFO] [stdout] 12 | impl ProgressTracker { [INFO] [stdout] | -------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 23 | pub fn init_from_graph(&self, graph: &SymbolicAsyncGraph) { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `make_contexts` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:351:4 [INFO] [stdout] | [INFO] [stdout] 351 | fn make_contexts(conditions: &[(String, Bdd)]) -> Vec<(String, Vec, Bdd)> { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `reach_fwd` is never used [INFO] [stdout] --> src/scc/algo_saturated_reachability/mod.rs:42:8 [INFO] [stdout] | [INFO] [stdout] 42 | pub fn reach_fwd( [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `StabilityData` is never used [INFO] [stdout] --> src/scc/algo_stability_analysis/mod.rs:53:10 [INFO] [stdout] | [INFO] [stdout] 53 | pub type StabilityData = HashMap; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `compute_stability` is never used [INFO] [stdout] --> src/scc/algo_stability_analysis/mod.rs:56:8 [INFO] [stdout] | [INFO] [stdout] 56 | pub fn compute_stability( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `split_function`, `restrict`, and `is_specification_of` are never used [INFO] [stdout] --> src/bdt/_impl_attribute.rs:9:12 [INFO] [stdout] | [INFO] [stdout] 7 | impl Attribute { [INFO] [stdout] | -------------- associated items in this implementation [INFO] [stdout] 8 | /// Apply this attribute to the given bifurcation function, splitting it into two. [INFO] [stdout] 9 | pub fn split_function( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 20 | fn restrict(classes: &BifurcationFunction, attribute: &GraphColors) -> BifurcationFunction { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 30 | pub fn is_specification_of(&self, attr: &Attribute) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `for_attractor` is never used [INFO] [stdout] --> src/scc/algo_stability_analysis/_impl_attractor_stability_data.rs:24:12 [INFO] [stdout] | [INFO] [stdout] 22 | impl AttractorStabilityData { [INFO] [stdout] | --------------------------- associated function in this implementation [INFO] [stdout] 23 | /// Perform stability analysis for one attractor and one variable. [INFO] [stdout] 24 | pub fn for_attractor( [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `push`, `to_vec`, `for_attractors`, and `to_json` are never used [INFO] [stdout] --> src/scc/algo_stability_analysis/_impl_variable_stability.rs:32:12 [INFO] [stdout] | [INFO] [stdout] 30 | impl VariableStability { [INFO] [stdout] | ---------------------- associated items in this implementation [INFO] [stdout] 31 | /// Add a value for behaviour if not present, otherwise union with current value. [INFO] [stdout] 32 | pub fn push(&mut self, behaviour: StabilityVector, colors: GraphColors) { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 41 | pub fn to_vec(&self) -> Vec<(StabilityVector, GraphColors)> { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 51 | pub fn for_attractors( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 93 | pub fn to_json(&self) -> JsonValue { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `try_from` and `try_from_str` are never used [INFO] [stdout] --> src/util/index_type.rs:9:8 [INFO] [stdout] | [INFO] [stdout] 5 | pub trait IndexType: Sized { [INFO] [stdout] | --------- associated functions in this trait [INFO] [stdout] ... [INFO] [stdout] 9 | fn try_from(index: usize, collection: &Collection) -> Option; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 10 | /// Same as `try_from`, but also includes error handling for string parsing. [INFO] [stdout] 11 | fn try_from_str(index: &str, collection: &Collection) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `and_then` and `also` are never used [INFO] [stdout] --> src/util/functional.rs:18:8 [INFO] [stdout] | [INFO] [stdout] 1 | pub trait Functional: Sized { [INFO] [stdout] | ---------- methods in this trait [INFO] [stdout] ... [INFO] [stdout] 18 | fn and_then(self, action: F) -> R [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 27 | fn also(self, action: F) -> Self [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> src/bdt/_impl_bdt.rs:15:12 [INFO] [stdout] | [INFO] [stdout] 13 | impl Bdt { [INFO] [stdout] | -------- associated items in this implementation [INFO] [stdout] 14 | /// Create a new single-node tree for given classification and attributes. [INFO] [stdout] 15 | pub fn new(classes: BifurcationFunction, attributes: Vec) -> Bdt { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 31 | pub fn set_precision(&mut self, precision: u32) { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 41 | pub fn get_precision(&self) -> u32 { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 50 | pub fn root_id(&self) -> BdtNodeId { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 55 | pub fn nodes(&self) -> BdtNodeIds { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 60 | pub fn attributes(&self) -> AttributeIds { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 65 | pub fn params_for_leaf(&self, node: BdtNodeId) -> Option<&GraphColors> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 74 | pub fn all_node_params(&self, node: BdtNodeId) -> GraphColors { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 82 | fn class_union(classes: &BifurcationFunction) -> GraphColors { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 92 | fn next_id(&mut self) -> BdtNodeId { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 97 | pub(super) fn replace_node(&mut self, id: BdtNodeId, node: BdtNode) { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 104 | pub(super) fn insert_node(&mut self, node: BdtNode) -> BdtNodeId { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 113 | pub(super) fn insert_node_with_classes(&mut self, classes: BifurcationFunction) -> BdtNodeId { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 124 | pub fn applied_attributes(&self, node: BdtNodeId) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 172 | pub fn make_decision( [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 210 | pub fn revert_decision(&mut self, node: BdtNodeId) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 234 | pub fn auto_expand(&mut self, node: BdtNodeId, depth: u32) -> HashSet { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 240 | fn auto_expand_recursive( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `to_dot`, `write_dot`, and `format_dot_recursive` are never used [INFO] [stdout] --> src/bdt/_impl_bdt_dot_export.rs:8:12 [INFO] [stdout] | [INFO] [stdout] 6 | impl Bdt { [INFO] [stdout] | -------- methods in this implementation [INFO] [stdout] 7 | /// Convert this tree to a .dot graph string. [INFO] [stdout] 8 | pub fn to_dot(&self) -> String { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 15 | pub fn write_dot(&self, out: &mut dyn Write) -> Result<(), std::io::Error> { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 25 | fn format_dot_recursive( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `to_json` is never used [INFO] [stdout] --> src/bdt/_impl_bdt_json.rs:15:12 [INFO] [stdout] | [INFO] [stdout] 10 | impl BdtNode { [INFO] [stdout] | ------------ method in this implementation [INFO] [stdout] ... [INFO] [stdout] 15 | pub fn to_json(&self, precision: Option) -> JsonValue { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `to_json`, `to_json_partial`, `node_to_json`, and `attribute_gains_json` are never used [INFO] [stdout] --> src/bdt/_impl_bdt_json.rs:68:12 [INFO] [stdout] | [INFO] [stdout] 66 | impl Bdt { [INFO] [stdout] | -------- methods in this implementation [INFO] [stdout] 67 | /// Convert the whole tree into one json array. [INFO] [stdout] 68 | pub fn to_json(&self) -> JsonValue { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 79 | pub fn to_json_partial(&self, ids: &HashSet) -> JsonValue { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 106 | pub fn node_to_json(&self, id: BdtNodeId) -> JsonValue { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 124 | pub fn attribute_gains_json(&self, id: BdtNodeId) -> JsonValue { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `class_list_to_json` is never used [INFO] [stdout] --> src/bdt/_impl_bdt_json.rs:141:15 [INFO] [stdout] | [INFO] [stdout] 141 | pub(super) fn class_list_to_json(classes: &HashMap) -> JsonValue { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `class_to_json` is never used [INFO] [stdout] --> src/bdt/_impl_bdt_json.rs:145:15 [INFO] [stdout] | [INFO] [stdout] 145 | pub(super) fn class_to_json((class, params): (&Class, &GraphColors)) -> JsonValue { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `get_majority_class` is never used [INFO] [stdout] --> src/bdt/_impl_bdt_json.rs:152:15 [INFO] [stdout] | [INFO] [stdout] 152 | pub(super) fn get_majority_class( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `approx_cardinality`, `is_leaf`, `is_decision`, and `is_unprocessed` are never used [INFO] [stdout] --> src/bdt/_impl_bdt_node.rs:8:12 [INFO] [stdout] | [INFO] [stdout] 6 | impl BdtNode { [INFO] [stdout] | ------------ methods in this implementation [INFO] [stdout] 7 | /// Computes the cardinality of the parameter set covered by this tree node. [INFO] [stdout] 8 | pub fn approx_cardinality(&self) -> f64 { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 16 | pub fn is_leaf(&self) -> bool { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 20 | pub fn is_decision(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 24 | pub fn is_unprocessed(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `class_list_cardinality` is never used [INFO] [stdout] --> src/bdt/_impl_bdt_node.rs:30:15 [INFO] [stdout] | [INFO] [stdout] 30 | pub(super) fn class_list_cardinality(classes: &HashMap) -> f64 { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `restart`, `cancel`, and `get_percent_string` are never used [INFO] [stdout] --> src/graph_task_context.rs:31:12 [INFO] [stdout] | [INFO] [stdout] 21 | impl GraphTaskContext { [INFO] [stdout] | --------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 31 | pub fn restart(&self, graph: &SymbolicAsyncGraph) { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 45 | pub fn cancel(&self) -> bool { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 55 | pub fn get_percent_string(&self) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `extend` is never used [INFO] [stdout] --> src/scc/_impl_class.rs:10:12 [INFO] [stdout] | [INFO] [stdout] 5 | impl Class { [INFO] [stdout] | ---------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 10 | pub fn extend(&mut self, behaviour: Behaviour) { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> src/scc/_impl_classifier.rs:20:12 [INFO] [stdout] | [INFO] [stdout] 9 | impl Classifier { [INFO] [stdout] | --------------- associated items in this implementation [INFO] [stdout] ... [INFO] [stdout] 20 | pub fn try_get_num_classes(&self) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 29 | pub fn try_export_result(&self) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 36 | pub fn try_get_params(&self, class: &Class) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 43 | pub fn get_params(&self, class: &Class) -> Option { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 53 | pub fn export_components( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 61 | pub fn export_components_with_class(&self, class: Behaviour) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 73 | pub fn classify_component( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 93 | pub fn attractors(&self, witness_colour: &GraphColors) -> Vec<(GraphVertices, Behaviour)> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 189 | pub fn print(&self) { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `init_from_graph` is never used [INFO] [stdout] --> src/scc/_impl_progress_tracker.rs:23:12 [INFO] [stdout] | [INFO] [stdout] 12 | impl ProgressTracker { [INFO] [stdout] | -------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 23 | pub fn init_from_graph(&self, graph: &SymbolicAsyncGraph) { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `reach_fwd` is never used [INFO] [stdout] --> src/scc/algo_saturated_reachability/mod.rs:42:8 [INFO] [stdout] | [INFO] [stdout] 42 | pub fn reach_fwd( [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `StabilityData` is never used [INFO] [stdout] --> src/scc/algo_stability_analysis/mod.rs:53:10 [INFO] [stdout] | [INFO] [stdout] 53 | pub type StabilityData = HashMap; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `compute_stability` is never used [INFO] [stdout] --> src/scc/algo_stability_analysis/mod.rs:56:8 [INFO] [stdout] | [INFO] [stdout] 56 | pub fn compute_stability( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `for_attractor` is never used [INFO] [stdout] --> src/scc/algo_stability_analysis/_impl_attractor_stability_data.rs:24:12 [INFO] [stdout] | [INFO] [stdout] 22 | impl AttractorStabilityData { [INFO] [stdout] | --------------------------- associated function in this implementation [INFO] [stdout] 23 | /// Perform stability analysis for one attractor and one variable. [INFO] [stdout] 24 | pub fn for_attractor( [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `push`, `to_vec`, `for_attractors`, and `to_json` are never used [INFO] [stdout] --> src/scc/algo_stability_analysis/_impl_variable_stability.rs:32:12 [INFO] [stdout] | [INFO] [stdout] 30 | impl VariableStability { [INFO] [stdout] | ---------------------- associated items in this implementation [INFO] [stdout] 31 | /// Add a value for behaviour if not present, otherwise union with current value. [INFO] [stdout] 32 | pub fn push(&mut self, behaviour: StabilityVector, colors: GraphColors) { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 41 | pub fn to_vec(&self) -> Vec<(StabilityVector, GraphColors)> { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 51 | pub fn for_attractors( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 93 | pub fn to_json(&self) -> JsonValue { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `try_from` and `try_from_str` are never used [INFO] [stdout] --> src/util/index_type.rs:9:8 [INFO] [stdout] | [INFO] [stdout] 5 | pub trait IndexType: Sized { [INFO] [stdout] | --------- associated functions in this trait [INFO] [stdout] ... [INFO] [stdout] 9 | fn try_from(index: usize, collection: &Collection) -> Option; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 10 | /// Same as `try_from`, but also includes error handling for string parsing. [INFO] [stdout] 11 | fn try_from_str(index: &str, collection: &Collection) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `and_then` and `also` are never used [INFO] [stdout] --> src/util/functional.rs:18:8 [INFO] [stdout] | [INFO] [stdout] 1 | pub trait Functional: Sized { [INFO] [stdout] | ---------- methods in this trait [INFO] [stdout] ... [INFO] [stdout] 18 | fn and_then(self, action: F) -> R [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 27 | fn also(self, action: F) -> Self [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 54 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 52 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 31.69s [INFO] running `Command { std: "docker" "inspect" "e85a943b5b0dbeb861879eb882891ed98e20098f3f59faaa58159c24a7b1c486", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e85a943b5b0dbeb861879eb882891ed98e20098f3f59faaa58159c24a7b1c486", kill_on_drop: false }` [INFO] [stdout] e85a943b5b0dbeb861879eb882891ed98e20098f3f59faaa58159c24a7b1c486 [INFO] checking daemontus/biodivine-aeon-wasm against try#645bb72776a6a56a1a8f52631a44bd082b2ba509 for absurd-question-mark-desugar [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdaemontus%2Fbiodivine-aeon-wasm" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/daemontus/biodivine-aeon-wasm on toolchain 645bb72776a6a56a1a8f52631a44bd082b2ba509 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+645bb72776a6a56a1a8f52631a44bd082b2ba509" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/daemontus/biodivine-aeon-wasm [INFO] finished tweaking git repo https://github.com/daemontus/biodivine-aeon-wasm [INFO] tweaked toml for git repo https://github.com/daemontus/biodivine-aeon-wasm written to /workspace/builds/worker-4-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/daemontus/biodivine-aeon-wasm 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" "+645bb72776a6a56a1a8f52631a44bd082b2ba509" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+645bb72776a6a56a1a8f52631a44bd082b2ba509" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] c1ca1ca22e1d948c812629fd891f656f39bc4b7c2e258577be548c3e2337f6cd [INFO] running `Command { std: "docker" "start" "-a" "c1ca1ca22e1d948c812629fd891f656f39bc4b7c2e258577be548c3e2337f6cd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "c1ca1ca22e1d948c812629fd891f656f39bc4b7c2e258577be548c3e2337f6cd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c1ca1ca22e1d948c812629fd891f656f39bc4b7c2e258577be548c3e2337f6cd", kill_on_drop: false }` [INFO] [stdout] c1ca1ca22e1d948c812629fd891f656f39bc4b7c2e258577be548c3e2337f6cd [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+645bb72776a6a56a1a8f52631a44bd082b2ba509" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 5387c7b068a83962122f2baf7a82a295769e7d8092266b6d1c20c637de8f49e1 [INFO] running `Command { std: "docker" "start" "-a" "5387c7b068a83962122f2baf7a82a295769e7d8092266b6d1c20c637de8f49e1", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.78 [INFO] [stderr] Compiling libc v0.2.153 [INFO] [stderr] Compiling wasm-bindgen-shared v0.2.91 [INFO] [stderr] Compiling log v0.4.20 [INFO] [stderr] Compiling once_cell v1.19.0 [INFO] [stderr] Compiling num-traits v0.2.18 [INFO] [stderr] Compiling bumpalo v3.15.3 [INFO] [stderr] Compiling ahash v0.7.8 [INFO] [stderr] Compiling num-bigint v0.4.4 [INFO] [stderr] Checking memchr v2.7.1 [INFO] [stderr] Compiling wasm-bindgen v0.2.91 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking ppv-lite86 v0.2.17 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Compiling quote v1.0.35 [INFO] [stderr] Compiling serde v1.0.197 [INFO] [stderr] Checking aho-corasick v1.1.2 [INFO] [stderr] Checking regex-syntax v0.8.2 [INFO] [stderr] Checking fxhash v0.2.1 [INFO] [stderr] Checking bitvector v0.1.5 [INFO] [stderr] Compiling syn v2.0.50 [INFO] [stderr] Checking roxmltree v0.19.0 [INFO] [stderr] Checking instant v0.1.12 [INFO] [stderr] Checking json v0.12.4 [INFO] [stderr] Checking getrandom v0.2.12 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking hashbrown v0.11.2 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking regex-automata v0.4.5 [INFO] [stderr] Compiling fixed-map-derive v0.7.0 [INFO] [stderr] Checking biodivine-lib-bdd v0.5.11 [INFO] [stderr] Compiling wasm-bindgen-backend v0.2.91 [INFO] [stderr] Compiling serde_derive v1.0.197 [INFO] [stderr] Checking fixed-map v0.7.2 [INFO] [stderr] Checking regex v1.10.3 [INFO] [stderr] Compiling wasm-bindgen-macro-support v0.2.91 [INFO] [stderr] Checking biodivine-lib-param-bn v0.5.9 [INFO] [stderr] Compiling wasm-bindgen-macro v0.2.91 [INFO] [stderr] Checking js-sys v0.3.68 [INFO] [stderr] Checking serde-wasm-bindgen v0.6.5 [INFO] [stderr] Checking aeon-wasm v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: the item `Some` is imported redundantly [INFO] [stdout] --> src/bdt/_impl_bdt.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | use std::option::Option::Some; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/645bb72776a6a56a1a8f52631a44bd082b2ba509/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Some` is already defined here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryFrom` is imported redundantly [INFO] [stdout] --> src/scc/_impl_behaviour.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use std::convert::TryFrom; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/645bb72776a6a56a1a8f52631a44bd082b2ba509/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryFrom` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryFrom` is imported redundantly [INFO] [stdout] --> src/scc/algo_interleaved_transition_guided_reduction/mod.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | use std::convert::TryFrom; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/645bb72776a6a56a1a8f52631a44bd082b2ba509/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryFrom` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryFrom` is imported redundantly [INFO] [stdout] --> src/scc/algo_stability_analysis/_impl_stability.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use std::convert::TryFrom; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/645bb72776a6a56a1a8f52631a44bd082b2ba509/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryFrom` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryFrom` is imported redundantly [INFO] [stdout] --> src/scc/algo_stability_analysis/_impl_stability_vector.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use std::convert::TryFrom; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/645bb72776a6a56a1a8f52631a44bd082b2ba509/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryFrom` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryFrom` is imported redundantly [INFO] [stdout] --> src/scc/algo_stability_analysis/_impl_variable_stability.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | use std::convert::TryFrom; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/645bb72776a6a56a1a8f52631a44bd082b2ba509/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryFrom` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `Some` is imported redundantly [INFO] [stdout] --> src/bdt/_impl_bdt.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | use std::option::Option::Some; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/645bb72776a6a56a1a8f52631a44bd082b2ba509/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `Some` is already defined here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryFrom` is imported redundantly [INFO] [stdout] --> src/scc/_impl_behaviour.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use std::convert::TryFrom; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/645bb72776a6a56a1a8f52631a44bd082b2ba509/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryFrom` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryFrom` is imported redundantly [INFO] [stdout] --> src/scc/algo_interleaved_transition_guided_reduction/mod.rs:10:5 [INFO] [stdout] | [INFO] [stdout] 10 | use std::convert::TryFrom; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/645bb72776a6a56a1a8f52631a44bd082b2ba509/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryFrom` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryFrom` is imported redundantly [INFO] [stdout] --> src/scc/algo_stability_analysis/_impl_stability.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use std::convert::TryFrom; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/645bb72776a6a56a1a8f52631a44bd082b2ba509/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryFrom` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryFrom` is imported redundantly [INFO] [stdout] --> src/scc/algo_stability_analysis/_impl_stability.rs:31:9 [INFO] [stdout] | [INFO] [stdout] 31 | use std::convert::TryFrom; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/645bb72776a6a56a1a8f52631a44bd082b2ba509/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryFrom` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryFrom` is imported redundantly [INFO] [stdout] --> src/scc/algo_stability_analysis/_impl_stability_vector.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | use std::convert::TryFrom; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/645bb72776a6a56a1a8f52631a44bd082b2ba509/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryFrom` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryFrom` is imported redundantly [INFO] [stdout] --> src/scc/algo_stability_analysis/_impl_stability_vector.rs:138:9 [INFO] [stdout] | [INFO] [stdout] 138 | use std::convert::TryFrom; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/645bb72776a6a56a1a8f52631a44bd082b2ba509/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryFrom` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `TryFrom` is imported redundantly [INFO] [stdout] --> src/scc/algo_stability_analysis/_impl_variable_stability.rs:11:5 [INFO] [stdout] | [INFO] [stdout] 11 | use std::convert::TryFrom; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] --> /rustc/645bb72776a6a56a1a8f52631a44bd082b2ba509/library/std/src/prelude/mod.rs:148:13 [INFO] [stdout] | [INFO] [stdout] = note: the item `TryFrom` is already defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `args` [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:332:28 [INFO] [stdout] | [INFO] [stdout] 332 | FnUpdate::Param(_, args) => { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_args` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `graph` is never read [INFO] [stdout] --> src/lib.rs:275:5 [INFO] [stdout] | [INFO] [stdout] 274 | pub struct ComputationResult { [INFO] [stdout] | ----------------- field in this struct [INFO] [stdout] 275 | graph: SymbolicAsyncGraph, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Binary`, `Not`, and `Atom` are never constructed [INFO] [stdout] --> src/all/mod.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 8 | pub enum BooleanFormula

{ [INFO] [stdout] | -------------- variants in this enum [INFO] [stdout] 9 | Binary { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 14 | Not(Box>), [INFO] [stdout] | ^^^ [INFO] [stdout] 15 | Atom(P), [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `BooleanFormula` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `IsSet` and `IsNotSet` are never constructed [INFO] [stdout] --> src/all/mod.rs:20:5 [INFO] [stdout] | [INFO] [stdout] 19 | pub enum StateAtom { [INFO] [stdout] | --------- variants in this enum [INFO] [stdout] 20 | IsSet(VariableId), [INFO] [stdout] | ^^^^^ [INFO] [stdout] 21 | IsNotSet(VariableId), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `StateAtom` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `IsClass`, `AllStates`, and `SomeState` are never constructed [INFO] [stdout] --> src/all/mod.rs:26:5 [INFO] [stdout] | [INFO] [stdout] 25 | pub enum AttractorAtom { [INFO] [stdout] | ------------- variants in this enum [INFO] [stdout] 26 | IsClass(Behaviour), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 27 | AllStates(StateFormula), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 28 | SomeState(StateFormula), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `AttractorAtom` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `AllAttractors` and `SomeAttractor` are never constructed [INFO] [stdout] --> src/all/mod.rs:33:5 [INFO] [stdout] | [INFO] [stdout] 32 | pub enum AllAtom { [INFO] [stdout] | ------- variants in this enum [INFO] [stdout] 33 | AllAttractors(AttractorFormula), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] 34 | SomeAttractor(AttractorFormula), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `AllAtom` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `AllFormula` is never used [INFO] [stdout] --> src/all/mod.rs:41:10 [INFO] [stdout] | [INFO] [stdout] 41 | pub type AllFormula = BooleanFormula; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Leaf`, `Decision`, and `Unprocessed` are never constructed [INFO] [stdout] --> src/bdt/mod.rs:32:5 [INFO] [stdout] | [INFO] [stdout] 31 | pub enum BdtNode { [INFO] [stdout] | ------- variants in this enum [INFO] [stdout] 32 | Leaf { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 36 | Decision { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 42 | Unprocessed { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `BdtNode` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `next_id` and `precision` are never read [INFO] [stdout] --> src/bdt/mod.rs:73:5 [INFO] [stdout] | [INFO] [stdout] 70 | pub struct Bdt { [INFO] [stdout] | --- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 73 | next_id: usize, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 77 | precision: Option, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `BdtNodeIds` is never used [INFO] [stdout] --> src/bdt/mod.rs:80:6 [INFO] [stdout] | [INFO] [stdout] 80 | type BdtNodeIds<'a> = Map, fn(&usize) -> BdtNodeId>; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `AttributeIds` is never used [INFO] [stdout] --> src/bdt/mod.rs:81:6 [INFO] [stdout] | [INFO] [stdout] 81 | type AttributeIds<'a> = Map, fn(usize) -> AttributeId>; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `name`, `positive`, `negative`, and `context` are never read [INFO] [stdout] --> src/bdt/mod.rs:87:5 [INFO] [stdout] | [INFO] [stdout] 86 | pub struct Attribute { [INFO] [stdout] | --------- fields in this struct [INFO] [stdout] 87 | name: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] 88 | positive: GraphColors, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 89 | negative: GraphColors, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 90 | context: Option, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Attribute` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `target`, `regulator`, and `context` are never read [INFO] [stdout] --> src/bdt/mod.rs:97:5 [INFO] [stdout] | [INFO] [stdout] 96 | struct AttributeContext { [INFO] [stdout] | ---------------- fields in this struct [INFO] [stdout] 97 | target: VariableId, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 98 | regulator: VariableId, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 99 | context: Vec, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `AttributeContext` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `AppliedAttribute` is never constructed [INFO] [stdout] --> src/bdt/mod.rs:108:12 [INFO] [stdout] | [INFO] [stdout] 108 | pub struct AppliedAttribute { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `AppliedAttribute` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `entropy` is never used [INFO] [stdout] --> src/bdt/mod.rs:116:8 [INFO] [stdout] | [INFO] [stdout] 116 | pub fn entropy(classes: &BifurcationFunction) -> f64 { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `information_gain` is never used [INFO] [stdout] --> src/bdt/mod.rs:131:8 [INFO] [stdout] | [INFO] [stdout] 131 | pub fn information_gain(original: f64, left: f64, right: f64) -> f64 { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new_from_graph` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:9:12 [INFO] [stdout] | [INFO] [stdout] 8 | impl Bdt { [INFO] [stdout] | -------- associated function in this implementation [INFO] [stdout] 9 | pub fn new_from_graph( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `attributes_for_network_inputs` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:37:4 [INFO] [stdout] | [INFO] [stdout] 37 | fn attributes_for_network_inputs( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `attributes_for_constant_parameters` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:61:4 [INFO] [stdout] | [INFO] [stdout] 61 | fn attributes_for_constant_parameters( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `attributes_for_missing_constraints` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:84:4 [INFO] [stdout] | [INFO] [stdout] 84 | fn attributes_for_missing_constraints( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `attributes_for_implicit_function_tables` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:177:4 [INFO] [stdout] | [INFO] [stdout] 177 | fn attributes_for_implicit_function_tables( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `attributes_for_explicit_function_tables` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:216:4 [INFO] [stdout] | [INFO] [stdout] 216 | fn attributes_for_explicit_function_tables( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `attributes_for_conditional_observability` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:248:4 [INFO] [stdout] | [INFO] [stdout] 248 | fn attributes_for_conditional_observability( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `variable_contexts` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:328:4 [INFO] [stdout] | [INFO] [stdout] 328 | fn variable_contexts(function: &FnUpdate) -> Vec> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `make_contexts` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:351:4 [INFO] [stdout] | [INFO] [stdout] 351 | fn make_contexts(conditions: &[(String, Bdd)]) -> Vec<(String, Vec, Bdd)> { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `split_function`, `restrict`, and `is_specification_of` are never used [INFO] [stdout] --> src/bdt/_impl_attribute.rs:9:12 [INFO] [stdout] | [INFO] [stdout] 7 | impl Attribute { [INFO] [stdout] | -------------- associated items in this implementation [INFO] [stdout] 8 | /// Apply this attribute to the given bifurcation function, splitting it into two. [INFO] [stdout] 9 | pub fn split_function( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 20 | fn restrict(classes: &BifurcationFunction, attribute: &GraphColors) -> BifurcationFunction { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 30 | pub fn is_specification_of(&self, attr: &Attribute) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> src/bdt/_impl_bdt.rs:15:12 [INFO] [stdout] | [INFO] [stdout] 13 | impl Bdt { [INFO] [stdout] | -------- associated items in this implementation [INFO] [stdout] 14 | /// Create a new single-node tree for given classification and attributes. [INFO] [stdout] 15 | pub fn new(classes: BifurcationFunction, attributes: Vec) -> Bdt { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 31 | pub fn set_precision(&mut self, precision: u32) { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 41 | pub fn get_precision(&self) -> u32 { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 50 | pub fn root_id(&self) -> BdtNodeId { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 55 | pub fn nodes(&self) -> BdtNodeIds { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 60 | pub fn attributes(&self) -> AttributeIds { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 65 | pub fn params_for_leaf(&self, node: BdtNodeId) -> Option<&GraphColors> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 74 | pub fn all_node_params(&self, node: BdtNodeId) -> GraphColors { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 82 | fn class_union(classes: &BifurcationFunction) -> GraphColors { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 92 | fn next_id(&mut self) -> BdtNodeId { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 97 | pub(super) fn replace_node(&mut self, id: BdtNodeId, node: BdtNode) { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 104 | pub(super) fn insert_node(&mut self, node: BdtNode) -> BdtNodeId { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 113 | pub(super) fn insert_node_with_classes(&mut self, classes: BifurcationFunction) -> BdtNodeId { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 124 | pub fn applied_attributes(&self, node: BdtNodeId) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 172 | pub fn make_decision( [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 210 | pub fn revert_decision(&mut self, node: BdtNodeId) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 234 | pub fn auto_expand(&mut self, node: BdtNodeId, depth: u32) -> HashSet { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 240 | fn auto_expand_recursive( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `to_dot`, `write_dot`, and `format_dot_recursive` are never used [INFO] [stdout] --> src/bdt/_impl_bdt_dot_export.rs:8:12 [INFO] [stdout] | [INFO] [stdout] 6 | impl Bdt { [INFO] [stdout] | -------- methods in this implementation [INFO] [stdout] 7 | /// Convert this tree to a .dot graph string. [INFO] [stdout] 8 | pub fn to_dot(&self) -> String { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 15 | pub fn write_dot(&self, out: &mut dyn Write) -> Result<(), std::io::Error> { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 25 | fn format_dot_recursive( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `to_json` is never used [INFO] [stdout] --> src/bdt/_impl_bdt_json.rs:15:12 [INFO] [stdout] | [INFO] [stdout] 10 | impl BdtNode { [INFO] [stdout] | ------------ method in this implementation [INFO] [stdout] ... [INFO] [stdout] 15 | pub fn to_json(&self, precision: Option) -> JsonValue { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `to_json`, `to_json_partial`, `node_to_json`, and `attribute_gains_json` are never used [INFO] [stdout] --> src/bdt/_impl_bdt_json.rs:68:12 [INFO] [stdout] | [INFO] [stdout] 66 | impl Bdt { [INFO] [stdout] | -------- methods in this implementation [INFO] [stdout] 67 | /// Convert the whole tree into one json array. [INFO] [stdout] 68 | pub fn to_json(&self) -> JsonValue { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 79 | pub fn to_json_partial(&self, ids: &HashSet) -> JsonValue { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 106 | pub fn node_to_json(&self, id: BdtNodeId) -> JsonValue { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 124 | pub fn attribute_gains_json(&self, id: BdtNodeId) -> JsonValue { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `class_list_to_json` is never used [INFO] [stdout] --> src/bdt/_impl_bdt_json.rs:141:15 [INFO] [stdout] | [INFO] [stdout] 141 | pub(super) fn class_list_to_json(classes: &HashMap) -> JsonValue { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `class_to_json` is never used [INFO] [stdout] --> src/bdt/_impl_bdt_json.rs:145:15 [INFO] [stdout] | [INFO] [stdout] 145 | pub(super) fn class_to_json((class, params): (&Class, &GraphColors)) -> JsonValue { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `get_majority_class` is never used [INFO] [stdout] --> src/bdt/_impl_bdt_json.rs:152:15 [INFO] [stdout] | [INFO] [stdout] 152 | pub(super) fn get_majority_class( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `approx_cardinality`, `is_leaf`, `is_decision`, and `is_unprocessed` are never used [INFO] [stdout] --> src/bdt/_impl_bdt_node.rs:8:12 [INFO] [stdout] | [INFO] [stdout] 6 | impl BdtNode { [INFO] [stdout] | ------------ methods in this implementation [INFO] [stdout] 7 | /// Computes the cardinality of the parameter set covered by this tree node. [INFO] [stdout] 8 | pub fn approx_cardinality(&self) -> f64 { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 16 | pub fn is_leaf(&self) -> bool { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 20 | pub fn is_decision(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 24 | pub fn is_unprocessed(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `class_list_cardinality` is never used [INFO] [stdout] --> src/bdt/_impl_bdt_node.rs:30:15 [INFO] [stdout] | [INFO] [stdout] 30 | pub(super) fn class_list_cardinality(classes: &HashMap) -> f64 { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `restart`, `cancel`, and `get_percent_string` are never used [INFO] [stdout] --> src/graph_task_context.rs:31:12 [INFO] [stdout] | [INFO] [stdout] 21 | impl GraphTaskContext { [INFO] [stdout] | --------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 31 | pub fn restart(&self, graph: &SymbolicAsyncGraph) { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 45 | pub fn cancel(&self) -> bool { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 55 | pub fn get_percent_string(&self) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `extend` is never used [INFO] [stdout] --> src/scc/_impl_class.rs:10:12 [INFO] [stdout] | [INFO] [stdout] 5 | impl Class { [INFO] [stdout] | ---------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 10 | pub fn extend(&mut self, behaviour: Behaviour) { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> src/scc/_impl_classifier.rs:20:12 [INFO] [stdout] | [INFO] [stdout] 9 | impl Classifier { [INFO] [stdout] | --------------- associated items in this implementation [INFO] [stdout] ... [INFO] [stdout] 20 | pub fn try_get_num_classes(&self) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 29 | pub fn try_export_result(&self) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 36 | pub fn try_get_params(&self, class: &Class) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 43 | pub fn get_params(&self, class: &Class) -> Option { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 53 | pub fn export_components( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 61 | pub fn export_components_with_class(&self, class: Behaviour) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 73 | pub fn classify_component( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 93 | pub fn attractors(&self, witness_colour: &GraphColors) -> Vec<(GraphVertices, Behaviour)> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 189 | pub fn print(&self) { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `init_from_graph` is never used [INFO] [stdout] --> src/scc/_impl_progress_tracker.rs:23:12 [INFO] [stdout] | [INFO] [stdout] 12 | impl ProgressTracker { [INFO] [stdout] | -------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 23 | pub fn init_from_graph(&self, graph: &SymbolicAsyncGraph) { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `reach_fwd` is never used [INFO] [stdout] --> src/scc/algo_saturated_reachability/mod.rs:42:8 [INFO] [stdout] | [INFO] [stdout] 42 | pub fn reach_fwd( [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `StabilityData` is never used [INFO] [stdout] --> src/scc/algo_stability_analysis/mod.rs:53:10 [INFO] [stdout] | [INFO] [stdout] 53 | pub type StabilityData = HashMap; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `compute_stability` is never used [INFO] [stdout] --> src/scc/algo_stability_analysis/mod.rs:56:8 [INFO] [stdout] | [INFO] [stdout] 56 | pub fn compute_stability( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `for_attractor` is never used [INFO] [stdout] --> src/scc/algo_stability_analysis/_impl_attractor_stability_data.rs:24:12 [INFO] [stdout] | [INFO] [stdout] 22 | impl AttractorStabilityData { [INFO] [stdout] | --------------------------- associated function in this implementation [INFO] [stdout] 23 | /// Perform stability analysis for one attractor and one variable. [INFO] [stdout] 24 | pub fn for_attractor( [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `push`, `to_vec`, `for_attractors`, and `to_json` are never used [INFO] [stdout] --> src/scc/algo_stability_analysis/_impl_variable_stability.rs:32:12 [INFO] [stdout] | [INFO] [stdout] 30 | impl VariableStability { [INFO] [stdout] | ---------------------- associated items in this implementation [INFO] [stdout] 31 | /// Add a value for behaviour if not present, otherwise union with current value. [INFO] [stdout] 32 | pub fn push(&mut self, behaviour: StabilityVector, colors: GraphColors) { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 41 | pub fn to_vec(&self) -> Vec<(StabilityVector, GraphColors)> { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 51 | pub fn for_attractors( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 93 | pub fn to_json(&self) -> JsonValue { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `try_from` and `try_from_str` are never used [INFO] [stdout] --> src/util/index_type.rs:9:8 [INFO] [stdout] | [INFO] [stdout] 5 | pub trait IndexType: Sized { [INFO] [stdout] | --------- associated functions in this trait [INFO] [stdout] ... [INFO] [stdout] 9 | fn try_from(index: usize, collection: &Collection) -> Option; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 10 | /// Same as `try_from`, but also includes error handling for string parsing. [INFO] [stdout] 11 | fn try_from_str(index: &str, collection: &Collection) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `and_then` and `also` are never used [INFO] [stdout] --> src/util/functional.rs:18:8 [INFO] [stdout] | [INFO] [stdout] 1 | pub trait Functional: Sized { [INFO] [stdout] | ---------- methods in this trait [INFO] [stdout] ... [INFO] [stdout] 18 | fn and_then(self, action: F) -> R [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 27 | fn also(self, action: F) -> Self [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 52 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `args` [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:332:28 [INFO] [stdout] | [INFO] [stdout] 332 | FnUpdate::Param(_, args) => { [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_args` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `graph` is never read [INFO] [stdout] --> src/lib.rs:275:5 [INFO] [stdout] | [INFO] [stdout] 274 | pub struct ComputationResult { [INFO] [stdout] | ----------------- field in this struct [INFO] [stdout] 275 | graph: SymbolicAsyncGraph, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Binary`, `Not`, and `Atom` are never constructed [INFO] [stdout] --> src/all/mod.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 8 | pub enum BooleanFormula

{ [INFO] [stdout] | -------------- variants in this enum [INFO] [stdout] 9 | Binary { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 14 | Not(Box>), [INFO] [stdout] | ^^^ [INFO] [stdout] 15 | Atom(P), [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `BooleanFormula` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `IsSet` and `IsNotSet` are never constructed [INFO] [stdout] --> src/all/mod.rs:20:5 [INFO] [stdout] | [INFO] [stdout] 19 | pub enum StateAtom { [INFO] [stdout] | --------- variants in this enum [INFO] [stdout] 20 | IsSet(VariableId), [INFO] [stdout] | ^^^^^ [INFO] [stdout] 21 | IsNotSet(VariableId), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `StateAtom` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `IsClass`, `AllStates`, and `SomeState` are never constructed [INFO] [stdout] --> src/all/mod.rs:26:5 [INFO] [stdout] | [INFO] [stdout] 25 | pub enum AttractorAtom { [INFO] [stdout] | ------------- variants in this enum [INFO] [stdout] 26 | IsClass(Behaviour), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 27 | AllStates(StateFormula), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 28 | SomeState(StateFormula), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `AttractorAtom` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `AllAttractors` and `SomeAttractor` are never constructed [INFO] [stdout] --> src/all/mod.rs:33:5 [INFO] [stdout] | [INFO] [stdout] 32 | pub enum AllAtom { [INFO] [stdout] | ------- variants in this enum [INFO] [stdout] 33 | AllAttractors(AttractorFormula), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] 34 | SomeAttractor(AttractorFormula), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `AllAtom` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `AllFormula` is never used [INFO] [stdout] --> src/all/mod.rs:41:10 [INFO] [stdout] | [INFO] [stdout] 41 | pub type AllFormula = BooleanFormula; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variants `Leaf`, `Decision`, and `Unprocessed` are never constructed [INFO] [stdout] --> src/bdt/mod.rs:32:5 [INFO] [stdout] | [INFO] [stdout] 31 | pub enum BdtNode { [INFO] [stdout] | ------- variants in this enum [INFO] [stdout] 32 | Leaf { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 36 | Decision { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 42 | Unprocessed { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `BdtNode` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `next_id` and `precision` are never read [INFO] [stdout] --> src/bdt/mod.rs:73:5 [INFO] [stdout] | [INFO] [stdout] 70 | pub struct Bdt { [INFO] [stdout] | --- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 73 | next_id: usize, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 77 | precision: Option, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `BdtNodeIds` is never used [INFO] [stdout] --> src/bdt/mod.rs:80:6 [INFO] [stdout] | [INFO] [stdout] 80 | type BdtNodeIds<'a> = Map, fn(&usize) -> BdtNodeId>; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `AttributeIds` is never used [INFO] [stdout] --> src/bdt/mod.rs:81:6 [INFO] [stdout] | [INFO] [stdout] 81 | type AttributeIds<'a> = Map, fn(usize) -> AttributeId>; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `name`, `positive`, `negative`, and `context` are never read [INFO] [stdout] --> src/bdt/mod.rs:87:5 [INFO] [stdout] | [INFO] [stdout] 86 | pub struct Attribute { [INFO] [stdout] | --------- fields in this struct [INFO] [stdout] 87 | name: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] 88 | positive: GraphColors, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 89 | negative: GraphColors, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 90 | context: Option, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Attribute` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `target`, `regulator`, and `context` are never read [INFO] [stdout] --> src/bdt/mod.rs:97:5 [INFO] [stdout] | [INFO] [stdout] 96 | struct AttributeContext { [INFO] [stdout] | ---------------- fields in this struct [INFO] [stdout] 97 | target: VariableId, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] 98 | regulator: VariableId, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 99 | context: Vec, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `AttributeContext` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `AppliedAttribute` is never constructed [INFO] [stdout] --> src/bdt/mod.rs:108:12 [INFO] [stdout] | [INFO] [stdout] 108 | pub struct AppliedAttribute { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `AppliedAttribute` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `entropy` is never used [INFO] [stdout] --> src/bdt/mod.rs:116:8 [INFO] [stdout] | [INFO] [stdout] 116 | pub fn entropy(classes: &BifurcationFunction) -> f64 { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `information_gain` is never used [INFO] [stdout] --> src/bdt/mod.rs:131:8 [INFO] [stdout] | [INFO] [stdout] 131 | pub fn information_gain(original: f64, left: f64, right: f64) -> f64 { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `new_from_graph` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:9:12 [INFO] [stdout] | [INFO] [stdout] 8 | impl Bdt { [INFO] [stdout] | -------- associated function in this implementation [INFO] [stdout] 9 | pub fn new_from_graph( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `attributes_for_network_inputs` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:37:4 [INFO] [stdout] | [INFO] [stdout] 37 | fn attributes_for_network_inputs( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `attributes_for_constant_parameters` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:61:4 [INFO] [stdout] | [INFO] [stdout] 61 | fn attributes_for_constant_parameters( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `attributes_for_missing_constraints` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:84:4 [INFO] [stdout] | [INFO] [stdout] 84 | fn attributes_for_missing_constraints( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `attributes_for_implicit_function_tables` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:177:4 [INFO] [stdout] | [INFO] [stdout] 177 | fn attributes_for_implicit_function_tables( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `attributes_for_explicit_function_tables` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:216:4 [INFO] [stdout] | [INFO] [stdout] 216 | fn attributes_for_explicit_function_tables( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `attributes_for_conditional_observability` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:248:4 [INFO] [stdout] | [INFO] [stdout] 248 | fn attributes_for_conditional_observability( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `variable_contexts` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:328:4 [INFO] [stdout] | [INFO] [stdout] 328 | fn variable_contexts(function: &FnUpdate) -> Vec> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `make_contexts` is never used [INFO] [stdout] --> src/bdt/_attributes_for_network.rs:351:4 [INFO] [stdout] | [INFO] [stdout] 351 | fn make_contexts(conditions: &[(String, Bdd)]) -> Vec<(String, Vec, Bdd)> { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `split_function`, `restrict`, and `is_specification_of` are never used [INFO] [stdout] --> src/bdt/_impl_attribute.rs:9:12 [INFO] [stdout] | [INFO] [stdout] 7 | impl Attribute { [INFO] [stdout] | -------------- associated items in this implementation [INFO] [stdout] 8 | /// Apply this attribute to the given bifurcation function, splitting it into two. [INFO] [stdout] 9 | pub fn split_function( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 20 | fn restrict(classes: &BifurcationFunction, attribute: &GraphColors) -> BifurcationFunction { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 30 | pub fn is_specification_of(&self, attr: &Attribute) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> src/bdt/_impl_bdt.rs:15:12 [INFO] [stdout] | [INFO] [stdout] 13 | impl Bdt { [INFO] [stdout] | -------- associated items in this implementation [INFO] [stdout] 14 | /// Create a new single-node tree for given classification and attributes. [INFO] [stdout] 15 | pub fn new(classes: BifurcationFunction, attributes: Vec) -> Bdt { [INFO] [stdout] | ^^^ [INFO] [stdout] ... [INFO] [stdout] 31 | pub fn set_precision(&mut self, precision: u32) { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 41 | pub fn get_precision(&self) -> u32 { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 50 | pub fn root_id(&self) -> BdtNodeId { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 55 | pub fn nodes(&self) -> BdtNodeIds { [INFO] [stdout] | ^^^^^ [INFO] [stdout] ... [INFO] [stdout] 60 | pub fn attributes(&self) -> AttributeIds { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 65 | pub fn params_for_leaf(&self, node: BdtNodeId) -> Option<&GraphColors> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 74 | pub fn all_node_params(&self, node: BdtNodeId) -> GraphColors { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 82 | fn class_union(classes: &BifurcationFunction) -> GraphColors { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 92 | fn next_id(&mut self) -> BdtNodeId { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 97 | pub(super) fn replace_node(&mut self, id: BdtNodeId, node: BdtNode) { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 104 | pub(super) fn insert_node(&mut self, node: BdtNode) -> BdtNodeId { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 113 | pub(super) fn insert_node_with_classes(&mut self, classes: BifurcationFunction) -> BdtNodeId { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 124 | pub fn applied_attributes(&self, node: BdtNodeId) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 172 | pub fn make_decision( [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 210 | pub fn revert_decision(&mut self, node: BdtNodeId) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 234 | pub fn auto_expand(&mut self, node: BdtNodeId, depth: u32) -> HashSet { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 240 | fn auto_expand_recursive( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `to_dot`, `write_dot`, and `format_dot_recursive` are never used [INFO] [stdout] --> src/bdt/_impl_bdt_dot_export.rs:8:12 [INFO] [stdout] | [INFO] [stdout] 6 | impl Bdt { [INFO] [stdout] | -------- methods in this implementation [INFO] [stdout] 7 | /// Convert this tree to a .dot graph string. [INFO] [stdout] 8 | pub fn to_dot(&self) -> String { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 15 | pub fn write_dot(&self, out: &mut dyn Write) -> Result<(), std::io::Error> { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 25 | fn format_dot_recursive( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `to_json` is never used [INFO] [stdout] --> src/bdt/_impl_bdt_json.rs:15:12 [INFO] [stdout] | [INFO] [stdout] 10 | impl BdtNode { [INFO] [stdout] | ------------ method in this implementation [INFO] [stdout] ... [INFO] [stdout] 15 | pub fn to_json(&self, precision: Option) -> JsonValue { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `to_json`, `to_json_partial`, `node_to_json`, and `attribute_gains_json` are never used [INFO] [stdout] --> src/bdt/_impl_bdt_json.rs:68:12 [INFO] [stdout] | [INFO] [stdout] 66 | impl Bdt { [INFO] [stdout] | -------- methods in this implementation [INFO] [stdout] 67 | /// Convert the whole tree into one json array. [INFO] [stdout] 68 | pub fn to_json(&self) -> JsonValue { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 79 | pub fn to_json_partial(&self, ids: &HashSet) -> JsonValue { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 106 | pub fn node_to_json(&self, id: BdtNodeId) -> JsonValue { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 124 | pub fn attribute_gains_json(&self, id: BdtNodeId) -> JsonValue { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `class_list_to_json` is never used [INFO] [stdout] --> src/bdt/_impl_bdt_json.rs:141:15 [INFO] [stdout] | [INFO] [stdout] 141 | pub(super) fn class_list_to_json(classes: &HashMap) -> JsonValue { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `class_to_json` is never used [INFO] [stdout] --> src/bdt/_impl_bdt_json.rs:145:15 [INFO] [stdout] | [INFO] [stdout] 145 | pub(super) fn class_to_json((class, params): (&Class, &GraphColors)) -> JsonValue { [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `get_majority_class` is never used [INFO] [stdout] --> src/bdt/_impl_bdt_json.rs:152:15 [INFO] [stdout] | [INFO] [stdout] 152 | pub(super) fn get_majority_class( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `approx_cardinality`, `is_leaf`, `is_decision`, and `is_unprocessed` are never used [INFO] [stdout] --> src/bdt/_impl_bdt_node.rs:8:12 [INFO] [stdout] | [INFO] [stdout] 6 | impl BdtNode { [INFO] [stdout] | ------------ methods in this implementation [INFO] [stdout] 7 | /// Computes the cardinality of the parameter set covered by this tree node. [INFO] [stdout] 8 | pub fn approx_cardinality(&self) -> f64 { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 16 | pub fn is_leaf(&self) -> bool { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 20 | pub fn is_decision(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 24 | pub fn is_unprocessed(&self) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `class_list_cardinality` is never used [INFO] [stdout] --> src/bdt/_impl_bdt_node.rs:30:15 [INFO] [stdout] | [INFO] [stdout] 30 | pub(super) fn class_list_cardinality(classes: &HashMap) -> f64 { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `restart`, `cancel`, and `get_percent_string` are never used [INFO] [stdout] --> src/graph_task_context.rs:31:12 [INFO] [stdout] | [INFO] [stdout] 21 | impl GraphTaskContext { [INFO] [stdout] | --------------------- methods in this implementation [INFO] [stdout] ... [INFO] [stdout] 31 | pub fn restart(&self, graph: &SymbolicAsyncGraph) { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 45 | pub fn cancel(&self) -> bool { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 55 | pub fn get_percent_string(&self) -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `extend` is never used [INFO] [stdout] --> src/scc/_impl_class.rs:10:12 [INFO] [stdout] | [INFO] [stdout] 5 | impl Class { [INFO] [stdout] | ---------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 10 | pub fn extend(&mut self, behaviour: Behaviour) { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated items are never used [INFO] [stdout] --> src/scc/_impl_classifier.rs:20:12 [INFO] [stdout] | [INFO] [stdout] 9 | impl Classifier { [INFO] [stdout] | --------------- associated items in this implementation [INFO] [stdout] ... [INFO] [stdout] 20 | pub fn try_get_num_classes(&self) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 29 | pub fn try_export_result(&self) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 36 | pub fn try_get_params(&self, class: &Class) -> Option> { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 43 | pub fn get_params(&self, class: &Class) -> Option { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 53 | pub fn export_components( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 61 | pub fn export_components_with_class(&self, class: Behaviour) -> Vec { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 73 | pub fn classify_component( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 93 | pub fn attractors(&self, witness_colour: &GraphColors) -> Vec<(GraphVertices, Behaviour)> { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 189 | pub fn print(&self) { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `init_from_graph` is never used [INFO] [stdout] --> src/scc/_impl_progress_tracker.rs:23:12 [INFO] [stdout] | [INFO] [stdout] 12 | impl ProgressTracker { [INFO] [stdout] | -------------------- method in this implementation [INFO] [stdout] ... [INFO] [stdout] 23 | pub fn init_from_graph(&self, graph: &SymbolicAsyncGraph) { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `reach_fwd` is never used [INFO] [stdout] --> src/scc/algo_saturated_reachability/mod.rs:42:8 [INFO] [stdout] | [INFO] [stdout] 42 | pub fn reach_fwd( [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `StabilityData` is never used [INFO] [stdout] --> src/scc/algo_stability_analysis/mod.rs:53:10 [INFO] [stdout] | [INFO] [stdout] 53 | pub type StabilityData = HashMap; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `compute_stability` is never used [INFO] [stdout] --> src/scc/algo_stability_analysis/mod.rs:56:8 [INFO] [stdout] | [INFO] [stdout] 56 | pub fn compute_stability( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `for_attractor` is never used [INFO] [stdout] --> src/scc/algo_stability_analysis/_impl_attractor_stability_data.rs:24:12 [INFO] [stdout] | [INFO] [stdout] 22 | impl AttractorStabilityData { [INFO] [stdout] | --------------------------- associated function in this implementation [INFO] [stdout] 23 | /// Perform stability analysis for one attractor and one variable. [INFO] [stdout] 24 | pub fn for_attractor( [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `push`, `to_vec`, `for_attractors`, and `to_json` are never used [INFO] [stdout] --> src/scc/algo_stability_analysis/_impl_variable_stability.rs:32:12 [INFO] [stdout] | [INFO] [stdout] 30 | impl VariableStability { [INFO] [stdout] | ---------------------- associated items in this implementation [INFO] [stdout] 31 | /// Add a value for behaviour if not present, otherwise union with current value. [INFO] [stdout] 32 | pub fn push(&mut self, behaviour: StabilityVector, colors: GraphColors) { [INFO] [stdout] | ^^^^ [INFO] [stdout] ... [INFO] [stdout] 41 | pub fn to_vec(&self) -> Vec<(StabilityVector, GraphColors)> { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 51 | pub fn for_attractors( [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 93 | pub fn to_json(&self) -> JsonValue { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated functions `try_from` and `try_from_str` are never used [INFO] [stdout] --> src/util/index_type.rs:9:8 [INFO] [stdout] | [INFO] [stdout] 5 | pub trait IndexType: Sized { [INFO] [stdout] | --------- associated functions in this trait [INFO] [stdout] ... [INFO] [stdout] 9 | fn try_from(index: usize, collection: &Collection) -> Option; [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 10 | /// Same as `try_from`, but also includes error handling for string parsing. [INFO] [stdout] 11 | fn try_from_str(index: &str, collection: &Collection) -> Option { [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: methods `and_then` and `also` are never used [INFO] [stdout] --> src/util/functional.rs:18:8 [INFO] [stdout] | [INFO] [stdout] 1 | pub trait Functional: Sized { [INFO] [stdout] | ---------- methods in this trait [INFO] [stdout] ... [INFO] [stdout] 18 | fn and_then(self, action: F) -> R [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 27 | fn also(self, action: F) -> Self [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 54 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 38.54s [INFO] running `Command { std: "docker" "inspect" "5387c7b068a83962122f2baf7a82a295769e7d8092266b6d1c20c637de8f49e1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5387c7b068a83962122f2baf7a82a295769e7d8092266b6d1c20c637de8f49e1", kill_on_drop: false }` [INFO] [stdout] 5387c7b068a83962122f2baf7a82a295769e7d8092266b6d1c20c637de8f49e1