[INFO] fetching crate z3_ref 0.1.4...
[INFO] testing z3_ref-0.1.4 against beta-2025-10-28 for beta-1.92-2
[INFO] extracting crate z3_ref 0.1.4 into /workspace/builds/worker-6-tc2/source
[INFO] started tweaking crates.io crate z3_ref 0.1.4
[INFO] finished tweaking crates.io crate z3_ref 0.1.4
[INFO] tweaked toml for crates.io crate z3_ref 0.1.4 written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate z3_ref 0.1.4 on toolchain beta-2025-10-28
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-10-28" "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" "+beta-2025-10-28" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 43 packages to latest compatible versions
[INFO] [stderr]       Adding bindgen v0.40.0 (available: v0.72.1)
[INFO] [stderr]       Adding proc-macro2 v0.3.5 (available: v0.3.8)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-10-28" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2024
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-10-28" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 4bf9e965edfc24de926e0dfa468dcc28aaff926310337316f342da347950ca64
[INFO] running `Command { std: "docker" "start" "-a" "4bf9e965edfc24de926e0dfa468dcc28aaff926310337316f342da347950ca64", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "4bf9e965edfc24de926e0dfa468dcc28aaff926310337316f342da347950ca64", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4bf9e965edfc24de926e0dfa468dcc28aaff926310337316f342da347950ca64", kill_on_drop: false }`
[INFO] [stdout] 4bf9e965edfc24de926e0dfa468dcc28aaff926310337316f342da347950ca64
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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" "+beta-2025-10-28" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 87eb0387bc6dc50b3dfbcf6950346de850a12575a6abeec36450f5a198c9e48d
[INFO] running `Command { std: "docker" "start" "-a" "87eb0387bc6dc50b3dfbcf6950346de850a12575a6abeec36450f5a198c9e48d", kill_on_drop: false }`
[INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2024
[INFO] [stderr]    Compiling libc v0.2.177
[INFO] [stderr]    Compiling glob v0.2.11
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling textwrap v0.11.0
[INFO] [stderr]    Compiling log v0.4.28
[INFO] [stderr]    Compiling libloading v0.5.2
[INFO] [stderr]    Compiling proc-macro2 v0.3.5
[INFO] [stderr]    Compiling ansi_term v0.12.1
[INFO] [stderr]    Compiling humantime v1.3.0
[INFO] [stderr]    Compiling strsim v0.8.0
[INFO] [stderr]    Compiling bindgen v0.40.0
[INFO] [stderr]    Compiling vec_map v0.8.2
[INFO] [stderr]    Compiling bitflags v1.3.2
[INFO] [stderr]    Compiling termcolor v1.4.1
[INFO] [stderr]    Compiling clang-sys v0.23.0
[INFO] [stderr]    Compiling quote v0.5.2
[INFO] [stderr]    Compiling peeking_take_while v0.1.2
[INFO] [stderr]    Compiling cfg-if v0.1.10
[INFO] [stderr]    Compiling memchr v1.0.2
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling which v1.0.5
[INFO] [stderr]    Compiling clap v2.34.0
[INFO] [stderr]    Compiling env_logger v0.5.13
[INFO] [stderr]    Compiling nom v3.2.1
[INFO] [stderr]    Compiling cexpr v0.2.3
[INFO] [stderr]    Compiling z3_ref v0.1.4 (/opt/rustwide/workdir)
[INFO] [stdout] error: expected one of `!`, `(`, `+`, `::`, or `<`, found `/`
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/z3_ref-f3dfa535dcd33ae5/out/bindings.rs:3:10044
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...pub struct __mbstate_t { pub __count : :: std :: os :: raw :: c_int , pub __value : __mbstate_t_union_(unnamed_at_/usr/include/x86_64-...
[INFO] [stdout]   |               ----------- while parsing this struct                                                                  ^ expected one of `!`, `(`, `+`, `::`, or `<`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: expected `where` or `{` after union name, found `(`
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/z3_ref-f3dfa535dcd33ae5/out/bindings.rs:3:10184
[INFO] [stdout]   |
[INFO] [stdout] 3 | ... Copy , Clone ) ] pub union __mbstate_t_union_(unnamed_at_/usr/include/x86_64-linux-gnu/bits/types/__mbstate_t_h_16_3) { pub __wch : :...
[INFO] [stdout]   |                                                  ^ expected `where` or `{` after union name
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `__builtin_va_list` in this scope
[INFO] [stdout]  --> /opt/rustwide/target/debug/build/z3_ref-f3dfa535dcd33ae5/out/bindings.rs:3:5975
[INFO] [stdout]   |
[INFO] [stdout] 3 | ...3_FALSE : u32 = 0 ; pub type __gnuc_va_list = __builtin_va_list ; pub type __u_char = :: std :: os :: raw :: c_uchar ; pub type __u_sh...
[INFO] [stdout]   |                                                  ^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Z3_context` in module `z`
[INFO] [stdout]    --> src/lib.rs:102:13
[INFO] [stdout]     |
[INFO] [stdout] 102 |     ctx: z::Z3_context,
[INFO] [stdout]     |             ^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Z3_config` in module `z`
[INFO] [stdout]    --> src/lib.rs:103:13
[INFO] [stdout]     |
[INFO] [stdout] 103 |     cfg: z::Z3_config,
[INFO] [stdout]     |             ^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Z3_sort` in module `z`
[INFO] [stdout]    --> src/lib.rs:104:14
[INFO] [stdout]     |
[INFO] [stdout] 104 |     sort: z::Z3_sort,
[INFO] [stdout]     |              ^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Z3_ast` in module `z`
[INFO] [stdout]    --> src/lib.rs:105:15
[INFO] [stdout]     |
[INFO] [stdout] 105 |     ztrue: z::Z3_ast,
[INFO] [stdout]     |               ^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Z3_ast` in module `z`
[INFO] [stdout]    --> src/lib.rs:106:16
[INFO] [stdout]     |
[INFO] [stdout] 106 |     zfalse: z::Z3_ast,
[INFO] [stdout]     |                ^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Z3_optimize` in module `z`
[INFO] [stdout]    --> src/lib.rs:107:16
[INFO] [stdout]     |
[INFO] [stdout] 107 |     solver: z::Z3_optimize,
[INFO] [stdout]     |                ^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_mk_config` in module `z`
[INFO] [stdout]    --> src/lib.rs:115:26
[INFO] [stdout]     |
[INFO] [stdout] 115 |             let cfg = z::Z3_mk_config();
[INFO] [stdout]     |                          ^^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_mk_context` in module `z`
[INFO] [stdout]    --> src/lib.rs:116:26
[INFO] [stdout]     |
[INFO] [stdout] 116 |             let ctx = z::Z3_mk_context(cfg);
[INFO] [stdout]     |                          ^^^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_mk_bool_sort` in module `z`
[INFO] [stdout]    --> src/lib.rs:117:27
[INFO] [stdout]     |
[INFO] [stdout] 117 |             let sort = z::Z3_mk_bool_sort(ctx);
[INFO] [stdout]     |                           ^^^^^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_mk_optimize` in module `z`
[INFO] [stdout]    --> src/lib.rs:119:29
[INFO] [stdout]     |
[INFO] [stdout] 119 |             let solver = z::Z3_mk_optimize(ctx);
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_optimize_inc_ref` in module `z`
[INFO] [stdout]    --> src/lib.rs:120:16
[INFO] [stdout]     |
[INFO] [stdout] 120 |             z::Z3_optimize_inc_ref(ctx, solver);
[INFO] [stdout]     |                ^^^^^^^^^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_mk_true` in module `z`
[INFO] [stdout]    --> src/lib.rs:122:28
[INFO] [stdout]     |
[INFO] [stdout] 122 |             let ztrue = z::Z3_mk_true(ctx);
[INFO] [stdout]     |                            ^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_mk_false` in module `z`
[INFO] [stdout]    --> src/lib.rs:123:29
[INFO] [stdout]     |
[INFO] [stdout] 123 |             let zfalse = z::Z3_mk_false(ctx);
[INFO] [stdout]     |                             ^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_optimize_dec_ref` in module `z`
[INFO] [stdout]    --> src/lib.rs:141:16
[INFO] [stdout]     |
[INFO] [stdout] 141 |             z::Z3_optimize_dec_ref(self.ctx, self.solver);
[INFO] [stdout]     |                ^^^^^^^^^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_del_context` in module `z`
[INFO] [stdout]    --> src/lib.rs:142:16
[INFO] [stdout]     |
[INFO] [stdout] 142 |             z::Z3_del_context(self.ctx);
[INFO] [stdout]     |                ^^^^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_del_config` in module `z`
[INFO] [stdout]    --> src/lib.rs:143:16
[INFO] [stdout]     |
[INFO] [stdout] 143 |             z::Z3_del_config(self.cfg);
[INFO] [stdout]     |                ^^^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Z3_context` in module `z`
[INFO] [stdout]    --> src/lib.rs:154:13
[INFO] [stdout]     |
[INFO] [stdout] 154 |     ctx: z::Z3_context,
[INFO] [stdout]     |             ^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Z3_sort` in module `z`
[INFO] [stdout]    --> src/lib.rs:155:14
[INFO] [stdout]     |
[INFO] [stdout] 155 |     sort: z::Z3_sort,
[INFO] [stdout]     |              ^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Z3_optimize` in module `z`
[INFO] [stdout]    --> src/lib.rs:156:16
[INFO] [stdout]     |
[INFO] [stdout] 156 |     solver: z::Z3_optimize,
[INFO] [stdout]     |                ^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_optimize_pop` in module `z`
[INFO] [stdout]    --> src/lib.rs:162:21
[INFO] [stdout]     |
[INFO] [stdout] 162 |         unsafe { z::Z3_optimize_pop(self.ctx, self.solver); }
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Z3_ast` in module `z`
[INFO] [stdout]    --> src/lib.rs:171:13
[INFO] [stdout]     |
[INFO] [stdout] 171 |     ptr: z::Z3_ast,
[INFO] [stdout]     |             ^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Z3_context` in module `z`
[INFO] [stdout]    --> src/lib.rs:196:29
[INFO] [stdout]     |
[INFO] [stdout] 196 |         fn ctx(&self) -> z::Z3_context;
[INFO] [stdout]     |                             ^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Z3_sort` in module `z`
[INFO] [stdout]    --> src/lib.rs:197:30
[INFO] [stdout]     |
[INFO] [stdout] 197 |         fn sort(&self) -> z::Z3_sort;
[INFO] [stdout]     |                              ^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Z3_optimize` in module `z`
[INFO] [stdout]    --> src/lib.rs:198:32
[INFO] [stdout]     |
[INFO] [stdout] 198 |         fn solver(&self) -> z::Z3_optimize;
[INFO] [stdout]     |                                ^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Z3_context` in module `z`
[INFO] [stdout]    --> src/lib.rs:203:39
[INFO] [stdout]     |
[INFO] [stdout] 203 |         #[inline] fn ctx(&self) -> z::Z3_context { self.ctx }
[INFO] [stdout]     |                                       ^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Z3_sort` in module `z`
[INFO] [stdout]    --> src/lib.rs:204:40
[INFO] [stdout]     |
[INFO] [stdout] 204 |         #[inline] fn sort(&self) -> z::Z3_sort { self.sort }
[INFO] [stdout]     |                                        ^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Z3_optimize` in module `z`
[INFO] [stdout]    --> src/lib.rs:205:42
[INFO] [stdout]     |
[INFO] [stdout] 205 |         #[inline] fn solver(&self) -> z::Z3_optimize { self.solver }
[INFO] [stdout]     |                                          ^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Z3_context` in module `z`
[INFO] [stdout]    --> src/lib.rs:209:39
[INFO] [stdout]     |
[INFO] [stdout] 209 |         #[inline] fn ctx(&self) -> z::Z3_context { self.ctx }
[INFO] [stdout]     |                                       ^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Z3_sort` in module `z`
[INFO] [stdout]    --> src/lib.rs:210:40
[INFO] [stdout]     |
[INFO] [stdout] 210 |         #[inline] fn sort(&self) -> z::Z3_sort { self.sort }
[INFO] [stdout]     |                                        ^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0412]: cannot find type `Z3_optimize` in module `z`
[INFO] [stdout]    --> src/lib.rs:211:42
[INFO] [stdout]     |
[INFO] [stdout] 211 |         #[inline] fn solver(&self) -> z::Z3_optimize { self.solver }
[INFO] [stdout]     |                                          ^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_optimize_get_model` in module `z`
[INFO] [stdout]    --> src/lib.rs:224:28
[INFO] [stdout]     |
[INFO] [stdout] 224 |             let model = z::Z3_optimize_get_model(ctx, self.ctx.solver());
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_model_inc_ref` in module `z`
[INFO] [stdout]    --> src/lib.rs:225:16
[INFO] [stdout]     |
[INFO] [stdout] 225 |             z::Z3_model_inc_ref(ctx, model);
[INFO] [stdout]     |                ^^^^^^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_model_get_num_consts` in module `z`
[INFO] [stdout]    --> src/lib.rs:227:32
[INFO] [stdout]     |
[INFO] [stdout] 227 |             let var_count = z::Z3_model_get_num_consts(ctx, model) as usize;
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_model_get_const_decl` in module `z`
[INFO] [stdout]    --> src/lib.rs:232:31
[INFO] [stdout]     |
[INFO] [stdout] 232 |                 let decl = z::Z3_model_get_const_decl(
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_get_decl_name` in module `z`
[INFO] [stdout]    --> src/lib.rs:234:33
[INFO] [stdout]     |
[INFO] [stdout] 234 |                 let symbol = z::Z3_get_decl_name(ctx, decl);
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_get_symbol_kind` in module `z`
[INFO] [stdout]    --> src/lib.rs:236:31
[INFO] [stdout]     |
[INFO] [stdout] 236 |                 let kind = z::Z3_get_symbol_kind(ctx, symbol);
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `Z3_symbol_kind_Z3_STRING_SYMBOL` in module `z`
[INFO] [stdout]    --> src/lib.rs:237:31
[INFO] [stdout]     |
[INFO] [stdout] 237 |                 if kind == z::Z3_symbol_kind_Z3_STRING_SYMBOL { continue }
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_get_symbol_int` in module `z`
[INFO] [stdout]    --> src/lib.rs:239:31
[INFO] [stdout]     |
[INFO] [stdout] 239 |                 let name = z::Z3_get_symbol_int(ctx, symbol) as isize;
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_model_get_const_interp` in module `z`
[INFO] [stdout]    --> src/lib.rs:241:33
[INFO] [stdout]     |
[INFO] [stdout] 241 |                 let interp = z::Z3_model_get_const_interp(ctx, model, decl);
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_get_bool_value` in module `z`
[INFO] [stdout]    --> src/lib.rs:245:34
[INFO] [stdout]     |
[INFO] [stdout] 245 |                         match z::Z3_get_bool_value(ctx, interp) {
[INFO] [stdout]     |                                  ^^^^^^^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find unit struct, unit variant or constant `Z3_lbool_Z3_L_TRUE` in module `z`
[INFO] [stdout]    --> src/lib.rs:246:32
[INFO] [stdout]     |
[INFO] [stdout] 246 | ...                   z::Z3_lbool_Z3_L_TRUE => Evaluation::True,
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find unit struct, unit variant or constant `Z3_lbool_Z3_L_FALSE` in module `z`
[INFO] [stdout]    --> src/lib.rs:247:32
[INFO] [stdout]     |
[INFO] [stdout] 247 | ...                   z::Z3_lbool_Z3_L_FALSE => Evaluation::False,
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_model_dec_ref` in module `z`
[INFO] [stdout]    --> src/lib.rs:255:16
[INFO] [stdout]     |
[INFO] [stdout] 255 |             z::Z3_model_dec_ref(ctx, model);
[INFO] [stdout]     |                ^^^^^^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_optimize_to_string` in module `z`
[INFO] [stdout]    --> src/lib.rs:269:26
[INFO] [stdout]     |
[INFO] [stdout] 269 |             let ptr = z::Z3_optimize_to_string(self.ctx(), self.solver());
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_optimize_push` in module `z`
[INFO] [stdout]    --> src/lib.rs:275:21
[INFO] [stdout]     |
[INFO] [stdout] 275 |         unsafe { z::Z3_optimize_push(self.ctx(), self.solver()); }
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_optimize_assert` in module `z`
[INFO] [stdout]    --> src/lib.rs:285:21
[INFO] [stdout]     |
[INFO] [stdout] 285 |         unsafe { z::Z3_optimize_assert(self.ctx(), self.solver(), ast.ptr); }
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_optimize_assert_soft` in module `z`
[INFO] [stdout]    --> src/lib.rs:292:16
[INFO] [stdout]     |
[INFO] [stdout] 292 |             z::Z3_optimize_assert_soft(
[INFO] [stdout]     |                ^^^^^^^^^^^^^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_optimize_check` in module `z`
[INFO] [stdout]    --> src/lib.rs:298:27
[INFO] [stdout]     |
[INFO] [stdout] 298 |         unsafe { match z::Z3_optimize_check(self.ctx(), self.solver()) {
[INFO] [stdout]     |                           ^^^^^^^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find unit struct, unit variant or constant `Z3_lbool_Z3_L_TRUE` in module `z`
[INFO] [stdout]    --> src/lib.rs:299:16
[INFO] [stdout]     |
[INFO] [stdout] 299 |             z::Z3_lbool_Z3_L_TRUE => Some(SolverResult{ctx: self}),
[INFO] [stdout]     |                ^^^^^^^^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0531]: cannot find unit struct, unit variant or constant `Z3_lbool_Z3_L_FALSE` in module `z`
[INFO] [stdout]    --> src/lib.rs:300:16
[INFO] [stdout]     |
[INFO] [stdout] 300 |             z::Z3_lbool_Z3_L_FALSE => None,
[INFO] [stdout]     |                ^^^^^^^^^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_mk_int_symbol` in module `z`
[INFO] [stdout]    --> src/lib.rs:307:29
[INFO] [stdout]     |
[INFO] [stdout] 307 |             let symbol = z::Z3_mk_int_symbol(self.ctx(), name as c_int);
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_mk_const` in module `z`
[INFO] [stdout]    --> src/lib.rs:308:21
[INFO] [stdout]     |
[INFO] [stdout] 308 |             ast!(z::Z3_mk_const(self.ctx(), symbol, self.sort()))
[INFO] [stdout]     |                     ^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_mk_not` in module `z`
[INFO] [stdout]    --> src/lib.rs:313:26
[INFO] [stdout]     |
[INFO] [stdout] 313 |         unsafe { ast!(z::Z3_mk_not(self.ctx(), x.ptr)) }
[INFO] [stdout]     |                          ^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_mk_eq` in module `z`
[INFO] [stdout]    --> src/lib.rs:321:26
[INFO] [stdout]     |
[INFO] [stdout] 321 |         unsafe { ast!(z::Z3_mk_eq(self.ctx(), a.ptr, b.ptr)) }
[INFO] [stdout]     |                          ^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_mk_ite` in module `z`
[INFO] [stdout]    --> src/lib.rs:330:26
[INFO] [stdout]     |
[INFO] [stdout] 330 |         unsafe { ast!(z::Z3_mk_ite(self.ctx(),
[INFO] [stdout]     |                          ^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_mk_iff` in module `z`
[INFO] [stdout]    --> src/lib.rs:339:26
[INFO] [stdout]     |
[INFO] [stdout] 339 |         unsafe { ast!(z::Z3_mk_iff(self.ctx(), condition.ptr, value.ptr)) }
[INFO] [stdout]     |                          ^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_mk_implies` in module `z`
[INFO] [stdout]    --> src/lib.rs:347:26
[INFO] [stdout]     |
[INFO] [stdout] 347 |         unsafe { ast!(z::Z3_mk_implies(self.ctx(), condition.ptr, value.ptr)) }
[INFO] [stdout]     |                          ^^^^^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_mk_xor` in module `z`
[INFO] [stdout]    --> src/lib.rs:355:26
[INFO] [stdout]     |
[INFO] [stdout] 355 |         unsafe { ast!(z::Z3_mk_xor(self.ctx(), a.ptr, b.ptr)) }
[INFO] [stdout]     |                          ^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_mk_and` in module `z`
[INFO] [stdout]    --> src/lib.rs:362:26
[INFO] [stdout]     |
[INFO] [stdout] 362 |         unsafe { ast!(z::Z3_mk_and(self.ctx(),
[INFO] [stdout]     |                          ^^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function, tuple struct or tuple variant `Z3_mk_or` in module `z`
[INFO] [stdout]    --> src/lib.rs:371:26
[INFO] [stdout]     |
[INFO] [stdout] 371 |         unsafe { ast!(z::Z3_mk_or(self.ctx(),
[INFO] [stdout]     |                          ^^^^^^^^ not found in `z`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0412, E0425, E0531.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0412`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `z3_ref` (lib) due to 63 previous errors
[INFO] running `Command { std: "docker" "inspect" "87eb0387bc6dc50b3dfbcf6950346de850a12575a6abeec36450f5a198c9e48d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "87eb0387bc6dc50b3dfbcf6950346de850a12575a6abeec36450f5a198c9e48d", kill_on_drop: false }`
[INFO] [stdout] 87eb0387bc6dc50b3dfbcf6950346de850a12575a6abeec36450f5a198c9e48d
