[INFO] fetching crate implies 0.4.5... [INFO] testing implies-0.4.5 against try#b6ae10aa7319b7ebb6c7b3331dd71a9d6c9c5b4b for pr-145330-1 [INFO] extracting crate implies 0.4.5 into /workspace/builds/worker-0-tc2/source [INFO] started tweaking crates.io crate implies 0.4.5 [INFO] finished tweaking crates.io crate implies 0.4.5 [INFO] tweaked toml for crates.io crate implies 0.4.5 written to /workspace/builds/worker-0-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate implies 0.4.5 on toolchain b6ae10aa7319b7ebb6c7b3331dd71a9d6c9c5b4b [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b6ae10aa7319b7ebb6c7b3331dd71a9d6c9c5b4b" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b6ae10aa7319b7ebb6c7b3331dd71a9d6c9c5b4b" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 38 packages to latest compatible versions [INFO] [stderr] Adding enum-iterator v1.5.0 (available: v2.3.0) [INFO] [stderr] Adding pyo3 v0.19.2 (available: v0.26.0) [INFO] [stderr] Adding pyo3-build-config v0.20.3 (available: v0.26.0) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b6ae10aa7319b7ebb6c7b3331dd71a9d6c9c5b4b" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+b6ae10aa7319b7ebb6c7b3331dd71a9d6c9c5b4b" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 4b8e3d0f7dae9b4aaa7bf21f4ffb4c05eb3cc5542dbefaf9220c25588118113c [INFO] running `Command { std: "docker" "start" "-a" "4b8e3d0f7dae9b4aaa7bf21f4ffb4c05eb3cc5542dbefaf9220c25588118113c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "4b8e3d0f7dae9b4aaa7bf21f4ffb4c05eb3cc5542dbefaf9220c25588118113c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4b8e3d0f7dae9b4aaa7bf21f4ffb4c05eb3cc5542dbefaf9220c25588118113c", kill_on_drop: false }` [INFO] [stdout] 4b8e3d0f7dae9b4aaa7bf21f4ffb4c05eb3cc5542dbefaf9220c25588118113c [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+b6ae10aa7319b7ebb6c7b3331dd71a9d6c9c5b4b" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 5450f1e3004bfd2baa22c2276d758ce243341f8019b41f54446c1c0b2f26c651 [INFO] running `Command { std: "docker" "start" "-a" "5450f1e3004bfd2baa22c2276d758ce243341f8019b41f54446c1c0b2f26c651", kill_on_drop: false }` [INFO] [stderr] Compiling implies v0.4.5 (/opt/rustwide/workdir) [INFO] [stderr] Compiling cascade v1.0.1 [INFO] [stderr] Compiling syn v2.0.106 [INFO] [stdout] warning: unexpected `cfg` condition name: `features` [INFO] [stdout] --> build.rs:1:7 [INFO] [stdout] | [INFO] [stdout] 1 | #[cfg(features = "python")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stdout] help: there is a config with a similar name and value [INFO] [stdout] | [INFO] [stdout] 1 - #[cfg(features = "python")] [INFO] [stdout] 1 + #[cfg(feature = "python")] [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `features` [INFO] [stdout] --> build.rs:4:11 [INFO] [stdout] | [INFO] [stdout] 4 | #[cfg(features = "python")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] help: there is a config with a similar name and value [INFO] [stdout] | [INFO] [stdout] 4 - #[cfg(features = "python")] [INFO] [stdout] 4 + #[cfg(feature = "python")] [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling enum-iterator-derive v1.5.0 [INFO] [stderr] Compiling enum-iterator v1.5.0 [INFO] [stdout] warning: unused imports: `Tree` and `Zipper` [INFO] [stdout] --> src/tests/prop_formula.rs:1:22 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::formula::{Tree, Zipper}; [INFO] [stdout] | ^^^^ ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Match`, `ParseError`, `ParsedSymbols`, `build_formula`, `build_tree`, `main_operator`, and `strip_parentheses` [INFO] [stdout] --> src/tests/prop_formula.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | build_formula, build_tree, main_operator, strip_parentheses, Match, ParseError, ParsedSymbols, [INFO] [stdout] | ^^^^^^^^^^^^^ ^^^^^^^^^^ ^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^ ^^^^^ ^^^^^^^^^^ ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `Atom`, `PropBinary`, `PropFormula`, `PropSymbol`, and `PropUnary` [INFO] [stdout] --> src/tests/prop_formula.rs:5:19 [INFO] [stdout] | [INFO] [stdout] 5 | use crate::prop::{Atom, PropBinary, PropFormula, PropSymbol, PropUnary}; [INFO] [stdout] | ^^^^ ^^^^^^^^^^ ^^^^^^^^^^^ ^^^^^^^^^^ ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::symbol::Symbol` [INFO] [stdout] --> src/tests/prop_formula.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use crate::symbol::Symbol; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `cascade::cascade` [INFO] [stdout] --> src/tests/prop_formula.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | use cascade::cascade; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `HashMap` and `HashSet` [INFO] [stdout] --> src/tests/prop_formula.rs:8:24 [INFO] [stdout] | [INFO] [stdout] 8 | use std::collections::{HashMap, HashSet}; [INFO] [stdout] | ^^^^^^^ ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `apply` is never used [INFO] [stdout] --> src/formula.rs:577:8 [INFO] [stdout] | [INFO] [stdout] 362 | impl Formula { [INFO] [stdout] | ------------------------------------------------------------ method in this implementation [INFO] [stdout] ... [INFO] [stdout] 577 | fn apply Option<()>>(&self, func: &mut F) -> Option<()> { [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated functions are never used [INFO] [stdout] --> src/formula.rs:968:8 [INFO] [stdout] | [INFO] [stdout] 961 | / impl Formula [INFO] [stdout] 962 | | where [INFO] [stdout] 963 | | B: Symbolic + Sequence, [INFO] [stdout] 964 | | U: Symbolic + Sequence, [INFO] [stdout] 965 | | A: Symbolic, [INFO] [stdout] | |________________- associated functions in this implementation [INFO] [stdout] ... [INFO] [stdout] 968 | fn num_binary() -> usize { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 972 | fn num_unary() -> usize { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 976 | fn unary_counting(offset: usize) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 984 | fn unary_str_counting(offset: usize) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 992 | fn binary_counting(offset: usize) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1000 | fn binary_str_counting(offset: usize) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1008 | fn operator_counting(offset: usize) -> HashMap, usize> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1021 | fn operator_str_counting(offset: usize) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `ModalUnary` is never used [INFO] [stdout] --> src/modal.rs:21:6 [INFO] [stdout] | [INFO] [stdout] 21 | enum ModalUnary { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `ModalBinary` is never used [INFO] [stdout] --> src/modal.rs:67:6 [INFO] [stdout] | [INFO] [stdout] 67 | type ModalBinary = PropBinary; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `ModalFormula` is never used [INFO] [stdout] --> src/modal.rs:70:6 [INFO] [stdout] | [INFO] [stdout] 70 | type ModalFormula = Formula; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 5.49s [INFO] running `Command { std: "docker" "inspect" "5450f1e3004bfd2baa22c2276d758ce243341f8019b41f54446c1c0b2f26c651", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5450f1e3004bfd2baa22c2276d758ce243341f8019b41f54446c1c0b2f26c651", kill_on_drop: false }` [INFO] [stdout] 5450f1e3004bfd2baa22c2276d758ce243341f8019b41f54446c1c0b2f26c651 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+b6ae10aa7319b7ebb6c7b3331dd71a9d6c9c5b4b" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 37d812dcf99b6750b34234ab2d54536ca1c205ce84015b49fb47b25e46540b05 [INFO] running `Command { std: "docker" "start" "-a" "37d812dcf99b6750b34234ab2d54536ca1c205ce84015b49fb47b25e46540b05", kill_on_drop: false }` [INFO] [stdout] warning: unexpected `cfg` condition name: `features` [INFO] [stdout] --> build.rs:1:7 [INFO] [stdout] | [INFO] [stdout] 1 | #[cfg(features = "python")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stdout] help: there is a config with a similar name and value [INFO] [stdout] | [INFO] [stdout] 1 - #[cfg(features = "python")] [INFO] [stdout] 1 + #[cfg(feature = "python")] [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `features` [INFO] [stdout] --> build.rs:4:11 [INFO] [stdout] | [INFO] [stdout] 4 | #[cfg(features = "python")] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] help: there is a config with a similar name and value [INFO] [stdout] | [INFO] [stdout] 4 - #[cfg(features = "python")] [INFO] [stdout] 4 + #[cfg(feature = "python")] [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling implies v0.4.5 (/opt/rustwide/workdir) [INFO] [stdout] warning: method `apply` is never used [INFO] [stdout] --> src/formula.rs:577:8 [INFO] [stdout] | [INFO] [stdout] 362 | impl Formula { [INFO] [stdout] | ------------------------------------------------------------ method in this implementation [INFO] [stdout] ... [INFO] [stdout] 577 | fn apply Option<()>>(&self, func: &mut F) -> Option<()> { [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: multiple associated functions are never used [INFO] [stdout] --> src/formula.rs:968:8 [INFO] [stdout] | [INFO] [stdout] 961 | / impl Formula [INFO] [stdout] 962 | | where [INFO] [stdout] 963 | | B: Symbolic + Sequence, [INFO] [stdout] 964 | | U: Symbolic + Sequence, [INFO] [stdout] 965 | | A: Symbolic, [INFO] [stdout] | |________________- associated functions in this implementation [INFO] [stdout] ... [INFO] [stdout] 968 | fn num_binary() -> usize { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 972 | fn num_unary() -> usize { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 976 | fn unary_counting(offset: usize) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 984 | fn unary_str_counting(offset: usize) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 992 | fn binary_counting(offset: usize) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1000 | fn binary_str_counting(offset: usize) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1008 | fn operator_counting(offset: usize) -> HashMap, usize> { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 1021 | fn operator_str_counting(offset: usize) -> HashMap { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `ModalUnary` is never used [INFO] [stdout] --> src/modal.rs:21:6 [INFO] [stdout] | [INFO] [stdout] 21 | enum ModalUnary { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `ModalBinary` is never used [INFO] [stdout] --> src/modal.rs:67:6 [INFO] [stdout] | [INFO] [stdout] 67 | type ModalBinary = PropBinary; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias `ModalFormula` is never used [INFO] [stdout] --> src/modal.rs:70:6 [INFO] [stdout] | [INFO] [stdout] 70 | type ModalFormula = Formula; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 1.04s [INFO] running `Command { std: "docker" "inspect" "37d812dcf99b6750b34234ab2d54536ca1c205ce84015b49fb47b25e46540b05", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "37d812dcf99b6750b34234ab2d54536ca1c205ce84015b49fb47b25e46540b05", kill_on_drop: false }` [INFO] [stdout] 37d812dcf99b6750b34234ab2d54536ca1c205ce84015b49fb47b25e46540b05 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+b6ae10aa7319b7ebb6c7b3331dd71a9d6c9c5b4b" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 6bfa8739cc8fb6faffea7b869a8e8469b43943cf36beea81340baf2edd7a8a41 [INFO] running `Command { std: "docker" "start" "-a" "6bfa8739cc8fb6faffea7b869a8e8469b43943cf36beea81340baf2edd7a8a41", kill_on_drop: false }` [INFO] [stderr] warning: unexpected `cfg` condition name: `features` [INFO] [stderr] --> build.rs:1:7 [INFO] [stderr] | [INFO] [stderr] 1 | #[cfg(features = "python")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: see for more information about checking conditional configuration [INFO] [stderr] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stderr] help: there is a config with a similar name and value [INFO] [stderr] | [INFO] [stderr] 1 - #[cfg(features = "python")] [INFO] [stderr] 1 + #[cfg(feature = "python")] [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: unexpected `cfg` condition name: `features` [INFO] [stderr] --> build.rs:4:11 [INFO] [stderr] | [INFO] [stderr] 4 | #[cfg(features = "python")] [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: see for more information about checking conditional configuration [INFO] [stderr] help: there is a config with a similar name and value [INFO] [stderr] | [INFO] [stderr] 4 - #[cfg(features = "python")] [INFO] [stderr] 4 + #[cfg(feature = "python")] [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: `implies` (build script) generated 2 warnings [INFO] [stderr] warning: method `apply` is never used [INFO] [stderr] --> src/formula.rs:577:8 [INFO] [stderr] | [INFO] [stderr] 362 | impl Formula { [INFO] [stderr] | ------------------------------------------------------------ method in this implementation [INFO] [stderr] ... [INFO] [stderr] 577 | fn apply Option<()>>(&self, func: &mut F) -> Option<()> { [INFO] [stderr] | ^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: multiple associated functions are never used [INFO] [stderr] --> src/formula.rs:968:8 [INFO] [stderr] | [INFO] [stderr] 961 | / impl Formula [INFO] [stderr] 962 | | where [INFO] [stderr] 963 | | B: Symbolic + Sequence, [INFO] [stderr] 964 | | U: Symbolic + Sequence, [INFO] [stderr] 965 | | A: Symbolic, [INFO] [stderr] | |________________- associated functions in this implementation [INFO] [stderr] ... [INFO] [stderr] 968 | fn num_binary() -> usize { [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 972 | fn num_unary() -> usize { [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 976 | fn unary_counting(offset: usize) -> HashMap { [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 984 | fn unary_str_counting(offset: usize) -> HashMap { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 992 | fn binary_counting(offset: usize) -> HashMap { [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 1000 | fn binary_str_counting(offset: usize) -> HashMap { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 1008 | fn operator_counting(offset: usize) -> HashMap, usize> { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 1021 | fn operator_str_counting(offset: usize) -> HashMap { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: enum `ModalUnary` is never used [INFO] [stderr] --> src/modal.rs:21:6 [INFO] [stderr] | [INFO] [stderr] 21 | enum ModalUnary { [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: type alias `ModalBinary` is never used [INFO] [stderr] --> src/modal.rs:67:6 [INFO] [stderr] | [INFO] [stderr] 67 | type ModalBinary = PropBinary; [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: type alias `ModalFormula` is never used [INFO] [stderr] --> src/modal.rs:70:6 [INFO] [stderr] | [INFO] [stderr] 70 | type ModalFormula = Formula; [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: `implies` (lib test) generated 5 warnings [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.04s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/implies-592904a2b7d895a2) [INFO] [stdout] [INFO] [stdout] running 13 tests [INFO] [stdout] test tests::prop_formula::formula_parse ... ok [INFO] [stdout] test tests::prop_formula::stripping_parens ... ok [INFO] [stdout] test tests::prop_formula::to_tensor ... ok [INFO] [stdout] test tests::prop_formula::parentheses_parse ... ok [INFO] [stdout] test tests::prop_formula::distribute_binary ... ok [INFO] [stdout] test tests::prop_formula::instantiation ... ok [INFO] [stdout] test tests::prop_formula::rotation_and_precedence ... ok [INFO] [stdout] test tests::prop_formula::unary_over_binary ... ok [INFO] [stdout] test tests::prop_formula::zip_zip ... ok [INFO] [stdout] test tests::prop_formula::read_and_write ... ok [INFO] [stdout] test tests::prop_formula::symbol_parse ... ok [INFO] [stdout] test tests::prop_formula::atomization ... ok [INFO] [stdout] test tests::prop_formula::atomic_matching ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "6bfa8739cc8fb6faffea7b869a8e8469b43943cf36beea81340baf2edd7a8a41", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6bfa8739cc8fb6faffea7b869a8e8469b43943cf36beea81340baf2edd7a8a41", kill_on_drop: false }` [INFO] [stdout] 6bfa8739cc8fb6faffea7b869a8e8469b43943cf36beea81340baf2edd7a8a41