[INFO] fetching crate banquo-core 0.1.0... [INFO] testing banquo-core-0.1.0 against master#c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38 for pr-146098-7 [INFO] extracting crate banquo-core 0.1.0 into /workspace/builds/worker-3-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-3-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate banquo-core 0.1.0 on toolchain c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "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" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "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.1.0) [INFO] [stderr] Adding thiserror v1.0.69 (available: v2.0.17) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 9c458000821324426f4dbe056b48f153f2af999c1bb21a9cc5508f7a06719047 [INFO] running `Command { std: "docker" "start" "-a" "9c458000821324426f4dbe056b48f153f2af999c1bb21a9cc5508f7a06719047", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "9c458000821324426f4dbe056b48f153f2af999c1bb21a9cc5508f7a06719047", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9c458000821324426f4dbe056b48f153f2af999c1bb21a9cc5508f7a06719047", kill_on_drop: false }` [INFO] [stdout] 9c458000821324426f4dbe056b48f153f2af999c1bb21a9cc5508f7a06719047 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 85ef06de3bdba0c06eeb006334cb4bff64b1ccb8553dfb813957e92b1e29f3b2 [INFO] running `Command { std: "docker" "start" "-a" "85ef06de3bdba0c06eeb006334cb4bff64b1ccb8553dfb813957e92b1e29f3b2", kill_on_drop: false }` [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling syn v2.0.110 [INFO] [stderr] Compiling ordered-float v4.6.0 [INFO] [stderr] Compiling thiserror-impl v1.0.69 [INFO] [stderr] Compiling thiserror 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 4.05s [INFO] running `Command { std: "docker" "inspect" "85ef06de3bdba0c06eeb006334cb4bff64b1ccb8553dfb813957e92b1e29f3b2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "85ef06de3bdba0c06eeb006334cb4bff64b1ccb8553dfb813957e92b1e29f3b2", kill_on_drop: false }` [INFO] [stdout] 85ef06de3bdba0c06eeb006334cb4bff64b1ccb8553dfb813957e92b1e29f3b2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 298706a8dd8af5973e511af4cd6ac0189e41a2b507a8c0e2e807dbbb97a9cdca [INFO] running `Command { std: "docker" "start" "-a" "298706a8dd8af5973e511af4cd6ac0189e41a2b507a8c0e2e807dbbb97a9cdca", 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: unused import: `crate::predicate` [INFO] [stdout] --> src/predicate.rs:771:9 [INFO] [stdout] | [INFO] [stdout] 771 | use crate::predicate; [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [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 `test` profile [unoptimized + debuginfo] target(s) in 2.41s [INFO] running `Command { std: "docker" "inspect" "298706a8dd8af5973e511af4cd6ac0189e41a2b507a8c0e2e807dbbb97a9cdca", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "298706a8dd8af5973e511af4cd6ac0189e41a2b507a8c0e2e807dbbb97a9cdca", kill_on_drop: false }` [INFO] [stdout] 298706a8dd8af5973e511af4cd6ac0189e41a2b507a8c0e2e807dbbb97a9cdca [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 6f1fc2dc7c163a5181bada84ef34f34cd4b134bc5ea1d53670a0240100d34f0e [INFO] running `Command { std: "docker" "start" "-a" "6f1fc2dc7c163a5181bada84ef34f34cd4b134bc5ea1d53670a0240100d34f0e", 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: unused import: `crate::predicate` [INFO] [stderr] --> src/predicate.rs:771:9 [INFO] [stderr] | [INFO] [stderr] 771 | use crate::predicate; [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [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 8 warnings (7 duplicates) (run `cargo fix --lib -p banquo-core --tests` to apply 1 suggestion) [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-3ba642635c14815b) [INFO] [stdout] [INFO] [stdout] running 17 tests [INFO] [stdout] test operators::first_order::tests::implies ... ok [INFO] [stdout] test operators::first_order::tests::and ... ok [INFO] [stdout] test operators::first_order::tests::or ... ok [INFO] [stdout] test operators::forward::tests::always ... ok [INFO] [stdout] test operators::forward::tests::bounds ... ok [INFO] [stdout] test operators::forward::tests::eventually ... ok [INFO] [stdout] test operators::forward::tests::next ... ok [INFO] [stdout] test operators::forward::tests::until ... ok [INFO] [stdout] test operators::forward::tests::bounded_eventually ... ok [INFO] [stdout] test predicate::tests::macro_parsing ... ok [INFO] [stdout] test trace::tests::select_range ... ok [INFO] [stdout] test predicate::tests::robustness ... ok [INFO] [stdout] test trace::tests::get_element ... ok [INFO] [stdout] test trace::tests::states ... ok [INFO] [stdout] test trace::tests::times ... ok [INFO] [stdout] test operators::first_order::tests::not ... ok [INFO] [stderr] Running tests/conformance.rs (/opt/rustwide/target/debug/deps/conformance-7b63f7389bcba32e) [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.29s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 20 tests [INFO] [stdout] test case04 ... ok [INFO] [stdout] test case05 ... ok [INFO] [stdout] test case07 ... ok [INFO] [stdout] test case09 ... ok [INFO] [stdout] test case14 ... ok [INFO] [stdout] test case15 ... ok [INFO] [stdout] test case16 ... ok [INFO] [stdout] test case02 ... ok [INFO] [stdout] test case23 ... ok [INFO] [stdout] test case17 ... ok [INFO] [stdout] test case03 ... ok [INFO] [stdout] test case13 ... ok [INFO] [stdout] test case12 ... ok [INFO] [stdout] test case10 ... ok [INFO] [stdout] test case11 ... ok [INFO] [stdout] test case25 ... ok [INFO] [stdout] test case08 ... ok [INFO] [stdout] test case24 ... ok [INFO] [stdout] test case01 ... ok [INFO] [stdout] test case06 ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 20 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.12s [INFO] [stderr] Doc-tests banquo_core [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 66 tests [INFO] [stdout] test src/metrics.rs - metrics::Join::max (line 94) ... FAILED [INFO] [stdout] test src/operators/first_order.rs - operators::first_order::Or (line 162) ... FAILED [INFO] [stdout] test src/lib.rs - Formula (line 36) ... FAILED [INFO] [stdout] test src/lib.rs - evaluate (line 160) ... 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::Next::new (line 443) ... 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::Until::new (line 524) ... 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::unbounded (line 358) ... FAILED [INFO] [stdout] test src/operators/first_order.rs - operators::first_order::Not (line 23) ... FAILED [INFO] [stdout] test src/metrics.rs - metrics::Meet::min (line 65) ... FAILED [INFO] [stdout] test src/operators/mod.rs - operators (line 111) ... FAILED [INFO] [stdout] test src/operators/forward.rs - operators::forward::Eventually::bounded (line 376) ... FAILED [INFO] [stdout] test src/operators/mod.rs - operators (line 98) ... FAILED [INFO] [stdout] test src/metrics.rs - metrics::Top::top (line 15) ... FAILED [INFO] [stdout] test src/predicate.rs - predicate (line 71) ... FAILED [INFO] [stdout] test src/operators/forward.rs - operators::forward::Eventually (line 340) ... FAILED [INFO] [stdout] test src/operators/forward.rs - operators::forward::Next (line 423) ... FAILED [INFO] [stdout] test src/metrics.rs - metrics::Bottom::bottom (line 36) ... FAILED [INFO] [stdout] test src/predicate.rs - predicate::EvaluationError::nan_coefficient (line 526) ... FAILED [INFO] [stdout] test src/operators/forward.rs - operators::forward::Always::bounded (line 294) ... FAILED [INFO] [stdout] test src/operators/forward.rs - operators::forward::Always (line 258) ... FAILED [INFO] [stdout] test src/predicate.rs - predicate::EvaluationError::nan_value (line 509) ... FAILED [INFO] [stdout] test src/predicate.rs - predicate::Predicate::new (line 147) ... FAILED [INFO] [stdout] test src/operators/forward.rs - operators::forward::Until (line 502) ... FAILED [INFO] [stdout] test src/operators/mod.rs - operators (line 124) ... FAILED [INFO] [stdout] test src/predicate.rs - predicate::Predicate::evaluate_state (line 561) ... FAILED [INFO] [stdout] test src/predicate.rs - predicate::predicate (line 689) ... FAILED [INFO] [stdout] test src/predicate.rs - predicate::FormulaError::new (line 640) ... FAILED [INFO] [stdout] test src/predicate.rs - predicate (line 20) ... FAILED [INFO] [stdout] test src/trace.rs - trace (line 19) ... FAILED [INFO] [stdout] test src/trace.rs - trace (line 142) ... FAILED [INFO] [stdout] test src/trace.rs - trace (line 26) ... FAILED [INFO] [stdout] test src/predicate.rs - predicate::Term (line 291) ... FAILED [INFO] [stdout] test src/predicate.rs - predicate (line 49) ... FAILED [INFO] [stdout] test src/trace.rs - trace (line 124) ... 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/trace.rs - trace (line 70) ... FAILED [INFO] [stdout] test src/trace.rs - trace (line 106) ... FAILED [INFO] [stdout] test src/trace.rs - trace::IntoIter::states (line 608) ... FAILED [INFO] [stdout] test src/predicate.rs - predicate (line 62) ... FAILED [INFO] [stdout] test src/predicate.rs - predicate (line 98) ... FAILED [INFO] [stdout] test src/predicate.rs - predicate::EvaluationError::missing (line 492) ... FAILED [INFO] [stdout] test src/trace.rs - trace::Iter (line 446) ... FAILED [INFO] [stdout] test src/trace.rs - trace::IterMut (line 663) ... FAILED [INFO] [stdout] test src/trace.rs - trace::MapStates (line 376) ... FAILED [INFO] [stdout] test src/trace.rs - trace::Range (line 748) ... FAILED [INFO] [stdout] test src/trace.rs - trace::IntoIter (line 553) ... FAILED [INFO] [stdout] test src/operators/mod.rs - operators (line 81) ... FAILED [INFO] [stdout] test src/trace.rs - trace::Range<'a,T>::times (line 794) ... FAILED [INFO] [stdout] test src/trace.rs - trace (line 37) ... FAILED [INFO] [stdout] test src/trace.rs - trace (line 49) ... FAILED [INFO] [stdout] test src/trace.rs - trace::RangeMut<'a,T>::states (line 922) ... FAILED [INFO] [stdout] test src/trace.rs - trace::IntoIter::map_states (line 634) ... FAILED [INFO] [stdout] test src/trace.rs - trace::IterMut<'a,T>::states (line 694) ... FAILED [INFO] [stdout] test src/trace.rs - trace::Iter<'a,T>::map_states (line 524) ... FAILED [INFO] [stdout] test src/predicate.rs - predicate::Predicate::get (line 160) ... FAILED [INFO] [stdout] test src/predicate.rs - predicate (line 28) ... FAILED [INFO] [stdout] test src/trace.rs - trace::Iter<'a,T>::states (line 501) ... FAILED [INFO] [stdout] test src/trace.rs - trace::Range<'a,T>::states (line 819) ... FAILED [INFO] [stdout] test src/trace.rs - trace::Range<'a,T>::map_states (line 845) ... FAILED [INFO] [stdout] test src/trace.rs - trace::States (line 320) ... FAILED [INFO] [stdout] test src/trace.rs - trace::Times (line 262) ... FAILED [INFO] [stdout] test src/trace.rs - trace::RangeMut (line 876) ... FAILED [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [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] 95 | 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/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] 164 | 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] 163 | 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] 37 | 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/lib.rs - evaluate (line 160) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/lib.rs:163:5 [INFO] [stdout] | [INFO] [stdout] 163 | 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/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] 270 | 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] 269 | 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] 445 | 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] 444 | 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] 217 | 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] 216 | 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::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] 526 | 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] 525 | 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] 278 | 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] 277 | 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] 360 | 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] 359 | 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::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] 25 | 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] 24 | 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::Meet::min (line 65) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/metrics.rs:66:5 [INFO] [stdout] | [INFO] [stdout] 66 | 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/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] 113 | 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] 112 | 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] 378 | 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] 377 | 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 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] 100 | 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] 99 | 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::Top::top (line 15) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/metrics.rs:16:5 [INFO] [stdout] | [INFO] [stdout] 16 | 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] 17 | 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] 15 + 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/predicate.rs - predicate (line 71) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/predicate.rs:74:5 [INFO] [stdout] | [INFO] [stdout] 74 | 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::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] 342 | 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] 341 | 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 (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] 425 | 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] 424 | 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] 37 | 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] 38 | 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] 36 + 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/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] 527 | 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/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] 296 | 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] 295 | 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 (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] 260 | 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] 259 | 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::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] 510 | 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::new (line 147) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/predicate.rs:148:5 [INFO] [stdout] | [INFO] [stdout] 148 | 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 (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] 504 | 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] 503 | 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 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] 128 | 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] 127 | 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/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] 564 | 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::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] 690 | 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/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] 641 | 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 (line 20) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/predicate.rs:21:5 [INFO] [stdout] | [INFO] [stdout] 21 | 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 19) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/trace.rs:20:5 [INFO] [stdout] | [INFO] [stdout] 20 | 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] 143 | 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 26) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/trace.rs:27:5 [INFO] [stdout] | [INFO] [stdout] 27 | 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::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] 292 | 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 (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] 50 | 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/trace.rs - trace (line 124) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/trace.rs:125:5 [INFO] [stdout] | [INFO] [stdout] 125 | 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::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] 218 | 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] 179 | 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 70) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/trace.rs:71:5 [INFO] [stdout] | [INFO] [stdout] 71 | 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 106) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/trace.rs:107:5 [INFO] [stdout] | [INFO] [stdout] 107 | 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] 609 | 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 62) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/predicate.rs:63:5 [INFO] [stdout] | [INFO] [stdout] 63 | 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 98) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/predicate.rs:101:5 [INFO] [stdout] | [INFO] [stdout] 101 | 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] 102 | 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::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] 493 | 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::Iter (line 446) stdout ---- [INFO] [stdout] error[E0432]: unresolved import `banquo` [INFO] [stdout] --> src/trace.rs:447:5 [INFO] [stdout] | [INFO] [stdout] 447 | 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] 664 | 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] 377 | 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] 749 | 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] 554 | 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/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] 83 | 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] 82 | 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/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] 795 | 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] 38 | 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] 50 | 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] 923 | 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] 635 | 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] 695 | 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] 525 | 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] 161 | 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] 29 | 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] 502 | 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] 820 | 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] 846 | 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] 321 | 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] 263 | 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] 877 | 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.92s [INFO] [stdout] [INFO] [stderr] error: doctest failed, to rerun pass `--doc` [INFO] running `Command { std: "docker" "inspect" "6f1fc2dc7c163a5181bada84ef34f34cd4b134bc5ea1d53670a0240100d34f0e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6f1fc2dc7c163a5181bada84ef34f34cd4b134bc5ea1d53670a0240100d34f0e", kill_on_drop: false }` [INFO] [stdout] 6f1fc2dc7c163a5181bada84ef34f34cd4b134bc5ea1d53670a0240100d34f0e