[INFO] cloning repository https://github.com/FathimaHaris/equivalence_checcker_z3
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/FathimaHaris/equivalence_checcker_z3" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FFathimaHaris%2Fequivalence_checcker_z3", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FFathimaHaris%2Fequivalence_checcker_z3'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] f3c829920abc59e6c81785b33a8a646f4a0dda3e
[INFO] checking FathimaHaris/equivalence_checcker_z3/f3c829920abc59e6c81785b33a8a646f4a0dda3e against 3d50c25bc66853bf0ad205529d0f305a1d841b5e for pr-159598
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FFathimaHaris%2Fequivalence_checcker_z3" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/FathimaHaris/equivalence_checcker_z3
[INFO] finished tweaking git repo https://github.com/FathimaHaris/equivalence_checcker_z3
[INFO] tweaked toml for git repo https://github.com/FathimaHaris/equivalence_checcker_z3 written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/FathimaHaris/equivalence_checcker_z3 on toolchain 3d50c25bc66853bf0ad205529d0f305a1d841b5e
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+3d50c25bc66853bf0ad205529d0f305a1d841b5e" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/FathimaHaris/equivalence_checcker_z3 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" "+3d50c25bc66853bf0ad205529d0f305a1d841b5e" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded cc v1.2.56
[INFO] [stderr]   Downloaded cmake v0.1.57
[INFO] [stderr]   Downloaded is-terminal v0.4.17
[INFO] [stderr]   Downloaded clap_lex v1.0.0
[INFO] [stderr]   Downloaded z3 v0.12.1
[INFO] [stderr]   Downloaded leb128fmt v0.1.0
[INFO] [stderr]   Downloaded futures-sink v0.3.32
[INFO] [stderr]   Downloaded futures-task v0.3.32
[INFO] [stderr]   Downloaded anstyle-wincon v3.0.11
[INFO] [stderr]   Downloaded futures-core v0.3.32
[INFO] [stderr]   Downloaded http-range-header v0.4.2
[INFO] [stderr]   Downloaded anstyle-query v1.1.5
[INFO] [stderr]   Downloaded is_terminal_polyfill v1.70.2
[INFO] [stderr]   Downloaded once_cell_polyfill v1.70.2
[INFO] [stderr]   Downloaded tempfile v3.26.0
[INFO] [stderr]   Downloaded wit-bindgen-rust-macro v0.51.0
[INFO] [stderr]   Downloaded id-arena v2.3.0
[INFO] [stderr]   Downloaded peeking_take_while v0.1.2
[INFO] [stderr]   Downloaded env_logger v0.10.2
[INFO] [stderr]   Downloaded unicase v2.9.0
[INFO] [stderr]   Downloaded humantime v2.3.0
[INFO] [stderr]   Downloaded mime_guess v2.0.5
[INFO] [stderr]   Downloaded clap_derive v4.5.55
[INFO] [stderr]   Downloaded multer v3.1.0
[INFO] [stderr]   Downloaded slab v0.4.12
[INFO] [stderr]   Downloaded wasm-metadata v0.244.0
[INFO] [stderr]   Downloaded wit-bindgen-core v0.51.0
[INFO] [stderr]   Downloaded colored v2.2.0
[INFO] [stderr]   Downloaded wit-bindgen-rust v0.51.0
[INFO] [stderr]   Downloaded futures-channel v0.3.32
[INFO] [stderr]   Downloaded anyhow v1.0.102
[INFO] [stderr]   Downloaded tokio-macros v2.6.0
[INFO] [stderr]   Downloaded ryu v1.0.23
[INFO] [stderr]   Downloaded tracing-core v0.1.36
[INFO] [stderr]   Downloaded getrandom v0.2.17
[INFO] [stderr]   Downloaded clap v4.5.60
[INFO] [stderr]   Downloaded socket2 v0.6.2
[INFO] [stderr]   Downloaded getrandom v0.4.1
[INFO] [stderr]   Downloaded wit-bindgen v0.51.0
[INFO] [stderr]   Downloaded wasm-encoder v0.244.0
[INFO] [stderr]   Downloaded indexmap v2.13.0
[INFO] [stderr]   Downloaded hyper-util v0.1.20
[INFO] [stderr]   Downloaded memchr v2.8.0
[INFO] [stderr]   Downloaded tower-http v0.5.2
[INFO] [stderr]   Downloaded zerocopy-derive v0.8.40
[INFO] [stderr]   Downloaded tower v0.5.3
[INFO] [stderr]   Downloaded http v1.4.0
[INFO] [stderr]   Downloaded wasip3 v0.4.0+wasi-0.3.0-rc-2026-01-06
[INFO] [stderr]   Downloaded hashbrown v0.16.1
[INFO] [stderr]   Downloaded wasip2 v1.0.2+wasi-0.2.9
[INFO] [stderr]   Downloaded hyper v1.8.1
[INFO] [stderr]   Downloaded tokio-util v0.7.18
[INFO] [stderr]   Downloaded futures-util v0.3.32
[INFO] [stderr]   Downloaded wit-parser v0.244.0
[INFO] [stderr]   Downloaded regex v1.12.3
[INFO] [stderr]   Downloaded aho-corasick v1.1.4
[INFO] [stderr]   Downloaded bindgen v0.66.1
[INFO] [stderr]   Downloaded clap_builder v4.5.60
[INFO] [stderr]   Downloaded zerocopy v0.8.40
[INFO] [stderr]   Downloaded wit-component v0.244.0
[INFO] [stderr]   Downloaded wasmparser v0.244.0
[INFO] [stderr]   Downloaded rustix v1.1.4
[INFO] [stderr]   Downloaded regex-syntax v0.8.10
[INFO] [stderr]   Downloaded tracing v0.1.44
[INFO] [stderr]   Downloaded regex-automata v0.4.14
[INFO] [stderr]   Downloaded libc v0.2.182
[INFO] [stderr]   Downloaded tokio v1.49.0
[INFO] [stderr]   Downloaded linux-raw-sys v0.12.1
[INFO] [stderr]   Downloaded z3-sys v0.8.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:00c5645b54fe3ce5dae1417175e3c7fb6a6646c021d554ecd63a097b8b9f3602" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 6329afbd469f5214f1e1470ac920d2fd52b5c66b7a388533d5cafce68e6d3ba4
[INFO] running `Command { std: "docker" "start" "6329afbd469f5214f1e1470ac920d2fd52b5c66b7a388533d5cafce68e6d3ba4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "6329afbd469f5214f1e1470ac920d2fd52b5c66b7a388533d5cafce68e6d3ba4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "6329afbd469f5214f1e1470ac920d2fd52b5c66b7a388533d5cafce68e6d3ba4" "/opt/rustwide/cargo-home/bin/cargo" "+3d50c25bc66853bf0ad205529d0f305a1d841b5e" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "6329afbd469f5214f1e1470ac920d2fd52b5c66b7a388533d5cafce68e6d3ba4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-w" "/opt/rustwide/workdir" "--user" "0:0" "6329afbd469f5214f1e1470ac920d2fd52b5c66b7a388533d5cafce68e6d3ba4" "/opt/rustwide/cargo-home/bin/cargo" "+3d50c25bc66853bf0ad205529d0f305a1d841b5e" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling quote v1.0.44
[INFO] [stderr]    Compiling unicode-ident v1.0.24
[INFO] [stderr]    Compiling libc v0.2.182
[INFO] [stderr]     Checking cfg-if v1.0.4
[INFO] [stderr]     Checking itoa v1.0.17
[INFO] [stderr]     Checking bytes v1.11.1
[INFO] [stderr]     Checking pin-project-lite v0.2.17
[INFO] [stderr]     Checking futures-core v0.3.32
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling glob v0.3.3
[INFO] [stderr]     Checking smallvec v1.15.1
[INFO] [stderr]    Compiling memchr v2.8.0
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]     Checking lock_api v0.4.14
[INFO] [stderr]     Checking once_cell v1.21.3
[INFO] [stderr]    Compiling regex-syntax v0.8.10
[INFO] [stderr]     Checking log v0.4.29
[INFO] [stderr]    Compiling minimal-lexical v0.2.1
[INFO] [stderr]    Compiling shlex v1.3.0
[INFO] [stderr]    Compiling clang-sys v1.8.1
[INFO] [stderr]    Compiling libloading v0.8.9
[INFO] [stderr]    Compiling bindgen v0.66.1
[INFO] [stderr]     Checking slab v0.4.12
[INFO] [stderr]    Compiling find-msvc-tools v0.1.9
[INFO] [stderr]     Checking futures-task v0.3.32
[INFO] [stderr]     Checking tracing-core v0.1.36
[INFO] [stderr]    Compiling cc v1.2.56
[INFO] [stderr]     Checking mime v0.3.17
[INFO] [stderr]    Compiling peeking_take_while v0.1.2
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling lazy_static v1.5.0
[INFO] [stderr]    Compiling bitflags v2.11.0
[INFO] [stderr]     Checking tower-service v0.3.3
[INFO] [stderr]    Compiling lazycell v1.3.0
[INFO] [stderr]    Compiling zerocopy v0.8.40
[INFO] [stderr]    Compiling rustversion v1.0.22
[INFO] [stderr]    Compiling unicase v2.9.0
[INFO] [stderr]     Checking httpdate v1.0.3
[INFO] [stderr]     Checking futures-util v0.3.32
[INFO] [stderr]     Checking percent-encoding v2.3.2
[INFO] [stderr]     Checking http v1.4.0
[INFO] [stderr]    Compiling zmij v1.0.21
[INFO] [stderr]     Checking tower-layer v0.3.3
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling mime_guess v2.0.5
[INFO] [stderr]     Checking anstyle-parse v0.2.7
[INFO] [stderr]     Checking tracing v0.1.44
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling multer v3.1.0
[INFO] [stderr]     Checking aho-corasick v1.1.4
[INFO] [stderr]     Checking futures-channel v0.3.32
[INFO] [stderr]     Checking is_terminal_polyfill v1.70.2
[INFO] [stderr]     Checking colorchoice v1.0.4
[INFO] [stderr]     Checking anstyle-query v1.1.5
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]     Checking sync_wrapper v1.0.2
[INFO] [stderr]     Checking atomic-waker v1.1.2
[INFO] [stderr]    Compiling getrandom v0.4.1
[INFO] [stderr]     Checking anstyle v1.0.13
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]     Checking anstream v0.6.21
[INFO] [stderr]     Checking errno v0.3.14
[INFO] [stderr]     Checking mio v1.1.1
[INFO] [stderr]     Checking parking_lot v0.12.5
[INFO] [stderr]     Checking signal-hook-registry v1.4.8
[INFO] [stderr]     Checking socket2 v0.6.2
[INFO] [stderr]    Compiling cmake v0.1.57
[INFO] [stderr]     Checking getrandom v0.2.17
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking form_urlencoded v1.2.2
[INFO] [stderr]     Checking http-body v1.0.1
[INFO] [stderr]     Checking encoding_rs v0.8.35
[INFO] [stderr]     Checking ryu v1.0.23
[INFO] [stderr]     Checking http-body-util v0.1.3
[INFO] [stderr]    Compiling anyhow v1.0.102
[INFO] [stderr]     Checking strsim v0.11.1
[INFO] [stderr]     Checking clap_lex v1.0.0
[INFO] [stderr]     Checking spin v0.9.8
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]     Checking linux-raw-sys v0.12.1
[INFO] [stderr]    Compiling heck v0.5.0
[INFO] [stderr]     Checking futures-sink v0.3.32
[INFO] [stderr]     Checking clap_builder v4.5.60
[INFO] [stderr]     Checking is-terminal v0.4.17
[INFO] [stderr]     Checking fastrand v2.3.0
[INFO] [stderr]     Checking termcolor v1.4.1
[INFO] [stderr]     Checking http-range-header v0.4.2
[INFO] [stderr]     Checking humantime v2.3.0
[INFO] [stderr]     Checking matchit v0.7.3
[INFO] [stderr]     Checking colored v2.2.0
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling cexpr v0.6.0
[INFO] [stderr]     Checking serde_path_to_error v0.1.20
[INFO] [stderr]     Checking tempfile v3.26.0
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]     Checking env_logger v0.10.2
[INFO] [stderr]    Compiling tokio-macros v2.6.0
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling async-trait v0.1.89
[INFO] [stderr]    Compiling clap_derive v4.5.55
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]     Checking tokio v1.49.0
[INFO] [stderr]     Checking axum-core v0.4.5
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking clap v4.5.60
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking serde_urlencoded v0.7.1
[INFO] [stderr]     Checking hyper v1.8.1
[INFO] [stderr]     Checking tower v0.5.3
[INFO] [stderr]     Checking tokio-util v0.7.18
[INFO] [stderr]     Checking tower-http v0.5.2
[INFO] [stderr]     Checking hyper-util v0.1.20
[INFO] [stderr]    Compiling z3-sys v0.8.1
[INFO] [stderr]     Checking axum v0.7.9
[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-4cf46e666cd6c291/build-script-build` (exit status: 101)
[INFO] [stderr]   --- stdout
[INFO] [stderr]   CMAKE_TOOLCHAIN_FILE_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   CMAKE_TOOLCHAIN_FILE_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   HOST_CMAKE_TOOLCHAIN_FILE = None
[INFO] [stderr]   CMAKE_TOOLCHAIN_FILE = None
[INFO] [stderr]   CMAKE_GENERATOR_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   CMAKE_GENERATOR_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   HOST_CMAKE_GENERATOR = None
[INFO] [stderr]   CMAKE_GENERATOR = None
[INFO] [stderr]   CMAKE_PREFIX_PATH_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   CMAKE_PREFIX_PATH_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   HOST_CMAKE_PREFIX_PATH = None
[INFO] [stderr]   CMAKE_PREFIX_PATH = None
[INFO] [stderr]   CMAKE_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   CMAKE_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   HOST_CMAKE = None
[INFO] [stderr]   CMAKE = None
[INFO] [stderr]   -- Configuring incomplete, errors occurred!
[INFO] [stderr] 
[INFO] [stderr]   --- stderr
[INFO] [stderr]   running: cd "/opt/rustwide/target/debug/build/z3-sys-1832b75b825ca5f7/out/build" && CMAKE_PREFIX_PATH="" LC_ALL="C" "cmake" "/opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/z3-sys-0.8.1/z3" "-B" "/opt/rustwide/target/debug/build/z3-sys-1832b75b825ca5f7/out/build" "-DZ3_BUILD_LIBZ3_SHARED=false" "-DZ3_BUILD_EXECUTABLE=false" "-DZ3_BUILD_TEST_EXECUTABLES=false" "-DCMAKE_INSTALL_PREFIX=/opt/rustwide/target/debug/build/z3-sys-1832b75b825ca5f7/out" "-DCMAKE_C_FLAGS= -ffunction-sections -fdata-sections -fPIC -m64 -w" "-DCMAKE_C_COMPILER=/usr/bin/cc" "-DCMAKE_CXX_FLAGS= -ffunction-sections -fdata-sections -fPIC -m64 -w" "-DCMAKE_CXX_COMPILER=/usr/bin/c++" "-DCMAKE_ASM_FLAGS= -ffunction-sections -fdata-sections -fPIC -m64 -w" "-DCMAKE_ASM_COMPILER=/usr/bin/cc" "-DCMAKE_BUILD_TYPE=Debug"
[INFO] [stderr]   CMake Error at CMakeLists.txt:2 (cmake_minimum_required):
[INFO] [stderr]     Compatibility with CMake < 3.5 has been removed from CMake.
[INFO] [stderr] 
[INFO] [stderr]     Update the VERSION argument <min> value.  Or, use the <min>...<max> syntax
[INFO] [stderr]     to tell CMake that the project requires at least <min> but has been updated
[INFO] [stderr]     to work with policies introduced by <max> or earlier.
[INFO] [stderr] 
[INFO] [stderr]     Or, add -DCMAKE_POLICY_VERSION_MINIMUM=3.5 to try configuring anyway.
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr]   thread 'main' (1691) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/cmake-0.1.57/src/lib.rs:1132:5:
[INFO] [stderr] 
[INFO] [stderr]   command did not execute successfully, got: exit status: 1
[INFO] [stderr] 
[INFO] [stderr]   build script failed, must exit now
[INFO] [stderr]   stack backtrace:
[INFO] [stderr]      0:     0x61aad9c8ae31 - std[85685cc41b6aa0cb]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stderr]                                  at /rustc/3d50c25bc66853bf0ad205529d0f305a1d841b5e/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stderr]      1:     0x61aad9c8ae31 - std[85685cc41b6aa0cb]::backtrace_rs::backtrace::trace_unsynchronized::<std[85685cc41b6aa0cb]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stderr]                                  at /rustc/3d50c25bc66853bf0ad205529d0f305a1d841b5e/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stderr]      2:     0x61aad9c8ae31 - std[85685cc41b6aa0cb]::sys::backtrace::_print_fmt
[INFO] [stderr]                                  at /rustc/3d50c25bc66853bf0ad205529d0f305a1d841b5e/library/std/src/sys/backtrace.rs:74:9
[INFO] [stderr]      3:     0x61aad9c8ae31 - <<std[85685cc41b6aa0cb]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[87bdcaa552bbd21b]::fmt::Display>::fmt
[INFO] [stderr]                                  at /rustc/3d50c25bc66853bf0ad205529d0f305a1d841b5e/library/std/src/sys/backtrace.rs:44:26
[INFO] [stderr]      4:     0x61aad9ca290a - <core[87bdcaa552bbd21b]::fmt::rt::Argument>::fmt
[INFO] [stderr]                                  at /rustc/3d50c25bc66853bf0ad205529d0f305a1d841b5e/library/core/src/fmt/rt.rs:152:76
[INFO] [stderr]      5:     0x61aad9ca290a - core[87bdcaa552bbd21b]::fmt::write
[INFO] [stderr]      6:     0x61aad9c910ec - core[87bdcaa552bbd21b]::io::write::default_write_fmt::<std[85685cc41b6aa0cb]::sys::stdio::unix::Stderr>
[INFO] [stderr]                                  at /rustc/3d50c25bc66853bf0ad205529d0f305a1d841b5e/library/core/src/io/write.rs:402:11
[INFO] [stderr]      7:     0x61aad9c910ec - <std[85685cc41b6aa0cb]::sys::stdio::unix::Stderr as core[87bdcaa552bbd21b]::io::write::Write>::write_fmt
[INFO] [stderr]                                  at /rustc/3d50c25bc66853bf0ad205529d0f305a1d841b5e/library/core/src/io/write.rs:335:13
[INFO] [stderr]      8:     0x61aad9c67a66 - <std[85685cc41b6aa0cb]::sys::backtrace::BacktraceLock>::print
[INFO] [stderr]                                  at /rustc/3d50c25bc66853bf0ad205529d0f305a1d841b5e/library/std/src/sys/backtrace.rs:47:9
[INFO] [stderr]      9:     0x61aad9c67a66 - std[85685cc41b6aa0cb]::panicking::default_hook::{closure#0}
[INFO] [stderr]                                  at /rustc/3d50c25bc66853bf0ad205529d0f305a1d841b5e/library/std/src/panicking.rs:292:27
[INFO] [stderr]     10:     0x61aad9c847f1 - std[85685cc41b6aa0cb]::panicking::default_hook
[INFO] [stderr]                                  at /rustc/3d50c25bc66853bf0ad205529d0f305a1d841b5e/library/std/src/panicking.rs:319:9
[INFO] [stderr]     11:     0x61aad9c84b1b - std[85685cc41b6aa0cb]::panicking::panic_with_hook
[INFO] [stderr]                                  at /rustc/3d50c25bc66853bf0ad205529d0f305a1d841b5e/library/std/src/panicking.rs:815:13
[INFO] [stderr]     12:     0x61aad9c67b12 - std[85685cc41b6aa0cb]::panicking::panic_handler::{closure#0}
[INFO] [stderr]                                  at /rustc/3d50c25bc66853bf0ad205529d0f305a1d841b5e/library/std/src/panicking.rs:688:13
[INFO] [stderr]     13:     0x61aad9c60ed9 - std[85685cc41b6aa0cb]::sys::backtrace::__rust_end_short_backtrace::<std[85685cc41b6aa0cb]::panicking::panic_handler::{closure#0}, !>
[INFO] [stderr]                                  at /rustc/3d50c25bc66853bf0ad205529d0f305a1d841b5e/library/std/src/sys/backtrace.rs:182:18
[INFO] [stderr]     14:     0x61aad9c6830d - __rustc[ae31d3f5d92751]::rust_begin_unwind
[INFO] [stderr]                                  at /rustc/3d50c25bc66853bf0ad205529d0f305a1d841b5e/library/std/src/panicking.rs:679:5
[INFO] [stderr]     15:     0x61aad9ca31ac - core[87bdcaa552bbd21b]::panicking::panic_fmt
[INFO] [stderr]                                  at /rustc/3d50c25bc66853bf0ad205529d0f305a1d841b5e/library/core/src/panicking.rs:80:14
[INFO] [stderr]     16:     0x61aad974ff27 - cmake[bacd852b50fdec6f]::fail
[INFO] [stderr]     17:     0x61aad974fbb3 - cmake[bacd852b50fdec6f]::run
[INFO] [stderr]     18:     0x61aad97554c9 - <cmake[bacd852b50fdec6f]::Config>::build
[INFO] [stderr]     19:     0x61aad973f8ad - build_script_build[6982bf7c4b38fdad]::build_z3
[INFO] [stderr]     20:     0x61aad973eb32 - build_script_build[6982bf7c4b38fdad]::main
[INFO] [stderr]     21:     0x61aad9741a43 - <fn() as core[87bdcaa552bbd21b]::ops::function::FnOnce<()>>::call_once
[INFO] [stderr]     22:     0x61aad973eaa6 - std[85685cc41b6aa0cb]::sys::backtrace::__rust_begin_short_backtrace::<fn(), ()>
[INFO] [stderr]     23:     0x61aad973eab9 - std[85685cc41b6aa0cb]::rt::lang_start::<()>::{closure#0}
[INFO] [stderr]     24:     0x61aad9c839f7 - <&dyn core[87bdcaa552bbd21b]::ops::function::Fn<(), Output = i32> + core[87bdcaa552bbd21b]::marker::Sync + core[87bdcaa552bbd21b]::panic::unwind_safe::RefUnwindSafe as core[87bdcaa552bbd21b]::ops::function::FnOnce<()>>::call_once
[INFO] [stderr]                                  at /rustc/3d50c25bc66853bf0ad205529d0f305a1d841b5e/library/core/src/ops/function.rs:287:21
[INFO] [stderr]     25:     0x61aad9c839f7 - std[85685cc41b6aa0cb]::panicking::catch_unwind::do_call::<&dyn core[87bdcaa552bbd21b]::ops::function::Fn<(), Output = i32> + core[87bdcaa552bbd21b]::marker::Sync + core[87bdcaa552bbd21b]::panic::unwind_safe::RefUnwindSafe, i32>
[INFO] [stderr]                                  at /rustc/3d50c25bc66853bf0ad205529d0f305a1d841b5e/library/std/src/panicking.rs:576:43
[INFO] [stderr]     26:     0x61aad9c839f7 - std[85685cc41b6aa0cb]::panicking::catch_unwind::<i32, &dyn core[87bdcaa552bbd21b]::ops::function::Fn<(), Output = i32> + core[87bdcaa552bbd21b]::marker::Sync + core[87bdcaa552bbd21b]::panic::unwind_safe::RefUnwindSafe>
[INFO] [stderr]                                  at /rustc/3d50c25bc66853bf0ad205529d0f305a1d841b5e/library/std/src/panicking.rs:544:19
[INFO] [stderr]     27:     0x61aad9c839f7 - std[85685cc41b6aa0cb]::panic::catch_unwind::<&dyn core[87bdcaa552bbd21b]::ops::function::Fn<(), Output = i32> + core[87bdcaa552bbd21b]::marker::Sync + core[87bdcaa552bbd21b]::panic::unwind_safe::RefUnwindSafe, i32>
[INFO] [stderr]                                  at /rustc/3d50c25bc66853bf0ad205529d0f305a1d841b5e/library/std/src/panic.rs:359:14
[INFO] [stderr]     28:     0x61aad9c839f7 - std[85685cc41b6aa0cb]::rt::lang_start_internal::{closure#0}
[INFO] [stderr]                                  at /rustc/3d50c25bc66853bf0ad205529d0f305a1d841b5e/library/std/src/rt.rs:175:24
[INFO] [stderr]     29:     0x61aad9c839f7 - std[85685cc41b6aa0cb]::panicking::catch_unwind::do_call::<std[85685cc41b6aa0cb]::rt::lang_start_internal::{closure#0}, isize>
[INFO] [stderr]                                  at /rustc/3d50c25bc66853bf0ad205529d0f305a1d841b5e/library/std/src/panicking.rs:576:43
[INFO] [stderr]     30:     0x61aad9c839f7 - std[85685cc41b6aa0cb]::panicking::catch_unwind::<isize, std[85685cc41b6aa0cb]::rt::lang_start_internal::{closure#0}>
[INFO] [stderr]                                  at /rustc/3d50c25bc66853bf0ad205529d0f305a1d841b5e/library/std/src/panicking.rs:544:19
[INFO] [stderr]     31:     0x61aad9c839f7 - std[85685cc41b6aa0cb]::panic::catch_unwind::<std[85685cc41b6aa0cb]::rt::lang_start_internal::{closure#0}, isize>
[INFO] [stderr]                                  at /rustc/3d50c25bc66853bf0ad205529d0f305a1d841b5e/library/std/src/panic.rs:359:14
[INFO] [stderr]     32:     0x61aad9c839f7 - std[85685cc41b6aa0cb]::rt::lang_start_internal
[INFO] [stderr]                                  at /rustc/3d50c25bc66853bf0ad205529d0f305a1d841b5e/library/std/src/rt.rs:171:5
[INFO] [stderr]     33:     0x61aad973ea91 - std[85685cc41b6aa0cb]::rt::lang_start::<()>
[INFO] [stderr]     34:     0x61aad9741cf5 - main
[INFO] [stderr]     35:     0x7b1ce0b21601 - <unknown>
[INFO] [stderr]     36:     0x7b1ce0b21718 - __libc_start_main
[INFO] [stderr]     37:     0x61aad973cf65 - _start
[INFO] [stderr]     38:                0x0 - <unknown>
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "6329afbd469f5214f1e1470ac920d2fd52b5c66b7a388533d5cafce68e6d3ba4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6329afbd469f5214f1e1470ac920d2fd52b5c66b7a388533d5cafce68e6d3ba4", kill_on_drop: false }`
[INFO] [stdout] 6329afbd469f5214f1e1470ac920d2fd52b5c66b7a388533d5cafce68e6d3ba4
