[INFO] cloning repository https://github.com/SamuelSchlesinger/generalist [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/SamuelSchlesinger/generalist" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSamuelSchlesinger%2Fgeneralist", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSamuelSchlesinger%2Fgeneralist'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] bb6ff04f1c3ace52eab5ebe83dc9e91a3ffd3806 [INFO] checking SamuelSchlesinger/generalist against master#2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a for pr-145113 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSamuelSchlesinger%2Fgeneralist" "/workspace/builds/worker-4-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc1/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/SamuelSchlesinger/generalist [INFO] finished tweaking git repo https://github.com/SamuelSchlesinger/generalist [INFO] tweaked toml for git repo https://github.com/SamuelSchlesinger/generalist written to /workspace/builds/worker-4-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/SamuelSchlesinger/generalist on toolchain 2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/SamuelSchlesinger/generalist 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" "+2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded exmex v0.20.4 [INFO] [stderr] Downloaded firecrawl v1.2.0 [INFO] [stderr] Downloaded reqwest v0.12.19 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:ae6f63d130afcfff7f91f5ba9fdb2a74d52830289c6a2ea2d23a94dcfb480a0d" "/opt/rustwide/cargo-home/bin/cargo" "+2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 4c9df02f5e82ea24833c1e5b8d7ae9dab271ff52abe480055076b8bc9b74975b [INFO] running `Command { std: "docker" "start" "-a" "4c9df02f5e82ea24833c1e5b8d7ae9dab271ff52abe480055076b8bc9b74975b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "4c9df02f5e82ea24833c1e5b8d7ae9dab271ff52abe480055076b8bc9b74975b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4c9df02f5e82ea24833c1e5b8d7ae9dab271ff52abe480055076b8bc9b74975b", kill_on_drop: false }` [INFO] [stdout] 4c9df02f5e82ea24833c1e5b8d7ae9dab271ff52abe480055076b8bc9b74975b [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:ae6f63d130afcfff7f91f5ba9fdb2a74d52830289c6a2ea2d23a94dcfb480a0d" "/opt/rustwide/cargo-home/bin/cargo" "+2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] d6ccb08b33ad356fc6e827b92805aa3e050d02aabc5e286225707b9f7e15df5b [INFO] running `Command { std: "docker" "start" "-a" "d6ccb08b33ad356fc6e827b92805aa3e050d02aabc5e286225707b9f7e15df5b", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.95 [INFO] [stderr] Compiling unicode-ident v1.0.18 [INFO] [stderr] Compiling libc v0.2.172 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Compiling autocfg v1.4.0 [INFO] [stderr] Compiling shlex v1.3.0 [INFO] [stderr] Checking smallvec v1.15.0 [INFO] [stderr] Checking bytes v1.10.1 [INFO] [stderr] Checking pin-project-lite v0.2.16 [INFO] [stderr] Checking itoa v1.0.15 [INFO] [stderr] Compiling parking_lot_core v0.9.11 [INFO] [stderr] Checking scopeguard v1.2.0 [INFO] [stderr] Checking memchr v2.7.4 [INFO] [stderr] Checking log v0.4.27 [INFO] [stderr] Checking futures-core v0.3.31 [INFO] [stderr] Checking once_cell v1.21.3 [INFO] [stderr] Compiling serde v1.0.219 [INFO] [stderr] Checking futures-sink v0.3.31 [INFO] [stderr] Checking fnv v1.0.7 [INFO] [stderr] Checking stable_deref_trait v1.2.0 [INFO] [stderr] Checking futures-io v0.3.31 [INFO] [stderr] Compiling cc v1.2.25 [INFO] [stderr] Checking pin-utils v0.1.0 [INFO] [stderr] Checking futures-channel v0.3.31 [INFO] [stderr] Checking futures-task v0.3.31 [INFO] [stderr] Compiling pkg-config v0.3.32 [INFO] [stderr] Compiling vcpkg v0.2.15 [INFO] [stderr] Compiling httparse v1.10.1 [INFO] [stderr] Checking tracing-core v0.1.33 [INFO] [stderr] Checking writeable v0.6.1 [INFO] [stderr] Checking zeroize v1.8.1 [INFO] [stderr] Checking untrusted v0.9.0 [INFO] [stderr] Checking hashbrown v0.15.3 [INFO] [stderr] Checking litemap v0.8.0 [INFO] [stderr] Checking bitflags v2.9.1 [INFO] [stderr] Checking equivalent v1.0.2 [INFO] [stderr] Compiling icu_normalizer_data v2.0.0 [INFO] [stderr] Compiling icu_properties_data v2.0.1 [INFO] [stderr] Checking percent-encoding v2.3.1 [INFO] [stderr] Checking try-lock v0.2.5 [INFO] [stderr] Checking tower-service v0.3.3 [INFO] [stderr] Checking want v0.3.1 [INFO] [stderr] Checking rustls-pki-types v1.12.0 [INFO] [stderr] Compiling openssl v0.10.73 [INFO] [stderr] Compiling typenum v1.18.0 [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Checking indexmap v2.9.0 [INFO] [stderr] Checking foreign-types-shared v0.1.1 [INFO] [stderr] Compiling glob v0.3.2 [INFO] [stderr] Checking foreign-types v0.3.2 [INFO] [stderr] Compiling native-tls v0.2.14 [INFO] [stderr] Compiling lock_api v0.4.13 [INFO] [stderr] Compiling slab v0.4.9 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking form_urlencoded v1.2.1 [INFO] [stderr] Compiling zerocopy v0.8.25 [INFO] [stderr] Checking http v1.3.1 [INFO] [stderr] Checking openssl-probe v0.1.6 [INFO] [stderr] Checking utf8_iter v1.0.4 [INFO] [stderr] Checking http v0.2.12 [INFO] [stderr] Checking ryu v1.0.20 [INFO] [stderr] Compiling minimal-lexical v0.2.1 [INFO] [stderr] Compiling regex-syntax v0.8.5 [INFO] [stderr] Compiling clang-sys v1.8.1 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Compiling serde_json v1.0.140 [INFO] [stderr] Compiling syn v2.0.101 [INFO] [stderr] Compiling thiserror v1.0.69 [INFO] [stderr] Compiling libloading v0.8.8 [INFO] [stderr] Compiling rustls v0.22.4 [INFO] [stderr] Checking atomic-waker v1.1.2 [INFO] [stderr] Checking ipnet v2.11.0 [INFO] [stderr] Compiling strsim v0.11.1 [INFO] [stderr] Compiling ident_case v1.0.1 [INFO] [stderr] Compiling getrandom v0.3.3 [INFO] [stderr] Compiling rustls v0.21.12 [INFO] [stderr] Checking socket2 v0.5.10 [INFO] [stderr] Checking signal-hook-registry v1.4.5 [INFO] [stderr] Checking mio v1.0.4 [INFO] [stderr] Checking getrandom v0.2.16 [INFO] [stderr] Compiling nom v7.1.3 [INFO] [stderr] Compiling bindgen v0.66.1 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking subtle v2.6.1 [INFO] [stderr] Compiling unicase v2.8.1 [INFO] [stderr] Checking parking_lot v0.12.4 [INFO] [stderr] Compiling lazycell v1.3.0 [INFO] [stderr] Checking http-body v0.4.6 [INFO] [stderr] Checking http-body v1.0.1 [INFO] [stderr] Checking mime v0.3.17 [INFO] [stderr] Checking httpdate v1.0.3 [INFO] [stderr] Checking base64 v0.22.1 [INFO] [stderr] Compiling rustc-hash v1.1.0 [INFO] [stderr] Compiling lazy_static v1.5.0 [INFO] [stderr] Compiling peeking_take_while v0.1.2 [INFO] [stderr] Compiling mime_guess v2.0.5 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking sync_wrapper v1.0.2 [INFO] [stderr] Checking encoding_rs v0.8.35 [INFO] [stderr] Checking tower-layer v0.3.3 [INFO] [stderr] Compiling rustix v1.0.7 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Checking cpufeatures v0.2.17 [INFO] [stderr] Checking http-body-util v0.1.3 [INFO] [stderr] Checking webpki-roots v1.0.0 [INFO] [stderr] Checking aho-corasick v1.1.3 [INFO] [stderr] Compiling portable-atomic v1.11.0 [INFO] [stderr] Compiling ring v0.17.14 [INFO] [stderr] Compiling openssl-sys v0.9.109 [INFO] [stderr] Checking num-bigint v0.4.6 [INFO] [stderr] Checking base64 v0.21.7 [INFO] [stderr] Checking iri-string v0.7.8 [INFO] [stderr] Checking unicode-width v0.2.0 [INFO] [stderr] Compiling schemars v0.8.22 [INFO] [stderr] Checking utf-8 v0.7.6 [INFO] [stderr] Compiling regex-automata v0.4.9 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Checking adler2 v2.0.0 [INFO] [stderr] Checking linux-raw-sys v0.9.4 [INFO] [stderr] Checking data-encoding v2.9.0 [INFO] [stderr] Checking powerfmt v0.2.0 [INFO] [stderr] Checking miniz_oxide v0.8.8 [INFO] [stderr] Checking crypto-common v0.1.6 [INFO] [stderr] Checking block-buffer v0.10.4 [INFO] [stderr] Checking rustls-pemfile v1.0.4 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking console v0.15.11 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking num-rational v0.4.2 [INFO] [stderr] Checking sha1 v0.10.6 [INFO] [stderr] Checking num-iter v0.1.45 [INFO] [stderr] Checking webpki-roots v0.26.11 [INFO] [stderr] Checking num-complex v0.4.6 [INFO] [stderr] Checking crc32fast v1.4.2 [INFO] [stderr] Checking dyn-clone v1.0.19 [INFO] [stderr] Compiling cexpr v0.6.0 [INFO] [stderr] Checking num-conv v0.1.0 [INFO] [stderr] Checking time-core v0.1.4 [INFO] [stderr] Compiling serenity v0.12.4 [INFO] [stderr] Checking iana-time-zone v0.1.63 [INFO] [stderr] Checking webpki-roots v0.25.4 [INFO] [stderr] Checking fastrand v2.3.0 [INFO] [stderr] Checking sync_wrapper v0.1.2 [INFO] [stderr] Checking hashbrown v0.14.5 [INFO] [stderr] Checking flate2 v1.1.1 [INFO] [stderr] Checking fxhash v0.2.1 [INFO] [stderr] Checking uuid v1.17.0 [INFO] [stderr] Checking static_assertions v1.1.0 [INFO] [stderr] Checking num v0.4.3 [INFO] [stderr] Checking shell-words v1.1.0 [INFO] [stderr] Checking levenshtein v1.0.5 [INFO] [stderr] Checking typemap_rev v0.3.0 [INFO] [stderr] Checking uwl v0.6.0 [INFO] [stderr] Checking number_prefix v0.4.0 [INFO] [stderr] Checking colored v2.2.0 [INFO] [stderr] Checking dotenv v0.15.0 [INFO] [stderr] Checking urlencoding v2.1.3 [INFO] [stderr] Compiling regex v1.11.1 [INFO] [stderr] Checking indicatif v0.17.11 [INFO] [stderr] Checking tempfile v3.20.0 [INFO] [stderr] Compiling synstructure v0.13.2 [INFO] [stderr] Compiling darling_core v0.20.11 [INFO] [stderr] Compiling serde_derive_internals v0.29.1 [INFO] [stderr] Compiling tokio-macros v2.5.0 [INFO] [stderr] Compiling zerofrom-derive v0.1.6 [INFO] [stderr] Compiling serde_derive v1.0.219 [INFO] [stderr] Compiling yoke-derive v0.8.0 [INFO] [stderr] Compiling futures-macro v0.3.31 [INFO] [stderr] Compiling zerovec-derive v0.11.1 [INFO] [stderr] Compiling displaydoc v0.2.5 [INFO] [stderr] Compiling tracing-attributes v0.1.28 [INFO] [stderr] Compiling openssl-macros v0.1.1 [INFO] [stderr] Compiling thiserror-impl v1.0.69 [INFO] [stderr] Compiling schemars_derive v0.8.22 [INFO] [stderr] Checking sct v0.7.1 [INFO] [stderr] Checking rustls-webpki v0.102.8 [INFO] [stderr] Checking rustls-webpki v0.101.7 [INFO] [stderr] Checking tokio v1.45.1 [INFO] [stderr] Checking futures-util v0.3.31 [INFO] [stderr] Compiling async-trait v0.1.88 [INFO] [stderr] Checking exmex v0.20.4 [INFO] [stderr] Checking tracing v0.1.41 [INFO] [stderr] Checking dialoguer v0.11.0 [INFO] [stderr] Checking zerofrom v0.1.6 [INFO] [stderr] Checking yoke v0.8.0 [INFO] [stderr] Compiling darling_macro v0.20.11 [INFO] [stderr] Checking zerovec v0.11.2 [INFO] [stderr] Checking zerotrie v0.2.2 [INFO] [stderr] Compiling darling v0.20.11 [INFO] [stderr] Compiling serde_with_macros v3.12.0 [INFO] [stderr] Compiling command_attr v0.5.3 [INFO] [stderr] Checking tinystr v0.8.1 [INFO] [stderr] Checking potential_utf v0.1.2 [INFO] [stderr] Checking icu_collections v2.0.0 [INFO] [stderr] Checking icu_locale_core v2.0.0 [INFO] [stderr] Checking icu_provider v2.0.0 [INFO] [stderr] Compiling z3-sys v0.8.1 [INFO] [stderr] Checking futures-executor v0.3.31 [INFO] [stderr] Checking icu_normalizer v2.0.0 [INFO] [stderr] Checking icu_properties v2.0.1 [INFO] [stderr] Checking futures v0.3.31 [INFO] [stderr] Checking idna_adapter v1.2.1 [INFO] [stderr] Checking idna v1.0.3 [INFO] [stderr] Checking tokio-util v0.7.15 [INFO] [stderr] Checking tokio-native-tls v0.3.1 [INFO] [stderr] Checking tower v0.5.2 [INFO] [stderr] Checking tokio-rustls v0.24.1 [INFO] [stderr] Checking tokio-rustls v0.25.0 [INFO] [stderr] Checking tower-http v0.6.6 [INFO] [stderr] Checking url v2.5.4 [INFO] [stderr] Checking serde_urlencoded v0.7.1 [INFO] [stderr] Checking deranged v0.4.0 [INFO] [stderr] Checking secrecy v0.8.0 [INFO] [stderr] Checking chrono v0.4.41 [INFO] [stderr] Checking dashmap v5.5.3 [INFO] [stderr] Checking serde_with v3.12.0 [INFO] [stderr] Checking serde_cow v0.1.2 [INFO] [stderr] Checking arrayvec v0.7.6 [INFO] [stderr] Checking h2 v0.3.26 [INFO] [stderr] Checking h2 v0.4.10 [INFO] [stderr] Checking time v0.3.41 [INFO] [stderr] Checking tungstenite v0.21.0 [INFO] [stderr] Checking tokio-tungstenite v0.21.0 [INFO] [stderr] Checking hyper v1.6.0 [INFO] [stdout] error: error writing dependencies to `/opt/rustwide/target/debug/deps/hyper-d94e55d1e8921329.d`: No space left on device (os error 28) [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `hyper` (lib) due to 1 previous error [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [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-36e1838b8901563b/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-18/lib/clang/18/include/stddef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_size_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_null.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stdarg.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stdarg___gnuc_va_list.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/types/cookie_io_functions_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/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/lib/llvm-18/lib/clang/18/include/stdbool.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/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/x86_64-linux-gnu/bits/stdint-least.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-18/lib/clang/18/include/stddef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_size_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_null.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stdarg.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stdarg___gnuc_va_list.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/types/cookie_io_functions_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/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/lib/llvm-18/lib/clang/18/include/stdbool.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/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/x86_64-linux-gnu/bits/stdint-least.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-18/lib/clang/18/include/stddef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_size_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_null.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stdarg.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stdarg___gnuc_va_list.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/types/cookie_io_functions_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/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/lib/llvm-18/lib/clang/18/include/stdbool.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/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/x86_64-linux-gnu/bits/stdint-least.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-18/lib/clang/18/include/stddef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_size_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_null.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stdarg.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stdarg___gnuc_va_list.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/types/cookie_io_functions_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/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/lib/llvm-18/lib/clang/18/include/stdbool.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/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/x86_64-linux-gnu/bits/stdint-least.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-18/lib/clang/18/include/stddef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_size_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_null.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stdarg.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stdarg___gnuc_va_list.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/types/cookie_io_functions_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/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/lib/llvm-18/lib/clang/18/include/stdbool.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/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/x86_64-linux-gnu/bits/stdint-least.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-18/lib/clang/18/include/stddef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_size_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_null.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stdarg.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stdarg___gnuc_va_list.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/types/cookie_io_functions_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/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/lib/llvm-18/lib/clang/18/include/stdbool.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/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/x86_64-linux-gnu/bits/stdint-least.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-18/lib/clang/18/include/stddef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_size_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_null.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stdarg.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stdarg___gnuc_va_list.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/types/cookie_io_functions_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/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/lib/llvm-18/lib/clang/18/include/stdbool.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/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/x86_64-linux-gnu/bits/stdint-least.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-18/lib/clang/18/include/stddef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_size_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_null.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stdarg.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stdarg___gnuc_va_list.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/types/cookie_io_functions_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/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/lib/llvm-18/lib/clang/18/include/stdbool.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/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/x86_64-linux-gnu/bits/stdint-least.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-18/lib/clang/18/include/stddef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_size_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_null.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stdarg.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stdarg___gnuc_va_list.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/types/cookie_io_functions_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/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/lib/llvm-18/lib/clang/18/include/stdbool.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/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/x86_64-linux-gnu/bits/stdint-least.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 '2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a'. [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 '2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a'. [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 '2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a'. [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 '2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a'. [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 '2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a'. [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 '2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a'. [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 '2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a'. [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 '2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a'. [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] [INFO] [stderr] thread 'main' (3322) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/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: 0x56db7031cf62 - std::backtrace_rs::backtrace::libunwind::trace::h3462ccf1714928f6 [INFO] [stderr] at /rustc/2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stderr] 1: 0x56db7031cf62 - std::backtrace_rs::backtrace::trace_unsynchronized::h632b64df90773fbe [INFO] [stderr] at /rustc/2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stderr] 2: 0x56db7031cf62 - std::sys::backtrace::_print_fmt::h9e955f01a996aafe [INFO] [stderr] at /rustc/2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a/library/std/src/sys/backtrace.rs:66:9 [INFO] [stderr] 3: 0x56db7031cf62 - ::fmt::h9834a9126af1e750 [INFO] [stderr] at /rustc/2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a/library/std/src/sys/backtrace.rs:39:26 [INFO] [stderr] 4: 0x56db70343eef - core::fmt::rt::Argument::fmt::h96dafb67a48723f4 [INFO] [stderr] at /rustc/2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a/library/core/src/fmt/rt.rs:173:76 [INFO] [stderr] 5: 0x56db70343eef - core::fmt::write::hc97ddfe1fb7d6d44 [INFO] [stderr] at /rustc/2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a/library/core/src/fmt/mod.rs:1468:25 [INFO] [stderr] 6: 0x56db70319f03 - std::io::default_write_fmt::h7285babeb7ce76e0 [INFO] [stderr] at /rustc/2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a/library/std/src/io/mod.rs:639:11 [INFO] [stderr] 7: 0x56db70319f03 - std::io::Write::write_fmt::ha7e8ea3c745762e1 [INFO] [stderr] at /rustc/2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a/library/std/src/io/mod.rs:1954:13 [INFO] [stderr] 8: 0x56db7031cdb2 - std::sys::backtrace::BacktraceLock::print::h94e9f6a9f1d56803 [INFO] [stderr] at /rustc/2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a/library/std/src/sys/backtrace.rs:42:9 [INFO] [stderr] 9: 0x56db7031e1a4 - std::panicking::default_hook::{{closure}}::hcd804fef9950c456 [INFO] [stderr] at /rustc/2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a/library/std/src/panicking.rs:301:27 [INFO] [stderr] 10: 0x56db7031dfc5 - std::panicking::default_hook::h3e5831ac986f63d0 [INFO] [stderr] at /rustc/2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a/library/std/src/panicking.rs:328:9 [INFO] [stderr] 11: 0x56db7031ec15 - std::panicking::panic_with_hook::h55889c0ed5b507f0 [INFO] [stderr] at /rustc/2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a/library/std/src/panicking.rs:834:13 [INFO] [stderr] 12: 0x56db7031e9aa - std::panicking::panic_handler::{{closure}}::h4b104cb1d0794655 [INFO] [stderr] at /rustc/2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a/library/std/src/panicking.rs:707:13 [INFO] [stderr] 13: 0x56db7031d469 - std::sys::backtrace::__rust_end_short_backtrace::hf7de25b072939d33 [INFO] [stderr] at /rustc/2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a/library/std/src/sys/backtrace.rs:174:18 [INFO] [stderr] 14: 0x56db7031e63d - __rustc[2231b806283346d6]::rust_begin_unwind [INFO] [stderr] at /rustc/2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a/library/std/src/panicking.rs:698:5 [INFO] [stderr] 15: 0x56db70342230 - core::panicking::panic_fmt::hcea6708332b8eab2 [INFO] [stderr] at /rustc/2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a/library/core/src/panicking.rs:75:14 [INFO] [stderr] 16: 0x56db70342696 - core::result::unwrap_failed::hb7262a900edba7b8 [INFO] [stderr] at /rustc/2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a/library/core/src/result.rs:1852:5 [INFO] [stderr] 17: 0x56db6ff65fd0 - core::result::Result::expect::hda523e2dcb2cee99 [INFO] [stderr] 18: 0x56db6fe32122 - build_script_build::main::haab92d25116ae1fa [INFO] [stderr] 19: 0x56db6fe2f0e3 - core::ops::function::FnOnce::call_once::h778dd289533cd1d8 [INFO] [stderr] 20: 0x56db6fe2ef26 - std::sys::backtrace::__rust_begin_short_backtrace::h839870d08289d968 [INFO] [stderr] 21: 0x56db6fe2ef09 - std::rt::lang_start::{{closure}}::hdb8f4c80707c56de [INFO] [stderr] 22: 0x56db70314ce0 - core::ops::function::impls:: for &F>::call_once::h79f62223d45f653c [INFO] [stderr] at /rustc/2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a/library/core/src/ops/function.rs:290:21 [INFO] [stderr] 23: 0x56db70314ce0 - std::panicking::catch_unwind::do_call::hdb7e9d5decd075af [INFO] [stderr] at /rustc/2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a/library/std/src/panicking.rs:590:40 [INFO] [stderr] 24: 0x56db70314ce0 - std::panicking::catch_unwind::h3c8818af0597f047 [INFO] [stderr] at /rustc/2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a/library/std/src/panicking.rs:553:19 [INFO] [stderr] 25: 0x56db70314ce0 - std::panic::catch_unwind::hbaccb0e2b31709e3 [INFO] [stderr] at /rustc/2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a/library/std/src/panic.rs:357:14 [INFO] [stderr] 26: 0x56db70314ce0 - std::rt::lang_start_internal::{{closure}}::h7198495ea56efd33 [INFO] [stderr] at /rustc/2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a/library/std/src/rt.rs:175:24 [INFO] [stderr] 27: 0x56db70314ce0 - std::panicking::catch_unwind::do_call::h99da2dc7cb1e75a0 [INFO] [stderr] at /rustc/2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a/library/std/src/panicking.rs:590:40 [INFO] [stderr] 28: 0x56db70314ce0 - std::panicking::catch_unwind::h6453a2e176c5b24c [INFO] [stderr] at /rustc/2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a/library/std/src/panicking.rs:553:19 [INFO] [stderr] 29: 0x56db70314ce0 - std::panic::catch_unwind::h9e17cb347ef13a01 [INFO] [stderr] at /rustc/2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a/library/std/src/panic.rs:357:14 [INFO] [stderr] 30: 0x56db70314ce0 - std::rt::lang_start_internal::hab0d17ce23b7a433 [INFO] [stderr] at /rustc/2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a/library/std/src/rt.rs:171:5 [INFO] [stderr] 31: 0x56db6fe2eef1 - std::rt::lang_start::heb3992d14844bb84 [INFO] [stderr] 32: 0x56db6fe321f5 - main [INFO] [stderr] 33: 0x798b8cae71ca - [INFO] [stderr] 34: 0x798b8cae728b - __libc_start_main [INFO] [stderr] 35: 0x56db6fe2e565 - _start [INFO] [stderr] 36: 0x0 - [INFO] running `Command { std: "docker" "inspect" "d6ccb08b33ad356fc6e827b92805aa3e050d02aabc5e286225707b9f7e15df5b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d6ccb08b33ad356fc6e827b92805aa3e050d02aabc5e286225707b9f7e15df5b", kill_on_drop: false }` [INFO] [stdout] d6ccb08b33ad356fc6e827b92805aa3e050d02aabc5e286225707b9f7e15df5b