[INFO] fetching crate banquo-core 0.1.0... [INFO] testing banquo-core-0.1.0 against master#cdb45c87e2cd43495379f7e867e3cc15dcee9f93 for pr-145838-1 [INFO] extracting crate banquo-core 0.1.0 into /workspace/builds/worker-6-tc1/source [INFO] started tweaking crates.io crate banquo-core 0.1.0 [INFO] finished tweaking crates.io crate banquo-core 0.1.0 [INFO] tweaked toml for crates.io crate banquo-core 0.1.0 written to /workspace/builds/worker-6-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate banquo-core 0.1.0 on toolchain cdb45c87e2cd43495379f7e867e3cc15dcee9f93 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "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" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Locking 10 packages to latest compatible versions [INFO] [stderr] Adding ordered-float v4.6.0 (available: v5.0.0) [INFO] [stderr] Adding thiserror v1.0.69 (available: v2.0.16) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 0c7f0f5cfb5863765d2dfc873ceb6c76cca43ef1bed41132b6ea9b1d1ea1223b [INFO] running `Command { std: "docker" "start" "-a" "0c7f0f5cfb5863765d2dfc873ceb6c76cca43ef1bed41132b6ea9b1d1ea1223b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "0c7f0f5cfb5863765d2dfc873ceb6c76cca43ef1bed41132b6ea9b1d1ea1223b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0c7f0f5cfb5863765d2dfc873ceb6c76cca43ef1bed41132b6ea9b1d1ea1223b", kill_on_drop: false }` [INFO] [stdout] 0c7f0f5cfb5863765d2dfc873ceb6c76cca43ef1bed41132b6ea9b1d1ea1223b [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] fa84b2647eb6a33dabcbdad9dfffc0a0312c0525801ce6cb6ec981c6dccf7441 [INFO] running `Command { std: "docker" "start" "-a" "fa84b2647eb6a33dabcbdad9dfffc0a0312c0525801ce6cb6ec981c6dccf7441", kill_on_drop: false }` [INFO] [stderr] Compiling thiserror v1.0.69 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling syn v2.0.106 [INFO] [stderr] Compiling ordered-float v4.6.0 [INFO] [stderr] Compiling thiserror-impl v1.0.69 [INFO] [stderr] Compiling banquo-core v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: struct `Const` is never constructed [INFO] [stdout] --> src/operators/mod.rs:160:16 [INFO] [stdout] | [INFO] [stdout] 160 | pub struct Const; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `ConstError` is never used [INFO] [stdout] --> src/operators/mod.rs:163:14 [INFO] [stdout] | [INFO] [stdout] 163 | pub enum ConstError {} [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ConstLeft` is never constructed [INFO] [stdout] --> src/operators/mod.rs:177:16 [INFO] [stdout] | [INFO] [stdout] 177 | pub struct ConstLeft; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ConstRight` is never constructed [INFO] [stdout] --> src/operators/mod.rs:196:16 [INFO] [stdout] | [INFO] [stdout] 196 | pub struct ConstRight; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trace.rs:954:17 [INFO] [stdout] | [INFO] [stdout] 954 | pub fn iter(&self) -> Iter { [INFO] [stdout] | ^^^^^ ^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 954 | pub fn iter(&self) -> Iter<'_, T> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trace.rs:959:21 [INFO] [stdout] | [INFO] [stdout] 959 | pub fn iter_mut(&mut self) -> IterMut { [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 959 | pub fn iter_mut(&mut self) -> IterMut<'_, T> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trace.rs:964:18 [INFO] [stdout] | [INFO] [stdout] 964 | pub fn times(&self) -> Times> { [INFO] [stdout] | ^^^^^ ^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 964 | pub fn times(&self) -> Times> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trace.rs:969:19 [INFO] [stdout] | [INFO] [stdout] 969 | pub fn states(&self) -> States> { [INFO] [stdout] | ^^^^^ ^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 969 | pub fn states(&self) -> States> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trace.rs:974:23 [INFO] [stdout] | [INFO] [stdout] 974 | pub fn states_mut(&mut self) -> States> { [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 974 | pub fn states_mut(&mut self) -> States> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trace.rs:984:21 [INFO] [stdout] | [INFO] [stdout] 984 | pub fn range(&self, bounds: R) -> Range [INFO] [stdout] | ^^^^^ ^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 984 | pub fn range(&self, bounds: R) -> Range<'_, T> [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trace.rs:1000:25 [INFO] [stdout] | [INFO] [stdout] 1000 | pub fn range_mut(&mut self, bounds: R) -> RangeMut [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 1000 | pub fn range_mut(&mut self, bounds: R) -> RangeMut<'_, T> [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 5.43s [INFO] running `Command { std: "docker" "inspect" "fa84b2647eb6a33dabcbdad9dfffc0a0312c0525801ce6cb6ec981c6dccf7441", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "fa84b2647eb6a33dabcbdad9dfffc0a0312c0525801ce6cb6ec981c6dccf7441", kill_on_drop: false }` [INFO] [stdout] fa84b2647eb6a33dabcbdad9dfffc0a0312c0525801ce6cb6ec981c6dccf7441 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 5021ce0a9cf4f144b9f5dfa737894a7f0aa4b097ea146a69f8abff2e9c3c6e8f [INFO] running `Command { std: "docker" "start" "-a" "5021ce0a9cf4f144b9f5dfa737894a7f0aa4b097ea146a69f8abff2e9c3c6e8f", kill_on_drop: false }` [INFO] [stderr] Compiling approx v0.5.1 [INFO] [stdout] warning: struct `Const` is never constructed [INFO] [stdout] --> src/operators/mod.rs:160:16 [INFO] [stdout] | [INFO] [stdout] 160 | pub struct Const; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `ConstError` is never used [INFO] [stdout] --> src/operators/mod.rs:163:14 [INFO] [stdout] | [INFO] [stdout] 163 | pub enum ConstError {} [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ConstLeft` is never constructed [INFO] [stdout] --> src/operators/mod.rs:177:16 [INFO] [stdout] | [INFO] [stdout] 177 | pub struct ConstLeft; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ConstRight` is never constructed [INFO] [stdout] --> src/operators/mod.rs:196:16 [INFO] [stdout] | [INFO] [stdout] 196 | pub struct ConstRight; [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trace.rs:954:17 [INFO] [stdout] | [INFO] [stdout] 954 | pub fn iter(&self) -> Iter { [INFO] [stdout] | ^^^^^ ^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 954 | pub fn iter(&self) -> Iter<'_, T> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trace.rs:959:21 [INFO] [stdout] | [INFO] [stdout] 959 | pub fn iter_mut(&mut self) -> IterMut { [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 959 | pub fn iter_mut(&mut self) -> IterMut<'_, T> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trace.rs:964:18 [INFO] [stdout] | [INFO] [stdout] 964 | pub fn times(&self) -> Times> { [INFO] [stdout] | ^^^^^ ^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 964 | pub fn times(&self) -> Times> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trace.rs:969:19 [INFO] [stdout] | [INFO] [stdout] 969 | pub fn states(&self) -> States> { [INFO] [stdout] | ^^^^^ ^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 969 | pub fn states(&self) -> States> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trace.rs:974:23 [INFO] [stdout] | [INFO] [stdout] 974 | pub fn states_mut(&mut self) -> States> { [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 974 | pub fn states_mut(&mut self) -> States> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trace.rs:984:21 [INFO] [stdout] | [INFO] [stdout] 984 | pub fn range(&self, bounds: R) -> Range [INFO] [stdout] | ^^^^^ ^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 984 | pub fn range(&self, bounds: R) -> Range<'_, T> [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trace.rs:1000:25 [INFO] [stdout] | [INFO] [stdout] 1000 | pub fn range_mut(&mut self, bounds: R) -> RangeMut [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 1000 | pub fn range_mut(&mut self, bounds: R) -> RangeMut<'_, T> [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling banquo-core v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trace.rs:954:17 [INFO] [stdout] | [INFO] [stdout] 954 | pub fn iter(&self) -> Iter { [INFO] [stdout] | ^^^^^ ^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 954 | pub fn iter(&self) -> Iter<'_, T> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trace.rs:959:21 [INFO] [stdout] | [INFO] [stdout] 959 | pub fn iter_mut(&mut self) -> IterMut { [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 959 | pub fn iter_mut(&mut self) -> IterMut<'_, T> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trace.rs:964:18 [INFO] [stdout] | [INFO] [stdout] 964 | pub fn times(&self) -> Times> { [INFO] [stdout] | ^^^^^ ^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 964 | pub fn times(&self) -> Times> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trace.rs:969:19 [INFO] [stdout] | [INFO] [stdout] 969 | pub fn states(&self) -> States> { [INFO] [stdout] | ^^^^^ ^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 969 | pub fn states(&self) -> States> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trace.rs:974:23 [INFO] [stdout] | [INFO] [stdout] 974 | pub fn states_mut(&mut self) -> States> { [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 974 | pub fn states_mut(&mut self) -> States> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trace.rs:984:21 [INFO] [stdout] | [INFO] [stdout] 984 | pub fn range(&self, bounds: R) -> Range [INFO] [stdout] | ^^^^^ ^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 984 | pub fn range(&self, bounds: R) -> Range<'_, T> [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/trace.rs:1000:25 [INFO] [stdout] | [INFO] [stdout] 1000 | pub fn range_mut(&mut self, bounds: R) -> RangeMut [INFO] [stdout] | ^^^^^^^^^ ^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 1000 | pub fn range_mut(&mut self, bounds: R) -> RangeMut<'_, T> [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 3.46s [INFO] running `Command { std: "docker" "inspect" "5021ce0a9cf4f144b9f5dfa737894a7f0aa4b097ea146a69f8abff2e9c3c6e8f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5021ce0a9cf4f144b9f5dfa737894a7f0aa4b097ea146a69f8abff2e9c3c6e8f", kill_on_drop: false }` [INFO] [stdout] 5021ce0a9cf4f144b9f5dfa737894a7f0aa4b097ea146a69f8abff2e9c3c6e8f [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] ab32341d2477bd776ffab26b5b5c1ceb8593ce004c7dd2dbbcdd4bb5039b6303 [INFO] running `Command { std: "docker" "start" "-a" "ab32341d2477bd776ffab26b5b5c1ceb8593ce004c7dd2dbbcdd4bb5039b6303", kill_on_drop: false }` [INFO] [stderr] warning: struct `Const` is never constructed [INFO] [stderr] --> src/operators/mod.rs:160:16 [INFO] [stderr] | [INFO] [stderr] 160 | pub struct Const; [INFO] [stderr] | ^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: enum `ConstError` is never used [INFO] [stderr] --> src/operators/mod.rs:163:14 [INFO] [stderr] | [INFO] [stderr] 163 | pub enum ConstError {} [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `ConstLeft` is never constructed [INFO] [stderr] --> src/operators/mod.rs:177:16 [INFO] [stderr] | [INFO] [stderr] 177 | pub struct ConstLeft; [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: struct `ConstRight` is never constructed [INFO] [stderr] --> src/operators/mod.rs:196:16 [INFO] [stderr] | [INFO] [stderr] 196 | pub struct ConstRight; [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> src/trace.rs:954:17 [INFO] [stderr] | [INFO] [stderr] 954 | pub fn iter(&self) -> Iter { [INFO] [stderr] | ^^^^^ ^^^^^^^ the same lifetime is hidden here [INFO] [stderr] | | [INFO] [stderr] | the lifetime is elided here [INFO] [stderr] | [INFO] [stderr] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stderr] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stderr] help: use `'_` for type paths [INFO] [stderr] | [INFO] [stderr] 954 | pub fn iter(&self) -> Iter<'_, T> { [INFO] [stderr] | +++ [INFO] [stderr] [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> src/trace.rs:959:21 [INFO] [stderr] | [INFO] [stderr] 959 | pub fn iter_mut(&mut self) -> IterMut { [INFO] [stderr] | ^^^^^^^^^ ^^^^^^^^^^ the same lifetime is hidden here [INFO] [stderr] | | [INFO] [stderr] | the lifetime is elided here [INFO] [stderr] | [INFO] [stderr] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stderr] help: use `'_` for type paths [INFO] [stderr] | [INFO] [stderr] 959 | pub fn iter_mut(&mut self) -> IterMut<'_, T> { [INFO] [stderr] | +++ [INFO] [stderr] [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> src/trace.rs:964:18 [INFO] [stderr] | [INFO] [stderr] 964 | pub fn times(&self) -> Times> { [INFO] [stderr] | ^^^^^ ^^^^^^^ the same lifetime is hidden here [INFO] [stderr] | | [INFO] [stderr] | the lifetime is elided here [INFO] [stderr] | [INFO] [stderr] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stderr] help: use `'_` for type paths [INFO] [stderr] | [INFO] [stderr] 964 | pub fn times(&self) -> Times> { [INFO] [stderr] | +++ [INFO] [stderr] [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> src/trace.rs:969:19 [INFO] [stderr] | [INFO] [stderr] 969 | pub fn states(&self) -> States> { [INFO] [stderr] | ^^^^^ ^^^^^^^ the same lifetime is hidden here [INFO] [stderr] | | [INFO] [stderr] | the lifetime is elided here [INFO] [stderr] | [INFO] [stderr] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stderr] help: use `'_` for type paths [INFO] [stderr] | [INFO] [stderr] 969 | pub fn states(&self) -> States> { [INFO] [stderr] | +++ [INFO] [stderr] [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> src/trace.rs:974:23 [INFO] [stderr] | [INFO] [stderr] 974 | pub fn states_mut(&mut self) -> States> { [INFO] [stderr] | ^^^^^^^^^ ^^^^^^^^^^ the same lifetime is hidden here [INFO] [stderr] | | [INFO] [stderr] | the lifetime is elided here [INFO] [stderr] | [INFO] [stderr] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stderr] help: use `'_` for type paths [INFO] [stderr] | [INFO] [stderr] 974 | pub fn states_mut(&mut self) -> States> { [INFO] [stderr] | +++ [INFO] [stderr] [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> src/trace.rs:984:21 [INFO] [stderr] | [INFO] [stderr] 984 | pub fn range(&self, bounds: R) -> Range [INFO] [stderr] | ^^^^^ ^^^^^^^^ the same lifetime is hidden here [INFO] [stderr] | | [INFO] [stderr] | the lifetime is elided here [INFO] [stderr] | [INFO] [stderr] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stderr] help: use `'_` for type paths [INFO] [stderr] | [INFO] [stderr] 984 | pub fn range(&self, bounds: R) -> Range<'_, T> [INFO] [stderr] | +++ [INFO] [stderr] [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> src/trace.rs:1000:25 [INFO] [stderr] | [INFO] [stderr] 1000 | pub fn range_mut(&mut self, bounds: R) -> RangeMut [INFO] [stderr] | ^^^^^^^^^ ^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stderr] | | [INFO] [stderr] | the lifetime is elided here [INFO] [stderr] | [INFO] [stderr] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stderr] help: use `'_` for type paths [INFO] [stderr] | [INFO] [stderr] 1000 | pub fn range_mut(&mut self, bounds: R) -> RangeMut<'_, T> [INFO] [stderr] | +++ [INFO] [stderr] [INFO] [stderr] warning: `banquo-core` (lib) generated 11 warnings (run `cargo fix --lib -p banquo-core` to apply 7 suggestions) [INFO] [stderr] warning: `banquo-core` (lib test) generated 7 warnings (7 duplicates) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.06s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/banquo_core-7e6d673986861a89) [INFO] [stdout] [INFO] [stdout] running 17 tests [INFO] [stdout] test operators::first_order::tests::not ... ok [INFO] [stdout] test operators::first_order::tests::or ... ok [INFO] [stdout] test operators::first_order::tests::implies ... ok [INFO] [stdout] test operators::forward::tests::always ... ok [INFO] [stdout] test operators::forward::tests::bounded_eventually ... ok [INFO] [stdout] test operators::first_order::tests::and ... ok [INFO] [stdout] test operators::forward::tests::eventually ... ok [INFO] [stdout] test operators::forward::tests::bounds ... ok [INFO] [stdout] test operators::forward::tests::next ... ok [INFO] [stdout] test predicate::tests::macro_parsing ... ok [INFO] [stdout] test operators::forward::tests::until ... ok [INFO] [stdout] test trace::tests::get_element ... ok [INFO] [stdout] test predicate::tests::robustness ... ok [INFO] [stdout] test trace::tests::select_range ... ok [INFO] [stdout] test trace::tests::states ... ok [INFO] [stdout] test trace::tests::times ... ok [INFO] [stdout] test operators::forward::tests::bounded_always ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] [stderr] Running tests/conformance.rs (/opt/rustwide/target/debug/deps/conformance-9e4bf8e5b859de9a) [INFO] [stdout] [INFO] [stdout] running 20 tests [INFO] [stdout] test case05 ... ok [INFO] [stdout] test case01 ... ok [INFO] [stdout] test case06 ... ok [INFO] [stdout] test case07 ... ok [INFO] [stdout] test case08 ... ok [INFO] [stdout] test case03 ... ok [INFO] [stdout] test case12 ... ok [INFO] [stdout] test case11 ... ok [INFO] [stdout] test case04 ... ok [INFO] [stdout] test case10 ... ok [INFO] [stdout] test case13 ... ok [INFO] [stdout] test case09 ... ok [INFO] [stdout] test case15 ... ok [INFO] [stdout] test case23 ... ok [INFO] [stdout] test case16 ... ok [INFO] [stdout] test case24 ... ok [INFO] [stdout] test case02 ... ok [INFO] [stdout] test case25 ... ok [INFO] [stdout] test case17 ... ok [INFO] [stdout] test case14 ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 20 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] [stderr] Doc-tests banquo_core [INFO] [stdout] [INFO] [stdout] running 66 tests [INFO] [stdout] test src/metrics.rs - metrics::Top::top (line 15) ... FAILED [INFO] [stdout] test src/operators/forward.rs - operators::forward::Always::bounded (line 294) ... FAILED [INFO] [stdout] test src/lib.rs - Formula (line 36) ... FAILED [INFO] [stdout] test src/operators/forward.rs - operators::forward::Always (line 258) ... FAILED [INFO] [stdout] test src/operators/first_order.rs - operators::first_order::Or (line 162) ... FAILED [INFO] [stdout] test src/operators/first_order.rs - operators::first_order::And (line 215) ... FAILED [INFO] [stdout] test src/operators/forward.rs - operators::forward::Next::new (line 443) ... FAILED [INFO] [stdout] test src/operators/forward.rs - operators::forward::Eventually::unbounded (line 358) ... FAILED [INFO] [stdout] test src/operators/first_order.rs - operators::first_order::Implies (line 268) ... FAILED [INFO] [stdout] test src/operators/forward.rs - operators::forward::Always::unbounded (line 276) ... FAILED [INFO] [stdout] test src/operators/forward.rs - operators::forward::Eventually::bounded (line 376) ... FAILED [INFO] [stdout] test src/metrics.rs - metrics::Bottom::bottom (line 36) ... FAILED [INFO] [stdout] test src/operators/first_order.rs - operators::first_order::Not (line 23) ... FAILED [INFO] [stdout] test src/operators/mod.rs - operators (line 111) ... FAILED [INFO] [stdout] test src/operators/forward.rs - operators::forward::Until (line 502) ... FAILED [INFO] [stdout] test src/lib.rs - evaluate (line 160) ... FAILED [INFO] [stdout] test src/operators/mod.rs - operators (line 124) ... FAILED [INFO] [stdout] test src/operators/mod.rs - operators (line 98) ... FAILED [INFO] [stdout] test src/operators/forward.rs - operators::forward::Eventually (line 340) ... FAILED [INFO] [stdout] test src/predicate.rs - predicate (line 62) ... FAILED [INFO] [stdout] test src/operators/forward.rs - operators::forward::Next (line 423) ... FAILED [INFO] [stdout] test src/predicate.rs - predicate::EvaluationError::missing (line 492) ... FAILED [INFO] [stdout] test src/operators/mod.rs - operators (line 81) ... FAILED [INFO] [stdout] test src/predicate.rs - predicate (line 49) ... FAILED [INFO] [stdout] test src/metrics.rs - metrics::Join::max (line 94) ... FAILED [INFO] [stdout] test src/predicate.rs - predicate (line 20) ... FAILED [INFO] [stdout] test src/predicate.rs - predicate (line 28) ... FAILED [INFO] [stdout] test src/predicate.rs - predicate::Predicate::coefficients (line 217) ... FAILED [INFO] [stdout] test src/predicate.rs - predicate::Predicate::constant (line 178) ... FAILED [INFO] [stdout] test src/operators/forward.rs - operators::forward::Until::new (line 524) ... FAILED [INFO] [stdout] test src/predicate.rs - predicate (line 98) ... FAILED [INFO] [stdout] test src/predicate.rs - predicate::EvaluationError::nan_coefficient (line 526) ... FAILED [INFO] [stdout] test src/predicate.rs - predicate::Predicate::evaluate_state (line 561) ... FAILED [INFO] [stdout] test src/predicate.rs - predicate::EvaluationError::nan_value (line 509) ... FAILED [INFO] [stdout] test src/trace.rs - trace (line 124) ... FAILED [INFO] [stdout] test src/trace.rs - trace (line 19) ... FAILED [INFO] [stdout] test src/predicate.rs - predicate::FormulaError::new (line 640) ... FAILED [INFO] [stdout] test src/predicate.rs - predicate::Term (line 291) ... FAILED [INFO] [stdout] test src/predicate.rs - predicate::predicate (line 689) ... FAILED [INFO] [stdout] test src/trace.rs - trace (line 106) ... FAILED [INFO] [stdout] test src/predicate.rs - predicate::Predicate::get (line 160) ... FAILED [INFO] [stdout] test src/trace.rs - trace (line 26) ... FAILED [INFO] [stdout] test src/trace.rs - trace (line 70) ... FAILED [INFO] [stdout] test src/trace.rs - trace (line 142) ... FAILED [INFO] [stdout] test src/predicate.rs - predicate (line 71) ... FAILED [INFO] [stdout] test src/metrics.rs - metrics::Meet::min (line 65) ... FAILED [INFO] [stdout] test src/predicate.rs - predicate::Predicate::new (line 147) ... FAILED [INFO] [stdout] test src/trace.rs - trace::Iter<'a,T>::states (line 501) ... FAILED [INFO] [stdout] test src/trace.rs - trace (line 37) ... FAILED [INFO] [stdout] test src/trace.rs - trace::Iter (line 446) ... FAILED [INFO] [stdout] test src/trace.rs - trace (line 49) ... FAILED [INFO] [stdout] test src/trace.rs - trace::Iter<'a,T>::map_states (line 524) ... FAILED [INFO] [stdout] test src/trace.rs - trace::Range<'a,T>::map_states (line 845) ... FAILED [INFO] [stdout] test src/trace.rs - trace::IntoIter::states (line 608) ... FAILED [INFO] [stdout] test src/trace.rs - trace::IntoIter (line 553) ... FAILED [INFO] [stdout] test src/trace.rs - trace::IntoIter::map_states (line 634) ... FAILED [INFO] [stdout] test src/trace.rs - trace::MapStates (line 376) ... FAILED [INFO] [stdout] test src/trace.rs - trace::Range<'a,T>::times (line 794) ... FAILED [INFO] [stdout] test src/trace.rs - trace::Range<'a,T>::states (line 819) ... FAILED [INFO] [stdout] test src/trace.rs - trace::States (line 320) ... FAILED [INFO] [stdout] test src/trace.rs - trace::IterMut (line 663) ... FAILED [INFO] [stdout] test src/trace.rs - trace::Times (line 262) ... FAILED [INFO] [stdout] test src/trace.rs - trace::IterMut<'a,T>::states (line 694) ... FAILED [INFO] [stdout] test src/trace.rs - trace::Range (line 748) ... FAILED [INFO] [stdout] test src/trace.rs - trace::RangeMut (line 876) ... FAILED [INFO] [stdout] test src/trace.rs - trace::RangeMut<'a,T>::states (line 922) ... FAILED [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stdout] ---- src/metrics.rs - metrics::Top::top (line 15) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/metrics.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Top; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error[E0599]: no function or associated item named `top` found for type `f64` in the current scope [INFO] [stdout] --> src/metrics.rs:17:16 [INFO] [stdout] | [INFO] [stdout] 4 | let top = f64::top(); [INFO] [stdout] | ^^^ function or associated item not found in `f64` [INFO] [stdout] | [INFO] [stdout] = help: items from traits can only be used if the trait is in scope [INFO] [stdout] help: trait `Top` which provides `top` is implemented but not in scope; perhaps you want to import it [INFO] [stdout] | [INFO] [stdout] 2 + use banquo_core::Top; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] error: aborting due to 2 previous errors [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0432, E0599. [INFO] [stdout] For more information about an error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operators/forward.rs - operators::forward::Always::bounded (line 294) stdout ---- [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `banquo` [INFO] [stdout] --> src/operators/forward.rs:296:5 [INFO] [stdout] | [INFO] [stdout] 4 | use banquo::operators::Always; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/operators/forward.rs:295:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::predicate; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 2 previous errors [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0432, E0433. [INFO] [stdout] For more information about an error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/lib.rs - Formula (line 36) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/lib.rs:37:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::{Formula, Trace}; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operators/forward.rs - operators::forward::Always (line 258) stdout ---- [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `banquo` [INFO] [stdout] --> src/operators/forward.rs:260:5 [INFO] [stdout] | [INFO] [stdout] 4 | use banquo::operators::Always; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/operators/forward.rs:259:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::predicate; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 2 previous errors [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0432, E0433. [INFO] [stdout] For more information about an error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operators/first_order.rs - operators::first_order::Or (line 162) stdout ---- [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `banquo` [INFO] [stdout] --> src/operators/first_order.rs:164:5 [INFO] [stdout] | [INFO] [stdout] 4 | use banquo::operators::Or; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/operators/first_order.rs:163:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::predicate; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 2 previous errors [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0432, E0433. [INFO] [stdout] For more information about an error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operators/first_order.rs - operators::first_order::And (line 215) stdout ---- [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `banquo` [INFO] [stdout] --> src/operators/first_order.rs:217:5 [INFO] [stdout] | [INFO] [stdout] 4 | use banquo::operators::And; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/operators/first_order.rs:216:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::predicate; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 2 previous errors [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0432, E0433. [INFO] [stdout] For more information about an error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operators/forward.rs - operators::forward::Next::new (line 443) stdout ---- [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `banquo` [INFO] [stdout] --> src/operators/forward.rs:445:5 [INFO] [stdout] | [INFO] [stdout] 4 | use banquo::operators::Next; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/operators/forward.rs:444:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::predicate; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 2 previous errors [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0432, E0433. [INFO] [stdout] For more information about an error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operators/forward.rs - operators::forward::Eventually::unbounded (line 358) stdout ---- [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `banquo` [INFO] [stdout] --> src/operators/forward.rs:360:5 [INFO] [stdout] | [INFO] [stdout] 4 | use banquo::operators::Eventually; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/operators/forward.rs:359:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::predicate; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 2 previous errors [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0432, E0433. [INFO] [stdout] For more information about an error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operators/first_order.rs - operators::first_order::Implies (line 268) stdout ---- [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `banquo` [INFO] [stdout] --> src/operators/first_order.rs:270:5 [INFO] [stdout] | [INFO] [stdout] 4 | use banquo::operators::Implies; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/operators/first_order.rs:269:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::predicate; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 2 previous errors [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0432, E0433. [INFO] [stdout] For more information about an error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operators/forward.rs - operators::forward::Always::unbounded (line 276) stdout ---- [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `banquo` [INFO] [stdout] --> src/operators/forward.rs:278:5 [INFO] [stdout] | [INFO] [stdout] 4 | use banquo::operators::Always; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/operators/forward.rs:277:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::predicate; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 2 previous errors [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0432, E0433. [INFO] [stdout] For more information about an error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operators/forward.rs - operators::forward::Eventually::bounded (line 376) stdout ---- [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `banquo` [INFO] [stdout] --> src/operators/forward.rs:378:5 [INFO] [stdout] | [INFO] [stdout] 4 | use banquo::operators::Eventually; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/operators/forward.rs:377:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::predicate; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 2 previous errors [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0432, E0433. [INFO] [stdout] For more information about an error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/metrics.rs - metrics::Bottom::bottom (line 36) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/metrics.rs:37:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Bottom; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error[E0599]: no function or associated item named `bottom` found for type `f64` in the current scope [INFO] [stdout] --> src/metrics.rs:38:19 [INFO] [stdout] | [INFO] [stdout] 4 | let bottom = f64::bottom(); [INFO] [stdout] | ^^^^^^ function or associated item not found in `f64` [INFO] [stdout] | [INFO] [stdout] = help: items from traits can only be used if the trait is in scope [INFO] [stdout] help: trait `Bottom` which provides `bottom` is implemented but not in scope; perhaps you want to import it [INFO] [stdout] | [INFO] [stdout] 2 + use banquo_core::Bottom; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] error: aborting due to 2 previous errors [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0432, E0599. [INFO] [stdout] For more information about an error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operators/first_order.rs - operators::first_order::Not (line 23) stdout ---- [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `banquo` [INFO] [stdout] --> src/operators/first_order.rs:25:5 [INFO] [stdout] | [INFO] [stdout] 4 | use banquo::operators::Not; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/operators/first_order.rs:24:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::predicate; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 2 previous errors [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0432, E0433. [INFO] [stdout] For more information about an error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operators/mod.rs - operators (line 111) stdout ---- [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `banquo` [INFO] [stdout] --> src/operators/mod.rs:113:5 [INFO] [stdout] | [INFO] [stdout] 4 | use banquo::operators::{Always, And, Not}; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/operators/mod.rs:112:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::predicate; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 2 previous errors [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0432, E0433. [INFO] [stdout] For more information about an error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operators/forward.rs - operators::forward::Until (line 502) stdout ---- [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `banquo` [INFO] [stdout] --> src/operators/forward.rs:504:5 [INFO] [stdout] | [INFO] [stdout] 4 | use banquo::operators::Until; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/operators/forward.rs:503:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::predicate; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 2 previous errors [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0432, E0433. [INFO] [stdout] For more information about an error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/lib.rs - evaluate (line 160) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/lib.rs:163:5 [INFO] [stdout] | [INFO] [stdout] 5 | use banquo::{EvaluationError, Trace, evaluate, predicate}; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operators/mod.rs - operators (line 124) stdout ---- [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `banquo` [INFO] [stdout] --> src/operators/mod.rs:128:5 [INFO] [stdout] | [INFO] [stdout] 6 | use banquo::operators::{Always, And, Not}; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/operators/mod.rs:127:5 [INFO] [stdout] | [INFO] [stdout] 5 | use banquo::{Formula, Trace, evaluate, predicate}; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 2 previous errors [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0432, E0433. [INFO] [stdout] For more information about an error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operators/mod.rs - operators (line 98) stdout ---- [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `banquo` [INFO] [stdout] --> src/operators/mod.rs:100:5 [INFO] [stdout] | [INFO] [stdout] 4 | use banquo::operators::Always; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/operators/mod.rs:99:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::predicate; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 2 previous errors [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0432, E0433. [INFO] [stdout] For more information about an error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operators/forward.rs - operators::forward::Eventually (line 340) stdout ---- [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `banquo` [INFO] [stdout] --> src/operators/forward.rs:342:5 [INFO] [stdout] | [INFO] [stdout] 4 | use banquo::operators::Eventually; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/operators/forward.rs:341:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::predicate; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 2 previous errors [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0432, E0433. [INFO] [stdout] For more information about an error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/predicate.rs - predicate (line 62) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/predicate.rs:63:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::predicate; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operators/forward.rs - operators::forward::Next (line 423) stdout ---- [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `banquo` [INFO] [stdout] --> src/operators/forward.rs:425:5 [INFO] [stdout] | [INFO] [stdout] 4 | use banquo::operators::Next; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/operators/forward.rs:424:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::predicate; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 2 previous errors [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0432, E0433. [INFO] [stdout] For more information about an error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/predicate.rs - predicate::EvaluationError::missing (line 492) stdout ---- [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `banquo` [INFO] [stdout] --> src/predicate.rs:493:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::predicate::EvaluationError; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0433`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operators/mod.rs - operators (line 81) stdout ---- [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `banquo` [INFO] [stdout] --> src/operators/mod.rs:83:5 [INFO] [stdout] | [INFO] [stdout] 4 | use banquo::operators::{And, Not}; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/operators/mod.rs:82:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::predicate; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 2 previous errors [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0432, E0433. [INFO] [stdout] For more information about an error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/predicate.rs - predicate (line 49) stdout ---- [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `banquo` [INFO] [stdout] --> src/predicate.rs:50:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::predicate::{Predicate, Term}; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0433`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/metrics.rs - metrics::Join::max (line 94) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/metrics.rs:95:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Join; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/predicate.rs - predicate (line 20) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/predicate.rs:21:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Predicate; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/predicate.rs - predicate (line 28) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/predicate.rs:29:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Predicate; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/predicate.rs - predicate::Predicate::coefficients (line 217) stdout ---- [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `banquo` [INFO] [stdout] --> src/predicate.rs:218:9 [INFO] [stdout] | [INFO] [stdout] 3 | let p = banquo::predicate!{ x + 2.0 * y + 3.3 * z <= 4.2 }; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0433`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/predicate.rs - predicate::Predicate::constant (line 178) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/predicate.rs:179:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Predicate; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operators/forward.rs - operators::forward::Until::new (line 524) stdout ---- [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `banquo` [INFO] [stdout] --> src/operators/forward.rs:526:5 [INFO] [stdout] | [INFO] [stdout] 4 | use banquo::operators::Until; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/operators/forward.rs:525:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::predicate; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 2 previous errors [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0432, E0433. [INFO] [stdout] For more information about an error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/predicate.rs - predicate (line 98) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/predicate.rs:101:5 [INFO] [stdout] | [INFO] [stdout] 5 | use banquo::predicate; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/predicate.rs:102:5 [INFO] [stdout] | [INFO] [stdout] 6 | use banquo::{Trace, Formula}; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 2 previous errors [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/predicate.rs - predicate::EvaluationError::nan_coefficient (line 526) stdout ---- [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `banquo` [INFO] [stdout] --> src/predicate.rs:527:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::predicate::EvaluationError; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0433`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/predicate.rs - predicate::Predicate::evaluate_state (line 561) stdout ---- [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `banquo` [INFO] [stdout] --> src/predicate.rs:564:5 [INFO] [stdout] | [INFO] [stdout] 5 | use banquo::predicate::{Predicate, Term}; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0433`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/predicate.rs - predicate::EvaluationError::nan_value (line 509) stdout ---- [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `banquo` [INFO] [stdout] --> src/predicate.rs:510:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::predicate::EvaluationError; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0433`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/trace.rs - trace (line 124) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/trace.rs:125:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Trace; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/trace.rs - trace (line 19) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/trace.rs:20:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Trace; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/predicate.rs - predicate::FormulaError::new (line 640) stdout ---- [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `banquo` [INFO] [stdout] --> src/predicate.rs:641:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::predicate::{EvaluationError, FormulaError}; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0433`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/predicate.rs - predicate::Term (line 291) stdout ---- [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `banquo` [INFO] [stdout] --> src/predicate.rs:292:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::predicate::Term; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0433`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/predicate.rs - predicate::predicate (line 689) stdout ---- [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `banquo` [INFO] [stdout] --> src/predicate.rs:690:1 [INFO] [stdout] | [INFO] [stdout] 3 | banquo::predicate!{ 1.0 * x + y + -2.0 * z <= 10.0 + a }; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0433`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/trace.rs - trace (line 106) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/trace.rs:107:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Trace; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/predicate.rs - predicate::Predicate::get (line 160) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/predicate.rs:161:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Predicate; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/trace.rs - trace (line 26) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/trace.rs:27:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Trace; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/trace.rs - trace (line 70) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/trace.rs:71:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Trace; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/trace.rs - trace (line 142) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/trace.rs:143:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Trace; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/predicate.rs - predicate (line 71) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/predicate.rs:74:5 [INFO] [stdout] | [INFO] [stdout] 5 | use banquo::predicate; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/metrics.rs - metrics::Meet::min (line 65) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/metrics.rs:66:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Meet; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/predicate.rs - predicate::Predicate::new (line 147) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/predicate.rs:148:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Predicate; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/trace.rs - trace::Iter<'a,T>::states (line 501) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/trace.rs:502:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Trace; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/trace.rs - trace (line 37) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/trace.rs:38:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Trace; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/trace.rs - trace::Iter (line 446) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/trace.rs:447:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Trace; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/trace.rs - trace (line 49) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/trace.rs:50:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Trace; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/trace.rs - trace::Iter<'a,T>::map_states (line 524) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/trace.rs:525:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Trace; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/trace.rs - trace::Range<'a,T>::map_states (line 845) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/trace.rs:846:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Trace; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/trace.rs - trace::IntoIter::states (line 608) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/trace.rs:609:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Trace; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/trace.rs - trace::IntoIter (line 553) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/trace.rs:554:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Trace; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/trace.rs - trace::IntoIter::map_states (line 634) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/trace.rs:635:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Trace; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/trace.rs - trace::MapStates (line 376) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/trace.rs:377:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Trace; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/trace.rs - trace::Range<'a,T>::times (line 794) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/trace.rs:795:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Trace; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/trace.rs - trace::Range<'a,T>::states (line 819) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/trace.rs:820:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Trace; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/trace.rs - trace::States (line 320) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/trace.rs:321:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Trace; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/trace.rs - trace::IterMut (line 663) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/trace.rs:664:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Trace; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/trace.rs - trace::Times (line 262) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/trace.rs:263:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Trace; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/trace.rs - trace::IterMut<'a,T>::states (line 694) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/trace.rs:695:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Trace; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/trace.rs - trace::Range (line 748) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/trace.rs:749:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Trace; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/trace.rs - trace::RangeMut (line 876) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/trace.rs:877:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Trace; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/trace.rs - trace::RangeMut<'a,T>::states (line 922) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/trace.rs:923:5 [INFO] [stdout] | [INFO] [stdout] 3 | use banquo::Trace; [INFO] [stdout] | ^^^^^^ use of unresolved module or unlinked crate `banquo` [INFO] [stdout] | [INFO] [stdout] = help: if you wanted to use a crate named `banquo`, use `cargo add banquo` to add it to your `Cargo.toml` [INFO] [stdout] [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0432`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] src/lib.rs - Formula (line 36) [INFO] [stdout] src/lib.rs - evaluate (line 160) [INFO] [stdout] src/metrics.rs - metrics::Bottom::bottom (line 36) [INFO] [stdout] src/metrics.rs - metrics::Join::max (line 94) [INFO] [stdout] src/metrics.rs - metrics::Meet::min (line 65) [INFO] [stdout] src/metrics.rs - metrics::Top::top (line 15) [INFO] [stdout] src/operators/first_order.rs - operators::first_order::And (line 215) [INFO] [stdout] src/operators/first_order.rs - operators::first_order::Implies (line 268) [INFO] [stdout] src/operators/first_order.rs - operators::first_order::Not (line 23) [INFO] [stdout] src/operators/first_order.rs - operators::first_order::Or (line 162) [INFO] [stdout] src/operators/forward.rs - operators::forward::Always (line 258) [INFO] [stdout] src/operators/forward.rs - operators::forward::Always::bounded (line 294) [INFO] [stdout] src/operators/forward.rs - operators::forward::Always::unbounded (line 276) [INFO] [stdout] src/operators/forward.rs - operators::forward::Eventually (line 340) [INFO] [stdout] src/operators/forward.rs - operators::forward::Eventually::bounded (line 376) [INFO] [stdout] src/operators/forward.rs - operators::forward::Eventually::unbounded (line 358) [INFO] [stdout] src/operators/forward.rs - operators::forward::Next (line 423) [INFO] [stdout] src/operators/forward.rs - operators::forward::Next::new (line 443) [INFO] [stdout] src/operators/forward.rs - operators::forward::Until (line 502) [INFO] [stdout] src/operators/forward.rs - operators::forward::Until::new (line 524) [INFO] [stdout] src/operators/mod.rs - operators (line 111) [INFO] [stdout] src/operators/mod.rs - operators (line 124) [INFO] [stdout] src/operators/mod.rs - operators (line 81) [INFO] [stdout] src/operators/mod.rs - operators (line 98) [INFO] [stdout] src/predicate.rs - predicate (line 20) [INFO] [stdout] src/predicate.rs - predicate (line 28) [INFO] [stdout] src/predicate.rs - predicate (line 49) [INFO] [stdout] src/predicate.rs - predicate (line 62) [INFO] [stdout] src/predicate.rs - predicate (line 71) [INFO] [stdout] src/predicate.rs - predicate (line 98) [INFO] [stdout] src/predicate.rs - predicate::EvaluationError::missing (line 492) [INFO] [stdout] src/predicate.rs - predicate::EvaluationError::nan_coefficient (line 526) [INFO] [stdout] src/predicate.rs - predicate::EvaluationError::nan_value (line 509) [INFO] [stdout] src/predicate.rs - predicate::FormulaError::new (line 640) [INFO] [stdout] src/predicate.rs - predicate::Predicate::coefficients (line 217) [INFO] [stdout] src/predicate.rs - predicate::Predicate::constant (line 178) [INFO] [stdout] src/predicate.rs - predicate::Predicate::evaluate_state (line 561) [INFO] [stdout] src/predicate.rs - predicate::Predicate::get (line 160) [INFO] [stdout] src/predicate.rs - predicate::Predicate::new (line 147) [INFO] [stdout] src/predicate.rs - predicate::Term (line 291) [INFO] [stdout] src/predicate.rs - predicate::predicate (line 689) [INFO] [stdout] src/trace.rs - trace (line 106) [INFO] [stdout] src/trace.rs - trace (line 124) [INFO] [stdout] src/trace.rs - trace (line 142) [INFO] [stdout] src/trace.rs - trace (line 19) [INFO] [stdout] src/trace.rs - trace (line 26) [INFO] [stdout] src/trace.rs - trace (line 37) [INFO] [stdout] src/trace.rs - trace (line 49) [INFO] [stdout] src/trace.rs - trace (line 70) [INFO] [stdout] src/trace.rs - trace::IntoIter (line 553) [INFO] [stdout] src/trace.rs - trace::IntoIter::map_states (line 634) [INFO] [stdout] src/trace.rs - trace::IntoIter::states (line 608) [INFO] [stdout] src/trace.rs - trace::Iter (line 446) [INFO] [stdout] src/trace.rs - trace::Iter<'a,T>::map_states (line 524) [INFO] [stdout] src/trace.rs - trace::Iter<'a,T>::states (line 501) [INFO] [stdout] src/trace.rs - trace::IterMut (line 663) [INFO] [stdout] src/trace.rs - trace::IterMut<'a,T>::states (line 694) [INFO] [stdout] src/trace.rs - trace::MapStates (line 376) [INFO] [stdout] src/trace.rs - trace::Range (line 748) [INFO] [stdout] src/trace.rs - trace::Range<'a,T>::map_states (line 845) [INFO] [stdout] src/trace.rs - trace::Range<'a,T>::states (line 819) [INFO] [stdout] src/trace.rs - trace::Range<'a,T>::times (line 794) [INFO] [stdout] src/trace.rs - trace::RangeMut (line 876) [INFO] [stdout] src/trace.rs - trace::RangeMut<'a,T>::states (line 922) [INFO] [stdout] src/trace.rs - trace::States (line 320) [INFO] [stdout] src/trace.rs - trace::Times (line 262) [INFO] [stdout] [INFO] [stdout] test result: FAILED. 0 passed; 66 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.75s [INFO] [stdout] [INFO] [stderr] error: doctest failed, to rerun pass `--doc` [INFO] running `Command { std: "docker" "inspect" "ab32341d2477bd776ffab26b5b5c1ceb8593ce004c7dd2dbbcdd4bb5039b6303", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ab32341d2477bd776ffab26b5b5c1ceb8593ce004c7dd2dbbcdd4bb5039b6303", kill_on_drop: false }` [INFO] [stdout] ab32341d2477bd776ffab26b5b5c1ceb8593ce004c7dd2dbbcdd4bb5039b6303