[INFO] fetching crate xlsynth-prover 0.5.0... [INFO] testing xlsynth-prover-0.5.0 against master#350d0ef0ec0493e6d21cfb265cb8211a0e74d766 for pr-145330-1 [INFO] extracting crate xlsynth-prover 0.5.0 into /workspace/builds/worker-0-tc1/source [INFO] started tweaking crates.io crate xlsynth-prover 0.5.0 [INFO] finished tweaking crates.io crate xlsynth-prover 0.5.0 [INFO] tweaked toml for crates.io crate xlsynth-prover 0.5.0 written to /workspace/builds/worker-0-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate xlsynth-prover 0.5.0 on toolchain 350d0ef0ec0493e6d21cfb265cb8211a0e74d766 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate xlsynth-prover 0.5.0 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" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded camino v1.2.0 [INFO] [stderr] Downloaded arbitrary v1.4.2 [INFO] [stderr] Downloaded rand_pcg v0.3.1 [INFO] [stderr] Downloaded copy_dir v0.1.3 [INFO] [stderr] Downloaded derive_arbitrary v1.4.2 [INFO] [stderr] Downloaded xlsynth-sys v0.5.0 [INFO] [stderr] Downloaded easy-smt v0.3.2 [INFO] [stderr] Downloaded xlsynth v0.5.0 [INFO] [stderr] Downloaded xlsynth-pir v0.5.0 [INFO] [stderr] Downloaded boolector-sys v0.7.2 [INFO] [stderr] Downloaded bitwuzla-sys v0.8.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 170e4729b1b34b3a787ff3c6211c16eac7cf43bb1c3fe3864d4fd25b05fa8577 [INFO] running `Command { std: "docker" "start" "-a" "170e4729b1b34b3a787ff3c6211c16eac7cf43bb1c3fe3864d4fd25b05fa8577", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "170e4729b1b34b3a787ff3c6211c16eac7cf43bb1c3fe3864d4fd25b05fa8577", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "170e4729b1b34b3a787ff3c6211c16eac7cf43bb1c3fe3864d4fd25b05fa8577", kill_on_drop: false }` [INFO] [stdout] 170e4729b1b34b3a787ff3c6211c16eac7cf43bb1c3fe3864d4fd25b05fa8577 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 40c96a2a7990677d2103949b7b5ebd4208b8f856202c39f016fd2103438906e0 [INFO] running `Command { std: "docker" "start" "-a" "40c96a2a7990677d2103949b7b5ebd4208b8f856202c39f016fd2103438906e0", kill_on_drop: false }` [INFO] [stderr] Compiling zeroize v1.8.1 [INFO] [stderr] Compiling serde_core v1.0.226 [INFO] [stderr] Compiling untrusted v0.9.0 [INFO] [stderr] Compiling rustix v1.1.2 [INFO] [stderr] Compiling httparse v1.10.1 [INFO] [stderr] Compiling typenum v1.18.0 [INFO] [stderr] Compiling log v0.4.28 [INFO] [stderr] Compiling bytes v1.10.1 [INFO] [stderr] Compiling rustls v0.23.32 [INFO] [stderr] Compiling ring v0.17.14 [INFO] [stderr] Compiling generic-array v0.14.7 [INFO] [stderr] Compiling crc32fast v1.5.0 [INFO] [stderr] Compiling adler2 v2.0.1 [INFO] [stderr] Compiling subtle v2.6.1 [INFO] [stderr] Compiling getrandom v0.2.16 [INFO] [stderr] Compiling base64 v0.22.1 [INFO] [stderr] Compiling filetime v0.2.26 [INFO] [stderr] Compiling serde v1.0.226 [INFO] [stderr] Compiling rustls-pki-types v1.12.0 [INFO] [stderr] Compiling miniz_oxide v0.8.9 [INFO] [stderr] Compiling cpufeatures v0.2.17 [INFO] [stderr] Compiling utf-8 v0.7.6 [INFO] [stderr] Compiling percent-encoding v2.3.2 [INFO] [stderr] Compiling serde_derive v1.0.226 [INFO] [stderr] Compiling camino v1.2.0 [INFO] [stderr] Compiling serde_json v1.0.145 [INFO] [stderr] Compiling radium v0.7.0 [INFO] [stderr] Compiling blake3 v1.8.2 [INFO] [stderr] Compiling tap v1.0.1 [INFO] [stderr] Compiling env_filter v0.1.3 [INFO] [stderr] Compiling derive_arbitrary v1.4.2 [INFO] [stderr] Compiling arrayvec v0.7.6 [INFO] [stderr] Compiling wyz v0.5.1 [INFO] [stderr] Compiling webpki-roots v1.0.2 [INFO] [stderr] Compiling rustls-pemfile v2.2.0 [INFO] [stderr] Compiling flate2 v1.1.2 [INFO] [stderr] Compiling http v1.3.1 [INFO] [stderr] Compiling constant_time_eq v0.3.1 [INFO] [stderr] Compiling arrayref v0.3.9 [INFO] [stderr] Compiling funty v2.0.0 [INFO] [stderr] Compiling clap_builder v4.5.48 [INFO] [stderr] Compiling env_logger v0.11.8 [INFO] [stderr] Compiling clap_derive v4.5.47 [INFO] [stderr] Compiling rand_pcg v0.3.1 [INFO] [stderr] Compiling bitvec v1.0.1 [INFO] [stderr] Compiling arbitrary v1.4.2 [INFO] [stderr] Compiling crypto-common v0.1.6 [INFO] [stderr] Compiling block-buffer v0.10.4 [INFO] [stderr] Compiling ureq-proto v0.5.2 [INFO] [stderr] Compiling digest v0.10.7 [INFO] [stderr] Compiling sha2 v0.10.9 [INFO] [stderr] Compiling xattr v1.6.1 [INFO] [stderr] Compiling tar v0.4.44 [INFO] [stderr] Compiling semver v1.0.27 [INFO] [stderr] Compiling clap v4.5.48 [INFO] [stderr] Compiling cargo-platform v0.1.9 [INFO] [stderr] Compiling cargo_metadata v0.18.1 [INFO] [stderr] Compiling rustls-webpki v0.103.6 [INFO] [stderr] Compiling ureq v3.1.2 [INFO] [stderr] Compiling xlsynth-sys v0.5.0 [INFO] [stderr] error: failed to run custom build command for `xlsynth-sys v0.5.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/xlsynth-sys-57f904db3fa19fd2/build-script-build` (exit status: 101) [INFO] [stderr] --- stdout [INFO] [stderr] cargo:info=downloading checksum from https://github.com/xlsynth/xlsynth/releases/download/v0.5.0//dslx_stdlib.tar.gz.sha256 to /tmp/xlsynth-sys-tmp-1251/dslx_stdlib.tar.gz.sha256 [INFO] [stderr] cargo:error=failed to download file with ureq (will try curl): io: failed to lookup address information: Temporary failure in name resolution [INFO] [stderr] cargo:error=failed to download file on attempt 1: Failed to download https://github.com/xlsynth/xlsynth/releases/download/v0.5.0//dslx_stdlib.tar.gz.sha256: curl returned non-zero exit status [INFO] [stderr] cargo:info=downloading checksum from https://github.com/xlsynth/xlsynth/releases/download/v0.5.0//dslx_stdlib.tar.gz.sha256 to /tmp/xlsynth-sys-tmp-1251/dslx_stdlib.tar.gz.sha256 [INFO] [stderr] cargo:error=failed to download file with ureq (will try curl): io: failed to lookup address information: Temporary failure in name resolution [INFO] [stderr] cargo:error=failed to download file on attempt 2: Failed to download https://github.com/xlsynth/xlsynth/releases/download/v0.5.0//dslx_stdlib.tar.gz.sha256: curl returned non-zero exit status [INFO] [stderr] cargo:info=downloading checksum from https://github.com/xlsynth/xlsynth/releases/download/v0.5.0//dslx_stdlib.tar.gz.sha256 to /tmp/xlsynth-sys-tmp-1251/dslx_stdlib.tar.gz.sha256 [INFO] [stderr] cargo:error=failed to download file with ureq (will try curl): io: failed to lookup address information: Temporary failure in name resolution [INFO] [stderr] cargo:error=failed to download file on attempt 3: Failed to download https://github.com/xlsynth/xlsynth/releases/download/v0.5.0//dslx_stdlib.tar.gz.sha256: curl returned non-zero exit status [INFO] [stderr] cargo:info=downloading checksum from https://github.com/xlsynth/xlsynth/releases/download/v0.5.0//dslx_stdlib.tar.gz.sha256 to /tmp/xlsynth-sys-tmp-1251/dslx_stdlib.tar.gz.sha256 [INFO] [stderr] cargo:error=failed to download file with ureq (will try curl): io: failed to lookup address information: Temporary failure in name resolution [INFO] [stderr] cargo:error=failed to download file on attempt 4: Failed to download https://github.com/xlsynth/xlsynth/releases/download/v0.5.0//dslx_stdlib.tar.gz.sha256: curl returned non-zero exit status [INFO] [stderr] cargo:info=downloading checksum from https://github.com/xlsynth/xlsynth/releases/download/v0.5.0//dslx_stdlib.tar.gz.sha256 to /tmp/xlsynth-sys-tmp-1251/dslx_stdlib.tar.gz.sha256 [INFO] [stderr] cargo:error=failed to download file with ureq (will try curl): io: failed to lookup address information: Temporary failure in name resolution [INFO] [stderr] cargo:error=failed to download file on attempt 5: Failed to download https://github.com/xlsynth/xlsynth/releases/download/v0.5.0//dslx_stdlib.tar.gz.sha256: curl returned non-zero exit status [INFO] [stderr] cargo:info=downloading checksum from https://github.com/xlsynth/xlsynth/releases/download/v0.5.0//dslx_stdlib.tar.gz.sha256 to /tmp/xlsynth-sys-tmp-1251/dslx_stdlib.tar.gz.sha256 [INFO] [stderr] cargo:error=failed to download file with ureq (will try curl): io: failed to lookup address information: Temporary failure in name resolution [INFO] [stderr] cargo:error=failed to download file on attempt 6: Failed to download https://github.com/xlsynth/xlsynth/releases/download/v0.5.0//dslx_stdlib.tar.gz.sha256: curl returned non-zero exit status [INFO] [stderr] [INFO] [stderr] --- stderr [INFO] [stderr] curl: (6) Could not resolve host: github.com [INFO] [stderr] curl: (6) Could not resolve host: github.com [INFO] [stderr] curl: (6) Could not resolve host: github.com [INFO] [stderr] curl: (6) Could not resolve host: github.com [INFO] [stderr] curl: (6) Could not resolve host: github.com [INFO] [stderr] curl: (6) Could not resolve host: github.com [INFO] [stderr] [INFO] [stderr] thread 'main' (1251) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/xlsynth-sys-0.5.0/build.rs:471:10: [INFO] [stderr] download of stdlib tarball should succeed: "Failed to download file /opt/rustwide/target/debug/build/xlsynth-sys-c36014c5401ef314/out/dslx_stdlib.tar.gz after 6 attempts" [INFO] [stderr] stack backtrace: [INFO] [stderr] 0: 0x556d9b647542 - std::backtrace_rs::backtrace::libunwind::trace::h0fb8082ca5562a61 [INFO] [stderr] at /rustc/350d0ef0ec0493e6d21cfb265cb8211a0e74d766/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stderr] 1: 0x556d9b647542 - std::backtrace_rs::backtrace::trace_unsynchronized::hfaa258994374a3cd [INFO] [stderr] at /rustc/350d0ef0ec0493e6d21cfb265cb8211a0e74d766/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stderr] 2: 0x556d9b647542 - std::sys::backtrace::_print_fmt::h11496fe34963a885 [INFO] [stderr] at /rustc/350d0ef0ec0493e6d21cfb265cb8211a0e74d766/library/std/src/sys/backtrace.rs:66:9 [INFO] [stderr] 3: 0x556d9b647542 - ::fmt::hff1a9408d012ee89 [INFO] [stderr] at /rustc/350d0ef0ec0493e6d21cfb265cb8211a0e74d766/library/std/src/sys/backtrace.rs:39:26 [INFO] [stderr] 4: 0x556d9b66b56f - core::fmt::rt::Argument::fmt::hf11195b61445f5d1 [INFO] [stderr] at /rustc/350d0ef0ec0493e6d21cfb265cb8211a0e74d766/library/core/src/fmt/rt.rs:173:76 [INFO] [stderr] 5: 0x556d9b66b56f - core::fmt::write::h2f1fc679f228cc52 [INFO] [stderr] at /rustc/350d0ef0ec0493e6d21cfb265cb8211a0e74d766/library/core/src/fmt/mod.rs:1468:25 [INFO] [stderr] 6: 0x556d9b638273 - std::io::default_write_fmt::hdd5e6d67566e664d [INFO] [stderr] at /rustc/350d0ef0ec0493e6d21cfb265cb8211a0e74d766/library/std/src/io/mod.rs:639:11 [INFO] [stderr] 7: 0x556d9b638273 - std::io::Write::write_fmt::haa2231cbd9aebf95 [INFO] [stderr] at /rustc/350d0ef0ec0493e6d21cfb265cb8211a0e74d766/library/std/src/io/mod.rs:1954:13 [INFO] [stderr] 8: 0x556d9b647392 - std::sys::backtrace::BacktraceLock::print::h28bfdbcac6d3828b [INFO] [stderr] at /rustc/350d0ef0ec0493e6d21cfb265cb8211a0e74d766/library/std/src/sys/backtrace.rs:42:9 [INFO] [stderr] 9: 0x556d9b6350bc - std::panicking::default_hook::{{closure}}::h1f968e3a24b0e3b4 [INFO] [stderr] at /rustc/350d0ef0ec0493e6d21cfb265cb8211a0e74d766/library/std/src/panicking.rs:301:27 [INFO] [stderr] 10: 0x556d9b634f03 - std::panicking::default_hook::h43da101644971931 [INFO] [stderr] at /rustc/350d0ef0ec0493e6d21cfb265cb8211a0e74d766/library/std/src/panicking.rs:328:9 [INFO] [stderr] 11: 0x556d9b6355fa - std::panicking::panic_with_hook::hb4e916c3e65eccec [INFO] [stderr] at /rustc/350d0ef0ec0493e6d21cfb265cb8211a0e74d766/library/std/src/panicking.rs:834:13 [INFO] [stderr] 12: 0x556d9b646f1a - std::panicking::panic_handler::{{closure}}::hbff715d0475cf1bd [INFO] [stderr] at /rustc/350d0ef0ec0493e6d21cfb265cb8211a0e74d766/library/std/src/panicking.rs:707:13 [INFO] [stderr] 13: 0x556d9b646e79 - std::sys::backtrace::__rust_end_short_backtrace::hd6f43484e45a4955 [INFO] [stderr] at /rustc/350d0ef0ec0493e6d21cfb265cb8211a0e74d766/library/std/src/sys/backtrace.rs:174:18 [INFO] [stderr] 14: 0x556d9b635aed - __rustc[b29d3319de9a3146]::rust_begin_unwind [INFO] [stderr] at /rustc/350d0ef0ec0493e6d21cfb265cb8211a0e74d766/library/std/src/panicking.rs:698:5 [INFO] [stderr] 15: 0x556d9b670220 - core::panicking::panic_fmt::h5f8d281875be5ff1 [INFO] [stderr] at /rustc/350d0ef0ec0493e6d21cfb265cb8211a0e74d766/library/core/src/panicking.rs:75:14 [INFO] [stderr] 16: 0x556d9b6709e6 - core::result::unwrap_failed::hbb243a6a8b53218d [INFO] [stderr] at /rustc/350d0ef0ec0493e6d21cfb265cb8211a0e74d766/library/core/src/result.rs:1852:5 [INFO] [stderr] 17: 0x556d9b33ffbf - core::result::Result::expect::h72736ab043621ce2 [INFO] [stderr] 18: 0x556d9b333e12 - build_script_build::download_stdlib_if_dne::he75022f88828d8bd [INFO] [stderr] 19: 0x556d9b335d7f - build_script_build::main::h60282de7e23f0b66 [INFO] [stderr] 20: 0x556d9b347e63 - core::ops::function::FnOnce::call_once::h6af947bcbbb73ca8 [INFO] [stderr] 21: 0x556d9b342036 - std::sys::backtrace::__rust_begin_short_backtrace::h57d71fa9ea7904d8 [INFO] [stderr] 22: 0x556d9b33adc9 - std::rt::lang_start::{{closure}}::h922a4f02210ad47c [INFO] [stderr] 23: 0x556d9b647b50 - core::ops::function::impls:: for &F>::call_once::h32dc2b2f49a48277 [INFO] [stderr] at /rustc/350d0ef0ec0493e6d21cfb265cb8211a0e74d766/library/core/src/ops/function.rs:290:21 [INFO] [stderr] 24: 0x556d9b647b50 - std::panicking::catch_unwind::do_call::h3353546a38525559 [INFO] [stderr] at /rustc/350d0ef0ec0493e6d21cfb265cb8211a0e74d766/library/std/src/panicking.rs:590:40 [INFO] [stderr] 25: 0x556d9b647b50 - std::panicking::catch_unwind::h57fb70202d1ae368 [INFO] [stderr] at /rustc/350d0ef0ec0493e6d21cfb265cb8211a0e74d766/library/std/src/panicking.rs:553:19 [INFO] [stderr] 26: 0x556d9b647b50 - std::panic::catch_unwind::h4b724a52bb5803b4 [INFO] [stderr] at /rustc/350d0ef0ec0493e6d21cfb265cb8211a0e74d766/library/std/src/panic.rs:359:14 [INFO] [stderr] 27: 0x556d9b647b50 - std::rt::lang_start_internal::{{closure}}::h3724b3072c80532a [INFO] [stderr] at /rustc/350d0ef0ec0493e6d21cfb265cb8211a0e74d766/library/std/src/rt.rs:175:24 [INFO] [stderr] 28: 0x556d9b647b50 - std::panicking::catch_unwind::do_call::h4f6e90f858bd1c3f [INFO] [stderr] at /rustc/350d0ef0ec0493e6d21cfb265cb8211a0e74d766/library/std/src/panicking.rs:590:40 [INFO] [stderr] 29: 0x556d9b647b50 - std::panicking::catch_unwind::h81c085c0d350991c [INFO] [stderr] at /rustc/350d0ef0ec0493e6d21cfb265cb8211a0e74d766/library/std/src/panicking.rs:553:19 [INFO] [stderr] 30: 0x556d9b647b50 - std::panic::catch_unwind::h289049af1176d82a [INFO] [stderr] at /rustc/350d0ef0ec0493e6d21cfb265cb8211a0e74d766/library/std/src/panic.rs:359:14 [INFO] [stderr] 31: 0x556d9b647b50 - std::rt::lang_start_internal::h3c37ebeb799b11e1 [INFO] [stderr] at /rustc/350d0ef0ec0493e6d21cfb265cb8211a0e74d766/library/std/src/rt.rs:171:5 [INFO] [stderr] 32: 0x556d9b33adb1 - std::rt::lang_start::h55e160758cefcf86 [INFO] [stderr] 33: 0x556d9b33aee5 - main [INFO] [stderr] 34: 0x7f3c4873e1ca - [INFO] [stderr] 35: 0x7f3c4873e28b - __libc_start_main [INFO] [stderr] 36: 0x556d9b3304a5 - _start [INFO] [stderr] 37: 0x0 - [INFO] running `Command { std: "docker" "inspect" "40c96a2a7990677d2103949b7b5ebd4208b8f856202c39f016fd2103438906e0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "40c96a2a7990677d2103949b7b5ebd4208b8f856202c39f016fd2103438906e0", kill_on_drop: false }` [INFO] [stdout] 40c96a2a7990677d2103949b7b5ebd4208b8f856202c39f016fd2103438906e0