[INFO] cloning repository https://github.com/mProjectsCode/vass-reachability [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mProjectsCode/vass-reachability" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FmProjectsCode%2Fvass-reachability", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FmProjectsCode%2Fvass-reachability'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 899f577b519dbe4fbb445b1d58bf6c2fe7253d62 [INFO] checking mProjectsCode/vass-reachability against master#4847d6a9d07d4be9ba3196f6ad444af2d7bdde72 for pr-134272 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FmProjectsCode%2Fvass-reachability" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/mProjectsCode/vass-reachability on toolchain 4847d6a9d07d4be9ba3196f6ad444af2d7bdde72 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+4847d6a9d07d4be9ba3196f6ad444af2d7bdde72" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/mProjectsCode/vass-reachability [INFO] finished tweaking git repo https://github.com/mProjectsCode/vass-reachability [INFO] tweaked toml for git repo https://github.com/mProjectsCode/vass-reachability written to /workspace/builds/worker-0-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/mProjectsCode/vass-reachability 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" "+4847d6a9d07d4be9ba3196f6ad444af2d7bdde72" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded primes v0.4.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+4847d6a9d07d4be9ba3196f6ad444af2d7bdde72" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] a4e4799810440efada12f87066abaaa9452755f0ab6ce92ade3a40fd8cc1d6a6 [INFO] running `Command { std: "docker" "start" "-a" "a4e4799810440efada12f87066abaaa9452755f0ab6ce92ade3a40fd8cc1d6a6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "a4e4799810440efada12f87066abaaa9452755f0ab6ce92ade3a40fd8cc1d6a6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a4e4799810440efada12f87066abaaa9452755f0ab6ce92ade3a40fd8cc1d6a6", kill_on_drop: false }` [INFO] [stdout] a4e4799810440efada12f87066abaaa9452755f0ab6ce92ade3a40fd8cc1d6a6 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+4847d6a9d07d4be9ba3196f6ad444af2d7bdde72" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] f2a5af5af1a396c752e348bd5eb293b1ae2e35a4866da01fe4758ef547efbf9d [INFO] running `Command { std: "docker" "start" "-a" "f2a5af5af1a396c752e348bd5eb293b1ae2e35a4866da01fe4758ef547efbf9d", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.92 [INFO] [stderr] Compiling unicode-ident v1.0.14 [INFO] [stderr] Compiling libc v0.2.167 [INFO] [stderr] Compiling autocfg v1.4.0 [INFO] [stderr] Compiling glob v0.3.1 [INFO] [stderr] Compiling memchr v2.7.4 [INFO] [stderr] Compiling minimal-lexical v0.2.1 [INFO] [stderr] Compiling regex-syntax v0.8.5 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling bindgen v0.66.1 [INFO] [stderr] Compiling lazy_static v1.5.0 [INFO] [stderr] Compiling bitflags v2.6.0 [INFO] [stderr] Compiling rustc-hash v1.1.0 [INFO] [stderr] Compiling peeking_take_while v0.1.2 [INFO] [stderr] Compiling lazycell v1.3.0 [INFO] [stderr] Compiling shlex v1.3.0 [INFO] [stderr] Compiling libloading v0.8.6 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Checking hashbrown v0.15.2 [INFO] [stderr] Checking equivalent v1.0.1 [INFO] [stderr] Checking rawpointer v0.2.1 [INFO] [stderr] Checking fixedbitset v0.4.2 [INFO] [stderr] Checking either v1.13.0 [INFO] [stderr] Checking log v0.4.22 [INFO] [stderr] Checking colored v2.1.0 [INFO] [stderr] Checking primes v0.4.0 [INFO] [stderr] Compiling clang-sys v1.8.1 [INFO] [stderr] Checking itertools v0.13.0 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling matrixmultiply v0.3.9 [INFO] [stderr] Compiling nom v7.1.3 [INFO] [stderr] Checking indexmap v2.7.0 [INFO] [stderr] Compiling quote v1.0.37 [INFO] [stderr] Compiling syn v2.0.90 [INFO] [stderr] Checking getrandom v0.2.15 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking petgraph v0.6.5 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking num-complex v0.4.6 [INFO] [stderr] Checking ndarray v0.15.6 [INFO] [stderr] Compiling regex-automata v0.4.9 [INFO] [stderr] Compiling cexpr v0.6.0 [INFO] [stderr] Compiling regex v1.11.1 [INFO] [stderr] Compiling zerocopy-derive v0.7.35 [INFO] [stderr] Checking zerocopy v0.7.35 [INFO] [stderr] Checking ppv-lite86 v0.2.20 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Compiling z3-sys v0.8.1 [INFO] [stderr] error: failed to run custom build command for `z3-sys v0.8.1` [INFO] [stderr] note: To improve backtraces for build dependencies, set the CARGO_PROFILE_DEV_BUILD_OVERRIDE_DEBUG=true environment variable to enable debug information generation. [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `/opt/rustwide/target/debug/build/z3-sys-57935bb000c0ee5f/build-script-build` (exit status: 101) [INFO] [stderr] --- stdout [INFO] [stderr] cargo:rerun-if-changed=build.rs [INFO] [stderr] cargo:rerun-if-env-changed=Z3_SYS_Z3_HEADER [INFO] [stderr] cargo:rerun-if-changed=wrapper.h [INFO] [stderr] cargo:rerun-if-env-changed=TARGET [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS_x86_64-unknown-linux-gnu [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS_x86_64_unknown_linux_gnu [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdio.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features-time64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/timesize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdc-predef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/sys/cdefs.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/long-double.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/gnu/stubs.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/gnu/stubs-64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stddef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdarg.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/timesize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/typesizes.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/time64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__fpos_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__mbstate_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__fpos64_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__mbstate_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__FILE.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/FILE.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/struct_FILE.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdio_lim.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn-common.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/long-double.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdbool.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdint.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdint.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wchar.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdint-intn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdint-uintn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_macros.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_api.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_ast_containers.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_algebraic.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_polynomial.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_rcf.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_fixedpoint.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_optimization.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_fpa.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_spacer.h [INFO] [stderr] cargo:rerun-if-env-changed=TARGET [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS_x86_64-unknown-linux-gnu [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS_x86_64_unknown_linux_gnu [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdio.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features-time64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/timesize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdc-predef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/sys/cdefs.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/long-double.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/gnu/stubs.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/gnu/stubs-64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stddef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdarg.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/timesize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/typesizes.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/time64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__fpos_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__mbstate_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__fpos64_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__mbstate_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__FILE.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/FILE.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/struct_FILE.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdio_lim.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn-common.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/long-double.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdbool.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdint.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdint.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wchar.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdint-intn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdint-uintn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_macros.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_api.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_ast_containers.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_algebraic.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_polynomial.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_rcf.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_fixedpoint.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_optimization.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_fpa.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_spacer.h [INFO] [stderr] cargo:rerun-if-env-changed=TARGET [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS_x86_64-unknown-linux-gnu [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS_x86_64_unknown_linux_gnu [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdio.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features-time64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/timesize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdc-predef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/sys/cdefs.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/long-double.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/gnu/stubs.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/gnu/stubs-64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stddef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdarg.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/timesize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/typesizes.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/time64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__fpos_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__mbstate_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__fpos64_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__mbstate_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__FILE.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/FILE.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/struct_FILE.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdio_lim.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn-common.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/long-double.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdbool.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdint.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdint.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wchar.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdint-intn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdint-uintn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_macros.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_api.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_ast_containers.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_algebraic.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_polynomial.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_rcf.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_fixedpoint.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_optimization.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_fpa.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_spacer.h [INFO] [stderr] cargo:rerun-if-env-changed=TARGET [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS_x86_64-unknown-linux-gnu [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS_x86_64_unknown_linux_gnu [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdio.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features-time64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/timesize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdc-predef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/sys/cdefs.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/long-double.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/gnu/stubs.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/gnu/stubs-64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stddef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdarg.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/timesize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/typesizes.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/time64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__fpos_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__mbstate_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__fpos64_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__mbstate_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__FILE.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/FILE.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/struct_FILE.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdio_lim.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn-common.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/long-double.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdbool.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdint.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdint.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wchar.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdint-intn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdint-uintn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_macros.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_api.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_ast_containers.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_algebraic.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_polynomial.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_rcf.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_fixedpoint.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_optimization.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_fpa.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_spacer.h [INFO] [stderr] cargo:rerun-if-env-changed=TARGET [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS_x86_64-unknown-linux-gnu [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS_x86_64_unknown_linux_gnu [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdio.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features-time64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/timesize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdc-predef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/sys/cdefs.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/long-double.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/gnu/stubs.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/gnu/stubs-64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stddef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdarg.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/timesize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/typesizes.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/time64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__fpos_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__mbstate_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__fpos64_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__mbstate_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__FILE.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/FILE.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/struct_FILE.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdio_lim.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn-common.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/long-double.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdbool.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdint.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdint.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wchar.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdint-intn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdint-uintn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_macros.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_api.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_ast_containers.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_algebraic.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_polynomial.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_rcf.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_fixedpoint.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_optimization.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_fpa.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_spacer.h [INFO] [stderr] cargo:rerun-if-env-changed=TARGET [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS_x86_64-unknown-linux-gnu [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS_x86_64_unknown_linux_gnu [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdio.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features-time64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/timesize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdc-predef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/sys/cdefs.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/long-double.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/gnu/stubs.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/gnu/stubs-64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stddef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdarg.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/timesize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/typesizes.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/time64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__fpos_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__mbstate_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__fpos64_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__mbstate_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__FILE.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/FILE.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/struct_FILE.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdio_lim.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn-common.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/long-double.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdbool.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdint.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdint.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wchar.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdint-intn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdint-uintn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_macros.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_api.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_ast_containers.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_algebraic.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_polynomial.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_rcf.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_fixedpoint.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_optimization.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_fpa.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_spacer.h [INFO] [stderr] cargo:rerun-if-env-changed=TARGET [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS_x86_64-unknown-linux-gnu [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS_x86_64_unknown_linux_gnu [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdio.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features-time64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/timesize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdc-predef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/sys/cdefs.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/long-double.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/gnu/stubs.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/gnu/stubs-64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stddef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdarg.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/timesize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/typesizes.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/time64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__fpos_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__mbstate_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__fpos64_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__mbstate_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__FILE.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/FILE.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/struct_FILE.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdio_lim.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn-common.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/long-double.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdbool.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdint.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdint.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wchar.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdint-intn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdint-uintn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_macros.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_api.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_ast_containers.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_algebraic.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_polynomial.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_rcf.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_fixedpoint.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_optimization.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_fpa.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_spacer.h [INFO] [stderr] cargo:rerun-if-env-changed=TARGET [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS_x86_64-unknown-linux-gnu [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS_x86_64_unknown_linux_gnu [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdio.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features-time64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/timesize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdc-predef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/sys/cdefs.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/long-double.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/gnu/stubs.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/gnu/stubs-64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stddef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdarg.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/timesize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/typesizes.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/time64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__fpos_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__mbstate_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__fpos64_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__mbstate_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__FILE.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/FILE.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/struct_FILE.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdio_lim.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn-common.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/long-double.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdbool.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdint.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdint.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wchar.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdint-intn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdint-uintn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_macros.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_api.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_ast_containers.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_algebraic.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_polynomial.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_rcf.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_fixedpoint.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_optimization.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_fpa.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_spacer.h [INFO] [stderr] cargo:rerun-if-env-changed=TARGET [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS_x86_64-unknown-linux-gnu [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS_x86_64_unknown_linux_gnu [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdio.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features-time64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/timesize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdc-predef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/sys/cdefs.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/long-double.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/gnu/stubs.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/gnu/stubs-64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stddef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdarg.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/timesize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/typesizes.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/time64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__fpos_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__mbstate_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__fpos64_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__mbstate_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__FILE.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/FILE.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/struct_FILE.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdio_lim.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn-common.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/long-double.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdbool.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-14/lib/clang/14.0.0/include/stdint.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdint.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wchar.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdint-intn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdint-uintn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_macros.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_api.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_ast_containers.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_algebraic.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_polynomial.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_rcf.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_fixedpoint.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_optimization.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_fpa.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/z3_spacer.h [INFO] [stderr] [INFO] [stderr] --- stderr [INFO] [stderr] error: 'rustfmt' is not installed for the custom toolchain '4847d6a9d07d4be9ba3196f6ad444af2d7bdde72'. [INFO] [stderr] note: this is a custom toolchain, which cannot use `rustup component add` [INFO] [stderr] help: if you built this toolchain from source, and used `rustup toolchain link`, then you may be able to build the component with `x.py` [INFO] [stderr] Failed to run rustfmt: Internal rustfmt error (non-fatal, continuing) [INFO] [stderr] error: 'rustfmt' is not installed for the custom toolchain '4847d6a9d07d4be9ba3196f6ad444af2d7bdde72'. [INFO] [stderr] note: this is a custom toolchain, which cannot use `rustup component add` [INFO] [stderr] help: if you built this toolchain from source, and used `rustup toolchain link`, then you may be able to build the component with `x.py` [INFO] [stderr] Failed to run rustfmt: Internal rustfmt error (non-fatal, continuing) [INFO] [stderr] error: 'rustfmt' is not installed for the custom toolchain '4847d6a9d07d4be9ba3196f6ad444af2d7bdde72'. [INFO] [stderr] note: this is a custom toolchain, which cannot use `rustup component add` [INFO] [stderr] help: if you built this toolchain from source, and used `rustup toolchain link`, then you may be able to build the component with `x.py` [INFO] [stderr] Failed to run rustfmt: Internal rustfmt error (non-fatal, continuing) [INFO] [stderr] error: 'rustfmt' is not installed for the custom toolchain '4847d6a9d07d4be9ba3196f6ad444af2d7bdde72'. [INFO] [stderr] note: this is a custom toolchain, which cannot use `rustup component add` [INFO] [stderr] help: if you built this toolchain from source, and used `rustup toolchain link`, then you may be able to build the component with `x.py` [INFO] [stderr] Failed to run rustfmt: Internal rustfmt error (non-fatal, continuing) [INFO] [stderr] error: 'rustfmt' is not installed for the custom toolchain '4847d6a9d07d4be9ba3196f6ad444af2d7bdde72'. [INFO] [stderr] note: this is a custom toolchain, which cannot use `rustup component add` [INFO] [stderr] help: if you built this toolchain from source, and used `rustup toolchain link`, then you may be able to build the component with `x.py` [INFO] [stderr] Failed to run rustfmt: Internal rustfmt error (non-fatal, continuing) [INFO] [stderr] error: 'rustfmt' is not installed for the custom toolchain '4847d6a9d07d4be9ba3196f6ad444af2d7bdde72'. [INFO] [stderr] note: this is a custom toolchain, which cannot use `rustup component add` [INFO] [stderr] help: if you built this toolchain from source, and used `rustup toolchain link`, then you may be able to build the component with `x.py` [INFO] [stderr] Failed to run rustfmt: Internal rustfmt error (non-fatal, continuing) [INFO] [stderr] error: 'rustfmt' is not installed for the custom toolchain '4847d6a9d07d4be9ba3196f6ad444af2d7bdde72'. [INFO] [stderr] note: this is a custom toolchain, which cannot use `rustup component add` [INFO] [stderr] help: if you built this toolchain from source, and used `rustup toolchain link`, then you may be able to build the component with `x.py` [INFO] [stderr] Failed to run rustfmt: Internal rustfmt error (non-fatal, continuing) [INFO] [stderr] error: 'rustfmt' is not installed for the custom toolchain '4847d6a9d07d4be9ba3196f6ad444af2d7bdde72'. [INFO] [stderr] note: this is a custom toolchain, which cannot use `rustup component add` [INFO] [stderr] help: if you built this toolchain from source, and used `rustup toolchain link`, then you may be able to build the component with `x.py` [INFO] [stderr] Failed to run rustfmt: Internal rustfmt error (non-fatal, continuing) [INFO] [stderr] thread 'main' panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/z3-sys-0.8.1/build.rs:49:14: [INFO] [stderr] Couldn't write bindings!: Os { code: 28, kind: StorageFull, message: "No space left on device" } [INFO] [stderr] stack backtrace: [INFO] [stderr] 0: 0x6364631efc3a - std::backtrace_rs::backtrace::libunwind::trace::h9bef26e5bd230193 [INFO] [stderr] at /rustc/4847d6a9d07d4be9ba3196f6ad444af2d7bdde72/library/std/src/../../backtrace/src/backtrace/libunwind.rs:116:5 [INFO] [stderr] 1: 0x6364631efc3a - std::backtrace_rs::backtrace::trace_unsynchronized::h246f65eb9bb3d61b [INFO] [stderr] at /rustc/4847d6a9d07d4be9ba3196f6ad444af2d7bdde72/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stderr] 2: 0x6364631efc3a - std::sys::backtrace::_print_fmt::hfe1512eef5a26dc8 [INFO] [stderr] at /rustc/4847d6a9d07d4be9ba3196f6ad444af2d7bdde72/library/std/src/sys/backtrace.rs:66:9 [INFO] [stderr] 3: 0x6364631efc3a - ::fmt::hc3cc9d6eacb0b7bb [INFO] [stderr] at /rustc/4847d6a9d07d4be9ba3196f6ad444af2d7bdde72/library/std/src/sys/backtrace.rs:39:26 [INFO] [stderr] 4: 0x636463217a93 - core::fmt::rt::Argument::fmt::h313f759e648e8294 [INFO] [stderr] at /rustc/4847d6a9d07d4be9ba3196f6ad444af2d7bdde72/library/core/src/fmt/rt.rs:177:76 [INFO] [stderr] 5: 0x636463217a93 - core::fmt::write::hfbd8a8acad428bd3 [INFO] [stderr] at /rustc/4847d6a9d07d4be9ba3196f6ad444af2d7bdde72/library/core/src/fmt/mod.rs:1437:21 [INFO] [stderr] 6: 0x6364631ec7a3 - std::io::Write::write_fmt::h9dcd530f6730aa9d [INFO] [stderr] at /rustc/4847d6a9d07d4be9ba3196f6ad444af2d7bdde72/library/std/src/io/mod.rs:1887:15 [INFO] [stderr] 7: 0x6364631efa82 - std::sys::backtrace::BacktraceLock::print::hddd45853e8c58347 [INFO] [stderr] at /rustc/4847d6a9d07d4be9ba3196f6ad444af2d7bdde72/library/std/src/sys/backtrace.rs:42:9 [INFO] [stderr] 8: 0x6364631f0a4d - std::panicking::default_hook::{{closure}}::h8e509c9e24c8d0c3 [INFO] [stderr] at /rustc/4847d6a9d07d4be9ba3196f6ad444af2d7bdde72/library/std/src/panicking.rs:284:22 [INFO] [stderr] 9: 0x6364631f0892 - std::panicking::default_hook::hf22d3ec43f5bc439 [INFO] [stderr] at /rustc/4847d6a9d07d4be9ba3196f6ad444af2d7bdde72/library/std/src/panicking.rs:311:9 [INFO] [stderr] 10: 0x6364631f1197 - std::panicking::rust_panic_with_hook::ha3729d018d45e904 [INFO] [stderr] at /rustc/4847d6a9d07d4be9ba3196f6ad444af2d7bdde72/library/std/src/panicking.rs:817:13 [INFO] [stderr] 11: 0x6364631f0f1a - std::panicking::begin_panic_handler::{{closure}}::he339bd7aabfd6fd3 [INFO] [stderr] at /rustc/4847d6a9d07d4be9ba3196f6ad444af2d7bdde72/library/std/src/panicking.rs:690:13 [INFO] [stderr] 12: 0x6364631f0119 - std::sys::backtrace::__rust_end_short_backtrace::h658ec9f266771651 [INFO] [stderr] at /rustc/4847d6a9d07d4be9ba3196f6ad444af2d7bdde72/library/std/src/sys/backtrace.rs:168:18 [INFO] [stderr] 13: 0x6364631f0bad - rust_begin_unwind [INFO] [stderr] at /rustc/4847d6a9d07d4be9ba3196f6ad444af2d7bdde72/library/std/src/panicking.rs:681:5 [INFO] [stderr] 14: 0x636463215e40 - core::panicking::panic_fmt::h326365e946e63c22 [INFO] [stderr] at /rustc/4847d6a9d07d4be9ba3196f6ad444af2d7bdde72/library/core/src/panicking.rs:75:14 [INFO] [stderr] 15: 0x6364632162b6 - core::result::unwrap_failed::h73252543ee25aaee [INFO] [stderr] at /rustc/4847d6a9d07d4be9ba3196f6ad444af2d7bdde72/library/core/src/result.rs:1699:5 [INFO] [stderr] 16: 0x636462e107d3 - core::result::Result::expect::h1d54656bdc603719 [INFO] [stderr] 17: 0x636462d15323 - build_script_build::main::h0618f6a9fc82b305 [INFO] [stderr] 18: 0x636462d12353 - core::ops::function::FnOnce::call_once::h5f07fda9be99c96c [INFO] [stderr] 19: 0x636462d121e6 - std::sys::backtrace::__rust_begin_short_backtrace::hb483451af6ccd711 [INFO] [stderr] 20: 0x636462d121c9 - std::rt::lang_start::{{closure}}::hf17199f314f27c1b [INFO] [stderr] 21: 0x6364631e7e17 - core::ops::function::impls:: for &F>::call_once::hbd67a831a86f6b8a [INFO] [stderr] at /rustc/4847d6a9d07d4be9ba3196f6ad444af2d7bdde72/library/core/src/ops/function.rs:284:13 [INFO] [stderr] 22: 0x6364631e7e17 - std::panicking::try::do_call::hc25aec5ab0c0043f [INFO] [stderr] at /rustc/4847d6a9d07d4be9ba3196f6ad444af2d7bdde72/library/std/src/panicking.rs:573:40 [INFO] [stderr] 23: 0x6364631e7e17 - std::panicking::try::h011a4968c87a5f78 [INFO] [stderr] at /rustc/4847d6a9d07d4be9ba3196f6ad444af2d7bdde72/library/std/src/panicking.rs:536:19 [INFO] [stderr] 24: 0x6364631e7e17 - std::panic::catch_unwind::h7b97257a67b76da4 [INFO] [stderr] at /rustc/4847d6a9d07d4be9ba3196f6ad444af2d7bdde72/library/std/src/panic.rs:358:14 [INFO] [stderr] 25: 0x6364631e7e17 - std::rt::lang_start_internal::{{closure}}::h4e5436fb7d364427 [INFO] [stderr] at /rustc/4847d6a9d07d4be9ba3196f6ad444af2d7bdde72/library/std/src/rt.rs:174:48 [INFO] [stderr] 26: 0x6364631e7e17 - std::panicking::try::do_call::h20286f93466cc6bc [INFO] [stderr] at /rustc/4847d6a9d07d4be9ba3196f6ad444af2d7bdde72/library/std/src/panicking.rs:573:40 [INFO] [stderr] 27: 0x6364631e7e17 - std::panicking::try::h2bc908298595e500 [INFO] [stderr] at /rustc/4847d6a9d07d4be9ba3196f6ad444af2d7bdde72/library/std/src/panicking.rs:536:19 [INFO] [stderr] 28: 0x6364631e7e17 - std::panic::catch_unwind::hd5034c2636c06eeb [INFO] [stderr] at /rustc/4847d6a9d07d4be9ba3196f6ad444af2d7bdde72/library/std/src/panic.rs:358:14 [INFO] [stderr] 29: 0x6364631e7e17 - std::rt::lang_start_internal::h1499b1586ef765ee [INFO] [stderr] at /rustc/4847d6a9d07d4be9ba3196f6ad444af2d7bdde72/library/std/src/rt.rs:174:20 [INFO] [stderr] 30: 0x636462d121a7 - std::rt::lang_start::hd6993c706a6636dd [INFO] [stderr] 31: 0x636462d153e5 - main [INFO] [stderr] 32: 0x70bf1669fd90 - [INFO] [stderr] 33: 0x70bf1669fe40 - __libc_start_main [INFO] [stderr] 34: 0x636462d11a55 - _start [INFO] [stderr] 35: 0x0 - [INFO] running `Command { std: "docker" "inspect" "f2a5af5af1a396c752e348bd5eb293b1ae2e35a4866da01fe4758ef547efbf9d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f2a5af5af1a396c752e348bd5eb293b1ae2e35a4866da01fe4758ef547efbf9d", kill_on_drop: false }` [INFO] [stdout] f2a5af5af1a396c752e348bd5eb293b1ae2e35a4866da01fe4758ef547efbf9d