[INFO] cloning repository https://github.com/tian-tian-git/Aether_D
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/tian-tian-git/Aether_D" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftian-tian-git%2FAether_D", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftian-tian-git%2FAether_D'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 58c0f83c14c0a1ce0cb6a2f640bd62f681606d85
[INFO] checking tian-tian-git/Aether_D against 3154cc1a3e6424e44f438a95007d043ed5ceaaf6 for pr-133502-30
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftian-tian-git%2FAether_D" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/tian-tian-git/Aether_D
[INFO] finished tweaking git repo https://github.com/tian-tian-git/Aether_D
[INFO] tweaked toml for git repo https://github.com/tian-tian-git/Aether_D written to /workspace/builds/worker-7-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/tian-tian-git/Aether_D on toolchain 3154cc1a3e6424e44f438a95007d043ed5ceaaf6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/tian-tian-git/Aether_D already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 199dee89e717515db945c1dc428e9b3ef68318d27fc9483b6fbafd1052aef80b
[INFO] running `Command { std: "docker" "start" "199dee89e717515db945c1dc428e9b3ef68318d27fc9483b6fbafd1052aef80b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "199dee89e717515db945c1dc428e9b3ef68318d27fc9483b6fbafd1052aef80b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "199dee89e717515db945c1dc428e9b3ef68318d27fc9483b6fbafd1052aef80b" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "199dee89e717515db945c1dc428e9b3ef68318d27fc9483b6fbafd1052aef80b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "199dee89e717515db945c1dc428e9b3ef68318d27fc9483b6fbafd1052aef80b" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]     Checking aether-ast v0.1.0 (/opt/rustwide/workdir/crates/aether-ast)
[INFO] [stderr]     Checking aether-diagnostic v0.1.0 (/opt/rustwide/workdir/crates/aether-diagnostic)
[INFO] [stderr]     Checking aether-parser v0.1.0 (/opt/rustwide/workdir/crates/aether-parser)
[INFO] [stderr]     Checking aether-verify v0.1.0 (/opt/rustwide/workdir/crates/aether-verify)
[INFO] [stderr]     Checking aether-interp v0.1.0 (/opt/rustwide/workdir/crates/aether-interp)
[INFO] [stdout] error[E0432]: unresolved import `crate::z3ffi`
[INFO] [stdout]   --> crates/aether-verify/src/z3bridge.rs:19:12
[INFO] [stdout]    |
[INFO] [stdout] 19 | use crate::z3ffi::Z3Api;
[INFO] [stdout]    |            ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]    |
[INFO] [stdout]  7 | pub mod z3ffi;
[INFO] [stdout]    |         ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]    |
[INFO] [stdout] 12 | #![cfg(windows)]
[INFO] [stdout]    |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]   --> crates/aether-verify/src/z3bridge.rs:41:21
[INFO] [stdout]    |
[INFO] [stdout] 41 |     Int(*mut crate::z3ffi::Z3_ast),
[INFO] [stdout]    |                     ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]    |
[INFO] [stdout]  7 | pub mod z3ffi;
[INFO] [stdout]    |         ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]    |
[INFO] [stdout] 12 | #![cfg(windows)]
[INFO] [stdout]    |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]   --> crates/aether-verify/src/z3bridge.rs:42:22
[INFO] [stdout]    |
[INFO] [stdout] 42 |     Bool(*mut crate::z3ffi::Z3_ast),
[INFO] [stdout]    |                      ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]    |
[INFO] [stdout]  7 | pub mod z3ffi;
[INFO] [stdout]    |         ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]    |
[INFO] [stdout] 12 | #![cfg(windows)]
[INFO] [stdout]    |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]   --> crates/aether-verify/src/z3bridge.rs:44:26
[INFO] [stdout]    |
[INFO] [stdout] 44 |         arr: *mut crate::z3ffi::Z3_ast,
[INFO] [stdout]    |                          ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]    |
[INFO] [stdout]  7 | pub mod z3ffi;
[INFO] [stdout]    |         ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]    |
[INFO] [stdout] 12 | #![cfg(windows)]
[INFO] [stdout]    |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]   --> crates/aether-verify/src/z3bridge.rs:45:26
[INFO] [stdout]    |
[INFO] [stdout] 45 |         len: *mut crate::z3ffi::Z3_ast,
[INFO] [stdout]    |                          ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]    |
[INFO] [stdout]  7 | pub mod z3ffi;
[INFO] [stdout]    |         ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]    |
[INFO] [stdout] 12 | #![cfg(windows)]
[INFO] [stdout]    |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]   --> crates/aether-verify/src/z3bridge.rs:51:38
[INFO] [stdout]    |
[INFO] [stdout] 51 |         range_lo: Option<*mut crate::z3ffi::Z3_ast>,
[INFO] [stdout]    |                                      ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]    |
[INFO] [stdout]  7 | pub mod z3ffi;
[INFO] [stdout]    |         ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]    |
[INFO] [stdout] 12 | #![cfg(windows)]
[INFO] [stdout]    |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]   --> crates/aether-verify/src/z3bridge.rs:57:22
[INFO] [stdout]    |
[INFO] [stdout] 57 |     ctx: *mut crate::z3ffi::Z3_context,
[INFO] [stdout]    |                      ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]    |
[INFO] [stdout]  7 | pub mod z3ffi;
[INFO] [stdout]    |         ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]    |
[INFO] [stdout] 12 | #![cfg(windows)]
[INFO] [stdout]    |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]   --> crates/aether-verify/src/z3bridge.rs:58:25
[INFO] [stdout]    |
[INFO] [stdout] 58 |     solver: *mut crate::z3ffi::Z3_solver,
[INFO] [stdout]    |                         ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]    |
[INFO] [stdout]  7 | pub mod z3ffi;
[INFO] [stdout]    |         ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]    |
[INFO] [stdout] 12 | #![cfg(windows)]
[INFO] [stdout]    |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]    --> crates/aether-verify/src/z3bridge.rs:105:58
[INFO] [stdout]     |
[INFO] [stdout] 105 |     fn mk_const(&mut self, name: &str, sort: *mut crate::z3ffi::Z3_sort) -> *mut crate::z3ffi::Z3_ast {
[INFO] [stdout]     |                                                          ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]     |
[INFO] [stdout]   7 | pub mod z3ffi;
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]     |
[INFO] [stdout]  12 | #![cfg(windows)]
[INFO] [stdout]     |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]    --> crates/aether-verify/src/z3bridge.rs:105:89
[INFO] [stdout]     |
[INFO] [stdout] 105 |     fn mk_const(&mut self, name: &str, sort: *mut crate::z3ffi::Z3_sort) -> *mut crate::z3ffi::Z3_ast {
[INFO] [stdout]     |                                                                                         ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]     |
[INFO] [stdout]   7 | pub mod z3ffi;
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]     |
[INFO] [stdout]  12 | #![cfg(windows)]
[INFO] [stdout]     |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]    --> crates/aether-verify/src/z3bridge.rs:113:43
[INFO] [stdout]     |
[INFO] [stdout] 113 |     fn int_sort(&mut self) -> *mut crate::z3ffi::Z3_sort {
[INFO] [stdout]     |                                           ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]     |
[INFO] [stdout]   7 | pub mod z3ffi;
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]     |
[INFO] [stdout]  12 | #![cfg(windows)]
[INFO] [stdout]     |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]    --> crates/aether-verify/src/z3bridge.rs:117:44
[INFO] [stdout]     |
[INFO] [stdout] 117 |     fn bool_sort(&mut self) -> *mut crate::z3ffi::Z3_sort {
[INFO] [stdout]     |                                            ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]     |
[INFO] [stdout]   7 | pub mod z3ffi;
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]     |
[INFO] [stdout]  12 | #![cfg(windows)]
[INFO] [stdout]     |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]    --> crates/aether-verify/src/z3bridge.rs:121:50
[INFO] [stdout]     |
[INFO] [stdout] 121 |     fn int_lit(&mut self, v: i64) -> *mut crate::z3ffi::Z3_ast {
[INFO] [stdout]     |                                                  ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]     |
[INFO] [stdout]   7 | pub mod z3ffi;
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]     |
[INFO] [stdout]  12 | #![cfg(windows)]
[INFO] [stdout]     |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]    --> crates/aether-verify/src/z3bridge.rs:136:45
[INFO] [stdout]     |
[INFO] [stdout] 136 |     fn assert_ast(&mut self, a: *mut crate::z3ffi::Z3_ast) {
[INFO] [stdout]     |                                             ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]     |
[INFO] [stdout]   7 | pub mod z3ffi;
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]     |
[INFO] [stdout]  12 | #![cfg(windows)]
[INFO] [stdout]     |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]    --> crates/aether-verify/src/z3bridge.rs:141:47
[INFO] [stdout]     |
[INFO] [stdout] 141 |     fn check_sat(&mut self, prop: *mut crate::z3ffi::Z3_ast) -> (bool, String) {
[INFO] [stdout]     |                                               ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]     |
[INFO] [stdout]   7 | pub mod z3ffi;
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]     |
[INFO] [stdout]  12 | #![cfg(windows)]
[INFO] [stdout]     |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]    --> crates/aether-verify/src/z3bridge.rs:166:38
[INFO] [stdout]     |
[INFO] [stdout] 166 |     fn not(&mut self, a: *mut crate::z3ffi::Z3_ast) -> *mut crate::z3ffi::Z3_ast {
[INFO] [stdout]     |                                      ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]     |
[INFO] [stdout]   7 | pub mod z3ffi;
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]     |
[INFO] [stdout]  12 | #![cfg(windows)]
[INFO] [stdout]     |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]    --> crates/aether-verify/src/z3bridge.rs:166:68
[INFO] [stdout]     |
[INFO] [stdout] 166 |     fn not(&mut self, a: *mut crate::z3ffi::Z3_ast) -> *mut crate::z3ffi::Z3_ast {
[INFO] [stdout]     |                                                                    ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]     |
[INFO] [stdout]   7 | pub mod z3ffi;
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]     |
[INFO] [stdout]  12 | #![cfg(windows)]
[INFO] [stdout]     |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]    --> crates/aether-verify/src/z3bridge.rs:319:43
[INFO] [stdout]     |
[INFO] [stdout] 319 |                 let ints: Vec<*mut crate::z3ffi::Z3_ast> =
[INFO] [stdout]     |                                           ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]     |
[INFO] [stdout]   7 | pub mod z3ffi;
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]     |
[INFO] [stdout]  12 | #![cfg(windows)]
[INFO] [stdout]     |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]    --> crates/aether-verify/src/z3bridge.rs:429:47
[INFO] [stdout]     |
[INFO] [stdout] 429 |                     let ints: Vec<*mut crate::z3ffi::Z3_ast> =
[INFO] [stdout]     |                                               ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]     |
[INFO] [stdout]   7 | pub mod z3ffi;
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]     |
[INFO] [stdout]  12 | #![cfg(windows)]
[INFO] [stdout]     |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]    --> crates/aether-verify/src/z3bridge.rs:505:48
[INFO] [stdout]     |
[INFO] [stdout] 505 |                     let bools: Vec<*mut crate::z3ffi::Z3_ast> =
[INFO] [stdout]     |                                                ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]     |
[INFO] [stdout]   7 | pub mod z3ffi;
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]     |
[INFO] [stdout]  12 | #![cfg(windows)]
[INFO] [stdout]     |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]    --> crates/aether-verify/src/z3bridge.rs:601:47
[INFO] [stdout]     |
[INFO] [stdout] 601 |                     let ints: Vec<*mut crate::z3ffi::Z3_ast> =
[INFO] [stdout]     |                                               ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]     |
[INFO] [stdout]   7 | pub mod z3ffi;
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]     |
[INFO] [stdout]  12 | #![cfg(windows)]
[INFO] [stdout]     |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking aether-vm v0.1.0 (/opt/rustwide/workdir/crates/aether-vm)
[INFO] [stdout] error[E0432]: unresolved import `crate::z3ffi`
[INFO] [stdout]   --> crates/aether-verify/src/z3bridge.rs:19:12
[INFO] [stdout]    |
[INFO] [stdout] 19 | use crate::z3ffi::Z3Api;
[INFO] [stdout]    |            ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]    |
[INFO] [stdout]  7 | pub mod z3ffi;
[INFO] [stdout]    |         ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]    |
[INFO] [stdout] 12 | #![cfg(windows)]
[INFO] [stdout]    |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]   --> crates/aether-verify/src/z3bridge.rs:41:21
[INFO] [stdout]    |
[INFO] [stdout] 41 |     Int(*mut crate::z3ffi::Z3_ast),
[INFO] [stdout]    |                     ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]    |
[INFO] [stdout]  7 | pub mod z3ffi;
[INFO] [stdout]    |         ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]    |
[INFO] [stdout] 12 | #![cfg(windows)]
[INFO] [stdout]    |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]   --> crates/aether-verify/src/z3bridge.rs:42:22
[INFO] [stdout]    |
[INFO] [stdout] 42 |     Bool(*mut crate::z3ffi::Z3_ast),
[INFO] [stdout]    |                      ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]    |
[INFO] [stdout]  7 | pub mod z3ffi;
[INFO] [stdout]    |         ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]    |
[INFO] [stdout] 12 | #![cfg(windows)]
[INFO] [stdout]    |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]   --> crates/aether-verify/src/z3bridge.rs:44:26
[INFO] [stdout]    |
[INFO] [stdout] 44 |         arr: *mut crate::z3ffi::Z3_ast,
[INFO] [stdout]    |                          ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]    |
[INFO] [stdout]  7 | pub mod z3ffi;
[INFO] [stdout]    |         ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]    |
[INFO] [stdout] 12 | #![cfg(windows)]
[INFO] [stdout]    |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]   --> crates/aether-verify/src/z3bridge.rs:45:26
[INFO] [stdout]    |
[INFO] [stdout] 45 |         len: *mut crate::z3ffi::Z3_ast,
[INFO] [stdout]    |                          ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]    |
[INFO] [stdout]  7 | pub mod z3ffi;
[INFO] [stdout]    |         ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]    |
[INFO] [stdout] 12 | #![cfg(windows)]
[INFO] [stdout]    |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]   --> crates/aether-verify/src/z3bridge.rs:51:38
[INFO] [stdout]    |
[INFO] [stdout] 51 |         range_lo: Option<*mut crate::z3ffi::Z3_ast>,
[INFO] [stdout]    |                                      ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]    |
[INFO] [stdout]  7 | pub mod z3ffi;
[INFO] [stdout]    |         ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]    |
[INFO] [stdout] 12 | #![cfg(windows)]
[INFO] [stdout]    |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]   --> crates/aether-verify/src/z3bridge.rs:57:22
[INFO] [stdout]    |
[INFO] [stdout] 57 |     ctx: *mut crate::z3ffi::Z3_context,
[INFO] [stdout]    |                      ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]    |
[INFO] [stdout]  7 | pub mod z3ffi;
[INFO] [stdout]    |         ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]    |
[INFO] [stdout] 12 | #![cfg(windows)]
[INFO] [stdout]    |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]   --> crates/aether-verify/src/z3bridge.rs:58:25
[INFO] [stdout]    |
[INFO] [stdout] 58 |     solver: *mut crate::z3ffi::Z3_solver,
[INFO] [stdout]    |                         ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]    |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]   --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]    |
[INFO] [stdout]  7 | pub mod z3ffi;
[INFO] [stdout]    |         ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]    |
[INFO] [stdout] 12 | #![cfg(windows)]
[INFO] [stdout]    |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]    --> crates/aether-verify/src/z3bridge.rs:105:58
[INFO] [stdout]     |
[INFO] [stdout] 105 |     fn mk_const(&mut self, name: &str, sort: *mut crate::z3ffi::Z3_sort) -> *mut crate::z3ffi::Z3_ast {
[INFO] [stdout]     |                                                          ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]     |
[INFO] [stdout]   7 | pub mod z3ffi;
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]     |
[INFO] [stdout]  12 | #![cfg(windows)]
[INFO] [stdout]     |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]    --> crates/aether-verify/src/z3bridge.rs:105:89
[INFO] [stdout]     |
[INFO] [stdout] 105 |     fn mk_const(&mut self, name: &str, sort: *mut crate::z3ffi::Z3_sort) -> *mut crate::z3ffi::Z3_ast {
[INFO] [stdout]     |                                                                                         ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]     |
[INFO] [stdout]   7 | pub mod z3ffi;
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]     |
[INFO] [stdout]  12 | #![cfg(windows)]
[INFO] [stdout]     |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]    --> crates/aether-verify/src/z3bridge.rs:113:43
[INFO] [stdout]     |
[INFO] [stdout] 113 |     fn int_sort(&mut self) -> *mut crate::z3ffi::Z3_sort {
[INFO] [stdout]     |                                           ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]     |
[INFO] [stdout]   7 | pub mod z3ffi;
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]     |
[INFO] [stdout]  12 | #![cfg(windows)]
[INFO] [stdout]     |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]    --> crates/aether-verify/src/z3bridge.rs:117:44
[INFO] [stdout]     |
[INFO] [stdout] 117 |     fn bool_sort(&mut self) -> *mut crate::z3ffi::Z3_sort {
[INFO] [stdout]     |                                            ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]     |
[INFO] [stdout]   7 | pub mod z3ffi;
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]     |
[INFO] [stdout]  12 | #![cfg(windows)]
[INFO] [stdout]     |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]    --> crates/aether-verify/src/z3bridge.rs:121:50
[INFO] [stdout]     |
[INFO] [stdout] 121 |     fn int_lit(&mut self, v: i64) -> *mut crate::z3ffi::Z3_ast {
[INFO] [stdout]     |                                                  ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]     |
[INFO] [stdout]   7 | pub mod z3ffi;
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]     |
[INFO] [stdout]  12 | #![cfg(windows)]
[INFO] [stdout]     |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]    --> crates/aether-verify/src/z3bridge.rs:136:45
[INFO] [stdout]     |
[INFO] [stdout] 136 |     fn assert_ast(&mut self, a: *mut crate::z3ffi::Z3_ast) {
[INFO] [stdout]     |                                             ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]     |
[INFO] [stdout]   7 | pub mod z3ffi;
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]     |
[INFO] [stdout]  12 | #![cfg(windows)]
[INFO] [stdout]     |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]    --> crates/aether-verify/src/z3bridge.rs:141:47
[INFO] [stdout]     |
[INFO] [stdout] 141 |     fn check_sat(&mut self, prop: *mut crate::z3ffi::Z3_ast) -> (bool, String) {
[INFO] [stdout]     |                                               ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]     |
[INFO] [stdout]   7 | pub mod z3ffi;
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]     |
[INFO] [stdout]  12 | #![cfg(windows)]
[INFO] [stdout]     |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]    --> crates/aether-verify/src/z3bridge.rs:166:38
[INFO] [stdout]     |
[INFO] [stdout] 166 |     fn not(&mut self, a: *mut crate::z3ffi::Z3_ast) -> *mut crate::z3ffi::Z3_ast {
[INFO] [stdout]     |                                      ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]     |
[INFO] [stdout]   7 | pub mod z3ffi;
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]     |
[INFO] [stdout]  12 | #![cfg(windows)]
[INFO] [stdout]     |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]    --> crates/aether-verify/src/z3bridge.rs:166:68
[INFO] [stdout]     |
[INFO] [stdout] 166 |     fn not(&mut self, a: *mut crate::z3ffi::Z3_ast) -> *mut crate::z3ffi::Z3_ast {
[INFO] [stdout]     |                                                                    ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]     |
[INFO] [stdout]   7 | pub mod z3ffi;
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]     |
[INFO] [stdout]  12 | #![cfg(windows)]
[INFO] [stdout]     |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]    --> crates/aether-verify/src/z3bridge.rs:319:43
[INFO] [stdout]     |
[INFO] [stdout] 319 |                 let ints: Vec<*mut crate::z3ffi::Z3_ast> =
[INFO] [stdout]     |                                           ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]     |
[INFO] [stdout]   7 | pub mod z3ffi;
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]     |
[INFO] [stdout]  12 | #![cfg(windows)]
[INFO] [stdout]     |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]    --> crates/aether-verify/src/z3bridge.rs:429:47
[INFO] [stdout]     |
[INFO] [stdout] 429 |                     let ints: Vec<*mut crate::z3ffi::Z3_ast> =
[INFO] [stdout]     |                                               ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]     |
[INFO] [stdout]   7 | pub mod z3ffi;
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]     |
[INFO] [stdout]  12 | #![cfg(windows)]
[INFO] [stdout]     |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]    --> crates/aether-verify/src/z3bridge.rs:505:48
[INFO] [stdout]     |
[INFO] [stdout] 505 |                     let bools: Vec<*mut crate::z3ffi::Z3_ast> =
[INFO] [stdout]     |                                                ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]     |
[INFO] [stdout]   7 | pub mod z3ffi;
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]     |
[INFO] [stdout]  12 | #![cfg(windows)]
[INFO] [stdout]     |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: cannot find `z3ffi` in the crate root
[INFO] [stdout]    --> crates/aether-verify/src/z3bridge.rs:601:47
[INFO] [stdout]     |
[INFO] [stdout] 601 |                     let ints: Vec<*mut crate::z3ffi::Z3_ast> =
[INFO] [stdout]     |                                               ^^^^^ could not find `z3ffi` in the crate root
[INFO] [stdout]     |
[INFO] [stdout] note: found an item that was configured out
[INFO] [stdout]    --> crates/aether-verify/src/lib.rs:7:9
[INFO] [stdout]     |
[INFO] [stdout]   7 | pub mod z3ffi;
[INFO] [stdout]     |         ^^^^^
[INFO] [stdout]     |
[INFO] [stdout]    ::: crates/aether-verify/src/z3ffi.rs:12:8
[INFO] [stdout]     |
[INFO] [stdout]  12 | #![cfg(windows)]
[INFO] [stdout]     |        ------- the item is gated here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `aether-verify` (lib) due to 21 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `aether-verify` (lib test) due to 21 previous errors
[INFO] running `Command { std: "docker" "inspect" "199dee89e717515db945c1dc428e9b3ef68318d27fc9483b6fbafd1052aef80b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "199dee89e717515db945c1dc428e9b3ef68318d27fc9483b6fbafd1052aef80b", kill_on_drop: false }`
[INFO] [stdout] 199dee89e717515db945c1dc428e9b3ef68318d27fc9483b6fbafd1052aef80b
