[INFO] fetching crate bitwuzla-sys 0.2.0...
[INFO] testing bitwuzla-sys-0.2.0 against 1.75.0 for beta-1.76-1
[INFO] extracting crate bitwuzla-sys 0.2.0 into /workspace/builds/worker-7-tc1/source
[INFO] validating manifest of crates.io crate bitwuzla-sys 0.2.0 on toolchain 1.75.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.75.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate bitwuzla-sys 0.2.0
[INFO] finished tweaking crates.io crate bitwuzla-sys 0.2.0
[INFO] tweaked toml for crates.io crate bitwuzla-sys 0.2.0 written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.75.0" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.75.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded copy_dir v0.1.3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+1.75.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] bfdec47df7d76c94a3bb7204083f0047dd18a3423d125d215b8a36f65b832266
[INFO] running `Command { std: "docker" "start" "-a" "bfdec47df7d76c94a3bb7204083f0047dd18a3423d125d215b8a36f65b832266", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "bfdec47df7d76c94a3bb7204083f0047dd18a3423d125d215b8a36f65b832266", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bfdec47df7d76c94a3bb7204083f0047dd18a3423d125d215b8a36f65b832266", kill_on_drop: false }`
[INFO] [stdout] bfdec47df7d76c94a3bb7204083f0047dd18a3423d125d215b8a36f65b832266
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+1.75.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 4cf65ab47b4aa84728416d719ab7b8cbe88325e9d21579884f3c1e7f4de289a4
[INFO] running `Command { std: "docker" "start" "-a" "4cf65ab47b4aa84728416d719ab7b8cbe88325e9d21579884f3c1e7f4de289a4", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.151
[INFO] [stderr]    Compiling bitwuzla-sys v0.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1.03s
[INFO] running `Command { std: "docker" "inspect" "4cf65ab47b4aa84728416d719ab7b8cbe88325e9d21579884f3c1e7f4de289a4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4cf65ab47b4aa84728416d719ab7b8cbe88325e9d21579884f3c1e7f4de289a4", kill_on_drop: false }`
[INFO] [stdout] 4cf65ab47b4aa84728416d719ab7b8cbe88325e9d21579884f3c1e7f4de289a4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+1.75.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 4d44957eea009980b66e81025c8b321010ee8381936689307e1fcdb1c35f808f
[INFO] running `Command { std: "docker" "start" "-a" "4d44957eea009980b66e81025c8b321010ee8381936689307e1fcdb1c35f808f", kill_on_drop: false }`
[INFO] [stderr]    Compiling bitwuzla-sys v0.2.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: function `bindgen_test_layout_BitwuzlaOptionInfo__bindgen_ty_1__bindgen_ty_1` should have a snake case name
[INFO] [stdout]    --> src/../src-generated/bindings.rs:186:4
[INFO] [stdout]     |
[INFO] [stdout] 186 | fn bindgen_test_layout_BitwuzlaOptionInfo__bindgen_ty_1__bindgen_ty_1() {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `bindgen_test_layout_bitwuzla_option_info_bindgen_ty_1_bindgen_ty_1`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(non_snake_case)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `bindgen_test_layout_BitwuzlaOptionInfo__bindgen_ty_1__bindgen_ty_2` should have a snake case name
[INFO] [stdout]    --> src/../src-generated/bindings.rs:288:4
[INFO] [stdout]     |
[INFO] [stdout] 288 | fn bindgen_test_layout_BitwuzlaOptionInfo__bindgen_ty_1__bindgen_ty_2() {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `bindgen_test_layout_bitwuzla_option_info_bindgen_ty_1_bindgen_ty_2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `bindgen_test_layout_BitwuzlaOptionInfo__bindgen_ty_1` should have a snake case name
[INFO] [stdout]    --> src/../src-generated/bindings.rs:383:4
[INFO] [stdout]     |
[INFO] [stdout] 383 | fn bindgen_test_layout_BitwuzlaOptionInfo__bindgen_ty_1() {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `bindgen_test_layout_bitwuzla_option_info_bindgen_ty_1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `bindgen_test_layout_BitwuzlaOptionInfo` should have a snake case name
[INFO] [stdout]    --> src/../src-generated/bindings.rs:433:4
[INFO] [stdout]     |
[INFO] [stdout] 433 | fn bindgen_test_layout_BitwuzlaOptionInfo() {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `bindgen_test_layout_bitwuzla_option_info`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/1.75.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustc716gyM/symbols.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-e6a4adf763becb06.bitwuzla_sys.1505aa1cc0acdf71-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-e6a4adf763becb06.4a7v5o384bdesbgz.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/1.75.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bdynamic" "-lbitwuzla" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/liblibc-f01c1240f7c859d0.rlib" "/opt/rustwide/rustup-home/toolchains/1.75.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-3df1bed8075ce1de.rlib" "/opt/rustwide/rustup-home/toolchains/1.75.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-2076fd86b325cb5d.rlib" "/opt/rustwide/rustup-home/toolchains/1.75.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-caa7152ee70c190f.rlib" "/opt/rustwide/rustup-home/toolchains/1.75.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-04e6425e07f02a3c.rlib" "/opt/rustwide/rustup-home/toolchains/1.75.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-90f6ddbf82de36ec.rlib" "/opt/rustwide/rustup-home/toolchains/1.75.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-480c41e9d4e1f677.rlib" "/opt/rustwide/rustup-home/toolchains/1.75.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-db744c0ca03eed1d.rlib" "/opt/rustwide/rustup-home/toolchains/1.75.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-8ba652dc7d4b285a.rlib" "/opt/rustwide/rustup-home/toolchains/1.75.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-d5f4520a9ebc0d58.rlib" "/opt/rustwide/rustup-home/toolchains/1.75.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-4ad84de58f0cb463.rlib" "/opt/rustwide/rustup-home/toolchains/1.75.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-0d10aae2e0f38735.rlib" "/opt/rustwide/rustup-home/toolchains/1.75.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-0c17cff739e6745b.rlib" "/opt/rustwide/rustup-home/toolchains/1.75.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-b29e17139dde1aa8.rlib" "/opt/rustwide/rustup-home/toolchains/1.75.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-1f975299829cc7bd.rlib" "/opt/rustwide/rustup-home/toolchains/1.75.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-86bae3bc3079f89b.rlib" "/opt/rustwide/rustup-home/toolchains/1.75.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-321b82c30dffdf5f.rlib" "/opt/rustwide/rustup-home/toolchains/1.75.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-3dd8a6810a0bdfef.rlib" "/opt/rustwide/rustup-home/toolchains/1.75.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-eb39a61c0c879984.rlib" "/opt/rustwide/rustup-home/toolchains/1.75.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-aa769569f91c3548.rlib" "/opt/rustwide/rustup-home/toolchains/1.75.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-510a192a50a983ed.rlib" "/opt/rustwide/rustup-home/toolchains/1.75.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-0577018320f99037.rlib" "/opt/rustwide/rustup-home/toolchains/1.75.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-193cf992125ccd4c.rlib" "/opt/rustwide/rustup-home/toolchains/1.75.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-8e138eaf26ebb4a8.rlib" "-Wl,-Bdynamic" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/rustup-home/toolchains/1.75.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-e6a4adf763becb06" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs"
[INFO] [stdout]   = note: /usr/bin/ld: cannot find -lbitwuzla: No such file or directory
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to previous error; 4 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `bitwuzla-sys` (lib test) due to 2 previous errors; 4 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "4d44957eea009980b66e81025c8b321010ee8381936689307e1fcdb1c35f808f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4d44957eea009980b66e81025c8b321010ee8381936689307e1fcdb1c35f808f", kill_on_drop: false }`
[INFO] [stdout] 4d44957eea009980b66e81025c8b321010ee8381936689307e1fcdb1c35f808f
