[INFO] fetching crate satif-kissat 0.5.0...
[INFO] testing satif-kissat-0.5.0 against try#8de4c7234dd9b97c9d76b58671343fdbbc9a433e+target=x86_64-unknown-linux-musl for musl_upgrade_1_2_5_with_libc_patch_0
[INFO] extracting crate satif-kissat 0.5.0 into /workspace/builds/worker-7-tc1/source
[INFO] started tweaking crates.io crate satif-kissat 0.5.0
[INFO] finished tweaking crates.io crate satif-kissat 0.5.0
[INFO] tweaked toml for crates.io crate satif-kissat 0.5.0 written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate satif-kissat 0.5.0 on toolchain 8de4c7234dd9b97c9d76b58671343fdbbc9a433e
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate satif-kissat 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" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "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] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded giputils v0.3.3
[INFO] [stderr]   Downloaded logicrs v0.5.1
[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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 6e6f8fdcfc1741206db407c782625ec4fee51f576dbd483a4672174ecaf17c50
[INFO] running `Command { std: "docker" "start" "-a" "6e6f8fdcfc1741206db407c782625ec4fee51f576dbd483a4672174ecaf17c50", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "6e6f8fdcfc1741206db407c782625ec4fee51f576dbd483a4672174ecaf17c50", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6e6f8fdcfc1741206db407c782625ec4fee51f576dbd483a4672174ecaf17c50", kill_on_drop: false }`
[INFO] [stdout] 6e6f8fdcfc1741206db407c782625ec4fee51f576dbd483a4672174ecaf17c50
[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=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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "build" "--frozen" "--message-format=json" "--target" "x86_64-unknown-linux-musl", kill_on_drop: false }`
[INFO] [stdout] 9a08992716c9a14d4fef69f6a0b75ceb9e94395f764bdcb8bb2bd90b4a835489
[INFO] running `Command { std: "docker" "start" "-a" "9a08992716c9a14d4fef69f6a0b75ceb9e94395f764bdcb8bb2bd90b4a835489", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.172
[INFO] [stderr]    Compiling zerocopy v0.8.25
[INFO] [stderr]    Compiling rustix v1.0.7
[INFO] [stderr]    Compiling linux-raw-sys v0.9.4
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling bitflags v2.9.1
[INFO] [stderr]    Compiling fastrand v2.3.0
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling getrandom v0.3.3
[INFO] [stderr]    Compiling log v0.4.27
[INFO] [stderr]    Compiling rand_core v0.9.3
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling tempfile v3.20.0
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling rand v0.9.1
[INFO] [stderr]    Compiling giputils v0.3.3
[INFO] [stderr]    Compiling logicrs v0.5.1
[INFO] [stderr]    Compiling satif-kissat v0.5.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 21.20s
[INFO] running `Command { std: "docker" "inspect" "9a08992716c9a14d4fef69f6a0b75ceb9e94395f764bdcb8bb2bd90b4a835489", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9a08992716c9a14d4fef69f6a0b75ceb9e94395f764bdcb8bb2bd90b4a835489", kill_on_drop: false }`
[INFO] [stdout] 9a08992716c9a14d4fef69f6a0b75ceb9e94395f764bdcb8bb2bd90b4a835489
[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=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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "test" "--frozen" "--no-run" "--message-format=json" "--target" "x86_64-unknown-linux-musl", kill_on_drop: false }`
[INFO] [stdout] a51e30ccc9ee816e6979dd98ece6ee0c1b1224b17900d403f232d12ee861d85d
[INFO] running `Command { std: "docker" "start" "-a" "a51e30ccc9ee816e6979dd98ece6ee0c1b1224b17900d403f232d12ee861d85d", kill_on_drop: false }`
[INFO] [stderr]    Compiling satif-kissat v0.5.0 (/opt/rustwide/workdir)
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "<sysroot>/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/rcrt1.o" "<sysroot>/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crti.o" "<sysroot>/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtbeginS.o" "/tmp/rustcOj2iiT/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "-lkissat" "<sysroot>/lib/rustlib/x86_64-unknown-linux-musl/lib/{libtest-*,libgetopts-*,libunicode_width-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/{liblogicrs-5ca928453a94d63e.rlib,libgiputils-efd3b4465dbb6745.rlib,libtempfile-cb55639a3137ed82.rlib,libfastrand-73632d5ce9fbbad9.rlib,librustix-77182ab78b026e4d.rlib,libbitflags-a339c845664ed1d6.rlib,liblinux_raw_sys-6a5ba6409b7a32a6.rlib,liblog-fe55feed4fa9693d.rlib,libahash-cdad5b7baf5b0f91.rlib,libonce_cell-9be2fa4e327380e4.rlib,librand-e5e47e0dd55d8725.rlib,librand_chacha-ea60ef4bf19d0d64.rlib,libppv_lite86-0ce1f82c48e5d03a.rlib,libzerocopy-49e2188937f8ffe9.rlib,librand_core-1235459dc415993e.rlib,libgetrandom-83966a8ad83ba55b.rlib,liblibc-172aa706d01c4f82.rlib,libcfg_if-bfc6e2941b0f95e3.rlib}.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-musl/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*}.rlib" "-lunwind" "<sysroot>/lib/rustlib/x86_64-unknown-linux-musl/lib/{libcfg_if-*,liblibc-*}.rlib" "-lc" "<sysroot>/lib/rustlib/x86_64-unknown-linux-musl/lib/{librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-L" "/tmp/rustcOj2iiT/raw-dylibs" "-Wl,-Bdynamic" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-nostartfiles" "-L" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained" "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-musl/lib" "-o" "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/deps/satif_kissat-dee9ea81a7c84f60" "-Wl,--gc-sections" "-static-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" "<sysroot>/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtendS.o" "<sysroot>/lib/rustlib/x86_64-unknown-linux-musl/lib/self-contained/crtn.o"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(error.o): in function `kissat_error':
[INFO] [stdout]           error.c:(.text+0x228): undefined reference to `__vfprintf_chk'
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(error.o): in function `kissat_fatal':
[INFO] [stdout]           error.c:(.text+0x328): undefined reference to `__vfprintf_chk'
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(internal.o): in function `kissat_release':
[INFO] [stdout]           internal.c:(.text+0xa22): undefined reference to `__fprintf_chk'
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(internal.o): in function `kissat_reserve':
[INFO] [stdout]           internal.c:(.text+0xabc): undefined reference to `__fprintf_chk'
[INFO] [stdout]           /usr/bin/ld: internal.c:(.text+0xad8): undefined reference to `__fprintf_chk'
[INFO] [stdout]           /usr/bin/ld: internal.c:(.text+0xb92): undefined reference to `__fprintf_chk'
[INFO] [stdout]           /usr/bin/ld: internal.c:(.text+0xbae): undefined reference to `__fprintf_chk'
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(internal.o):internal.c:(.text+0xc1a): more undefined references to `__fprintf_chk' follow
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(options.o): in function `kissat_printf_usage.constprop.0':
[INFO] [stdout]           options.c:(.text+0xf6): undefined reference to `__printf_chk'
[INFO] [stdout]           /usr/bin/ld: options.c:(.text+0x137): undefined reference to `__vfprintf_chk'
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(options.o): in function `kissat_options_usage':
[INFO] [stdout]           options.c:(.text+0xa2c): undefined reference to `__sprintf_chk'
[INFO] [stdout]           /usr/bin/ld: options.c:(.text+0xaa0): undefined reference to `__sprintf_chk'
[INFO] [stdout]           /usr/bin/ld: options.c:(.text+0xb10): undefined reference to `__sprintf_chk'
[INFO] [stdout]           /usr/bin/ld: options.c:(.text+0xb6a): undefined reference to `__sprintf_chk'
[INFO] [stdout]           /usr/bin/ld: options.c:(.text+0xbc4): undefined reference to `__sprintf_chk'
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(options.o):options.c:(.text+0xc31): more undefined references to `__sprintf_chk' follow
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(options.o): in function `kissat_print_embedded_option_list':
[INFO] [stdout]           options.c:(.text+0x43e3): undefined reference to `__printf_chk'
[INFO] [stdout]           /usr/bin/ld: options.c:(.text+0x43fe): undefined reference to `__printf_chk'
[INFO] [stdout]           /usr/bin/ld: options.c:(.text+0x4419): undefined reference to `__printf_chk'
[INFO] [stdout]           /usr/bin/ld: options.c:(.text+0x4434): undefined reference to `__printf_chk'
[INFO] [stdout]           /usr/bin/ld: options.c:(.text+0x444f): undefined reference to `__printf_chk'
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(options.o):options.c:(.text+0x446a): more undefined references to `__printf_chk' follow
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(print.o): in function `print_message':
[INFO] [stdout]           print.c:(.text+0x59): undefined reference to `__vfprintf_chk'
[INFO] [stdout]           /usr/bin/ld: print.c:(.text+0xae): undefined reference to `__vfprintf_chk'
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(print.o): in function `kissat_warning':
[INFO] [stdout]           print.c:(.text+0x22e): undefined reference to `__vfprintf_chk'
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(print.o): in function `kissat_signal':
[INFO] [stdout]           print.c:(.text+0x3c3): undefined reference to `__printf_chk'
[INFO] [stdout]           /usr/bin/ld: print.c:(.text+0x423): undefined reference to `__printf_chk'
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(print.o): in function `kissat_phase':
[INFO] [stdout]           print.c:(.text+0xdc6): undefined reference to `__printf_chk'
[INFO] [stdout]           /usr/bin/ld: print.c:(.text+0xde2): undefined reference to `__printf_chk'
[INFO] [stdout]           /usr/bin/ld: print.c:(.text+0xe3c): undefined reference to `__vfprintf_chk'
[INFO] [stdout]           /usr/bin/ld: print.c:(.text+0xebc): undefined reference to `__printf_chk'
[INFO] [stdout]           /usr/bin/ld: print.c:(.text+0xed8): undefined reference to `__printf_chk'
[INFO] [stdout]           /usr/bin/ld: print.c:(.text+0xf32): undefined reference to `__vfprintf_chk'
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(profile.o): in function `kissat_profiles_print':
[INFO] [stdout]           profile.c:(.text+0x89b): undefined reference to `__printf_chk'
[INFO] [stdout]           /usr/bin/ld: profile.c:(.text+0x8ba): undefined reference to `__printf_chk'
[INFO] [stdout]           /usr/bin/ld: profile.c:(.text+0x958): undefined reference to `__printf_chk'
[INFO] [stdout]           /usr/bin/ld: profile.c:(.text+0x977): undefined reference to `__printf_chk'
[INFO] [stdout]           /usr/bin/ld: profile.c:(.text+0x90f): undefined reference to `__printf_chk'
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(proof.o):proof.c:(.text+0x6d2): more undefined references to `__printf_chk' follow
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(resources.o): in function `kissat_current_resident_set_size':
[INFO] [stdout]           resources.c:(.text+0x1ae): undefined reference to `__sprintf_chk'
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(resources.o): in function `kissat_print_resources':
[INFO] [stdout]           resources.c:(.text+0x2bf): undefined reference to `__printf_chk'
[INFO] [stdout]           /usr/bin/ld: resources.c:(.text+0x30c): undefined reference to `__printf_chk'
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(statistics.o): in function `kissat_print_glue_usage':
[INFO] [stdout]           statistics.c:(.text+0x86): undefined reference to `__printf_chk'
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(statistics.o): in function `kissat_statistics_print':
[INFO] [stdout]           statistics.c:(.text+0xf9): undefined reference to `__printf_chk'
[INFO] [stdout]           /usr/bin/ld: statistics.c:(.text+0x132): undefined reference to `__printf_chk'
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(statistics.o):statistics.c:(.text+0x1ae): more undefined references to `__printf_chk' follow
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(tiers.o): in function `kissat_print_tier_usage_statistics':
[INFO] [stdout]           tiers.c:(.text+0x500): undefined reference to `__sprintf_chk'
[INFO] [stdout]           /usr/bin/ld: tiers.c:(.text+0x5f7): undefined reference to `__printf_chk'
[INFO] [stdout]           /usr/bin/ld: tiers.c:(.text+0x659): undefined reference to `__printf_chk'
[INFO] [stdout]           /usr/bin/ld: tiers.c:(.text+0x6d7): undefined reference to `__printf_chk'
[INFO] [stdout]           /usr/bin/ld: tiers.c:(.text+0x76f): undefined reference to `__printf_chk'
[INFO] [stdout]           /usr/bin/ld: tiers.c:(.text+0x7da): undefined reference to `__printf_chk'
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(tiers.o):tiers.c:(.text+0x853): more undefined references to `__printf_chk' follow
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(vector.o): in function `kissat_defrag_vectors':
[INFO] [stdout]           vector.c:(.text+0x492): undefined reference to `__memset_chk'
[INFO] [stdout]           /usr/bin/ld: vector.c:(.text+0x59b): undefined reference to `__memset_chk'
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(analyze.o): in function `kissat_analyze':
[INFO] [stdout]           analyze.c:(.text+0x14c0): undefined reference to `__memset_chk'
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(bump.o): in function `kissat_bump_analyzed':
[INFO] [stdout]           bump.c:(.text+0x721): undefined reference to `__memset_chk'
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(format.o): in function `kissat_format_count':
[INFO] [stdout]           format.c:(.text+0x19a): undefined reference to `__sprintf_chk'
[INFO] [stdout]           /usr/bin/ld: format.c:(.text+0x1ca): undefined reference to `__sprintf_chk'
[INFO] [stdout]           /usr/bin/ld: format.c:(.text+0x259): undefined reference to `__sprintf_chk'
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(format.o): in function `kissat_format_bytes':
[INFO] [stdout]           format.c:(.text+0x397): undefined reference to `__sprintf_chk'
[INFO] [stdout]           /usr/bin/ld: format.c:(.text+0x3b9): undefined reference to `__sprintf_chk'
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(format.o):format.c:(.text+0x4ec): more undefined references to `__sprintf_chk' follow
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(forward.o): in function `kissat_forward_subsume_during_elimination':
[INFO] [stdout]           forward.c:(.text+0x7d4): undefined reference to `__memset_chk'
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(kitten.o): in function `invalid_api_usage':
[INFO] [stdout]           kitten.c:(.text+0x81): undefined reference to `__fprintf_chk'
[INFO] [stdout]           /usr/bin/ld: kitten.c:(.text+0xbe): undefined reference to `__vfprintf_chk'
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(reduce.o): in function `kissat_reduce':
[INFO] [stdout]           reduce.c:(.text+0x623): undefined reference to `__memset_chk'
[INFO] [stdout]           /usr/bin/ld: reduce.c:(.text+0x9ad): undefined reference to `__memset_chk'
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(report.o): in function `kissat_report':
[INFO] [stdout]           report.c:(.text+0xa5): undefined reference to `__sprintf_chk'
[INFO] [stdout]           /usr/bin/ld: report.c:(.text+0x572): undefined reference to `__sprintf_chk'
[INFO] [stdout]           /usr/bin/ld: report.c:(.text+0x9cd): undefined reference to `__sprintf_chk'
[INFO] [stdout]           /usr/bin/ld: report.c:(.text+0xddb): undefined reference to `__sprintf_chk'
[INFO] [stdout]           /usr/bin/ld: report.c:(.text+0x11a3): undefined reference to `__sprintf_chk'
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(report.o):report.c:(.text+0x1530): more undefined references to `__sprintf_chk' follow
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(sweep.o): in function `kissat_sweep':
[INFO] [stdout]           sweep.c:(.text+0x1d65): undefined reference to `__memset_chk'
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(vivify.o): in function `vivify_round':
[INFO] [stdout]           vivify.c:(.text+0x293a): undefined reference to `__memset_chk'
[INFO] [stdout]           /usr/bin/ld: vivify.c:(.text+0x2afe): undefined reference to `__memset_chk'
[INFO] [stdout]           /usr/bin/ld: vivify.c:(.text+0x38b4): undefined reference to `__memset_chk'
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(congruence.o): in function `sort_pairs':
[INFO] [stdout]           congruence.c:(.text+0x656): undefined reference to `__memset_chk'
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(congruence.o):congruence.c:(.text+0x26bf): more undefined references to `__memset_chk' follow
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(congruence.o): in function `kissat_congruence':
[INFO] [stdout]           congruence.c:(.text+0x8e0f): undefined reference to `__sprintf_chk'
[INFO] [stdout]           /usr/bin/ld: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/satif-kissat-34c900fea87a7edc/out/kissat/build/libkissat.a(fastel.o): in function `kissat_fast_variable_elimination':
[INFO] [stdout]           fastel.c:(.text+0x1c40): undefined reference to `__memset_chk'
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout]   = note: some `extern` functions couldn't be found; some native libraries may need to be installed or have their path specified
[INFO] [stdout]   = note: use the `-l` flag to specify native libraries to link
[INFO] [stdout]   = note: use the `cargo:rustc-link-lib` directive to specify the native libraries to link with Cargo (see https://doc.rust-lang.org/cargo/reference/build-scripts.html#rustc-link-lib)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `satif-kissat` (lib test) due to 1 previous error
[INFO] running `Command { std: "docker" "inspect" "a51e30ccc9ee816e6979dd98ece6ee0c1b1224b17900d403f232d12ee861d85d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a51e30ccc9ee816e6979dd98ece6ee0c1b1224b17900d403f232d12ee861d85d", kill_on_drop: false }`
[INFO] [stdout] a51e30ccc9ee816e6979dd98ece6ee0c1b1224b17900d403f232d12ee861d85d