[INFO] crate haybale 0.4.0 is already in cache [INFO] testing haybale-0.4.0 against master#8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e for pr-74409 [INFO] extracting crate haybale 0.4.0 into /workspace/builds/worker-5/source [INFO] validating manifest of crates.io crate haybale 0.4.0 on toolchain 8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] started tweaking crates.io crate haybale 0.4.0 [INFO] finished tweaking crates.io crate haybale 0.4.0 [INFO] tweaked toml for crates.io crate haybale 0.4.0 written to /workspace/builds/worker-5/source/Cargo.toml [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }` [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/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" "MAP_USER_ID=0" "-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" "--network" "none" "rustops/crates-build-env@sha256:38e1b949b06cde1964af550a6e548bd9b2b2ea170003ae122f8fc0886596cc07" "/opt/rustwide/cargo-home/bin/cargo" "+8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 82270c57fe7b359908f978c0e5bd89ab6de9f06ff2d7eac9678a2211cbc03cd2 [INFO] running `Command { std: "docker" "start" "-a" "82270c57fe7b359908f978c0e5bd89ab6de9f06ff2d7eac9678a2211cbc03cd2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "82270c57fe7b359908f978c0e5bd89ab6de9f06ff2d7eac9678a2211cbc03cd2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "82270c57fe7b359908f978c0e5bd89ab6de9f06ff2d7eac9678a2211cbc03cd2", kill_on_drop: false }` [INFO] [stdout] 82270c57fe7b359908f978c0e5bd89ab6de9f06ff2d7eac9678a2211cbc03cd2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/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" "MAP_USER_ID=0" "-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" "--network" "none" "rustops/crates-build-env@sha256:38e1b949b06cde1964af550a6e548bd9b2b2ea170003ae122f8fc0886596cc07" "/opt/rustwide/cargo-home/bin/cargo" "+8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 27e3ba5c00f0f0974d05568ca22503a3e120c9337c0890f0b7121e12171f22ff [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "27e3ba5c00f0f0974d05568ca22503a3e120c9337c0890f0b7121e12171f22ff", kill_on_drop: false }` [INFO] [stderr] Compiling memchr v2.3.3 [INFO] [stderr] Compiling lazy_static v1.4.0 [INFO] [stderr] Compiling regex-syntax v0.6.18 [INFO] [stderr] Compiling semver-parser v0.7.0 [INFO] [stderr] Compiling cc v1.0.58 [INFO] [stderr] Compiling log v0.4.11 [INFO] [stderr] Compiling glob v0.3.0 [INFO] [stderr] Compiling boolector-sys v0.4.0 [INFO] [stderr] Compiling either v1.5.3 [INFO] [stderr] Compiling rustc-demangle v0.1.16 [INFO] [stderr] Compiling reduce v0.1.3 [INFO] [stderr] Compiling thread_local v1.0.1 [INFO] [stderr] Compiling itertools v0.9.0 [INFO] [stderr] Compiling semver v0.9.0 [INFO] [stderr] Compiling boolector v0.3.0 [INFO] [stderr] Compiling cpp_demangle v0.2.16 [INFO] [stderr] Compiling aho-corasick v0.7.13 [INFO] [stderr] Compiling regex v1.3.9 [INFO] [stderr] Compiling llvm-sys v90.1.0 [INFO] [stderr] Compiling llvm-ir v0.5.4 [INFO] [stderr] Compiling haybale v0.4.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 48.19s [INFO] running `Command { std: "docker" "inspect" "27e3ba5c00f0f0974d05568ca22503a3e120c9337c0890f0b7121e12171f22ff", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "27e3ba5c00f0f0974d05568ca22503a3e120c9337c0890f0b7121e12171f22ff", kill_on_drop: false }` [INFO] [stdout] 27e3ba5c00f0f0974d05568ca22503a3e120c9337c0890f0b7121e12171f22ff [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/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" "MAP_USER_ID=0" "-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" "--network" "none" "rustops/crates-build-env@sha256:38e1b949b06cde1964af550a6e548bd9b2b2ea170003ae122f8fc0886596cc07" "/opt/rustwide/cargo-home/bin/cargo" "+8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] d0cdd29308c17a5326d633c1571c6c336d24c27324c031a6c3841376bb3b6d6c [INFO] running `Command { std: "docker" "start" "-a" "d0cdd29308c17a5326d633c1571c6c336d24c27324c031a6c3841376bb3b6d6c", kill_on_drop: false }` [INFO] [stderr] Compiling termcolor v1.1.0 [INFO] [stderr] Compiling humantime v1.3.0 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling env_logger v0.7.1 [INFO] [stderr] Compiling haybale v0.4.0 (/opt/rustwide/workdir) [INFO] [stdout] error: linking with `cc` failed: exit code: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-Wl,--eh-frame-hdr" "-L" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/linkedlist_tests-3697752fc6b2ce8a.linkedlist_tests.38j7myap-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-3697752fc6b2ce8a.linkedlist_tests.38j7myap-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-3697752fc6b2ce8a.linkedlist_tests.38j7myap-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-3697752fc6b2ce8a.linkedlist_tests.38j7myap-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-3697752fc6b2ce8a.linkedlist_tests.38j7myap-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-3697752fc6b2ce8a.linkedlist_tests.38j7myap-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-3697752fc6b2ce8a.linkedlist_tests.38j7myap-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-3697752fc6b2ce8a.linkedlist_tests.38j7myap-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-3697752fc6b2ce8a.linkedlist_tests.38j7myap-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-3697752fc6b2ce8a.linkedlist_tests.38j7myap-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-3697752fc6b2ce8a.linkedlist_tests.38j7myap-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-3697752fc6b2ce8a.linkedlist_tests.38j7myap-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-3697752fc6b2ce8a.linkedlist_tests.38j7myap-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-3697752fc6b2ce8a.linkedlist_tests.38j7myap-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-3697752fc6b2ce8a.linkedlist_tests.38j7myap-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-3697752fc6b2ce8a.linkedlist_tests.38j7myap-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/linkedlist_tests-3697752fc6b2ce8a" "/opt/rustwide/target/debug/deps/linkedlist_tests-3697752fc6b2ce8a.46v3ahz1dv057vh4.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-c3ac2b73751bc06d/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-106acc3b04fdafb7.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-7e1a178fe95831dc.rlib" "/opt/rustwide/target/debug/deps/libatty-42a96c4a05dc48c3.rlib" "/opt/rustwide/target/debug/deps/libhumantime-5af4e11a831f9349.rlib" "/opt/rustwide/target/debug/deps/libquick_error-04f7773cc8ada14a.rlib" "/opt/rustwide/target/debug/deps/libregex-cdf5ba7f1abc44f9.rlib" "/opt/rustwide/target/debug/deps/libthread_local-c3b7931041689864.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-7c0477ae3415ac1f.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-e84a84df48f8cb81.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-34848da6eff62490.rlib" "/opt/rustwide/target/debug/deps/libmemchr-1e6b68a09fbeab95.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-6805c615af620a51.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-975e251edec7895a.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-fa89c22811cbba70.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-8e79a065fef863f3.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-a68d66da01a6ed2b.rlib" "/opt/rustwide/target/debug/deps/libhaybale-7beb1267a2100458.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-a9e5020b02aa0df0.rlib" "/opt/rustwide/target/debug/deps/libitertools-ba00051283d98f4c.rlib" "/opt/rustwide/target/debug/deps/libboolector-c6d812fe9ace4f40.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-79d3e3ecec95196d.rlib" "/opt/rustwide/target/debug/deps/libreduce-fef9970b0762f2b4.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-45752d70cb3b1eba.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-a728ae63d3fe2742.rlib" "/opt/rustwide/target/debug/deps/liblog-93951ff8e53c2b76.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-b00c34326580381c.rlib" "/opt/rustwide/target/debug/deps/libeither-3374e4d2a4d617ae.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-2686f3a4d1b12340.rlib" "/opt/rustwide/target/debug/deps/liblibc-e834449672905d13.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-5989bcf78182f65e.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-4d6da34bc177af8d.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-10e0d6c948699482.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-c2318e2415657781.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-3815b93ed84badbb.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-d7999143d95238cb.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-c58298a0d40df8b8.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-b7de97e2ba6fb4e2.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-6f71c9f654d72cce.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-95ea48ddc44a311b.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-7402cd4761aebc14.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-68f423c59dc48a40.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-54580c7798bf2225.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-95a4d456339b7385.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stdout] = note: /usr/bin/ld: cannot find -lboolector [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `haybale`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error: linking with `cc` failed: exit code: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-Wl,--eh-frame-hdr" "-L" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/memory_tests-46836a21e989d4db.memory_tests.5uxk8nlo-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-46836a21e989d4db.memory_tests.5uxk8nlo-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-46836a21e989d4db.memory_tests.5uxk8nlo-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-46836a21e989d4db.memory_tests.5uxk8nlo-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-46836a21e989d4db.memory_tests.5uxk8nlo-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-46836a21e989d4db.memory_tests.5uxk8nlo-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-46836a21e989d4db.memory_tests.5uxk8nlo-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-46836a21e989d4db.memory_tests.5uxk8nlo-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-46836a21e989d4db.memory_tests.5uxk8nlo-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-46836a21e989d4db.memory_tests.5uxk8nlo-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-46836a21e989d4db.memory_tests.5uxk8nlo-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-46836a21e989d4db.memory_tests.5uxk8nlo-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-46836a21e989d4db.memory_tests.5uxk8nlo-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-46836a21e989d4db.memory_tests.5uxk8nlo-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-46836a21e989d4db.memory_tests.5uxk8nlo-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-46836a21e989d4db.memory_tests.5uxk8nlo-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/memory_tests-46836a21e989d4db" "/opt/rustwide/target/debug/deps/memory_tests-46836a21e989d4db.4byvtlpgafxldq8x.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-c3ac2b73751bc06d/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-106acc3b04fdafb7.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-7e1a178fe95831dc.rlib" "/opt/rustwide/target/debug/deps/libatty-42a96c4a05dc48c3.rlib" "/opt/rustwide/target/debug/deps/libhumantime-5af4e11a831f9349.rlib" "/opt/rustwide/target/debug/deps/libquick_error-04f7773cc8ada14a.rlib" "/opt/rustwide/target/debug/deps/libregex-cdf5ba7f1abc44f9.rlib" "/opt/rustwide/target/debug/deps/libthread_local-c3b7931041689864.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-7c0477ae3415ac1f.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-e84a84df48f8cb81.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-34848da6eff62490.rlib" "/opt/rustwide/target/debug/deps/libmemchr-1e6b68a09fbeab95.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-6805c615af620a51.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-975e251edec7895a.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-fa89c22811cbba70.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-8e79a065fef863f3.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-a68d66da01a6ed2b.rlib" "/opt/rustwide/target/debug/deps/libhaybale-7beb1267a2100458.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-a9e5020b02aa0df0.rlib" "/opt/rustwide/target/debug/deps/libitertools-ba00051283d98f4c.rlib" "/opt/rustwide/target/debug/deps/libboolector-c6d812fe9ace4f40.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-79d3e3ecec95196d.rlib" "/opt/rustwide/target/debug/deps/libreduce-fef9970b0762f2b4.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-45752d70cb3b1eba.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-a728ae63d3fe2742.rlib" "/opt/rustwide/target/debug/deps/liblog-93951ff8e53c2b76.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-b00c34326580381c.rlib" "/opt/rustwide/target/debug/deps/libeither-3374e4d2a4d617ae.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-2686f3a4d1b12340.rlib" "/opt/rustwide/target/debug/deps/liblibc-e834449672905d13.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-5989bcf78182f65e.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-4d6da34bc177af8d.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-10e0d6c948699482.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-c2318e2415657781.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-3815b93ed84badbb.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-d7999143d95238cb.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-c58298a0d40df8b8.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-b7de97e2ba6fb4e2.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-6f71c9f654d72cce.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-95ea48ddc44a311b.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-7402cd4761aebc14.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-68f423c59dc48a40.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-54580c7798bf2225.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-95a4d456339b7385.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stdout] = note: /usr/bin/ld: cannot find -lboolector [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: linking with `cc` failed: exit code: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-Wl,--eh-frame-hdr" "-L" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/throwcatch_tests-6f182a2e38d4560b.throwcatch_tests.58dzwmrz-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-6f182a2e38d4560b.throwcatch_tests.58dzwmrz-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-6f182a2e38d4560b.throwcatch_tests.58dzwmrz-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-6f182a2e38d4560b.throwcatch_tests.58dzwmrz-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-6f182a2e38d4560b.throwcatch_tests.58dzwmrz-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-6f182a2e38d4560b.throwcatch_tests.58dzwmrz-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-6f182a2e38d4560b.throwcatch_tests.58dzwmrz-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-6f182a2e38d4560b.throwcatch_tests.58dzwmrz-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-6f182a2e38d4560b.throwcatch_tests.58dzwmrz-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-6f182a2e38d4560b.throwcatch_tests.58dzwmrz-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-6f182a2e38d4560b.throwcatch_tests.58dzwmrz-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-6f182a2e38d4560b.throwcatch_tests.58dzwmrz-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-6f182a2e38d4560b.throwcatch_tests.58dzwmrz-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-6f182a2e38d4560b.throwcatch_tests.58dzwmrz-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-6f182a2e38d4560b.throwcatch_tests.58dzwmrz-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-6f182a2e38d4560b.throwcatch_tests.58dzwmrz-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/throwcatch_tests-6f182a2e38d4560b" "/opt/rustwide/target/debug/deps/throwcatch_tests-6f182a2e38d4560b.4t0awhntxtaop0wh.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-c3ac2b73751bc06d/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-106acc3b04fdafb7.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-7e1a178fe95831dc.rlib" "/opt/rustwide/target/debug/deps/libatty-42a96c4a05dc48c3.rlib" "/opt/rustwide/target/debug/deps/libhumantime-5af4e11a831f9349.rlib" "/opt/rustwide/target/debug/deps/libquick_error-04f7773cc8ada14a.rlib" "/opt/rustwide/target/debug/deps/libregex-cdf5ba7f1abc44f9.rlib" "/opt/rustwide/target/debug/deps/libthread_local-c3b7931041689864.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-7c0477ae3415ac1f.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-e84a84df48f8cb81.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-34848da6eff62490.rlib" "/opt/rustwide/target/debug/deps/libmemchr-1e6b68a09fbeab95.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-6805c615af620a51.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-975e251edec7895a.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-fa89c22811cbba70.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-8e79a065fef863f3.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-a68d66da01a6ed2b.rlib" "/opt/rustwide/target/debug/deps/libhaybale-7beb1267a2100458.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-a9e5020b02aa0df0.rlib" "/opt/rustwide/target/debug/deps/libitertools-ba00051283d98f4c.rlib" "/opt/rustwide/target/debug/deps/libboolector-c6d812fe9ace4f40.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-79d3e3ecec95196d.rlib" "/opt/rustwide/target/debug/deps/libreduce-fef9970b0762f2b4.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-45752d70cb3b1eba.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-a728ae63d3fe2742.rlib" "/opt/rustwide/target/debug/deps/liblog-93951ff8e53c2b76.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-b00c34326580381c.rlib" "/opt/rustwide/target/debug/deps/libeither-3374e4d2a4d617ae.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-2686f3a4d1b12340.rlib" "/opt/rustwide/target/debug/deps/liblibc-e834449672905d13.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-5989bcf78182f65e.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-4d6da34bc177af8d.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-10e0d6c948699482.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-c2318e2415657781.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-3815b93ed84badbb.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-d7999143d95238cb.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-c58298a0d40df8b8.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-b7de97e2ba6fb4e2.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-6f71c9f654d72cce.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-95ea48ddc44a311b.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-7402cd4761aebc14.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-68f423c59dc48a40.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-54580c7798bf2225.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-95a4d456339b7385.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stdout] = note: /usr/bin/ld: cannot find -lboolector [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: linking with `cc` failed: exit code: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-Wl,--eh-frame-hdr" "-L" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/loop_tests-f8830b788454be4a.loop_tests.3a1hvpce-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-f8830b788454be4a.loop_tests.3a1hvpce-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-f8830b788454be4a.loop_tests.3a1hvpce-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-f8830b788454be4a.loop_tests.3a1hvpce-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-f8830b788454be4a.loop_tests.3a1hvpce-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-f8830b788454be4a.loop_tests.3a1hvpce-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-f8830b788454be4a.loop_tests.3a1hvpce-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-f8830b788454be4a.loop_tests.3a1hvpce-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-f8830b788454be4a.loop_tests.3a1hvpce-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-f8830b788454be4a.loop_tests.3a1hvpce-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-f8830b788454be4a.loop_tests.3a1hvpce-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-f8830b788454be4a.loop_tests.3a1hvpce-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-f8830b788454be4a.loop_tests.3a1hvpce-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-f8830b788454be4a.loop_tests.3a1hvpce-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-f8830b788454be4a.loop_tests.3a1hvpce-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-f8830b788454be4a.loop_tests.3a1hvpce-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/loop_tests-f8830b788454be4a" "/opt/rustwide/target/debug/deps/loop_tests-f8830b788454be4a.2ajdi2g2ptzqbul0.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-c3ac2b73751bc06d/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-106acc3b04fdafb7.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-7e1a178fe95831dc.rlib" "/opt/rustwide/target/debug/deps/libatty-42a96c4a05dc48c3.rlib" "/opt/rustwide/target/debug/deps/libhumantime-5af4e11a831f9349.rlib" "/opt/rustwide/target/debug/deps/libquick_error-04f7773cc8ada14a.rlib" "/opt/rustwide/target/debug/deps/libregex-cdf5ba7f1abc44f9.rlib" "/opt/rustwide/target/debug/deps/libthread_local-c3b7931041689864.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-7c0477ae3415ac1f.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-e84a84df48f8cb81.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-34848da6eff62490.rlib" "/opt/rustwide/target/debug/deps/libmemchr-1e6b68a09fbeab95.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-6805c615af620a51.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-975e251edec7895a.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-fa89c22811cbba70.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-8e79a065fef863f3.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-a68d66da01a6ed2b.rlib" "/opt/rustwide/target/debug/deps/libhaybale-7beb1267a2100458.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-a9e5020b02aa0df0.rlib" "/opt/rustwide/target/debug/deps/libitertools-ba00051283d98f4c.rlib" "/opt/rustwide/target/debug/deps/libboolector-c6d812fe9ace4f40.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-79d3e3ecec95196d.rlib" "/opt/rustwide/target/debug/deps/libreduce-fef9970b0762f2b4.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-45752d70cb3b1eba.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-a728ae63d3fe2742.rlib" "/opt/rustwide/target/debug/deps/liblog-93951ff8e53c2b76.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-b00c34326580381c.rlib" "/opt/rustwide/target/debug/deps/libeither-3374e4d2a4d617ae.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-2686f3a4d1b12340.rlib" "/opt/rustwide/target/debug/deps/liblibc-e834449672905d13.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-5989bcf78182f65e.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-4d6da34bc177af8d.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-10e0d6c948699482.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-c2318e2415657781.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-3815b93ed84badbb.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-d7999143d95238cb.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-c58298a0d40df8b8.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-b7de97e2ba6fb4e2.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-6f71c9f654d72cce.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-95ea48ddc44a311b.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-7402cd4761aebc14.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-68f423c59dc48a40.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-54580c7798bf2225.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-95a4d456339b7385.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stdout] = note: /usr/bin/ld: cannot find -lboolector [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: linking with `cc` failed: exit code: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-Wl,--eh-frame-hdr" "-L" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/struct_tests-73f43c4d30d24b72.struct_tests.m1dt8ptb-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-73f43c4d30d24b72.struct_tests.m1dt8ptb-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-73f43c4d30d24b72.struct_tests.m1dt8ptb-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-73f43c4d30d24b72.struct_tests.m1dt8ptb-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-73f43c4d30d24b72.struct_tests.m1dt8ptb-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-73f43c4d30d24b72.struct_tests.m1dt8ptb-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-73f43c4d30d24b72.struct_tests.m1dt8ptb-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-73f43c4d30d24b72.struct_tests.m1dt8ptb-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-73f43c4d30d24b72.struct_tests.m1dt8ptb-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-73f43c4d30d24b72.struct_tests.m1dt8ptb-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-73f43c4d30d24b72.struct_tests.m1dt8ptb-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-73f43c4d30d24b72.struct_tests.m1dt8ptb-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-73f43c4d30d24b72.struct_tests.m1dt8ptb-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-73f43c4d30d24b72.struct_tests.m1dt8ptb-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-73f43c4d30d24b72.struct_tests.m1dt8ptb-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-73f43c4d30d24b72.struct_tests.m1dt8ptb-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/struct_tests-73f43c4d30d24b72" "/opt/rustwide/target/debug/deps/struct_tests-73f43c4d30d24b72.4uhge82dev8odbzp.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-c3ac2b73751bc06d/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-106acc3b04fdafb7.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-7e1a178fe95831dc.rlib" "/opt/rustwide/target/debug/deps/libatty-42a96c4a05dc48c3.rlib" "/opt/rustwide/target/debug/deps/libhumantime-5af4e11a831f9349.rlib" "/opt/rustwide/target/debug/deps/libquick_error-04f7773cc8ada14a.rlib" "/opt/rustwide/target/debug/deps/libregex-cdf5ba7f1abc44f9.rlib" "/opt/rustwide/target/debug/deps/libthread_local-c3b7931041689864.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-7c0477ae3415ac1f.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-e84a84df48f8cb81.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-34848da6eff62490.rlib" "/opt/rustwide/target/debug/deps/libmemchr-1e6b68a09fbeab95.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-6805c615af620a51.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-975e251edec7895a.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-fa89c22811cbba70.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-8e79a065fef863f3.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-a68d66da01a6ed2b.rlib" "/opt/rustwide/target/debug/deps/libhaybale-7beb1267a2100458.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-a9e5020b02aa0df0.rlib" "/opt/rustwide/target/debug/deps/libitertools-ba00051283d98f4c.rlib" "/opt/rustwide/target/debug/deps/libboolector-c6d812fe9ace4f40.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-79d3e3ecec95196d.rlib" "/opt/rustwide/target/debug/deps/libreduce-fef9970b0762f2b4.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-45752d70cb3b1eba.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-a728ae63d3fe2742.rlib" "/opt/rustwide/target/debug/deps/liblog-93951ff8e53c2b76.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-b00c34326580381c.rlib" "/opt/rustwide/target/debug/deps/libeither-3374e4d2a4d617ae.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-2686f3a4d1b12340.rlib" "/opt/rustwide/target/debug/deps/liblibc-e834449672905d13.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-5989bcf78182f65e.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-4d6da34bc177af8d.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-10e0d6c948699482.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-c2318e2415657781.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-3815b93ed84badbb.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-d7999143d95238cb.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-c58298a0d40df8b8.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-b7de97e2ba6fb4e2.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-6f71c9f654d72cce.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-95ea48ddc44a311b.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-7402cd4761aebc14.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-68f423c59dc48a40.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-54580c7798bf2225.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-95a4d456339b7385.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stdout] = note: /usr/bin/ld: cannot find -lboolector [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: linking with `cc` failed: exit code: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-Wl,--eh-frame-hdr" "-L" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/may_abort_tests-ec50c538e2dcdec6.may_abort_tests.asfy54dx-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-ec50c538e2dcdec6.may_abort_tests.asfy54dx-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-ec50c538e2dcdec6.may_abort_tests.asfy54dx-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-ec50c538e2dcdec6.may_abort_tests.asfy54dx-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-ec50c538e2dcdec6.may_abort_tests.asfy54dx-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-ec50c538e2dcdec6.may_abort_tests.asfy54dx-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-ec50c538e2dcdec6.may_abort_tests.asfy54dx-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-ec50c538e2dcdec6.may_abort_tests.asfy54dx-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-ec50c538e2dcdec6.may_abort_tests.asfy54dx-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-ec50c538e2dcdec6.may_abort_tests.asfy54dx-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-ec50c538e2dcdec6.may_abort_tests.asfy54dx-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-ec50c538e2dcdec6.may_abort_tests.asfy54dx-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-ec50c538e2dcdec6.may_abort_tests.asfy54dx-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-ec50c538e2dcdec6.may_abort_tests.asfy54dx-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-ec50c538e2dcdec6.may_abort_tests.asfy54dx-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-ec50c538e2dcdec6.may_abort_tests.asfy54dx-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/may_abort_tests-ec50c538e2dcdec6" "/opt/rustwide/target/debug/deps/may_abort_tests-ec50c538e2dcdec6.m44yc0i1kho4qs0.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-c3ac2b73751bc06d/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-106acc3b04fdafb7.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-7e1a178fe95831dc.rlib" "/opt/rustwide/target/debug/deps/libatty-42a96c4a05dc48c3.rlib" "/opt/rustwide/target/debug/deps/libhumantime-5af4e11a831f9349.rlib" "/opt/rustwide/target/debug/deps/libquick_error-04f7773cc8ada14a.rlib" "/opt/rustwide/target/debug/deps/libregex-cdf5ba7f1abc44f9.rlib" "/opt/rustwide/target/debug/deps/libthread_local-c3b7931041689864.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-7c0477ae3415ac1f.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-e84a84df48f8cb81.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-34848da6eff62490.rlib" "/opt/rustwide/target/debug/deps/libmemchr-1e6b68a09fbeab95.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-6805c615af620a51.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-975e251edec7895a.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-fa89c22811cbba70.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-8e79a065fef863f3.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-a68d66da01a6ed2b.rlib" "/opt/rustwide/target/debug/deps/libhaybale-7beb1267a2100458.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-a9e5020b02aa0df0.rlib" "/opt/rustwide/target/debug/deps/libitertools-ba00051283d98f4c.rlib" "/opt/rustwide/target/debug/deps/libboolector-c6d812fe9ace4f40.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-79d3e3ecec95196d.rlib" "/opt/rustwide/target/debug/deps/libreduce-fef9970b0762f2b4.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-45752d70cb3b1eba.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-a728ae63d3fe2742.rlib" "/opt/rustwide/target/debug/deps/liblog-93951ff8e53c2b76.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-b00c34326580381c.rlib" "/opt/rustwide/target/debug/deps/libeither-3374e4d2a4d617ae.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-2686f3a4d1b12340.rlib" "/opt/rustwide/target/debug/deps/liblibc-e834449672905d13.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-5989bcf78182f65e.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-4d6da34bc177af8d.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-10e0d6c948699482.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-c2318e2415657781.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-3815b93ed84badbb.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-d7999143d95238cb.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-c58298a0d40df8b8.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-b7de97e2ba6fb4e2.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-6f71c9f654d72cce.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-95ea48ddc44a311b.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-7402cd4761aebc14.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-68f423c59dc48a40.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-54580c7798bf2225.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-95a4d456339b7385.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stdout] = note: /usr/bin/ld: cannot find -lboolector [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: linking with `cc` failed: exit code: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-Wl,--eh-frame-hdr" "-L" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/basic_tests-bc060aaa080d2009.basic_tests.5zpc7bh7-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-bc060aaa080d2009.basic_tests.5zpc7bh7-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-bc060aaa080d2009.basic_tests.5zpc7bh7-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-bc060aaa080d2009.basic_tests.5zpc7bh7-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-bc060aaa080d2009.basic_tests.5zpc7bh7-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-bc060aaa080d2009.basic_tests.5zpc7bh7-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-bc060aaa080d2009.basic_tests.5zpc7bh7-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-bc060aaa080d2009.basic_tests.5zpc7bh7-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-bc060aaa080d2009.basic_tests.5zpc7bh7-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-bc060aaa080d2009.basic_tests.5zpc7bh7-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-bc060aaa080d2009.basic_tests.5zpc7bh7-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-bc060aaa080d2009.basic_tests.5zpc7bh7-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-bc060aaa080d2009.basic_tests.5zpc7bh7-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-bc060aaa080d2009.basic_tests.5zpc7bh7-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-bc060aaa080d2009.basic_tests.5zpc7bh7-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/basic_tests-bc060aaa080d2009.basic_tests.5zpc7bh7-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/basic_tests-bc060aaa080d2009" "/opt/rustwide/target/debug/deps/basic_tests-bc060aaa080d2009.2qbb3vdrbhpaexly.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-c3ac2b73751bc06d/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-106acc3b04fdafb7.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-7e1a178fe95831dc.rlib" "/opt/rustwide/target/debug/deps/libatty-42a96c4a05dc48c3.rlib" "/opt/rustwide/target/debug/deps/libhumantime-5af4e11a831f9349.rlib" "/opt/rustwide/target/debug/deps/libquick_error-04f7773cc8ada14a.rlib" "/opt/rustwide/target/debug/deps/libregex-cdf5ba7f1abc44f9.rlib" "/opt/rustwide/target/debug/deps/libthread_local-c3b7931041689864.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-7c0477ae3415ac1f.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-e84a84df48f8cb81.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-34848da6eff62490.rlib" "/opt/rustwide/target/debug/deps/libmemchr-1e6b68a09fbeab95.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-6805c615af620a51.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-975e251edec7895a.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-fa89c22811cbba70.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-8e79a065fef863f3.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-a68d66da01a6ed2b.rlib" "/opt/rustwide/target/debug/deps/libhaybale-7beb1267a2100458.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-a9e5020b02aa0df0.rlib" "/opt/rustwide/target/debug/deps/libitertools-ba00051283d98f4c.rlib" "/opt/rustwide/target/debug/deps/libboolector-c6d812fe9ace4f40.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-79d3e3ecec95196d.rlib" "/opt/rustwide/target/debug/deps/libreduce-fef9970b0762f2b4.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-45752d70cb3b1eba.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-a728ae63d3fe2742.rlib" "/opt/rustwide/target/debug/deps/liblog-93951ff8e53c2b76.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-b00c34326580381c.rlib" "/opt/rustwide/target/debug/deps/libeither-3374e4d2a4d617ae.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-2686f3a4d1b12340.rlib" "/opt/rustwide/target/debug/deps/liblibc-e834449672905d13.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-5989bcf78182f65e.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-4d6da34bc177af8d.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-10e0d6c948699482.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-c2318e2415657781.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-3815b93ed84badbb.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-d7999143d95238cb.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-c58298a0d40df8b8.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-b7de97e2ba6fb4e2.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-6f71c9f654d72cce.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-95ea48ddc44a311b.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-7402cd4761aebc14.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-68f423c59dc48a40.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-54580c7798bf2225.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-95a4d456339b7385.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stdout] = note: /usr/bin/ld: cannot find -lboolector [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: linking with `cc` failed: exit code: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-Wl,--eh-frame-hdr" "-L" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/functionptr_tests-3ba027dce3883275.functionptr_tests.7bvlzmaz-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-3ba027dce3883275.functionptr_tests.7bvlzmaz-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-3ba027dce3883275.functionptr_tests.7bvlzmaz-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-3ba027dce3883275.functionptr_tests.7bvlzmaz-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-3ba027dce3883275.functionptr_tests.7bvlzmaz-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-3ba027dce3883275.functionptr_tests.7bvlzmaz-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-3ba027dce3883275.functionptr_tests.7bvlzmaz-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-3ba027dce3883275.functionptr_tests.7bvlzmaz-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-3ba027dce3883275.functionptr_tests.7bvlzmaz-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-3ba027dce3883275.functionptr_tests.7bvlzmaz-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-3ba027dce3883275.functionptr_tests.7bvlzmaz-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-3ba027dce3883275.functionptr_tests.7bvlzmaz-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-3ba027dce3883275.functionptr_tests.7bvlzmaz-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-3ba027dce3883275.functionptr_tests.7bvlzmaz-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-3ba027dce3883275.functionptr_tests.7bvlzmaz-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-3ba027dce3883275.functionptr_tests.7bvlzmaz-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/functionptr_tests-3ba027dce3883275" "/opt/rustwide/target/debug/deps/functionptr_tests-3ba027dce3883275.5ep68a5qin32p1jn.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-c3ac2b73751bc06d/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-106acc3b04fdafb7.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-7e1a178fe95831dc.rlib" "/opt/rustwide/target/debug/deps/libatty-42a96c4a05dc48c3.rlib" "/opt/rustwide/target/debug/deps/libhumantime-5af4e11a831f9349.rlib" "/opt/rustwide/target/debug/deps/libquick_error-04f7773cc8ada14a.rlib" "/opt/rustwide/target/debug/deps/libregex-cdf5ba7f1abc44f9.rlib" "/opt/rustwide/target/debug/deps/libthread_local-c3b7931041689864.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-7c0477ae3415ac1f.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-e84a84df48f8cb81.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-34848da6eff62490.rlib" "/opt/rustwide/target/debug/deps/libmemchr-1e6b68a09fbeab95.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-6805c615af620a51.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-975e251edec7895a.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-fa89c22811cbba70.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-8e79a065fef863f3.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-a68d66da01a6ed2b.rlib" "/opt/rustwide/target/debug/deps/libhaybale-7beb1267a2100458.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-a9e5020b02aa0df0.rlib" "/opt/rustwide/target/debug/deps/libitertools-ba00051283d98f4c.rlib" "/opt/rustwide/target/debug/deps/libboolector-c6d812fe9ace4f40.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-79d3e3ecec95196d.rlib" "/opt/rustwide/target/debug/deps/libreduce-fef9970b0762f2b4.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-45752d70cb3b1eba.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-a728ae63d3fe2742.rlib" "/opt/rustwide/target/debug/deps/liblog-93951ff8e53c2b76.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-b00c34326580381c.rlib" "/opt/rustwide/target/debug/deps/libeither-3374e4d2a4d617ae.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-2686f3a4d1b12340.rlib" "/opt/rustwide/target/debug/deps/liblibc-e834449672905d13.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-5989bcf78182f65e.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-4d6da34bc177af8d.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-10e0d6c948699482.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-c2318e2415657781.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-3815b93ed84badbb.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-d7999143d95238cb.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-c58298a0d40df8b8.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-b7de97e2ba6fb4e2.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-6f71c9f654d72cce.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-95ea48ddc44a311b.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-7402cd4761aebc14.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-68f423c59dc48a40.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-54580c7798bf2225.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-95a4d456339b7385.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stdout] = note: /usr/bin/ld: cannot find -lboolector [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: linking with `cc` failed: exit code: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-Wl,--eh-frame-hdr" "-L" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/hook_tests-6fd7aeec2d70ef00.hook_tests.ca6huojd-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-6fd7aeec2d70ef00.hook_tests.ca6huojd-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-6fd7aeec2d70ef00.hook_tests.ca6huojd-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-6fd7aeec2d70ef00.hook_tests.ca6huojd-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-6fd7aeec2d70ef00.hook_tests.ca6huojd-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-6fd7aeec2d70ef00.hook_tests.ca6huojd-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-6fd7aeec2d70ef00.hook_tests.ca6huojd-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-6fd7aeec2d70ef00.hook_tests.ca6huojd-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-6fd7aeec2d70ef00.hook_tests.ca6huojd-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-6fd7aeec2d70ef00.hook_tests.ca6huojd-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-6fd7aeec2d70ef00.hook_tests.ca6huojd-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-6fd7aeec2d70ef00.hook_tests.ca6huojd-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-6fd7aeec2d70ef00.hook_tests.ca6huojd-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-6fd7aeec2d70ef00.hook_tests.ca6huojd-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-6fd7aeec2d70ef00.hook_tests.ca6huojd-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/hook_tests-6fd7aeec2d70ef00.hook_tests.ca6huojd-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/hook_tests-6fd7aeec2d70ef00" "/opt/rustwide/target/debug/deps/hook_tests-6fd7aeec2d70ef00.4lt1lffngc02q0yg.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-c3ac2b73751bc06d/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-106acc3b04fdafb7.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-7e1a178fe95831dc.rlib" "/opt/rustwide/target/debug/deps/libatty-42a96c4a05dc48c3.rlib" "/opt/rustwide/target/debug/deps/libhumantime-5af4e11a831f9349.rlib" "/opt/rustwide/target/debug/deps/libquick_error-04f7773cc8ada14a.rlib" "/opt/rustwide/target/debug/deps/libregex-cdf5ba7f1abc44f9.rlib" "/opt/rustwide/target/debug/deps/libthread_local-c3b7931041689864.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-7c0477ae3415ac1f.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-e84a84df48f8cb81.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-34848da6eff62490.rlib" "/opt/rustwide/target/debug/deps/libmemchr-1e6b68a09fbeab95.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-6805c615af620a51.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-975e251edec7895a.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-fa89c22811cbba70.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-8e79a065fef863f3.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-a68d66da01a6ed2b.rlib" "/opt/rustwide/target/debug/deps/libhaybale-7beb1267a2100458.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-a9e5020b02aa0df0.rlib" "/opt/rustwide/target/debug/deps/libitertools-ba00051283d98f4c.rlib" "/opt/rustwide/target/debug/deps/libboolector-c6d812fe9ace4f40.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-79d3e3ecec95196d.rlib" "/opt/rustwide/target/debug/deps/libreduce-fef9970b0762f2b4.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-45752d70cb3b1eba.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-a728ae63d3fe2742.rlib" "/opt/rustwide/target/debug/deps/liblog-93951ff8e53c2b76.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-b00c34326580381c.rlib" "/opt/rustwide/target/debug/deps/libeither-3374e4d2a4d617ae.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-2686f3a4d1b12340.rlib" "/opt/rustwide/target/debug/deps/liblibc-e834449672905d13.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-5989bcf78182f65e.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-4d6da34bc177af8d.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-10e0d6c948699482.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-c2318e2415657781.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-3815b93ed84badbb.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-d7999143d95238cb.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-c58298a0d40df8b8.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-b7de97e2ba6fb4e2.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-6f71c9f654d72cce.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-95ea48ddc44a311b.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-7402cd4761aebc14.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-68f423c59dc48a40.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-54580c7798bf2225.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-95a4d456339b7385.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stdout] = note: /usr/bin/ld: cannot find -lboolector [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: linking with `cc` failed: exit code: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-Wl,--eh-frame-hdr" "-L" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/simd_tests-84e6eb6555e57cec.simd_tests.tdesqjkz-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-84e6eb6555e57cec.simd_tests.tdesqjkz-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-84e6eb6555e57cec.simd_tests.tdesqjkz-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-84e6eb6555e57cec.simd_tests.tdesqjkz-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-84e6eb6555e57cec.simd_tests.tdesqjkz-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-84e6eb6555e57cec.simd_tests.tdesqjkz-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-84e6eb6555e57cec.simd_tests.tdesqjkz-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-84e6eb6555e57cec.simd_tests.tdesqjkz-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-84e6eb6555e57cec.simd_tests.tdesqjkz-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-84e6eb6555e57cec.simd_tests.tdesqjkz-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-84e6eb6555e57cec.simd_tests.tdesqjkz-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-84e6eb6555e57cec.simd_tests.tdesqjkz-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-84e6eb6555e57cec.simd_tests.tdesqjkz-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-84e6eb6555e57cec.simd_tests.tdesqjkz-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-84e6eb6555e57cec.simd_tests.tdesqjkz-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/simd_tests-84e6eb6555e57cec.simd_tests.tdesqjkz-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/simd_tests-84e6eb6555e57cec" "/opt/rustwide/target/debug/deps/simd_tests-84e6eb6555e57cec.1gsjjbrj3z7egq3g.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-c3ac2b73751bc06d/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-106acc3b04fdafb7.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-7e1a178fe95831dc.rlib" "/opt/rustwide/target/debug/deps/libatty-42a96c4a05dc48c3.rlib" "/opt/rustwide/target/debug/deps/libhumantime-5af4e11a831f9349.rlib" "/opt/rustwide/target/debug/deps/libquick_error-04f7773cc8ada14a.rlib" "/opt/rustwide/target/debug/deps/libregex-cdf5ba7f1abc44f9.rlib" "/opt/rustwide/target/debug/deps/libthread_local-c3b7931041689864.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-7c0477ae3415ac1f.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-e84a84df48f8cb81.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-34848da6eff62490.rlib" "/opt/rustwide/target/debug/deps/libmemchr-1e6b68a09fbeab95.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-6805c615af620a51.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-975e251edec7895a.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-fa89c22811cbba70.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-8e79a065fef863f3.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-a68d66da01a6ed2b.rlib" "/opt/rustwide/target/debug/deps/libhaybale-7beb1267a2100458.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-a9e5020b02aa0df0.rlib" "/opt/rustwide/target/debug/deps/libitertools-ba00051283d98f4c.rlib" "/opt/rustwide/target/debug/deps/libboolector-c6d812fe9ace4f40.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-79d3e3ecec95196d.rlib" "/opt/rustwide/target/debug/deps/libreduce-fef9970b0762f2b4.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-45752d70cb3b1eba.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-a728ae63d3fe2742.rlib" "/opt/rustwide/target/debug/deps/liblog-93951ff8e53c2b76.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-b00c34326580381c.rlib" "/opt/rustwide/target/debug/deps/libeither-3374e4d2a4d617ae.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-2686f3a4d1b12340.rlib" "/opt/rustwide/target/debug/deps/liblibc-e834449672905d13.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-5989bcf78182f65e.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-4d6da34bc177af8d.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-10e0d6c948699482.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-c2318e2415657781.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-3815b93ed84badbb.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-d7999143d95238cb.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-c58298a0d40df8b8.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-b7de97e2ba6fb4e2.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-6f71c9f654d72cce.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-95ea48ddc44a311b.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-7402cd4761aebc14.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-68f423c59dc48a40.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-54580c7798bf2225.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-95a4d456339b7385.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stdout] = note: /usr/bin/ld: cannot find -lboolector [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: linking with `cc` failed: exit code: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-Wl,--eh-frame-hdr" "-L" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/call_tests-fa298d9e4e94e586.call_tests.ehapnpat-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-fa298d9e4e94e586.call_tests.ehapnpat-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-fa298d9e4e94e586.call_tests.ehapnpat-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-fa298d9e4e94e586.call_tests.ehapnpat-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-fa298d9e4e94e586.call_tests.ehapnpat-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-fa298d9e4e94e586.call_tests.ehapnpat-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-fa298d9e4e94e586.call_tests.ehapnpat-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-fa298d9e4e94e586.call_tests.ehapnpat-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-fa298d9e4e94e586.call_tests.ehapnpat-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-fa298d9e4e94e586.call_tests.ehapnpat-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-fa298d9e4e94e586.call_tests.ehapnpat-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-fa298d9e4e94e586.call_tests.ehapnpat-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-fa298d9e4e94e586.call_tests.ehapnpat-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-fa298d9e4e94e586.call_tests.ehapnpat-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-fa298d9e4e94e586.call_tests.ehapnpat-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-fa298d9e4e94e586.call_tests.ehapnpat-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/call_tests-fa298d9e4e94e586" "/opt/rustwide/target/debug/deps/call_tests-fa298d9e4e94e586.2rk4hikizzl1a02t.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-c3ac2b73751bc06d/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-106acc3b04fdafb7.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-7e1a178fe95831dc.rlib" "/opt/rustwide/target/debug/deps/libatty-42a96c4a05dc48c3.rlib" "/opt/rustwide/target/debug/deps/libhumantime-5af4e11a831f9349.rlib" "/opt/rustwide/target/debug/deps/libquick_error-04f7773cc8ada14a.rlib" "/opt/rustwide/target/debug/deps/libregex-cdf5ba7f1abc44f9.rlib" "/opt/rustwide/target/debug/deps/libthread_local-c3b7931041689864.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-7c0477ae3415ac1f.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-e84a84df48f8cb81.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-34848da6eff62490.rlib" "/opt/rustwide/target/debug/deps/libmemchr-1e6b68a09fbeab95.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-6805c615af620a51.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-975e251edec7895a.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-fa89c22811cbba70.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-8e79a065fef863f3.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-a68d66da01a6ed2b.rlib" "/opt/rustwide/target/debug/deps/libhaybale-7beb1267a2100458.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-a9e5020b02aa0df0.rlib" "/opt/rustwide/target/debug/deps/libitertools-ba00051283d98f4c.rlib" "/opt/rustwide/target/debug/deps/libboolector-c6d812fe9ace4f40.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-79d3e3ecec95196d.rlib" "/opt/rustwide/target/debug/deps/libreduce-fef9970b0762f2b4.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-45752d70cb3b1eba.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-a728ae63d3fe2742.rlib" "/opt/rustwide/target/debug/deps/liblog-93951ff8e53c2b76.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-b00c34326580381c.rlib" "/opt/rustwide/target/debug/deps/libeither-3374e4d2a4d617ae.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-2686f3a4d1b12340.rlib" "/opt/rustwide/target/debug/deps/liblibc-e834449672905d13.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-5989bcf78182f65e.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-4d6da34bc177af8d.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-10e0d6c948699482.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-c2318e2415657781.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-3815b93ed84badbb.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-d7999143d95238cb.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-c58298a0d40df8b8.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-b7de97e2ba6fb4e2.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-6f71c9f654d72cce.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-95ea48ddc44a311b.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-7402cd4761aebc14.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-68f423c59dc48a40.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-54580c7798bf2225.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-95a4d456339b7385.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stdout] = note: /usr/bin/ld: cannot find -lboolector [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: linking with `cc` failed: exit code: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-Wl,--eh-frame-hdr" "-L" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/global_tests-d13b62dee8f70176.global_tests.3kdtg7l0-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-d13b62dee8f70176.global_tests.3kdtg7l0-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-d13b62dee8f70176.global_tests.3kdtg7l0-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-d13b62dee8f70176.global_tests.3kdtg7l0-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-d13b62dee8f70176.global_tests.3kdtg7l0-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-d13b62dee8f70176.global_tests.3kdtg7l0-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-d13b62dee8f70176.global_tests.3kdtg7l0-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-d13b62dee8f70176.global_tests.3kdtg7l0-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-d13b62dee8f70176.global_tests.3kdtg7l0-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-d13b62dee8f70176.global_tests.3kdtg7l0-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-d13b62dee8f70176.global_tests.3kdtg7l0-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-d13b62dee8f70176.global_tests.3kdtg7l0-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-d13b62dee8f70176.global_tests.3kdtg7l0-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-d13b62dee8f70176.global_tests.3kdtg7l0-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-d13b62dee8f70176.global_tests.3kdtg7l0-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/global_tests-d13b62dee8f70176.global_tests.3kdtg7l0-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/global_tests-d13b62dee8f70176" "/opt/rustwide/target/debug/deps/global_tests-d13b62dee8f70176.4ft3nr2mdwll9gq0.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-c3ac2b73751bc06d/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-106acc3b04fdafb7.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-7e1a178fe95831dc.rlib" "/opt/rustwide/target/debug/deps/libatty-42a96c4a05dc48c3.rlib" "/opt/rustwide/target/debug/deps/libhumantime-5af4e11a831f9349.rlib" "/opt/rustwide/target/debug/deps/libquick_error-04f7773cc8ada14a.rlib" "/opt/rustwide/target/debug/deps/libregex-cdf5ba7f1abc44f9.rlib" "/opt/rustwide/target/debug/deps/libthread_local-c3b7931041689864.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-7c0477ae3415ac1f.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-e84a84df48f8cb81.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-34848da6eff62490.rlib" "/opt/rustwide/target/debug/deps/libmemchr-1e6b68a09fbeab95.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-6805c615af620a51.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-975e251edec7895a.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-fa89c22811cbba70.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-8e79a065fef863f3.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-a68d66da01a6ed2b.rlib" "/opt/rustwide/target/debug/deps/libhaybale-7beb1267a2100458.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-a9e5020b02aa0df0.rlib" "/opt/rustwide/target/debug/deps/libitertools-ba00051283d98f4c.rlib" "/opt/rustwide/target/debug/deps/libboolector-c6d812fe9ace4f40.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-79d3e3ecec95196d.rlib" "/opt/rustwide/target/debug/deps/libreduce-fef9970b0762f2b4.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-45752d70cb3b1eba.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-a728ae63d3fe2742.rlib" "/opt/rustwide/target/debug/deps/liblog-93951ff8e53c2b76.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-b00c34326580381c.rlib" "/opt/rustwide/target/debug/deps/libeither-3374e4d2a4d617ae.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-2686f3a4d1b12340.rlib" "/opt/rustwide/target/debug/deps/liblibc-e834449672905d13.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-5989bcf78182f65e.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-4d6da34bc177af8d.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-10e0d6c948699482.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-c2318e2415657781.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-3815b93ed84badbb.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-d7999143d95238cb.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-c58298a0d40df8b8.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-b7de97e2ba6fb4e2.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-6f71c9f654d72cce.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-95ea48ddc44a311b.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-7402cd4761aebc14.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-68f423c59dc48a40.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-54580c7798bf2225.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-95a4d456339b7385.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stdout] = note: /usr/bin/ld: cannot find -lboolector [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: linking with `cc` failed: exit code: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-Wl,--eh-frame-hdr" "-L" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/haybale-9fd0cfe7106dd291.haybale.4g8i5a1d-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-9fd0cfe7106dd291.haybale.4g8i5a1d-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-9fd0cfe7106dd291.haybale.4g8i5a1d-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-9fd0cfe7106dd291.haybale.4g8i5a1d-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-9fd0cfe7106dd291.haybale.4g8i5a1d-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-9fd0cfe7106dd291.haybale.4g8i5a1d-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-9fd0cfe7106dd291.haybale.4g8i5a1d-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-9fd0cfe7106dd291.haybale.4g8i5a1d-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-9fd0cfe7106dd291.haybale.4g8i5a1d-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-9fd0cfe7106dd291.haybale.4g8i5a1d-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-9fd0cfe7106dd291.haybale.4g8i5a1d-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-9fd0cfe7106dd291.haybale.4g8i5a1d-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-9fd0cfe7106dd291.haybale.4g8i5a1d-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-9fd0cfe7106dd291.haybale.4g8i5a1d-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-9fd0cfe7106dd291.haybale.4g8i5a1d-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/haybale-9fd0cfe7106dd291.haybale.4g8i5a1d-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/haybale-9fd0cfe7106dd291" "/opt/rustwide/target/debug/deps/haybale-9fd0cfe7106dd291.4owge14mysdc4bfo.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/build/llvm-sys-c3ac2b73751bc06d/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libcpp_demangle-a9e5020b02aa0df0.rlib" "/opt/rustwide/target/debug/deps/libenv_logger-106acc3b04fdafb7.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-7e1a178fe95831dc.rlib" "/opt/rustwide/target/debug/deps/libatty-42a96c4a05dc48c3.rlib" "/opt/rustwide/target/debug/deps/libhumantime-5af4e11a831f9349.rlib" "/opt/rustwide/target/debug/deps/libquick_error-04f7773cc8ada14a.rlib" "/opt/rustwide/target/debug/deps/libregex-cdf5ba7f1abc44f9.rlib" "/opt/rustwide/target/debug/deps/libthread_local-c3b7931041689864.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-7c0477ae3415ac1f.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-e84a84df48f8cb81.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-34848da6eff62490.rlib" "/opt/rustwide/target/debug/deps/libmemchr-1e6b68a09fbeab95.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-6805c615af620a51.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-975e251edec7895a.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-fa89c22811cbba70.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-8e79a065fef863f3.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-a68d66da01a6ed2b.rlib" "/opt/rustwide/target/debug/deps/libitertools-ba00051283d98f4c.rlib" "/opt/rustwide/target/debug/deps/libboolector-c6d812fe9ace4f40.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-79d3e3ecec95196d.rlib" "/opt/rustwide/target/debug/deps/libreduce-fef9970b0762f2b4.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-45752d70cb3b1eba.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-a728ae63d3fe2742.rlib" "/opt/rustwide/target/debug/deps/liblog-93951ff8e53c2b76.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-b00c34326580381c.rlib" "/opt/rustwide/target/debug/deps/libeither-3374e4d2a4d617ae.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-2686f3a4d1b12340.rlib" "/opt/rustwide/target/debug/deps/liblibc-e834449672905d13.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-5989bcf78182f65e.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-4d6da34bc177af8d.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-10e0d6c948699482.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-c2318e2415657781.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-3815b93ed84badbb.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-d7999143d95238cb.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-c58298a0d40df8b8.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-b7de97e2ba6fb4e2.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-6f71c9f654d72cce.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-95ea48ddc44a311b.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-7402cd4761aebc14.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-68f423c59dc48a40.rlib" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-54580c7798bf2225.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-95a4d456339b7385.rlib" "-Wl,-Bdynamic" "-lboolector" "-lz" "-lrt" "-ldl" "-ltinfo" "-lpthread" "-lm" "-lstdc++" "-lutil" "-ldl" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-ldl" "-lutil" [INFO] [stdout] = note: /usr/bin/ld: cannot find -lboolector [INFO] [stdout] collect2: error: ld returned 1 exit status [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: build failed [INFO] running `Command { std: "docker" "inspect" "d0cdd29308c17a5326d633c1571c6c336d24c27324c031a6c3841376bb3b6d6c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d0cdd29308c17a5326d633c1571c6c336d24c27324c031a6c3841376bb3b6d6c", kill_on_drop: false }` [INFO] [stdout] d0cdd29308c17a5326d633c1571c6c336d24c27324c031a6c3841376bb3b6d6c