[INFO] fetching crate bitwuzla-sys 0.1.1... [INFO] testing bitwuzla-sys-0.1.1 against 1.60.0 for beta-1.61-1 [INFO] extracting crate bitwuzla-sys 0.1.1 into /workspace/builds/worker-39/source [INFO] validating manifest of crates.io crate bitwuzla-sys 0.1.1 on toolchain 1.60.0 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.60.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate bitwuzla-sys 0.1.1 [INFO] finished tweaking crates.io crate bitwuzla-sys 0.1.1 [INFO] tweaked toml for crates.io crate bitwuzla-sys 0.1.1 written to /workspace/builds/worker-39/source/Cargo.toml [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.60.0" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }` [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.60.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-39/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-39/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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 9a70f7b88cb65aeb603a8504a502d407e1049b7b730bd5160f9720b475645e4c [INFO] running `Command { std: "docker" "start" "-a" "9a70f7b88cb65aeb603a8504a502d407e1049b7b730bd5160f9720b475645e4c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "9a70f7b88cb65aeb603a8504a502d407e1049b7b730bd5160f9720b475645e4c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9a70f7b88cb65aeb603a8504a502d407e1049b7b730bd5160f9720b475645e4c", kill_on_drop: false }` [INFO] [stdout] 9a70f7b88cb65aeb603a8504a502d407e1049b7b730bd5160f9720b475645e4c [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-39/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-39/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" "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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 09b5bcbf119c6c19e8a1701712bd5b1d12fb03924144c9a08a0a3fbd9c2fc915 [INFO] running `Command { std: "docker" "start" "-a" "09b5bcbf119c6c19e8a1701712bd5b1d12fb03924144c9a08a0a3fbd9c2fc915", kill_on_drop: false }` [INFO] [stderr] Compiling bitwuzla-sys v0.1.1 (/opt/rustwide/workdir) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1.62s [INFO] running `Command { std: "docker" "inspect" "09b5bcbf119c6c19e8a1701712bd5b1d12fb03924144c9a08a0a3fbd9c2fc915", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "09b5bcbf119c6c19e8a1701712bd5b1d12fb03924144c9a08a0a3fbd9c2fc915", kill_on_drop: false }` [INFO] [stdout] 09b5bcbf119c6c19e8a1701712bd5b1d12fb03924144c9a08a0a3fbd9c2fc915 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-39/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-39/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" "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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 682379b256f8b9999fb8824347a0a1a2e99af9f050f8e8c2c33ad1f96dbd4391 [INFO] running `Command { std: "docker" "start" "-a" "682379b256f8b9999fb8824347a0a1a2e99af9f050f8e8c2c33ad1f96dbd4391", kill_on_drop: false }` [INFO] [stderr] Compiling bitwuzla-sys v0.1.1 (/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:185:4 [INFO] [stdout] | [INFO] [stdout] 185 | 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: dereferencing a null pointer [INFO] [stdout] --> src/../src-generated/bindings.rs:204:14 [INFO] [stdout] | [INFO] [stdout] 204 | &(*(::std::ptr::null::())).cur_val [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this code causes undefined behavior when executed [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(deref_nullptr)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: dereferencing a null pointer [INFO] [stdout] --> src/../src-generated/bindings.rs:217:14 [INFO] [stdout] | [INFO] [stdout] 217 | &(*(::std::ptr::null::())).def_val [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this code causes undefined behavior when executed [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: dereferencing a null pointer [INFO] [stdout] --> src/../src-generated/bindings.rs:230:14 [INFO] [stdout] | [INFO] [stdout] 230 | &(*(::std::ptr::null::())).min_val [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this code causes undefined behavior when executed [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: dereferencing a null pointer [INFO] [stdout] --> src/../src-generated/bindings.rs:243:14 [INFO] [stdout] | [INFO] [stdout] 243 | &(*(::std::ptr::null::())).max_val [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this code causes undefined behavior when executed [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:263:4 [INFO] [stdout] | [INFO] [stdout] 263 | 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: dereferencing a null pointer [INFO] [stdout] --> src/../src-generated/bindings.rs:282:14 [INFO] [stdout] | [INFO] [stdout] 282 | &(*(::std::ptr::null::())).cur_val [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this code causes undefined behavior when executed [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: dereferencing a null pointer [INFO] [stdout] --> src/../src-generated/bindings.rs:295:14 [INFO] [stdout] | [INFO] [stdout] 295 | &(*(::std::ptr::null::())).def_val [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this code causes undefined behavior when executed [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: dereferencing a null pointer [INFO] [stdout] --> src/../src-generated/bindings.rs:308:14 [INFO] [stdout] | [INFO] [stdout] 308 | &(*(::std::ptr::null::())).num_values [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this code causes undefined behavior when executed [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: dereferencing a null pointer [INFO] [stdout] --> src/../src-generated/bindings.rs:321:14 [INFO] [stdout] | [INFO] [stdout] 321 | &(*(::std::ptr::null::())).values [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this code causes undefined behavior when executed [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:334:4 [INFO] [stdout] | [INFO] [stdout] 334 | 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: dereferencing a null pointer [INFO] [stdout] --> src/../src-generated/bindings.rs:350:14 [INFO] [stdout] | [INFO] [stdout] 350 | &(*(::std::ptr::null::())).numeric as *const _ [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this code causes undefined behavior when executed [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: dereferencing a null pointer [INFO] [stdout] --> src/../src-generated/bindings.rs:363:14 [INFO] [stdout] | [INFO] [stdout] 363 | &(*(::std::ptr::null::())).string as *const _ as usize [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this code causes undefined behavior when executed [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:375:4 [INFO] [stdout] | [INFO] [stdout] 375 | 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] warning: dereferencing a null pointer [INFO] [stdout] --> src/../src-generated/bindings.rs:387:19 [INFO] [stdout] | [INFO] [stdout] 387 | unsafe { &(*(::std::ptr::null::())).opt as *const _ as usize }, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this code causes undefined behavior when executed [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: dereferencing a null pointer [INFO] [stdout] --> src/../src-generated/bindings.rs:397:19 [INFO] [stdout] | [INFO] [stdout] 397 | unsafe { &(*(::std::ptr::null::())).shrt as *const _ as usize }, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this code causes undefined behavior when executed [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: dereferencing a null pointer [INFO] [stdout] --> src/../src-generated/bindings.rs:407:19 [INFO] [stdout] | [INFO] [stdout] 407 | unsafe { &(*(::std::ptr::null::())).lng as *const _ as usize }, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this code causes undefined behavior when executed [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: dereferencing a null pointer [INFO] [stdout] --> src/../src-generated/bindings.rs:417:19 [INFO] [stdout] | [INFO] [stdout] 417 | unsafe { &(*(::std::ptr::null::())).desc as *const _ as usize }, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this code causes undefined behavior when executed [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: dereferencing a null pointer [INFO] [stdout] --> src/../src-generated/bindings.rs:427:19 [INFO] [stdout] | [INFO] [stdout] 427 | unsafe { &(*(::std::ptr::null::())).is_numeric as *const _ as usize }, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ this code causes undefined behavior when executed [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/opt/rustwide/target/debug/deps/bitwuzla_sys-2bfa54ab102f088d.bitwuzla_sys.c605a3b4-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-2bfa54ab102f088d.bitwuzla_sys.c605a3b4-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-2bfa54ab102f088d.bitwuzla_sys.c605a3b4-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-2bfa54ab102f088d.bitwuzla_sys.c605a3b4-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-2bfa54ab102f088d.bitwuzla_sys.c605a3b4-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-2bfa54ab102f088d.bitwuzla_sys.c605a3b4-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-2bfa54ab102f088d.bitwuzla_sys.c605a3b4-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-2bfa54ab102f088d.bitwuzla_sys.c605a3b4-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-2bfa54ab102f088d.bitwuzla_sys.c605a3b4-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-2bfa54ab102f088d.bitwuzla_sys.c605a3b4-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-2bfa54ab102f088d.bitwuzla_sys.c605a3b4-cgu.9.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-2bfa54ab102f088d.2pt5ezl35u0c82h6.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-lbitwuzla" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/liblibc-cbcf0797f466a12c.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-b6a068090bf40c71.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-1c1e08c768cd8903.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-3f4474e7a3a1f53f.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-ec55ab174918e77a.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-8d61b92a0a02f53a.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-fc45202bb435016b.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-f2400674c7513725.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-605c3a7d1a5d300d.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-3d4fb4efa907e4e8.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-65207f030ab23308.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-76ca199cb0186109.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-1e3e01ed4f561dc1.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-dd8dddcba7c13fee.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-00b13d31c3420656.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-e4c8460b81557bd5.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-600d46e5f0005455.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-e4a08a2585b62d37.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-fbc21ec567cb9dc7.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-10b3fa8e49bd978f.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-64625b73694ffce7.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-fb6b78ac543a58ee.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-1d1f2d1bec6f51b8.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-acf5ff6e9595d982.rlib" "-Wl,-Bdynamic" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-znoexecstack" "-L" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-2bfa54ab102f088d" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro,-znow" "-nodefaultlibs" [INFO] [stdout] = note: /usr/bin/ld: cannot find -lbitwuzla [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error; 19 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `bitwuzla-sys` due to 2 previous errors; 19 warnings emitted [INFO] running `Command { std: "docker" "inspect" "682379b256f8b9999fb8824347a0a1a2e99af9f050f8e8c2c33ad1f96dbd4391", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "682379b256f8b9999fb8824347a0a1a2e99af9f050f8e8c2c33ad1f96dbd4391", kill_on_drop: false }` [INFO] [stdout] 682379b256f8b9999fb8824347a0a1a2e99af9f050f8e8c2c33ad1f96dbd4391