[INFO] fetching crate haybale 0.5.0...
[INFO] testing haybale-0.5.0 against beta-2020-07-24 for beta-1.46-1
[INFO] extracting crate haybale 0.5.0 into /workspace/builds/worker-4/source
[INFO] validating manifest of crates.io crate haybale 0.5.0 on toolchain beta-2020-07-24
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2020-07-24" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] started tweaking crates.io crate haybale 0.5.0
[INFO] finished tweaking crates.io crate haybale 0.5.0
[INFO] tweaked toml for crates.io crate haybale 0.5.0 written to /workspace/builds/worker-4/source/Cargo.toml
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2020-07-24" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2020-07-24" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded boolector v0.4.0
[INFO] [stderr]   Downloaded llvm-ir v0.6.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/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:a636fd89d022f18117e1dc8fb37a0a009933cdbbe082814857f0e2024962d47c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2020-07-24" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 4ee2917be0d11426d7230fffba20e86d342cc8fd286f8b79e3bf0a7103a5d2a1
[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" "4ee2917be0d11426d7230fffba20e86d342cc8fd286f8b79e3bf0a7103a5d2a1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "4ee2917be0d11426d7230fffba20e86d342cc8fd286f8b79e3bf0a7103a5d2a1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4ee2917be0d11426d7230fffba20e86d342cc8fd286f8b79e3bf0a7103a5d2a1", kill_on_drop: false }`
[INFO] [stdout] 4ee2917be0d11426d7230fffba20e86d342cc8fd286f8b79e3bf0a7103a5d2a1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/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=warn" "-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:a636fd89d022f18117e1dc8fb37a0a009933cdbbe082814857f0e2024962d47c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2020-07-24" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 10e9dc631600cd3e67431896522daa9cc33e7433eadcd0229e6f9277ffeb4826
[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" "10e9dc631600cd3e67431896522daa9cc33e7433eadcd0229e6f9277ffeb4826", kill_on_drop: false }`
[INFO] [stderr]    Compiling boolector-sys v0.5.0
[INFO] [stderr]    Compiling reduce v0.1.3
[INFO] [stderr]    Compiling itertools v0.9.0
[INFO] [stderr]    Compiling cpp_demangle v0.2.16
[INFO] [stderr]    Compiling llvm-sys v100.1.0
[INFO] [stderr]    Compiling boolector v0.4.0
[INFO] [stderr]    Compiling llvm-ir v0.6.0
[INFO] [stderr]    Compiling haybale v0.5.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 23.81s
[INFO] running `Command { std: "docker" "inspect" "10e9dc631600cd3e67431896522daa9cc33e7433eadcd0229e6f9277ffeb4826", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "10e9dc631600cd3e67431896522daa9cc33e7433eadcd0229e6f9277ffeb4826", kill_on_drop: false }`
[INFO] [stdout] 10e9dc631600cd3e67431896522daa9cc33e7433eadcd0229e6f9277ffeb4826
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/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=warn" "-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:a636fd89d022f18117e1dc8fb37a0a009933cdbbe082814857f0e2024962d47c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2020-07-24" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 5c9ee31a439694901bf691e3b38de53ab837332645f792534d0b06b2f67615a5
[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" "5c9ee31a439694901bf691e3b38de53ab837332645f792534d0b06b2f67615a5", kill_on_drop: false }`
[INFO] [stderr]    Compiling haybale v0.5.0 (/opt/rustwide/workdir)
[INFO] [stderr] error: could not compile `haybale`.
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustc --crate-name haybale --edition=2018 src/lib.rs --error-format=json --json=diagnostic-rendered-ansi --emit=dep-info,link -Cembed-bitcode=no -C debuginfo=2 --test -C metadata=d1750c64ff397beb -C extra-filename=-d1750c64ff397beb --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern boolector=/opt/rustwide/target/debug/deps/libboolector-7e8c222247ad0b02.rlib --extern cpp_demangle=/opt/rustwide/target/debug/deps/libcpp_demangle-48a30c1d96c08dfe.rlib --extern either=/opt/rustwide/target/debug/deps/libeither-56bcfa1bc0d47530.rlib --extern env_logger=/opt/rustwide/target/debug/deps/libenv_logger-29f6ad8609b34072.rlib --extern itertools=/opt/rustwide/target/debug/deps/libitertools-a7ff8b891b0c0adc.rlib --extern llvm_ir=/opt/rustwide/target/debug/deps/libllvm_ir-557a78ea9f7a8d95.rlib --extern log=/opt/rustwide/target/debug/deps/liblog-51760c8d9f0a0b95.rlib --extern reduce=/opt/rustwide/target/debug/deps/libreduce-8a46a1a0745faef8.rlib --extern rustc_demangle=/opt/rustwide/target/debug/deps/librustc_demangle-becdbf8f7e05c013.rlib --cap-lints=warn -L native=/opt/rustwide/target/debug/build/llvm-sys-0c62bc47aa597884/out -L native=/usr/lib/llvm-10/lib` (signal: 9, SIGKILL: kill)
[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/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/memory_tests-014ed16b809f7db3.memory_tests.7rr40lbh-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-014ed16b809f7db3.memory_tests.7rr40lbh-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-014ed16b809f7db3.memory_tests.7rr40lbh-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-014ed16b809f7db3.memory_tests.7rr40lbh-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-014ed16b809f7db3.memory_tests.7rr40lbh-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-014ed16b809f7db3.memory_tests.7rr40lbh-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-014ed16b809f7db3.memory_tests.7rr40lbh-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-014ed16b809f7db3.memory_tests.7rr40lbh-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-014ed16b809f7db3.memory_tests.7rr40lbh-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-014ed16b809f7db3.memory_tests.7rr40lbh-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-014ed16b809f7db3.memory_tests.7rr40lbh-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-014ed16b809f7db3.memory_tests.7rr40lbh-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-014ed16b809f7db3.memory_tests.7rr40lbh-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-014ed16b809f7db3.memory_tests.7rr40lbh-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-014ed16b809f7db3.memory_tests.7rr40lbh-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/memory_tests-014ed16b809f7db3.memory_tests.7rr40lbh-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/memory_tests-014ed16b809f7db3" "/opt/rustwide/target/debug/deps/memory_tests-014ed16b809f7db3.3t6zzubphz646b6f.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-0c62bc47aa597884/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-29f6ad8609b34072.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-5143a25e61d9bfa5.rlib" "/opt/rustwide/target/debug/deps/libatty-12222e46c3c2fc91.rlib" "/opt/rustwide/target/debug/deps/libhumantime-76a7f109c5c66700.rlib" "/opt/rustwide/target/debug/deps/libquick_error-e15ea4fce168f797.rlib" "/opt/rustwide/target/debug/deps/libregex-9d7cc8905e175b99.rlib" "/opt/rustwide/target/debug/deps/libthread_local-b5a8520d8d18b76f.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-03dc560a77c5aa3e.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-a1e9e1e3fc23ae94.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-82571f279f177a2c.rlib" "/opt/rustwide/target/debug/deps/libmemchr-8df1994bb164e7a2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-12320b97c89568cd.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-700356192fffd298.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-b7642fe67be89b55.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-5281c8ee01ffdf7b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-a4e3948fb2172e36.rlib" "/opt/rustwide/target/debug/deps/libhaybale-1b8ae96a31531b43.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-48a30c1d96c08dfe.rlib" "/opt/rustwide/target/debug/deps/libitertools-a7ff8b891b0c0adc.rlib" "/opt/rustwide/target/debug/deps/libboolector-7e8c222247ad0b02.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-db7f692a2e051d86.rlib" "/opt/rustwide/target/debug/deps/libreduce-8a46a1a0745faef8.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-becdbf8f7e05c013.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-557a78ea9f7a8d95.rlib" "/opt/rustwide/target/debug/deps/liblog-51760c8d9f0a0b95.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-727e218cbe4629d5.rlib" "/opt/rustwide/target/debug/deps/libeither-56bcfa1bc0d47530.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-21fb79adb2789e44.rlib" "/opt/rustwide/target/debug/deps/liblibc-1da13201d615d981.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-d66e0ceb8eaec9b8.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-9717ec0599b569a0.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-04369de9ba916647.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-997d622c2e4dbe5c.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-0359c4288a5ef89f.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-1b25ede22d698ab3.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-37940b486a68e488.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-06b77c27e794c7c6.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-4d07e02a8df36da1.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-fb29e0695c0a0f79.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-e16188b4cf97e8bb.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-5eb391c8dabdee77.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-b0689b528b222bee.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-ed072ac495e62e7a.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/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/linkedlist_tests-8244644d3d63506a.linkedlist_tests.33wqkgao-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-8244644d3d63506a.linkedlist_tests.33wqkgao-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-8244644d3d63506a.linkedlist_tests.33wqkgao-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-8244644d3d63506a.linkedlist_tests.33wqkgao-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-8244644d3d63506a.linkedlist_tests.33wqkgao-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-8244644d3d63506a.linkedlist_tests.33wqkgao-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-8244644d3d63506a.linkedlist_tests.33wqkgao-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-8244644d3d63506a.linkedlist_tests.33wqkgao-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-8244644d3d63506a.linkedlist_tests.33wqkgao-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-8244644d3d63506a.linkedlist_tests.33wqkgao-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-8244644d3d63506a.linkedlist_tests.33wqkgao-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-8244644d3d63506a.linkedlist_tests.33wqkgao-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-8244644d3d63506a.linkedlist_tests.33wqkgao-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-8244644d3d63506a.linkedlist_tests.33wqkgao-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-8244644d3d63506a.linkedlist_tests.33wqkgao-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/linkedlist_tests-8244644d3d63506a.linkedlist_tests.33wqkgao-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/linkedlist_tests-8244644d3d63506a" "/opt/rustwide/target/debug/deps/linkedlist_tests-8244644d3d63506a.q00qb1cmdpxv92p.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-0c62bc47aa597884/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-29f6ad8609b34072.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-5143a25e61d9bfa5.rlib" "/opt/rustwide/target/debug/deps/libatty-12222e46c3c2fc91.rlib" "/opt/rustwide/target/debug/deps/libhumantime-76a7f109c5c66700.rlib" "/opt/rustwide/target/debug/deps/libquick_error-e15ea4fce168f797.rlib" "/opt/rustwide/target/debug/deps/libregex-9d7cc8905e175b99.rlib" "/opt/rustwide/target/debug/deps/libthread_local-b5a8520d8d18b76f.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-03dc560a77c5aa3e.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-a1e9e1e3fc23ae94.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-82571f279f177a2c.rlib" "/opt/rustwide/target/debug/deps/libmemchr-8df1994bb164e7a2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-12320b97c89568cd.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-700356192fffd298.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-b7642fe67be89b55.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-5281c8ee01ffdf7b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-a4e3948fb2172e36.rlib" "/opt/rustwide/target/debug/deps/libhaybale-1b8ae96a31531b43.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-48a30c1d96c08dfe.rlib" "/opt/rustwide/target/debug/deps/libitertools-a7ff8b891b0c0adc.rlib" "/opt/rustwide/target/debug/deps/libboolector-7e8c222247ad0b02.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-db7f692a2e051d86.rlib" "/opt/rustwide/target/debug/deps/libreduce-8a46a1a0745faef8.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-becdbf8f7e05c013.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-557a78ea9f7a8d95.rlib" "/opt/rustwide/target/debug/deps/liblog-51760c8d9f0a0b95.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-727e218cbe4629d5.rlib" "/opt/rustwide/target/debug/deps/libeither-56bcfa1bc0d47530.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-21fb79adb2789e44.rlib" "/opt/rustwide/target/debug/deps/liblibc-1da13201d615d981.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-d66e0ceb8eaec9b8.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-9717ec0599b569a0.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-04369de9ba916647.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-997d622c2e4dbe5c.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-0359c4288a5ef89f.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-1b25ede22d698ab3.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-37940b486a68e488.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-06b77c27e794c7c6.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-4d07e02a8df36da1.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-fb29e0695c0a0f79.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-e16188b4cf97e8bb.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-5eb391c8dabdee77.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-b0689b528b222bee.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-ed072ac495e62e7a.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/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/loop_tests-529d49ae7e11e42c.loop_tests.cbcpsxom-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-529d49ae7e11e42c.loop_tests.cbcpsxom-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-529d49ae7e11e42c.loop_tests.cbcpsxom-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-529d49ae7e11e42c.loop_tests.cbcpsxom-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-529d49ae7e11e42c.loop_tests.cbcpsxom-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-529d49ae7e11e42c.loop_tests.cbcpsxom-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-529d49ae7e11e42c.loop_tests.cbcpsxom-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-529d49ae7e11e42c.loop_tests.cbcpsxom-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-529d49ae7e11e42c.loop_tests.cbcpsxom-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-529d49ae7e11e42c.loop_tests.cbcpsxom-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-529d49ae7e11e42c.loop_tests.cbcpsxom-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-529d49ae7e11e42c.loop_tests.cbcpsxom-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-529d49ae7e11e42c.loop_tests.cbcpsxom-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-529d49ae7e11e42c.loop_tests.cbcpsxom-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-529d49ae7e11e42c.loop_tests.cbcpsxom-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/loop_tests-529d49ae7e11e42c.loop_tests.cbcpsxom-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/loop_tests-529d49ae7e11e42c" "/opt/rustwide/target/debug/deps/loop_tests-529d49ae7e11e42c.29tc80o1q39r4nzk.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-0c62bc47aa597884/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-29f6ad8609b34072.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-5143a25e61d9bfa5.rlib" "/opt/rustwide/target/debug/deps/libatty-12222e46c3c2fc91.rlib" "/opt/rustwide/target/debug/deps/libhumantime-76a7f109c5c66700.rlib" "/opt/rustwide/target/debug/deps/libquick_error-e15ea4fce168f797.rlib" "/opt/rustwide/target/debug/deps/libregex-9d7cc8905e175b99.rlib" "/opt/rustwide/target/debug/deps/libthread_local-b5a8520d8d18b76f.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-03dc560a77c5aa3e.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-a1e9e1e3fc23ae94.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-82571f279f177a2c.rlib" "/opt/rustwide/target/debug/deps/libmemchr-8df1994bb164e7a2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-12320b97c89568cd.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-700356192fffd298.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-b7642fe67be89b55.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-5281c8ee01ffdf7b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-a4e3948fb2172e36.rlib" "/opt/rustwide/target/debug/deps/libhaybale-1b8ae96a31531b43.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-48a30c1d96c08dfe.rlib" "/opt/rustwide/target/debug/deps/libitertools-a7ff8b891b0c0adc.rlib" "/opt/rustwide/target/debug/deps/libboolector-7e8c222247ad0b02.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-db7f692a2e051d86.rlib" "/opt/rustwide/target/debug/deps/libreduce-8a46a1a0745faef8.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-becdbf8f7e05c013.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-557a78ea9f7a8d95.rlib" "/opt/rustwide/target/debug/deps/liblog-51760c8d9f0a0b95.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-727e218cbe4629d5.rlib" "/opt/rustwide/target/debug/deps/libeither-56bcfa1bc0d47530.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-21fb79adb2789e44.rlib" "/opt/rustwide/target/debug/deps/liblibc-1da13201d615d981.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-d66e0ceb8eaec9b8.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-9717ec0599b569a0.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-04369de9ba916647.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-997d622c2e4dbe5c.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-0359c4288a5ef89f.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-1b25ede22d698ab3.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-37940b486a68e488.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-06b77c27e794c7c6.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-4d07e02a8df36da1.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-fb29e0695c0a0f79.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-e16188b4cf97e8bb.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-5eb391c8dabdee77.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-b0689b528b222bee.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-ed072ac495e62e7a.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/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/may_abort_tests-eecded19d926ba56.may_abort_tests.13agpf58-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-eecded19d926ba56.may_abort_tests.13agpf58-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-eecded19d926ba56.may_abort_tests.13agpf58-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-eecded19d926ba56.may_abort_tests.13agpf58-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-eecded19d926ba56.may_abort_tests.13agpf58-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-eecded19d926ba56.may_abort_tests.13agpf58-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-eecded19d926ba56.may_abort_tests.13agpf58-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-eecded19d926ba56.may_abort_tests.13agpf58-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-eecded19d926ba56.may_abort_tests.13agpf58-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-eecded19d926ba56.may_abort_tests.13agpf58-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-eecded19d926ba56.may_abort_tests.13agpf58-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-eecded19d926ba56.may_abort_tests.13agpf58-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-eecded19d926ba56.may_abort_tests.13agpf58-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-eecded19d926ba56.may_abort_tests.13agpf58-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-eecded19d926ba56.may_abort_tests.13agpf58-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/may_abort_tests-eecded19d926ba56.may_abort_tests.13agpf58-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/may_abort_tests-eecded19d926ba56" "/opt/rustwide/target/debug/deps/may_abort_tests-eecded19d926ba56.bmdlkruyhvci1ie.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-0c62bc47aa597884/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-29f6ad8609b34072.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-5143a25e61d9bfa5.rlib" "/opt/rustwide/target/debug/deps/libatty-12222e46c3c2fc91.rlib" "/opt/rustwide/target/debug/deps/libhumantime-76a7f109c5c66700.rlib" "/opt/rustwide/target/debug/deps/libquick_error-e15ea4fce168f797.rlib" "/opt/rustwide/target/debug/deps/libregex-9d7cc8905e175b99.rlib" "/opt/rustwide/target/debug/deps/libthread_local-b5a8520d8d18b76f.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-03dc560a77c5aa3e.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-a1e9e1e3fc23ae94.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-82571f279f177a2c.rlib" "/opt/rustwide/target/debug/deps/libmemchr-8df1994bb164e7a2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-12320b97c89568cd.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-700356192fffd298.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-b7642fe67be89b55.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-5281c8ee01ffdf7b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-a4e3948fb2172e36.rlib" "/opt/rustwide/target/debug/deps/libhaybale-1b8ae96a31531b43.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-48a30c1d96c08dfe.rlib" "/opt/rustwide/target/debug/deps/libitertools-a7ff8b891b0c0adc.rlib" "/opt/rustwide/target/debug/deps/libboolector-7e8c222247ad0b02.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-db7f692a2e051d86.rlib" "/opt/rustwide/target/debug/deps/libreduce-8a46a1a0745faef8.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-becdbf8f7e05c013.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-557a78ea9f7a8d95.rlib" "/opt/rustwide/target/debug/deps/liblog-51760c8d9f0a0b95.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-727e218cbe4629d5.rlib" "/opt/rustwide/target/debug/deps/libeither-56bcfa1bc0d47530.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-21fb79adb2789e44.rlib" "/opt/rustwide/target/debug/deps/liblibc-1da13201d615d981.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-d66e0ceb8eaec9b8.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-9717ec0599b569a0.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-04369de9ba916647.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-997d622c2e4dbe5c.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-0359c4288a5ef89f.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-1b25ede22d698ab3.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-37940b486a68e488.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-06b77c27e794c7c6.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-4d07e02a8df36da1.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-fb29e0695c0a0f79.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-e16188b4cf97e8bb.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-5eb391c8dabdee77.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-b0689b528b222bee.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-ed072ac495e62e7a.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: signal: 9
[INFO] [stdout]   |
[INFO] [stdout]   = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-Wl,--eh-frame-hdr" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/struct_tests-de6817dcd3be3263.struct_tests.4zrdg1w3-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-de6817dcd3be3263.struct_tests.4zrdg1w3-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-de6817dcd3be3263.struct_tests.4zrdg1w3-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-de6817dcd3be3263.struct_tests.4zrdg1w3-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-de6817dcd3be3263.struct_tests.4zrdg1w3-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-de6817dcd3be3263.struct_tests.4zrdg1w3-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-de6817dcd3be3263.struct_tests.4zrdg1w3-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-de6817dcd3be3263.struct_tests.4zrdg1w3-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-de6817dcd3be3263.struct_tests.4zrdg1w3-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-de6817dcd3be3263.struct_tests.4zrdg1w3-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-de6817dcd3be3263.struct_tests.4zrdg1w3-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-de6817dcd3be3263.struct_tests.4zrdg1w3-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-de6817dcd3be3263.struct_tests.4zrdg1w3-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-de6817dcd3be3263.struct_tests.4zrdg1w3-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-de6817dcd3be3263.struct_tests.4zrdg1w3-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/struct_tests-de6817dcd3be3263.struct_tests.4zrdg1w3-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/struct_tests-de6817dcd3be3263" "/opt/rustwide/target/debug/deps/struct_tests-de6817dcd3be3263.mks7e4cg65esre0.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-0c62bc47aa597884/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-29f6ad8609b34072.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-5143a25e61d9bfa5.rlib" "/opt/rustwide/target/debug/deps/libatty-12222e46c3c2fc91.rlib" "/opt/rustwide/target/debug/deps/libhumantime-76a7f109c5c66700.rlib" "/opt/rustwide/target/debug/deps/libquick_error-e15ea4fce168f797.rlib" "/opt/rustwide/target/debug/deps/libregex-9d7cc8905e175b99.rlib" "/opt/rustwide/target/debug/deps/libthread_local-b5a8520d8d18b76f.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-03dc560a77c5aa3e.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-a1e9e1e3fc23ae94.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-82571f279f177a2c.rlib" "/opt/rustwide/target/debug/deps/libmemchr-8df1994bb164e7a2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-12320b97c89568cd.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-700356192fffd298.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-b7642fe67be89b55.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-5281c8ee01ffdf7b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-a4e3948fb2172e36.rlib" "/opt/rustwide/target/debug/deps/libhaybale-1b8ae96a31531b43.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-48a30c1d96c08dfe.rlib" "/opt/rustwide/target/debug/deps/libitertools-a7ff8b891b0c0adc.rlib" "/opt/rustwide/target/debug/deps/libboolector-7e8c222247ad0b02.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-db7f692a2e051d86.rlib" "/opt/rustwide/target/debug/deps/libreduce-8a46a1a0745faef8.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-becdbf8f7e05c013.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-557a78ea9f7a8d95.rlib" "/opt/rustwide/target/debug/deps/liblog-51760c8d9f0a0b95.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-727e218cbe4629d5.rlib" "/opt/rustwide/target/debug/deps/libeither-56bcfa1bc0d47530.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-21fb79adb2789e44.rlib" "/opt/rustwide/target/debug/deps/liblibc-1da13201d615d981.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-d66e0ceb8eaec9b8.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-9717ec0599b569a0.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-04369de9ba916647.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-997d622c2e4dbe5c.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-0359c4288a5ef89f.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-1b25ede22d698ab3.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-37940b486a68e488.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-06b77c27e794c7c6.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-4d07e02a8df36da1.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-fb29e0695c0a0f79.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-e16188b4cf97e8bb.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-5eb391c8dabdee77.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-b0689b528b222bee.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-ed072ac495e62e7a.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/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/throwcatch_tests-69f3c7f44a8b5dd3.throwcatch_tests.a4awhwkk-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-69f3c7f44a8b5dd3.throwcatch_tests.a4awhwkk-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-69f3c7f44a8b5dd3.throwcatch_tests.a4awhwkk-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-69f3c7f44a8b5dd3.throwcatch_tests.a4awhwkk-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-69f3c7f44a8b5dd3.throwcatch_tests.a4awhwkk-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-69f3c7f44a8b5dd3.throwcatch_tests.a4awhwkk-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-69f3c7f44a8b5dd3.throwcatch_tests.a4awhwkk-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-69f3c7f44a8b5dd3.throwcatch_tests.a4awhwkk-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-69f3c7f44a8b5dd3.throwcatch_tests.a4awhwkk-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-69f3c7f44a8b5dd3.throwcatch_tests.a4awhwkk-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-69f3c7f44a8b5dd3.throwcatch_tests.a4awhwkk-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-69f3c7f44a8b5dd3.throwcatch_tests.a4awhwkk-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-69f3c7f44a8b5dd3.throwcatch_tests.a4awhwkk-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-69f3c7f44a8b5dd3.throwcatch_tests.a4awhwkk-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-69f3c7f44a8b5dd3.throwcatch_tests.a4awhwkk-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/throwcatch_tests-69f3c7f44a8b5dd3.throwcatch_tests.a4awhwkk-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/throwcatch_tests-69f3c7f44a8b5dd3" "/opt/rustwide/target/debug/deps/throwcatch_tests-69f3c7f44a8b5dd3.3sm8uo856k28jfnk.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-0c62bc47aa597884/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-29f6ad8609b34072.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-5143a25e61d9bfa5.rlib" "/opt/rustwide/target/debug/deps/libatty-12222e46c3c2fc91.rlib" "/opt/rustwide/target/debug/deps/libhumantime-76a7f109c5c66700.rlib" "/opt/rustwide/target/debug/deps/libquick_error-e15ea4fce168f797.rlib" "/opt/rustwide/target/debug/deps/libregex-9d7cc8905e175b99.rlib" "/opt/rustwide/target/debug/deps/libthread_local-b5a8520d8d18b76f.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-03dc560a77c5aa3e.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-a1e9e1e3fc23ae94.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-82571f279f177a2c.rlib" "/opt/rustwide/target/debug/deps/libmemchr-8df1994bb164e7a2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-12320b97c89568cd.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-700356192fffd298.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-b7642fe67be89b55.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-5281c8ee01ffdf7b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-a4e3948fb2172e36.rlib" "/opt/rustwide/target/debug/deps/libhaybale-1b8ae96a31531b43.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-48a30c1d96c08dfe.rlib" "/opt/rustwide/target/debug/deps/libitertools-a7ff8b891b0c0adc.rlib" "/opt/rustwide/target/debug/deps/libboolector-7e8c222247ad0b02.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-db7f692a2e051d86.rlib" "/opt/rustwide/target/debug/deps/libreduce-8a46a1a0745faef8.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-becdbf8f7e05c013.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-557a78ea9f7a8d95.rlib" "/opt/rustwide/target/debug/deps/liblog-51760c8d9f0a0b95.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-727e218cbe4629d5.rlib" "/opt/rustwide/target/debug/deps/libeither-56bcfa1bc0d47530.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-21fb79adb2789e44.rlib" "/opt/rustwide/target/debug/deps/liblibc-1da13201d615d981.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-d66e0ceb8eaec9b8.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-9717ec0599b569a0.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-04369de9ba916647.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-997d622c2e4dbe5c.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-0359c4288a5ef89f.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-1b25ede22d698ab3.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-37940b486a68e488.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-06b77c27e794c7c6.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-4d07e02a8df36da1.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-fb29e0695c0a0f79.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-e16188b4cf97e8bb.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-5eb391c8dabdee77.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-b0689b528b222bee.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-ed072ac495e62e7a.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/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/functionptr_tests-b1f157556335b09f.functionptr_tests.2jxjy725-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-b1f157556335b09f.functionptr_tests.2jxjy725-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-b1f157556335b09f.functionptr_tests.2jxjy725-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-b1f157556335b09f.functionptr_tests.2jxjy725-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-b1f157556335b09f.functionptr_tests.2jxjy725-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-b1f157556335b09f.functionptr_tests.2jxjy725-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-b1f157556335b09f.functionptr_tests.2jxjy725-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-b1f157556335b09f.functionptr_tests.2jxjy725-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-b1f157556335b09f.functionptr_tests.2jxjy725-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-b1f157556335b09f.functionptr_tests.2jxjy725-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-b1f157556335b09f.functionptr_tests.2jxjy725-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-b1f157556335b09f.functionptr_tests.2jxjy725-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-b1f157556335b09f.functionptr_tests.2jxjy725-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-b1f157556335b09f.functionptr_tests.2jxjy725-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-b1f157556335b09f.functionptr_tests.2jxjy725-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/functionptr_tests-b1f157556335b09f.functionptr_tests.2jxjy725-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/functionptr_tests-b1f157556335b09f" "/opt/rustwide/target/debug/deps/functionptr_tests-b1f157556335b09f.ooonkd8lyipsn2h.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-0c62bc47aa597884/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-29f6ad8609b34072.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-5143a25e61d9bfa5.rlib" "/opt/rustwide/target/debug/deps/libatty-12222e46c3c2fc91.rlib" "/opt/rustwide/target/debug/deps/libhumantime-76a7f109c5c66700.rlib" "/opt/rustwide/target/debug/deps/libquick_error-e15ea4fce168f797.rlib" "/opt/rustwide/target/debug/deps/libregex-9d7cc8905e175b99.rlib" "/opt/rustwide/target/debug/deps/libthread_local-b5a8520d8d18b76f.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-03dc560a77c5aa3e.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-a1e9e1e3fc23ae94.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-82571f279f177a2c.rlib" "/opt/rustwide/target/debug/deps/libmemchr-8df1994bb164e7a2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-12320b97c89568cd.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-700356192fffd298.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-b7642fe67be89b55.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-5281c8ee01ffdf7b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-a4e3948fb2172e36.rlib" "/opt/rustwide/target/debug/deps/libhaybale-1b8ae96a31531b43.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-48a30c1d96c08dfe.rlib" "/opt/rustwide/target/debug/deps/libitertools-a7ff8b891b0c0adc.rlib" "/opt/rustwide/target/debug/deps/libboolector-7e8c222247ad0b02.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-db7f692a2e051d86.rlib" "/opt/rustwide/target/debug/deps/libreduce-8a46a1a0745faef8.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-becdbf8f7e05c013.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-557a78ea9f7a8d95.rlib" "/opt/rustwide/target/debug/deps/liblog-51760c8d9f0a0b95.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-727e218cbe4629d5.rlib" "/opt/rustwide/target/debug/deps/libeither-56bcfa1bc0d47530.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-21fb79adb2789e44.rlib" "/opt/rustwide/target/debug/deps/liblibc-1da13201d615d981.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-d66e0ceb8eaec9b8.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-9717ec0599b569a0.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-04369de9ba916647.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-997d622c2e4dbe5c.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-0359c4288a5ef89f.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-1b25ede22d698ab3.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-37940b486a68e488.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-06b77c27e794c7c6.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-4d07e02a8df36da1.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-fb29e0695c0a0f79.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-e16188b4cf97e8bb.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-5eb391c8dabdee77.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-b0689b528b222bee.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-ed072ac495e62e7a.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/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/rustwide/target/debug/deps/call_tests-4891749eb03f2fb8.call_tests.atqkkcth-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-4891749eb03f2fb8.call_tests.atqkkcth-cgu.1.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-4891749eb03f2fb8.call_tests.atqkkcth-cgu.10.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-4891749eb03f2fb8.call_tests.atqkkcth-cgu.11.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-4891749eb03f2fb8.call_tests.atqkkcth-cgu.12.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-4891749eb03f2fb8.call_tests.atqkkcth-cgu.13.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-4891749eb03f2fb8.call_tests.atqkkcth-cgu.14.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-4891749eb03f2fb8.call_tests.atqkkcth-cgu.15.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-4891749eb03f2fb8.call_tests.atqkkcth-cgu.2.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-4891749eb03f2fb8.call_tests.atqkkcth-cgu.3.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-4891749eb03f2fb8.call_tests.atqkkcth-cgu.4.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-4891749eb03f2fb8.call_tests.atqkkcth-cgu.5.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-4891749eb03f2fb8.call_tests.atqkkcth-cgu.6.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-4891749eb03f2fb8.call_tests.atqkkcth-cgu.7.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-4891749eb03f2fb8.call_tests.atqkkcth-cgu.8.rcgu.o" "/opt/rustwide/target/debug/deps/call_tests-4891749eb03f2fb8.call_tests.atqkkcth-cgu.9.rcgu.o" "-o" "/opt/rustwide/target/debug/deps/call_tests-4891749eb03f2fb8" "/opt/rustwide/target/debug/deps/call_tests-4891749eb03f2fb8.583h32szosqav27x.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-0c62bc47aa597884/out" "-L" "/usr/lib/llvm-10/lib" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libenv_logger-29f6ad8609b34072.rlib" "/opt/rustwide/target/debug/deps/libtermcolor-5143a25e61d9bfa5.rlib" "/opt/rustwide/target/debug/deps/libatty-12222e46c3c2fc91.rlib" "/opt/rustwide/target/debug/deps/libhumantime-76a7f109c5c66700.rlib" "/opt/rustwide/target/debug/deps/libquick_error-e15ea4fce168f797.rlib" "/opt/rustwide/target/debug/deps/libregex-9d7cc8905e175b99.rlib" "/opt/rustwide/target/debug/deps/libthread_local-b5a8520d8d18b76f.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-03dc560a77c5aa3e.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-a1e9e1e3fc23ae94.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-82571f279f177a2c.rlib" "/opt/rustwide/target/debug/deps/libmemchr-8df1994bb164e7a2.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-12320b97c89568cd.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-700356192fffd298.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-b7642fe67be89b55.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-5281c8ee01ffdf7b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_std-a4e3948fb2172e36.rlib" "/opt/rustwide/target/debug/deps/libhaybale-1b8ae96a31531b43.rlib" "/opt/rustwide/target/debug/deps/libcpp_demangle-48a30c1d96c08dfe.rlib" "/opt/rustwide/target/debug/deps/libitertools-a7ff8b891b0c0adc.rlib" "/opt/rustwide/target/debug/deps/libboolector-7e8c222247ad0b02.rlib" "/opt/rustwide/target/debug/deps/libboolector_sys-db7f692a2e051d86.rlib" "/opt/rustwide/target/debug/deps/libreduce-8a46a1a0745faef8.rlib" "/opt/rustwide/target/debug/deps/librustc_demangle-becdbf8f7e05c013.rlib" "/opt/rustwide/target/debug/deps/libllvm_ir-557a78ea9f7a8d95.rlib" "/opt/rustwide/target/debug/deps/liblog-51760c8d9f0a0b95.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-727e218cbe4629d5.rlib" "/opt/rustwide/target/debug/deps/libeither-56bcfa1bc0d47530.rlib" "/opt/rustwide/target/debug/deps/libllvm_sys-21fb79adb2789e44.rlib" "/opt/rustwide/target/debug/deps/liblibc-1da13201d615d981.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-d66e0ceb8eaec9b8.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-9717ec0599b569a0.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-04369de9ba916647.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-997d622c2e4dbe5c.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-0359c4288a5ef89f.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-1b25ede22d698ab3.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-37940b486a68e488.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-06b77c27e794c7c6.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-4d07e02a8df36da1.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-fb29e0695c0a0f79.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-e16188b4cf97e8bb.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-5eb391c8dabdee77.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-b0689b528b222bee.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/beta-2020-07-24-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-ed072ac495e62e7a.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" "5c9ee31a439694901bf691e3b38de53ab837332645f792534d0b06b2f67615a5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5c9ee31a439694901bf691e3b38de53ab837332645f792534d0b06b2f67615a5", kill_on_drop: false }`
[INFO] [stdout] 5c9ee31a439694901bf691e3b38de53ab837332645f792534d0b06b2f67615a5