[INFO] fetching crate bitwuzla-sys 0.1.1... [INFO] testing bitwuzla-sys-0.1.1 against try#8262275854dc0e5381c9d42d56257d94932c5a87 for pr-90799 [INFO] extracting crate bitwuzla-sys 0.1.1 into /workspace/builds/worker-46/source [INFO] validating manifest of crates.io crate bitwuzla-sys 0.1.1 on toolchain 8262275854dc0e5381c9d42d56257d94932c5a87 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+8262275854dc0e5381c9d42d56257d94932c5a87" "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-46/source/Cargo.toml [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+8262275854dc0e5381c9d42d56257d94932c5a87" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }` [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+8262275854dc0e5381c9d42d56257d94932c5a87" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-46/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-46/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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+8262275854dc0e5381c9d42d56257d94932c5a87" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 2c0d1f5a91b10bafaa4403bf2afc742383f7b36029fd4d66459b0b3fa5e3cefa [INFO] running `Command { std: "docker" "start" "-a" "2c0d1f5a91b10bafaa4403bf2afc742383f7b36029fd4d66459b0b3fa5e3cefa", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "2c0d1f5a91b10bafaa4403bf2afc742383f7b36029fd4d66459b0b3fa5e3cefa", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2c0d1f5a91b10bafaa4403bf2afc742383f7b36029fd4d66459b0b3fa5e3cefa", kill_on_drop: false }` [INFO] [stdout] 2c0d1f5a91b10bafaa4403bf2afc742383f7b36029fd4d66459b0b3fa5e3cefa [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-46/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-46/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" "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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+8262275854dc0e5381c9d42d56257d94932c5a87" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 7797522ea80d6c94f196d6584425aea01b5d5deaa8f4890d7f6443eb1512e654 [INFO] running `Command { std: "docker" "start" "-a" "7797522ea80d6c94f196d6584425aea01b5d5deaa8f4890d7f6443eb1512e654", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Compiling libc v0.2.108 [INFO] [stderr] Compiling bitwuzla-sys v0.1.1 (/opt/rustwide/workdir) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 2.02s [INFO] running `Command { std: "docker" "inspect" "7797522ea80d6c94f196d6584425aea01b5d5deaa8f4890d7f6443eb1512e654", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7797522ea80d6c94f196d6584425aea01b5d5deaa8f4890d7f6443eb1512e654", kill_on_drop: false }` [INFO] [stdout] 7797522ea80d6c94f196d6584425aea01b5d5deaa8f4890d7f6443eb1512e654 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-46/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-46/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" "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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+8262275854dc0e5381c9d42d56257d94932c5a87" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] d6659c0023c6beb2a5625afba95d5b643869a564d71e0264f98e8cd442160954 [INFO] running `Command { std: "docker" "start" "-a" "d6659c0023c6beb2a5625afba95d5b643869a564d71e0264f98e8cd442160954", 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-16af045c1e407d49.bitwuzla_sys.5511933a-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-16af045c1e407d49.bitwuzla_sys.5511933a-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-16af045c1e407d49.bitwuzla_sys.5511933a-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-16af045c1e407d49.bitwuzla_sys.5511933a-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-16af045c1e407d49.bitwuzla_sys.5511933a-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-16af045c1e407d49.bitwuzla_sys.5511933a-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-16af045c1e407d49.bitwuzla_sys.5511933a-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-16af045c1e407d49.bitwuzla_sys.5511933a-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-16af045c1e407d49.bitwuzla_sys.5511933a-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-16af045c1e407d49.bitwuzla_sys.5511933a-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-16af045c1e407d49.bitwuzla_sys.5511933a-cgu.9.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-16af045c1e407d49.1d3enw41zbtguiqp.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/8262275854dc0e5381c9d42d56257d94932c5a87/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-lbitwuzla" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/liblibc-91d257e9eed50cc0.rlib" "/opt/rustwide/rustup-home/toolchains/8262275854dc0e5381c9d42d56257d94932c5a87/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-3c9ac9e0a57bc34c.rlib" "/opt/rustwide/rustup-home/toolchains/8262275854dc0e5381c9d42d56257d94932c5a87/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-e9f2533bb6fcc589.rlib" "/opt/rustwide/rustup-home/toolchains/8262275854dc0e5381c9d42d56257d94932c5a87/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-cf3391d121eeeb11.rlib" "/opt/rustwide/rustup-home/toolchains/8262275854dc0e5381c9d42d56257d94932c5a87/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-eeb584a965c81620.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/8262275854dc0e5381c9d42d56257d94932c5a87/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-7387d118fba15d64.rlib" "/opt/rustwide/rustup-home/toolchains/8262275854dc0e5381c9d42d56257d94932c5a87/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-dd8bf3fda2fc2c51.rlib" "/opt/rustwide/rustup-home/toolchains/8262275854dc0e5381c9d42d56257d94932c5a87/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-b69fd8507c8409af.rlib" "/opt/rustwide/rustup-home/toolchains/8262275854dc0e5381c9d42d56257d94932c5a87/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-2dff396b99681a6b.rlib" "/opt/rustwide/rustup-home/toolchains/8262275854dc0e5381c9d42d56257d94932c5a87/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-a78bd5aa183c7115.rlib" "/opt/rustwide/rustup-home/toolchains/8262275854dc0e5381c9d42d56257d94932c5a87/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-846c64d5a2fbc5ee.rlib" "/opt/rustwide/rustup-home/toolchains/8262275854dc0e5381c9d42d56257d94932c5a87/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-24c09062b6dc787b.rlib" "/opt/rustwide/rustup-home/toolchains/8262275854dc0e5381c9d42d56257d94932c5a87/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-ce93f351ca41a57b.rlib" "/opt/rustwide/rustup-home/toolchains/8262275854dc0e5381c9d42d56257d94932c5a87/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-e42af02528f038fc.rlib" "/opt/rustwide/rustup-home/toolchains/8262275854dc0e5381c9d42d56257d94932c5a87/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-514cb174319eb6d4.rlib" "/opt/rustwide/rustup-home/toolchains/8262275854dc0e5381c9d42d56257d94932c5a87/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-37c1534c42bc4f8c.rlib" "/opt/rustwide/rustup-home/toolchains/8262275854dc0e5381c9d42d56257d94932c5a87/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-06d0f7780fda2fd9.rlib" "/opt/rustwide/rustup-home/toolchains/8262275854dc0e5381c9d42d56257d94932c5a87/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-4228e28a8f7a03ba.rlib" "/opt/rustwide/rustup-home/toolchains/8262275854dc0e5381c9d42d56257d94932c5a87/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-88bb1ba4dd271224.rlib" "/opt/rustwide/rustup-home/toolchains/8262275854dc0e5381c9d42d56257d94932c5a87/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-a81f2980c3f58cf2.rlib" "/opt/rustwide/rustup-home/toolchains/8262275854dc0e5381c9d42d56257d94932c5a87/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-0b5a376b429677a6.rlib" "/opt/rustwide/rustup-home/toolchains/8262275854dc0e5381c9d42d56257d94932c5a87/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-2a6a2797f7a73818.rlib" "/opt/rustwide/rustup-home/toolchains/8262275854dc0e5381c9d42d56257d94932c5a87/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-0e3656b1fda5fd7b.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/8262275854dc0e5381c9d42d56257d94932c5a87/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-eecefd843a0dbc02.rlib" "-Wl,-Bdynamic" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-znoexecstack" "-L" "/opt/rustwide/rustup-home/toolchains/8262275854dc0e5381c9d42d56257d94932c5a87/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-16af045c1e407d49" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-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" "d6659c0023c6beb2a5625afba95d5b643869a564d71e0264f98e8cd442160954", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d6659c0023c6beb2a5625afba95d5b643869a564d71e0264f98e8cd442160954", kill_on_drop: false }` [INFO] [stdout] d6659c0023c6beb2a5625afba95d5b643869a564d71e0264f98e8cd442160954