[INFO] fetching crate bitwuzla-sys 0.1.1... [INFO] testing bitwuzla-sys-0.1.1 against 1.59.0 for beta-1.60-1 [INFO] extracting crate bitwuzla-sys 0.1.1 into /workspace/builds/worker-90/source [INFO] validating manifest of crates.io crate bitwuzla-sys 0.1.1 on toolchain 1.59.0 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.59.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-90/source/Cargo.toml [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.59.0" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }` [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.59.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-90/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-90/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:0cd99ca24d8e8c98e67c542213511d985b8778b5bdcbb160e038429496686047" "/opt/rustwide/cargo-home/bin/cargo" "+1.59.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] f10724b3b98558f77c9419dd90ad3dea832ce26a8752758a3ef2e844e0c2e177 [INFO] running `Command { std: "docker" "start" "-a" "f10724b3b98558f77c9419dd90ad3dea832ce26a8752758a3ef2e844e0c2e177", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "f10724b3b98558f77c9419dd90ad3dea832ce26a8752758a3ef2e844e0c2e177", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f10724b3b98558f77c9419dd90ad3dea832ce26a8752758a3ef2e844e0c2e177", kill_on_drop: false }` [INFO] [stdout] f10724b3b98558f77c9419dd90ad3dea832ce26a8752758a3ef2e844e0c2e177 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-90/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-90/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:0cd99ca24d8e8c98e67c542213511d985b8778b5bdcbb160e038429496686047" "/opt/rustwide/cargo-home/bin/cargo" "+1.59.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] ae02f2155d15fb69c86c2c33b6c16229fb93fbca086a230a0eee4b81a56f48b1 [INFO] running `Command { std: "docker" "start" "-a" "ae02f2155d15fb69c86c2c33b6c16229fb93fbca086a230a0eee4b81a56f48b1", 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.03s [INFO] running `Command { std: "docker" "inspect" "ae02f2155d15fb69c86c2c33b6c16229fb93fbca086a230a0eee4b81a56f48b1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ae02f2155d15fb69c86c2c33b6c16229fb93fbca086a230a0eee4b81a56f48b1", kill_on_drop: false }` [INFO] [stdout] ae02f2155d15fb69c86c2c33b6c16229fb93fbca086a230a0eee4b81a56f48b1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-90/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-90/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:0cd99ca24d8e8c98e67c542213511d985b8778b5bdcbb160e038429496686047" "/opt/rustwide/cargo-home/bin/cargo" "+1.59.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 805dbc6b791ed2e5195cfb4a5a37e2b73c137dafc61d8f7966f64373bca4d7c3 [INFO] running `Command { std: "docker" "start" "-a" "805dbc6b791ed2e5195cfb4a5a37e2b73c137dafc61d8f7966f64373bca4d7c3", 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-5276a05b254fdf7b.bitwuzla_sys.4ab5cca6-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-5276a05b254fdf7b.bitwuzla_sys.4ab5cca6-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-5276a05b254fdf7b.bitwuzla_sys.4ab5cca6-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-5276a05b254fdf7b.bitwuzla_sys.4ab5cca6-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-5276a05b254fdf7b.bitwuzla_sys.4ab5cca6-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-5276a05b254fdf7b.bitwuzla_sys.4ab5cca6-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-5276a05b254fdf7b.bitwuzla_sys.4ab5cca6-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-5276a05b254fdf7b.bitwuzla_sys.4ab5cca6-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-5276a05b254fdf7b.bitwuzla_sys.4ab5cca6-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-5276a05b254fdf7b.bitwuzla_sys.4ab5cca6-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-5276a05b254fdf7b.bitwuzla_sys.4ab5cca6-cgu.9.rcgu.o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-5276a05b254fdf7b.37oo0ewrywv6892q.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/1.59.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-lbitwuzla" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/liblibc-0df115c6f3232b87.rlib" "/opt/rustwide/rustup-home/toolchains/1.59.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-758a09c353a92957.rlib" "/opt/rustwide/rustup-home/toolchains/1.59.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-743b1b40789d9970.rlib" "/opt/rustwide/rustup-home/toolchains/1.59.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-03c847826ae3c573.rlib" "/opt/rustwide/rustup-home/toolchains/1.59.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-b1a47273c37bf80e.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.59.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-a46a068050a12a4b.rlib" "/opt/rustwide/rustup-home/toolchains/1.59.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-1df56095db9453cb.rlib" "/opt/rustwide/rustup-home/toolchains/1.59.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-9062de483386e50b.rlib" "/opt/rustwide/rustup-home/toolchains/1.59.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-b988ab269ff13602.rlib" "/opt/rustwide/rustup-home/toolchains/1.59.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-1bc822d886d4f7bd.rlib" "/opt/rustwide/rustup-home/toolchains/1.59.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-963eca8df4c224a6.rlib" "/opt/rustwide/rustup-home/toolchains/1.59.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-d805b480c9102e58.rlib" "/opt/rustwide/rustup-home/toolchains/1.59.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-06dfdbc22b935051.rlib" "/opt/rustwide/rustup-home/toolchains/1.59.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-d7523a4d118e6572.rlib" "/opt/rustwide/rustup-home/toolchains/1.59.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-5d7898c7fac3a07d.rlib" "/opt/rustwide/rustup-home/toolchains/1.59.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-8c2bdbab4845bf3d.rlib" "/opt/rustwide/rustup-home/toolchains/1.59.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-d578639df0547b30.rlib" "/opt/rustwide/rustup-home/toolchains/1.59.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-58bbb7b1efa3a5e2.rlib" "/opt/rustwide/rustup-home/toolchains/1.59.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-4c9b082d197c16f8.rlib" "/opt/rustwide/rustup-home/toolchains/1.59.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-70f9ed6d8e7a5ce6.rlib" "/opt/rustwide/rustup-home/toolchains/1.59.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-8c0a241d0360fa53.rlib" "/opt/rustwide/rustup-home/toolchains/1.59.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-bad7ed93fdd31371.rlib" "/opt/rustwide/rustup-home/toolchains/1.59.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-98b4d121af2b7335.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.59.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-1d9f7e5920635d15.rlib" "-Wl,-Bdynamic" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-znoexecstack" "-L" "/opt/rustwide/rustup-home/toolchains/1.59.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/bitwuzla_sys-5276a05b254fdf7b" "-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" "805dbc6b791ed2e5195cfb4a5a37e2b73c137dafc61d8f7966f64373bca4d7c3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "805dbc6b791ed2e5195cfb4a5a37e2b73c137dafc61d8f7966f64373bca4d7c3", kill_on_drop: false }` [INFO] [stdout] 805dbc6b791ed2e5195cfb4a5a37e2b73c137dafc61d8f7966f64373bca4d7c3