[INFO] cloning repository https://github.com/ezrantn/incremental-skolem
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/ezrantn/incremental-skolem" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fezrantn%2Fincremental-skolem", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fezrantn%2Fincremental-skolem'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 1c1a6fd7e9368619fb08f2df2dacceac2eab6181
[INFO] checking ezrantn/incremental-skolem against 3154cc1a3e6424e44f438a95007d043ed5ceaaf6 for pr-133502-30
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fezrantn%2Fincremental-skolem" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/ezrantn/incremental-skolem
[INFO] finished tweaking git repo https://github.com/ezrantn/incremental-skolem
[INFO] tweaked toml for git repo https://github.com/ezrantn/incremental-skolem written to /workspace/builds/worker-0-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/ezrantn/incremental-skolem on toolchain 3154cc1a3e6424e44f438a95007d043ed5ceaaf6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/ezrantn/incremental-skolem already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 00283e88dcdd904c55f895df2a0cfc3eb47ea37c869693ac0e42de2baba13f9f
[INFO] running `Command { std: "docker" "start" "00283e88dcdd904c55f895df2a0cfc3eb47ea37c869693ac0e42de2baba13f9f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "00283e88dcdd904c55f895df2a0cfc3eb47ea37c869693ac0e42de2baba13f9f", 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" "00283e88dcdd904c55f895df2a0cfc3eb47ea37c869693ac0e42de2baba13f9f" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "00283e88dcdd904c55f895df2a0cfc3eb47ea37c869693ac0e42de2baba13f9f", 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" "00283e88dcdd904c55f895df2a0cfc3eb47ea37c869693ac0e42de2baba13f9f" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling jobserver v0.1.35
[INFO] [stderr]    Compiling futures-core v0.3.34
[INFO] [stderr]    Compiling hybrid-array v0.4.14
[INFO] [stderr]    Compiling mio v1.2.2
[INFO] [stderr]    Compiling socket2 v0.6.5
[INFO] [stderr]    Compiling futures-sink v0.3.34
[INFO] [stderr]    Compiling zerofrom v0.1.8
[INFO] [stderr]    Compiling icu_properties_data v2.2.0
[INFO] [stderr]    Compiling icu_normalizer_data v2.2.0
[INFO] [stderr]    Compiling const-oid v0.10.2
[INFO] [stderr]    Compiling yoke v0.8.3
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling rustls-pki-types v1.15.1
[INFO] [stderr]    Compiling futures-io v0.3.34
[INFO] [stderr]    Compiling zerovec v0.11.6
[INFO] [stderr]    Compiling cc v1.4.2
[INFO] [stderr]    Compiling zerotrie v0.2.4
[INFO] [stderr]    Compiling futures-task v0.3.34
[INFO] [stderr]    Compiling tokio v1.53.1
[INFO] [stderr]    Compiling futures-util v0.3.34
[INFO] [stderr]    Compiling httparse v1.10.1
[INFO] [stderr]    Compiling rustls v0.23.43
[INFO] [stderr]    Compiling cpufeatures v0.3.0
[INFO] [stderr]    Compiling futures-channel v0.3.34
[INFO] [stderr]    Compiling crc32fast v1.5.0
[INFO] [stderr]    Compiling sync_wrapper v1.0.2
[INFO] [stderr]    Compiling crypto-common v0.2.2
[INFO] [stderr]    Compiling block-buffer v0.12.1
[INFO] [stderr]    Compiling inout v0.2.2
[INFO] [stderr]    Compiling getrandom v0.4.3
[INFO] [stderr]    Compiling zmij v1.0.23
[INFO] [stderr]    Compiling serde v1.0.229
[INFO] [stderr]    Compiling tinystr v0.8.3
[INFO] [stderr]    Compiling potential_utf v0.1.5
[INFO] [stderr]    Compiling webpki-roots v1.0.9
[INFO] [stderr]    Compiling icu_collections v2.2.0
[INFO] [stderr]    Compiling cpubits v0.1.1
[INFO] [stderr]    Compiling zlib-rs v0.6.7
[INFO] [stderr]    Compiling icu_locale_core v2.2.0
[INFO] [stderr]    Compiling digest v0.11.3
[INFO] [stderr]    Compiling cipher v0.5.2
[INFO] [stderr]    Compiling sha2 v0.11.0
[INFO] [stderr]    Compiling hmac v0.13.0
[INFO] [stderr]    Compiling libbz2-rs-sys v0.2.5
[INFO] [stderr]    Compiling zopfli v0.8.3
[INFO] [stderr]    Compiling ring v0.17.14
[INFO] [stderr]    Compiling icu_provider v2.2.0
[INFO] [stderr]    Compiling zstd-sys v2.0.16+zstd.1.5.7
[INFO] [stderr]    Compiling lzma-rust2 v0.16.5
[INFO] [stderr]    Compiling bzip2 v0.6.1
[INFO] [stderr]    Compiling icu_normalizer v2.2.0
[INFO] [stderr]    Compiling icu_properties v2.2.0
[INFO] [stderr]    Compiling time v0.3.55
[INFO] [stderr]    Compiling aes v0.9.2
[INFO] [stderr]    Compiling pbkdf2 v0.13.0
[INFO] [stderr]    Compiling sha1 v0.11.0
[INFO] [stderr]    Compiling serde_urlencoded v0.7.1
[INFO] [stderr]    Compiling idna_adapter v1.2.2
[INFO] [stderr]    Compiling idna v1.1.0
[INFO] [stderr]    Compiling http-body-util v0.1.5
[INFO] [stderr]    Compiling ppmd-rust v1.4.0
[INFO] [stderr]    Compiling constant_time_eq v0.4.2
[INFO] [stderr]    Compiling typed-path v0.12.3
[INFO] [stderr]    Compiling url v2.5.8
[INFO] [stderr]    Compiling serde_json v1.0.151
[INFO] [stderr]    Compiling hyper v1.11.0
[INFO] [stderr]    Compiling tower v0.5.3
[INFO] [stderr]    Compiling flate2 v1.1.9
[INFO] [stderr]    Compiling hyper-util v0.1.20
[INFO] [stderr]    Compiling tower-http v0.6.11
[INFO] [stderr]    Compiling rustls-webpki v0.103.13
[INFO] [stderr]    Compiling zstd-safe v7.2.4
[INFO] [stderr]    Compiling zstd v0.13.3
[INFO] [stderr]    Compiling zip v8.6.0
[INFO] [stderr]    Compiling tokio-rustls v0.26.4
[INFO] [stderr]    Compiling hyper-rustls v0.27.9
[INFO] [stderr]    Compiling reqwest v0.12.28
[INFO] [stderr]    Compiling z3-sys v0.11.0
[INFO] [stderr] error: failed to run custom build command for `z3-sys v0.11.0`
[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/71dd4a4ed2bf144a/out/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_VERSION
[INFO] [stderr] 
[INFO] [stderr]   --- stderr
[INFO] [stderr] 
[INFO] [stderr]   thread 'main' (1090) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/z3-sys-0.11.0/build.rs:191:13:
[INFO] [stderr]   Could not find release for z3-4.16.0
[INFO] [stderr]   stack backtrace:
[INFO] [stderr]      0:     0x56ae4c099241 - std[3164a59e47d3bde]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stderr]      1:     0x56ae4c099241 - std[3164a59e47d3bde]::backtrace_rs::backtrace::trace_unsynchronized::<std[3164a59e47d3bde]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stderr]      2:     0x56ae4c099241 - std[3164a59e47d3bde]::sys::backtrace::_print_fmt
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/sys/backtrace.rs:74:9
[INFO] [stderr]      3:     0x56ae4c099241 - <<std[3164a59e47d3bde]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[934024a1e6126fb4]::fmt::Display>::fmt
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/sys/backtrace.rs:44:26
[INFO] [stderr]      4:     0x56ae4c0ae74a - <core[934024a1e6126fb4]::fmt::rt::Argument>::fmt
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/core/src/fmt/rt.rs:152:76
[INFO] [stderr]      5:     0x56ae4c0ae74a - core[934024a1e6126fb4]::fmt::write
[INFO] [stderr]      6:     0x56ae4c09dd4c - core[934024a1e6126fb4]::io::write::default_write_fmt::<std[3164a59e47d3bde]::sys::stdio::unix::Stderr>
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/core/src/io/write.rs:402:11
[INFO] [stderr]      7:     0x56ae4c09dd4c - <std[3164a59e47d3bde]::sys::stdio::unix::Stderr as core[934024a1e6126fb4]::io::write::Write>::write_fmt
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/core/src/io/write.rs:335:13
[INFO] [stderr]      8:     0x56ae4c076246 - <std[3164a59e47d3bde]::sys::backtrace::BacktraceLock>::print
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/sys/backtrace.rs:47:9
[INFO] [stderr]      9:     0x56ae4c076246 - std[3164a59e47d3bde]::panicking::default_hook::{closure#0}
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panicking.rs:289:27
[INFO] [stderr]     10:     0x56ae4c093211 - std[3164a59e47d3bde]::panicking::default_hook
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panicking.rs:316:9
[INFO] [stderr]     11:     0x56ae4c09353b - std[3164a59e47d3bde]::panicking::panic_with_hook
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panicking.rs:811:13
[INFO] [stderr]     12:     0x56ae4c0762f2 - std[3164a59e47d3bde]::panicking::panic_handler::{closure#0}
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panicking.rs:685:13
[INFO] [stderr]     13:     0x56ae4c06edd9 - std[3164a59e47d3bde]::sys::backtrace::__rust_end_short_backtrace::<std[3164a59e47d3bde]::panicking::panic_handler::{closure#0}, !>
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/sys/backtrace.rs:182:18
[INFO] [stderr]     14:     0x56ae4c076ecd - __rustc[2e7b49d4226056d3]::rust_begin_unwind
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panicking.rs:676:5
[INFO] [stderr]     15:     0x56ae4c0aef6c - core[934024a1e6126fb4]::panicking::panic_fmt
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/core/src/panicking.rs:80:14
[INFO] [stderr]     16:     0x56ae4bb1dea9 - build_script_build[adc3767aa952798a]::gh_release::get_release_asset_url
[INFO] [stderr]     17:     0x56ae4bb1e603 - build_script_build[adc3767aa952798a]::gh_release::retrieve_gh_release_z3
[INFO] [stderr]     18:     0x56ae4bb1ee15 - build_script_build[adc3767aa952798a]::gh_release::install_from_gh_release
[INFO] [stderr]     19:     0x56ae4bb1bebc - build_script_build[adc3767aa952798a]::main
[INFO] [stderr]     20:     0x56ae4bb2d173 - <fn() as core[934024a1e6126fb4]::ops::function::FnOnce<()>>::call_once
[INFO] [stderr]     21:     0x56ae4bb36ee6 - std[3164a59e47d3bde]::sys::backtrace::__rust_begin_short_backtrace::<fn(), ()>
[INFO] [stderr]     22:     0x56ae4bb1b409 - std[3164a59e47d3bde]::rt::lang_start::<()>::{closure#0}
[INFO] [stderr]     23:     0x56ae4c0922f8 - <&dyn core[934024a1e6126fb4]::ops::function::Fn<(), Output = i32> + core[934024a1e6126fb4]::marker::Sync + core[934024a1e6126fb4]::panic::unwind_safe::RefUnwindSafe as core[934024a1e6126fb4]::ops::function::FnOnce<()>>::call_once
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/core/src/ops/function.rs:287:21
[INFO] [stderr]     24:     0x56ae4c0922f8 - std[3164a59e47d3bde]::panicking::catch_unwind::do_call::<&dyn core[934024a1e6126fb4]::ops::function::Fn<(), Output = i32> + core[934024a1e6126fb4]::marker::Sync + core[934024a1e6126fb4]::panic::unwind_safe::RefUnwindSafe, i32>
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panicking.rs:573:43
[INFO] [stderr]     25:     0x56ae4c0922f8 - std[3164a59e47d3bde]::panicking::catch_unwind::<i32, &dyn core[934024a1e6126fb4]::ops::function::Fn<(), Output = i32> + core[934024a1e6126fb4]::marker::Sync + core[934024a1e6126fb4]::panic::unwind_safe::RefUnwindSafe>
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panicking.rs:541:19
[INFO] [stderr]     26:     0x56ae4c0922f8 - std[3164a59e47d3bde]::panic::catch_unwind::<&dyn core[934024a1e6126fb4]::ops::function::Fn<(), Output = i32> + core[934024a1e6126fb4]::marker::Sync + core[934024a1e6126fb4]::panic::unwind_safe::RefUnwindSafe, i32>
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panic.rs:359:14
[INFO] [stderr]     27:     0x56ae4c0922f8 - std[3164a59e47d3bde]::rt::lang_start_internal::{closure#0}
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/rt.rs:175:24
[INFO] [stderr]     28:     0x56ae4c0922f8 - std[3164a59e47d3bde]::panicking::catch_unwind::do_call::<std[3164a59e47d3bde]::rt::lang_start_internal::{closure#0}, isize>
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panicking.rs:573:43
[INFO] [stderr]     29:     0x56ae4c0922f8 - std[3164a59e47d3bde]::panicking::catch_unwind::<isize, std[3164a59e47d3bde]::rt::lang_start_internal::{closure#0}>
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panicking.rs:541:19
[INFO] [stderr]     30:     0x56ae4c0922f8 - std[3164a59e47d3bde]::panic::catch_unwind::<std[3164a59e47d3bde]::rt::lang_start_internal::{closure#0}, isize>
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/panic.rs:359:14
[INFO] [stderr]     31:     0x56ae4c0922f8 - std[3164a59e47d3bde]::rt::lang_start_internal
[INFO] [stderr]                                  at /rustc/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/library/std/src/rt.rs:171:5
[INFO] [stderr]     32:     0x56ae4bb1af91 - std[3164a59e47d3bde]::rt::lang_start::<()>
[INFO] [stderr]     33:     0x56ae4bb1f9c5 - main
[INFO] [stderr]     34:     0x765014dcc601 - <unknown>
[INFO] [stderr]     35:     0x765014dcc718 - __libc_start_main
[INFO] [stderr]     36:     0x56ae4bb03fe5 - _start
[INFO] [stderr]     37:                0x0 - <unknown>
[INFO] running `Command { std: "docker" "inspect" "00283e88dcdd904c55f895df2a0cfc3eb47ea37c869693ac0e42de2baba13f9f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "00283e88dcdd904c55f895df2a0cfc3eb47ea37c869693ac0e42de2baba13f9f", kill_on_drop: false }`
[INFO] [stdout] 00283e88dcdd904c55f895df2a0cfc3eb47ea37c869693ac0e42de2baba13f9f
