[INFO] fetching crate satif-kissat 0.5.2... [INFO] building satif-kissat-0.5.2 against try#23647e694de8d0904848ad068b2e0ec2dd098c37+target=wasm32-wasip1 for pr-149868 [INFO] extracting crate satif-kissat 0.5.2 into /workspace/builds/worker-6-tc2/source [INFO] started tweaking crates.io crate satif-kissat 0.5.2 [INFO] finished tweaking crates.io crate satif-kissat 0.5.2 [INFO] tweaked toml for crates.io crate satif-kissat 0.5.2 written to /workspace/builds/worker-6-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate satif-kissat 0.5.2 on toolchain 23647e694de8d0904848ad068b2e0ec2dd098c37 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+23647e694de8d0904848ad068b2e0ec2dd098c37" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate satif-kissat 0.5.2 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" "+23647e694de8d0904848ad068b2e0ec2dd098c37" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/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:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+23647e694de8d0904848ad068b2e0ec2dd098c37" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] e5ba059c80b506ebcc5b892cb1f47f01e36b173c9ce75201f50791e5ab5091c5 [INFO] running `Command { std: "docker" "start" "-a" "e5ba059c80b506ebcc5b892cb1f47f01e36b173c9ce75201f50791e5ab5091c5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "e5ba059c80b506ebcc5b892cb1f47f01e36b173c9ce75201f50791e5ab5091c5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e5ba059c80b506ebcc5b892cb1f47f01e36b173c9ce75201f50791e5ab5091c5", kill_on_drop: false }` [INFO] [stdout] e5ba059c80b506ebcc5b892cb1f47f01e36b173c9ce75201f50791e5ab5091c5 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/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:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+23647e694de8d0904848ad068b2e0ec2dd098c37" "build" "--frozen" "--message-format=json" "--target" "wasm32-wasip1", kill_on_drop: false }` [INFO] [stdout] 5b3a1dced237647ad6c7f51274ca0eb849fa3cd2f69aabe7c14449509b82d6fe [INFO] running `Command { std: "docker" "start" "-a" "5b3a1dced237647ad6c7f51274ca0eb849fa3cd2f69aabe7c14449509b82d6fe", kill_on_drop: false }` [INFO] [stderr] Compiling rustix v1.0.8 [INFO] [stderr] Compiling libc v0.2.175 [INFO] [stderr] Compiling getrandom v0.3.3 [INFO] [stderr] Compiling cfg-if v1.0.3 [INFO] [stderr] Compiling zerocopy v0.8.26 [INFO] [stderr] Compiling once_cell v1.21.3 [INFO] [stderr] Compiling linux-raw-sys v0.9.4 [INFO] [stderr] Compiling bitflags v2.9.4 [INFO] [stderr] Compiling fastrand v2.3.0 [INFO] [stderr] Compiling ahash v0.8.12 [INFO] [stderr] Compiling log v0.4.28 [INFO] [stderr] Compiling inventory v0.3.21 [INFO] [stderr] Compiling rand_core v0.9.3 [INFO] [stderr] Compiling rand_chacha v0.9.0 [INFO] [stderr] Compiling rand v0.9.2 [INFO] [stderr] Compiling errno v0.3.13 [INFO] [stderr] Compiling tempfile v3.21.0 [INFO] [stderr] Compiling ppv-lite86 v0.2.21 [INFO] [stderr] Compiling giputils v0.3.5 [INFO] [stderr] Compiling satif-kissat v0.5.2 (/opt/rustwide/workdir) [INFO] [stderr] Compiling logicrs v0.6.0 [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 26.02s [INFO] running `Command { std: "docker" "inspect" "5b3a1dced237647ad6c7f51274ca0eb849fa3cd2f69aabe7c14449509b82d6fe", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5b3a1dced237647ad6c7f51274ca0eb849fa3cd2f69aabe7c14449509b82d6fe", kill_on_drop: false }` [INFO] [stdout] 5b3a1dced237647ad6c7f51274ca0eb849fa3cd2f69aabe7c14449509b82d6fe [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/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:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+23647e694de8d0904848ad068b2e0ec2dd098c37" "test" "--frozen" "--no-run" "--message-format=json" "--target" "wasm32-wasip1", kill_on_drop: false }` [INFO] [stdout] 227b3bbea111ab2d964b1d52d791062925aae387d25856870efe823a8ed6b425 [INFO] running `Command { std: "docker" "start" "-a" "227b3bbea111ab2d964b1d52d791062925aae387d25856870efe823a8ed6b425", kill_on_drop: false }` [INFO] [stderr] Compiling satif-kissat v0.5.2 (/opt/rustwide/workdir) [INFO] [stdout] error: linking with `rust-lld` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "rust-lld" "-flavor" "wasm" "--export" "__main_void" "--export" "rust_vec_drop" "-z" "stack-size=1048576" "--stack-first" "--no-demangle" "/lib/rustlib/wasm32-wasip1/lib/self-contained/crt1-command.o" "<2 object files omitted>" "-l" "kissat" "/lib/rustlib/wasm32-wasip1/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/wasm32-wasip1/debug/deps/{liblogicrs-3b958fad849ce0c9,libinventory-e6adfd949d5050d1,liblazy_static-6cae036cc417a885,libgiputils-a26d82ac1e0b30f2}.rlib" "/lib/rustlib/wasm32-wasip1/lib/libpanic_abort-*.rlib" "/opt/rustwide/target/wasm32-wasip1/debug/deps/{libtempfile-d4debc07df8dbf36,libfastrand-ecd90c8fbaaa1bfc,librustix-cc4719dfe9163e8f,libbitflags-98f401441b6f6605,liberrno-f9d40b66f51daa8f,liblibc-8e99ef7546c702e9,liblog-1a8c89b4b809341d,libahash-c9673e17b6bbfeb9,libonce_cell-3cf31b9f9fd91d02,librand-a909ec2767f6dce6,librand_chacha-d12ea5a98d23b442,libppv_lite86-b5291cfebe25ce7d,libzerocopy-f6c31b5b2a66a0e6,librand_core-609bedbd3d4f1ecc,libgetrandom-2a7c4285ceac590b,libcfg_if-dbbbee20ad045a35}.rlib" "/lib/rustlib/wasm32-wasip1/lib/{libstd-*,libwasi-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*}.rlib" "-l" "c" "/lib/rustlib/wasm32-wasip1/lib/{librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-L" "/opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build" "-L" "/lib/rustlib/wasm32-wasip1/lib/self-contained" "-o" "/opt/rustwide/target/wasm32-wasip1/debug/deps/satif_kissat-efbfacbeed8901f3.wasm" "--gc-sections" "-O0" [INFO] [stdout] = note: some arguments are omitted. use `--verbose` to show all linker arguments [INFO] [stdout] = note: rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'allocate.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'analyze.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'ands.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'arena.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'assign.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'averages.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'backbone.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'backtrack.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'build.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'bump.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'check.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'classify.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'clause.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'collect.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'colors.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'compact.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'config.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'congruence.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'decide.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'deduce.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'definition.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'dense.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'dump.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'eliminate.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'equivalences.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'error.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'extend.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'factor.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'fastel.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'file.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'flags.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'format.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'forward.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'gates.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'heap.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'ifthenelse.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'import.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'internal.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'kimits.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'kitten.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'krite.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'learn.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'logging.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'lucky.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'minimize.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'mode.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'options.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'phases.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'preprocess.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'print.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'probe.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'profile.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'promote.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'proof.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'propbeyond.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'propdense.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'propinitially.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'proprobe.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'propsearch.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'queue.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'reduce.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'reluctant.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'reorder.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'rephase.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'report.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'resize.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'resolve.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'resources.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'restart.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'search.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'shrink.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'smooth.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'sort.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'stack.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'statistics.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'strengthen.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'substitute.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'sweep.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'terminate.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'tiers.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'trail.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'transitive.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'utilities.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'vector.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'vivify.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'walk.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'warmup.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'watch.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: warning: /opt/rustwide/target/wasm32-wasip1/debug/build/satif-kissat-614247fb3d51fd93/out/kissat/build/libkissat.a: archive member 'weaken.o' is neither Wasm object file nor LLVM bitcode [INFO] [stdout] rust-lld: error: /opt/rustwide/target/wasm32-wasip1/debug/deps/satif_kissat-efbfacbeed8901f3.satif_kissat.7e5e5b0b10739ad3-cgu.0.rcgu.o: undefined symbol: kissat_release [INFO] [stdout] rust-lld: error: /opt/rustwide/target/wasm32-wasip1/debug/deps/satif_kissat-efbfacbeed8901f3.satif_kissat.7e5e5b0b10739ad3-cgu.0.rcgu.o: undefined symbol: kissat_init [INFO] [stdout] rust-lld: error: /opt/rustwide/target/wasm32-wasip1/debug/deps/satif_kissat-efbfacbeed8901f3.satif_kissat.7e5e5b0b10739ad3-cgu.0.rcgu.o: undefined symbol: kissat_set_option [INFO] [stdout] rust-lld: error: /opt/rustwide/target/wasm32-wasip1/debug/deps/satif_kissat-efbfacbeed8901f3.satif_kissat.7e5e5b0b10739ad3-cgu.0.rcgu.o: undefined symbol: kissat_add [INFO] [stdout] rust-lld: error: /opt/rustwide/target/wasm32-wasip1/debug/deps/satif_kissat-efbfacbeed8901f3.satif_kissat.7e5e5b0b10739ad3-cgu.0.rcgu.o: undefined symbol: kissat_add [INFO] [stdout] rust-lld: error: /opt/rustwide/target/wasm32-wasip1/debug/deps/satif_kissat-efbfacbeed8901f3.satif_kissat.7e5e5b0b10739ad3-cgu.0.rcgu.o: undefined symbol: kissat_solve [INFO] [stdout] rust-lld: error: /opt/rustwide/target/wasm32-wasip1/debug/deps/satif_kissat-efbfacbeed8901f3.satif_kissat.7e5e5b0b10739ad3-cgu.0.rcgu.o: undefined symbol: kissat_value [INFO] [stdout] [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" "227b3bbea111ab2d964b1d52d791062925aae387d25856870efe823a8ed6b425", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "227b3bbea111ab2d964b1d52d791062925aae387d25856870efe823a8ed6b425", kill_on_drop: false }` [INFO] [stdout] 227b3bbea111ab2d964b1d52d791062925aae387d25856870efe823a8ed6b425