[INFO] fetching crate isla 0.2.0...
[INFO] testing isla-0.2.0 against 1.100.0-beta.1+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate isla 0.2.0 into /workspace/builds/worker-6-tc2/source
[INFO] started tweaking crates.io crate isla 0.2.0
[INFO] finished tweaking crates.io crate isla 0.2.0
[INFO] tweaked toml for crates.io crate isla 0.2.0 written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate isla 0.2.0 on toolchain 1.100.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate isla 0.2.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:81:12
[INFO] [stderr]    |
[INFO] [stderr] 81 | homepage = "https://github.com/rems-project/isla"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 85 | repository = "https://github.com/rems-project/isla"
[INFO] [stderr]    |              --------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `isla` (manifest) generated 1 warning
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 50970d7bbbe01b71b7afd7bcc56d500185f1c8c090134d99c4e95fa9275f43ff
[INFO] running `Command { std: "docker" "start" "50970d7bbbe01b71b7afd7bcc56d500185f1c8c090134d99c4e95fa9275f43ff", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "50970d7bbbe01b71b7afd7bcc56d500185f1c8c090134d99c4e95fa9275f43ff", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "50970d7bbbe01b71b7afd7bcc56d500185f1c8c090134d99c4e95fa9275f43ff" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "50970d7bbbe01b71b7afd7bcc56d500185f1c8c090134d99c4e95fa9275f43ff", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "50970d7bbbe01b71b7afd7bcc56d500185f1c8c090134d99c4e95fa9275f43ff" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:81:12
[INFO] [stderr]    |
[INFO] [stderr] 81 | homepage = "https://github.com/rems-project/isla"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 85 | repository = "https://github.com/rems-project/isla"
[INFO] [stderr]    |              --------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `isla` (manifest) generated 1 warning
[INFO] [stderr]    Compiling autocfg v1.0.1
[INFO] [stderr]    Compiling libc v0.2.86
[INFO] [stderr]    Compiling unicode-xid v0.2.1
[INFO] [stderr]    Compiling memchr v2.3.4
[INFO] [stderr]    Compiling byteorder v1.3.4
[INFO] [stderr]    Compiling log v0.4.14
[INFO] [stderr]    Compiling proc-macro2 v1.0.24
[INFO] [stderr]    Compiling crunchy v0.2.2
[INFO] [stderr]    Compiling once_cell v1.7.0
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling hashbrown v0.9.1
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling siphasher v0.3.3
[INFO] [stderr]    Compiling regex-syntax v0.6.22
[INFO] [stderr]    Compiling syn v1.0.60
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.4
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling phf_shared v0.8.0
[INFO] [stderr]    Compiling fixedbitset v0.2.0
[INFO] [stderr]    Compiling either v1.6.1
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]    Compiling bit-vec v0.6.3
[INFO] [stderr]    Compiling pico-args v0.3.4
[INFO] [stderr]    Compiling itertools v0.9.0
[INFO] [stderr]    Compiling diff v0.1.12
[INFO] [stderr]    Compiling thread_local v1.1.3
[INFO] [stderr]    Compiling string_cache v0.8.1
[INFO] [stderr]    Compiling indexmap v1.6.1
[INFO] [stderr]    Compiling crossbeam-utils v0.7.2
[INFO] [stderr]    Compiling ena v0.14.0
[INFO] [stderr]    Compiling maybe-uninit v2.0.0
[INFO] [stderr]    Compiling cfg-if v0.1.10
[INFO] [stderr]    Compiling typenum v1.12.0
[INFO] [stderr]    Compiling aho-corasick v0.7.15
[INFO] [stderr]    Compiling bit-set v0.5.2
[INFO] [stderr]    Compiling memoffset v0.5.6
[INFO] [stderr]    Compiling serde_derive v1.0.123
[INFO] [stderr]    Compiling crossbeam-epoch v0.8.2
[INFO] [stderr]    Compiling serde v1.0.123
[INFO] [stderr]    Compiling quote v1.0.9
[INFO] [stderr]    Compiling scopeguard v1.1.0
[INFO] [stderr]    Compiling getrandom v0.1.16
[INFO] [stderr]    Compiling byte-tools v0.3.1
[INFO] [stderr]    Compiling dirs v1.0.5
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling block-padding v0.1.5
[INFO] [stderr]    Compiling term v0.5.2
[INFO] [stderr]    Compiling fake-simd v0.1.2
[INFO] [stderr]    Compiling opaque-debug v0.2.3
[INFO] [stderr]    Compiling z3-sys v0.5.0
[INFO] [stderr]    Compiling ppv-lite86 v0.2.10
[INFO] [stderr]    Compiling petgraph v0.5.1
[INFO] [stderr]    Compiling plain v0.2.3
[INFO] [stderr]    Compiling isla v0.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling crossbeam-channel v0.4.4
[INFO] [stderr]    Compiling ascii-canvas v2.0.0
[INFO] [stderr]    Compiling crossbeam-queue v0.2.3
[INFO] [stderr]    Compiling rand_core v0.5.1
[INFO] [stderr]    Compiling unicode-width v0.1.8
[INFO] [stderr]    Compiling rand_chacha v0.2.2
[INFO] [stderr]    Compiling getopts v0.2.21
[INFO] [stderr]    Compiling num_cpus v1.13.0
[INFO] [stderr]    Compiling crossbeam-deque v0.7.3
[INFO] [stderr]    Compiling rand v0.7.3
[INFO] [stderr]    Compiling regex v1.4.3
[INFO] [stderr]    Compiling generic-array v0.12.3
[INFO] [stderr]    Compiling crossbeam v0.7.3
[INFO] [stderr]    Compiling digest v0.8.1
[INFO] [stderr]    Compiling block-buffer v0.7.3
[INFO] [stderr]    Compiling sha2 v0.8.2
[INFO] [stderr]    Compiling lalrpop-util v0.19.4
[INFO] [stderr]    Compiling lalrpop v0.19.4
[INFO] [stderr]    Compiling scroll_derive v0.10.5
[INFO] [stderr]    Compiling scroll v0.10.2
[INFO] [stderr]    Compiling goblin v0.2.3
[INFO] [stderr]    Compiling isla-lib v0.2.0
[INFO] [stderr]    Compiling isla-cat v0.2.0
[INFO] [stderr]    Compiling isla-axiomatic v0.2.0
[INFO] [stderr]    Compiling toml v0.5.8
[INFO] [stderr]    Compiling bincode v1.3.2
[INFO] [stdout] warning: fields `num_threads` and `isa_config` are never read
[INFO] [stdout]    --> src/opts.rs:104:9
[INFO] [stdout]     |
[INFO] [stdout] 103 | pub struct CommonOpts<'ir, B> {
[INFO] [stdout]     |            ---------- fields in this struct
[INFO] [stdout] 104 |     pub num_threads: usize,
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 107 |     pub isa_config: ISAConfig<B>,
[INFO] [stdout]     |         ^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/release/build/isla/4dc3610dad7d897f/out/rustcVdwv72/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_abort-*.rlib" "/opt/rustwide/target/release/build/isla-lib/adb2880afa57b1de/out/libisla_lib-adb2880afa57b1de.rlib" "/opt/rustwide/target/release/build/bincode/1098788968162d37/out/libbincode-1098788968162d37.rlib" "/opt/rustwide/target/release/build/z3-sys/6f853047e895036a/out/libz3_sys-6f853047e895036a.rlib" "/opt/rustwide/target/release/build/libc/f1785b987dc9ace2/out/liblibc-f1785b987dc9ace2.rlib" "/opt/rustwide/target/release/build/petgraph/da8a60342ba4a5b3/out/libpetgraph-da8a60342ba4a5b3.rlib" "/opt/rustwide/target/release/build/indexmap/61f2c2880c3ccc4c/out/libindexmap-61f2c2880c3ccc4c.rlib" "/opt/rustwide/target/release/build/hashbrown/3e92fafa07b6929e/out/libhashbrown-3e92fafa07b6929e.rlib" "/opt/rustwide/target/release/build/fixedbitset/eb4a3fe28429e558/out/libfixedbitset-eb4a3fe28429e558.rlib" "/opt/rustwide/target/release/build/crossbeam/d0453cb88b51c3bd/out/libcrossbeam-d0453cb88b51c3bd.rlib" "/opt/rustwide/target/release/build/crossbeam-queue/d875e47092f550a7/out/libcrossbeam_queue-d875e47092f550a7.rlib" "/opt/rustwide/target/release/build/crossbeam-channel/806e9f1a43ffb012/out/libcrossbeam_channel-806e9f1a43ffb012.rlib" "/opt/rustwide/target/release/build/crossbeam-deque/468d92acc068639b/out/libcrossbeam_deque-468d92acc068639b.rlib" "/opt/rustwide/target/release/build/crossbeam-epoch/d893522f017b17d8/out/libcrossbeam_epoch-d893522f017b17d8.rlib" "/opt/rustwide/target/release/build/scopeguard/944807bd8a2b1f58/out/libscopeguard-944807bd8a2b1f58.rlib" "/opt/rustwide/target/release/build/memoffset/eb464224b4cb7aaa/out/libmemoffset-eb464224b4cb7aaa.rlib" "/opt/rustwide/target/release/build/crossbeam-utils/8fc606c65941c9ad/out/libcrossbeam_utils-8fc606c65941c9ad.rlib" "/opt/rustwide/target/release/build/maybe-uninit/32ec7c9471fe2ae9/out/libmaybe_uninit-32ec7c9471fe2ae9.rlib" "/opt/rustwide/target/release/build/cfg-if/f8ad466c23688598/out/libcfg_if-f8ad466c23688598.rlib" "/opt/rustwide/target/release/build/toml/d9e7bf8a50c92c96/out/libtoml-d9e7bf8a50c92c96.rlib" "/opt/rustwide/target/release/build/sha2/3fc77b2215265bb6/out/libsha2-3fc77b2215265bb6.rlib" "/opt/rustwide/target/release/build/digest/ce144477e679e02c/out/libdigest-ce144477e679e02c.rlib" "/opt/rustwide/target/release/build/opaque-debug/7ea6d66c140ff6ef/out/libopaque_debug-7ea6d66c140ff6ef.rlib" "/opt/rustwide/target/release/build/fake-simd/5f99f003f6d3cbab/out/libfake_simd-5f99f003f6d3cbab.rlib" "/opt/rustwide/target/release/build/block-buffer/034e54ea1558f11f/out/libblock_buffer-034e54ea1558f11f.rlib" "/opt/rustwide/target/release/build/generic-array/713c050ee72e8083/out/libgeneric_array-713c050ee72e8083.rlib" "/opt/rustwide/target/release/build/typenum/fd846548ef97181a/out/libtypenum-fd846548ef97181a.rlib" "/opt/rustwide/target/release/build/block-padding/e6cd201424008ef9/out/libblock_padding-e6cd201424008ef9.rlib" "/opt/rustwide/target/release/build/byte-tools/f12b4bf2df750fc5/out/libbyte_tools-f12b4bf2df750fc5.rlib" "/opt/rustwide/target/release/build/byteorder/b278ed9556769cb6/out/libbyteorder-b278ed9556769cb6.rlib" "/opt/rustwide/target/release/build/serde/5b642f93e1b28f07/out/libserde-5b642f93e1b28f07.rlib" "/opt/rustwide/target/release/build/lazy_static/b62eaa39667a66b5/out/liblazy_static-b62eaa39667a66b5.rlib" "/opt/rustwide/target/release/build/lalrpop-util/f57cfd7dd12c729c/out/liblalrpop_util-f57cfd7dd12c729c.rlib" "/opt/rustwide/target/release/build/regex/370a4c0e1a61bf4c/out/libregex-370a4c0e1a61bf4c.rlib" "/opt/rustwide/target/release/build/thread_local/c8b2ca8263688e2e/out/libthread_local-c8b2ca8263688e2e.rlib" "/opt/rustwide/target/release/build/once_cell/103ba333243bdd2a/out/libonce_cell-103ba333243bdd2a.rlib" "/opt/rustwide/target/release/build/regex-syntax/d280344d4c0c37f5/out/libregex_syntax-d280344d4c0c37f5.rlib" "/opt/rustwide/target/release/build/aho-corasick/0bd66f5d9ef2aae7/out/libaho_corasick-0bd66f5d9ef2aae7.rlib" "/opt/rustwide/target/release/build/memchr/9281ca02535a5443/out/libmemchr-9281ca02535a5443.rlib" "/opt/rustwide/target/release/build/getopts/5a4640e5ad1862c1/out/libgetopts-5a4640e5ad1862c1.rlib" "/opt/rustwide/target/release/build/unicode-width/60b9da46293b320d/out/libunicode_width-60b9da46293b320d.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-lz3" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/release/build/isla/4dc3610dad7d897f/out/rustcVdwv72/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "." "-L" ".." "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/release/build/isla/4dc3610dad7d897f/out/zencode" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-Wl,-O1" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: unable to find library -lz3
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `isla` (bin "zencode") due to 1 previous error
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/release/build/isla/24410978d79b1e07/out/rustccFmiIS/symbols.o" "<17 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_abort-*.rlib" "/opt/rustwide/target/release/build/num_cpus/b59f8fc45cc21abd/out/libnum_cpus-b59f8fc45cc21abd.rlib" "/opt/rustwide/target/release/build/getopts/5a4640e5ad1862c1/out/libgetopts-5a4640e5ad1862c1.rlib" "/opt/rustwide/target/release/build/unicode-width/60b9da46293b320d/out/libunicode_width-60b9da46293b320d.rlib" "/opt/rustwide/target/release/build/isla-lib/adb2880afa57b1de/out/libisla_lib-adb2880afa57b1de.rlib" "/opt/rustwide/target/release/build/bincode/1098788968162d37/out/libbincode-1098788968162d37.rlib" "/opt/rustwide/target/release/build/z3-sys/6f853047e895036a/out/libz3_sys-6f853047e895036a.rlib" "/opt/rustwide/target/release/build/libc/f1785b987dc9ace2/out/liblibc-f1785b987dc9ace2.rlib" "/opt/rustwide/target/release/build/petgraph/da8a60342ba4a5b3/out/libpetgraph-da8a60342ba4a5b3.rlib" "/opt/rustwide/target/release/build/indexmap/61f2c2880c3ccc4c/out/libindexmap-61f2c2880c3ccc4c.rlib" "/opt/rustwide/target/release/build/hashbrown/3e92fafa07b6929e/out/libhashbrown-3e92fafa07b6929e.rlib" "/opt/rustwide/target/release/build/fixedbitset/eb4a3fe28429e558/out/libfixedbitset-eb4a3fe28429e558.rlib" "/opt/rustwide/target/release/build/crossbeam/d0453cb88b51c3bd/out/libcrossbeam-d0453cb88b51c3bd.rlib" "/opt/rustwide/target/release/build/crossbeam-queue/d875e47092f550a7/out/libcrossbeam_queue-d875e47092f550a7.rlib" "/opt/rustwide/target/release/build/crossbeam-channel/806e9f1a43ffb012/out/libcrossbeam_channel-806e9f1a43ffb012.rlib" "/opt/rustwide/target/release/build/crossbeam-deque/468d92acc068639b/out/libcrossbeam_deque-468d92acc068639b.rlib" "/opt/rustwide/target/release/build/crossbeam-epoch/d893522f017b17d8/out/libcrossbeam_epoch-d893522f017b17d8.rlib" "/opt/rustwide/target/release/build/scopeguard/944807bd8a2b1f58/out/libscopeguard-944807bd8a2b1f58.rlib" "/opt/rustwide/target/release/build/memoffset/eb464224b4cb7aaa/out/libmemoffset-eb464224b4cb7aaa.rlib" "/opt/rustwide/target/release/build/crossbeam-utils/8fc606c65941c9ad/out/libcrossbeam_utils-8fc606c65941c9ad.rlib" "/opt/rustwide/target/release/build/maybe-uninit/32ec7c9471fe2ae9/out/libmaybe_uninit-32ec7c9471fe2ae9.rlib" "/opt/rustwide/target/release/build/cfg-if/f8ad466c23688598/out/libcfg_if-f8ad466c23688598.rlib" "/opt/rustwide/target/release/build/toml/d9e7bf8a50c92c96/out/libtoml-d9e7bf8a50c92c96.rlib" "/opt/rustwide/target/release/build/serde/5b642f93e1b28f07/out/libserde-5b642f93e1b28f07.rlib" "/opt/rustwide/target/release/build/lazy_static/b62eaa39667a66b5/out/liblazy_static-b62eaa39667a66b5.rlib" "/opt/rustwide/target/release/build/lalrpop-util/f57cfd7dd12c729c/out/liblalrpop_util-f57cfd7dd12c729c.rlib" "/opt/rustwide/target/release/build/regex/370a4c0e1a61bf4c/out/libregex-370a4c0e1a61bf4c.rlib" "/opt/rustwide/target/release/build/thread_local/c8b2ca8263688e2e/out/libthread_local-c8b2ca8263688e2e.rlib" "/opt/rustwide/target/release/build/once_cell/103ba333243bdd2a/out/libonce_cell-103ba333243bdd2a.rlib" "/opt/rustwide/target/release/build/regex-syntax/d280344d4c0c37f5/out/libregex_syntax-d280344d4c0c37f5.rlib" "/opt/rustwide/target/release/build/aho-corasick/0bd66f5d9ef2aae7/out/libaho_corasick-0bd66f5d9ef2aae7.rlib" "/opt/rustwide/target/release/build/memchr/9281ca02535a5443/out/libmemchr-9281ca02535a5443.rlib" "/opt/rustwide/target/release/build/sha2/3fc77b2215265bb6/out/libsha2-3fc77b2215265bb6.rlib" "/opt/rustwide/target/release/build/digest/ce144477e679e02c/out/libdigest-ce144477e679e02c.rlib" "/opt/rustwide/target/release/build/opaque-debug/7ea6d66c140ff6ef/out/libopaque_debug-7ea6d66c140ff6ef.rlib" "/opt/rustwide/target/release/build/fake-simd/5f99f003f6d3cbab/out/libfake_simd-5f99f003f6d3cbab.rlib" "/opt/rustwide/target/release/build/block-buffer/034e54ea1558f11f/out/libblock_buffer-034e54ea1558f11f.rlib" "/opt/rustwide/target/release/build/generic-array/713c050ee72e8083/out/libgeneric_array-713c050ee72e8083.rlib" "/opt/rustwide/target/release/build/typenum/fd846548ef97181a/out/libtypenum-fd846548ef97181a.rlib" "/opt/rustwide/target/release/build/block-padding/e6cd201424008ef9/out/libblock_padding-e6cd201424008ef9.rlib" "/opt/rustwide/target/release/build/byte-tools/f12b4bf2df750fc5/out/libbyte_tools-f12b4bf2df750fc5.rlib" "/opt/rustwide/target/release/build/byteorder/b278ed9556769cb6/out/libbyteorder-b278ed9556769cb6.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-lz3" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/release/build/isla/24410978d79b1e07/out/rustccFmiIS/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "." "-L" ".." "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/release/build/isla/24410978d79b1e07/out/isla_property129" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-Wl,-O1" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: unable to find library -lz3
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `isla` (bin "isla-property129") due to 1 previous error
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/release/build/isla/7955baf90e2726a0/out/rustcQPTPbx/symbols.o" "<17 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_abort-*.rlib" "/opt/rustwide/target/release/build/num_cpus/b59f8fc45cc21abd/out/libnum_cpus-b59f8fc45cc21abd.rlib" "/opt/rustwide/target/release/build/getopts/5a4640e5ad1862c1/out/libgetopts-5a4640e5ad1862c1.rlib" "/opt/rustwide/target/release/build/unicode-width/60b9da46293b320d/out/libunicode_width-60b9da46293b320d.rlib" "/opt/rustwide/target/release/build/isla-lib/adb2880afa57b1de/out/libisla_lib-adb2880afa57b1de.rlib" "/opt/rustwide/target/release/build/bincode/1098788968162d37/out/libbincode-1098788968162d37.rlib" "/opt/rustwide/target/release/build/z3-sys/6f853047e895036a/out/libz3_sys-6f853047e895036a.rlib" "/opt/rustwide/target/release/build/libc/f1785b987dc9ace2/out/liblibc-f1785b987dc9ace2.rlib" "/opt/rustwide/target/release/build/petgraph/da8a60342ba4a5b3/out/libpetgraph-da8a60342ba4a5b3.rlib" "/opt/rustwide/target/release/build/indexmap/61f2c2880c3ccc4c/out/libindexmap-61f2c2880c3ccc4c.rlib" "/opt/rustwide/target/release/build/hashbrown/3e92fafa07b6929e/out/libhashbrown-3e92fafa07b6929e.rlib" "/opt/rustwide/target/release/build/fixedbitset/eb4a3fe28429e558/out/libfixedbitset-eb4a3fe28429e558.rlib" "/opt/rustwide/target/release/build/crossbeam/d0453cb88b51c3bd/out/libcrossbeam-d0453cb88b51c3bd.rlib" "/opt/rustwide/target/release/build/crossbeam-queue/d875e47092f550a7/out/libcrossbeam_queue-d875e47092f550a7.rlib" "/opt/rustwide/target/release/build/crossbeam-channel/806e9f1a43ffb012/out/libcrossbeam_channel-806e9f1a43ffb012.rlib" "/opt/rustwide/target/release/build/crossbeam-deque/468d92acc068639b/out/libcrossbeam_deque-468d92acc068639b.rlib" "/opt/rustwide/target/release/build/crossbeam-epoch/d893522f017b17d8/out/libcrossbeam_epoch-d893522f017b17d8.rlib" "/opt/rustwide/target/release/build/scopeguard/944807bd8a2b1f58/out/libscopeguard-944807bd8a2b1f58.rlib" "/opt/rustwide/target/release/build/memoffset/eb464224b4cb7aaa/out/libmemoffset-eb464224b4cb7aaa.rlib" "/opt/rustwide/target/release/build/crossbeam-utils/8fc606c65941c9ad/out/libcrossbeam_utils-8fc606c65941c9ad.rlib" "/opt/rustwide/target/release/build/maybe-uninit/32ec7c9471fe2ae9/out/libmaybe_uninit-32ec7c9471fe2ae9.rlib" "/opt/rustwide/target/release/build/cfg-if/f8ad466c23688598/out/libcfg_if-f8ad466c23688598.rlib" "/opt/rustwide/target/release/build/toml/d9e7bf8a50c92c96/out/libtoml-d9e7bf8a50c92c96.rlib" "/opt/rustwide/target/release/build/serde/5b642f93e1b28f07/out/libserde-5b642f93e1b28f07.rlib" "/opt/rustwide/target/release/build/lazy_static/b62eaa39667a66b5/out/liblazy_static-b62eaa39667a66b5.rlib" "/opt/rustwide/target/release/build/lalrpop-util/f57cfd7dd12c729c/out/liblalrpop_util-f57cfd7dd12c729c.rlib" "/opt/rustwide/target/release/build/regex/370a4c0e1a61bf4c/out/libregex-370a4c0e1a61bf4c.rlib" "/opt/rustwide/target/release/build/thread_local/c8b2ca8263688e2e/out/libthread_local-c8b2ca8263688e2e.rlib" "/opt/rustwide/target/release/build/once_cell/103ba333243bdd2a/out/libonce_cell-103ba333243bdd2a.rlib" "/opt/rustwide/target/release/build/regex-syntax/d280344d4c0c37f5/out/libregex_syntax-d280344d4c0c37f5.rlib" "/opt/rustwide/target/release/build/aho-corasick/0bd66f5d9ef2aae7/out/libaho_corasick-0bd66f5d9ef2aae7.rlib" "/opt/rustwide/target/release/build/memchr/9281ca02535a5443/out/libmemchr-9281ca02535a5443.rlib" "/opt/rustwide/target/release/build/sha2/3fc77b2215265bb6/out/libsha2-3fc77b2215265bb6.rlib" "/opt/rustwide/target/release/build/digest/ce144477e679e02c/out/libdigest-ce144477e679e02c.rlib" "/opt/rustwide/target/release/build/opaque-debug/7ea6d66c140ff6ef/out/libopaque_debug-7ea6d66c140ff6ef.rlib" "/opt/rustwide/target/release/build/fake-simd/5f99f003f6d3cbab/out/libfake_simd-5f99f003f6d3cbab.rlib" "/opt/rustwide/target/release/build/block-buffer/034e54ea1558f11f/out/libblock_buffer-034e54ea1558f11f.rlib" "/opt/rustwide/target/release/build/generic-array/713c050ee72e8083/out/libgeneric_array-713c050ee72e8083.rlib" "/opt/rustwide/target/release/build/typenum/fd846548ef97181a/out/libtypenum-fd846548ef97181a.rlib" "/opt/rustwide/target/release/build/block-padding/e6cd201424008ef9/out/libblock_padding-e6cd201424008ef9.rlib" "/opt/rustwide/target/release/build/byte-tools/f12b4bf2df750fc5/out/libbyte_tools-f12b4bf2df750fc5.rlib" "/opt/rustwide/target/release/build/byteorder/b278ed9556769cb6/out/libbyteorder-b278ed9556769cb6.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-lz3" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/release/build/isla/7955baf90e2726a0/out/rustcQPTPbx/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "." "-L" ".." "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/release/build/isla/7955baf90e2726a0/out/isla_property" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-Wl,-O1" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: unable to find library -lz3
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `isla` (bin "isla-property") due to 1 previous error
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/release/build/isla/6ba84701860812c4/out/rustcenWB8U/symbols.o" "<17 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_abort-*.rlib" "/opt/rustwide/target/release/build/num_cpus/b59f8fc45cc21abd/out/libnum_cpus-b59f8fc45cc21abd.rlib" "/opt/rustwide/target/release/build/getopts/5a4640e5ad1862c1/out/libgetopts-5a4640e5ad1862c1.rlib" "/opt/rustwide/target/release/build/unicode-width/60b9da46293b320d/out/libunicode_width-60b9da46293b320d.rlib" "/opt/rustwide/target/release/build/isla-axiomatic/6480ffdcdc44dac7/out/libisla_axiomatic-6480ffdcdc44dac7.rlib" "/opt/rustwide/target/release/build/goblin/208ec8d5e3b807c1/out/libgoblin-208ec8d5e3b807c1.rlib" "/opt/rustwide/target/release/build/log/e7747b6b48bb2822/out/liblog-e7747b6b48bb2822.rlib" "/opt/rustwide/target/release/build/cfg-if/75bf07d5068b867d/out/libcfg_if-75bf07d5068b867d.rlib" "/opt/rustwide/target/release/build/plain/06443e8c7acc3ed3/out/libplain-06443e8c7acc3ed3.rlib" "/opt/rustwide/target/release/build/scroll/7b2a80ad972c9c4c/out/libscroll-7b2a80ad972c9c4c.rlib" "/opt/rustwide/target/release/build/isla-cat/d865115b8d2a8f4f/out/libisla_cat-d865115b8d2a8f4f.rlib" "/opt/rustwide/target/release/build/isla-lib/adb2880afa57b1de/out/libisla_lib-adb2880afa57b1de.rlib" "/opt/rustwide/target/release/build/bincode/1098788968162d37/out/libbincode-1098788968162d37.rlib" "/opt/rustwide/target/release/build/z3-sys/6f853047e895036a/out/libz3_sys-6f853047e895036a.rlib" "/opt/rustwide/target/release/build/libc/f1785b987dc9ace2/out/liblibc-f1785b987dc9ace2.rlib" "/opt/rustwide/target/release/build/petgraph/da8a60342ba4a5b3/out/libpetgraph-da8a60342ba4a5b3.rlib" "/opt/rustwide/target/release/build/indexmap/61f2c2880c3ccc4c/out/libindexmap-61f2c2880c3ccc4c.rlib" "/opt/rustwide/target/release/build/hashbrown/3e92fafa07b6929e/out/libhashbrown-3e92fafa07b6929e.rlib" "/opt/rustwide/target/release/build/fixedbitset/eb4a3fe28429e558/out/libfixedbitset-eb4a3fe28429e558.rlib" "/opt/rustwide/target/release/build/toml/d9e7bf8a50c92c96/out/libtoml-d9e7bf8a50c92c96.rlib" "/opt/rustwide/target/release/build/serde/5b642f93e1b28f07/out/libserde-5b642f93e1b28f07.rlib" "/opt/rustwide/target/release/build/lalrpop-util/f57cfd7dd12c729c/out/liblalrpop_util-f57cfd7dd12c729c.rlib" "/opt/rustwide/target/release/build/regex/370a4c0e1a61bf4c/out/libregex-370a4c0e1a61bf4c.rlib" "/opt/rustwide/target/release/build/thread_local/c8b2ca8263688e2e/out/libthread_local-c8b2ca8263688e2e.rlib" "/opt/rustwide/target/release/build/once_cell/103ba333243bdd2a/out/libonce_cell-103ba333243bdd2a.rlib" "/opt/rustwide/target/release/build/regex-syntax/d280344d4c0c37f5/out/libregex_syntax-d280344d4c0c37f5.rlib" "/opt/rustwide/target/release/build/aho-corasick/0bd66f5d9ef2aae7/out/libaho_corasick-0bd66f5d9ef2aae7.rlib" "/opt/rustwide/target/release/build/memchr/9281ca02535a5443/out/libmemchr-9281ca02535a5443.rlib" "/opt/rustwide/target/release/build/sha2/3fc77b2215265bb6/out/libsha2-3fc77b2215265bb6.rlib" "/opt/rustwide/target/release/build/digest/ce144477e679e02c/out/libdigest-ce144477e679e02c.rlib" "/opt/rustwide/target/release/build/opaque-debug/7ea6d66c140ff6ef/out/libopaque_debug-7ea6d66c140ff6ef.rlib" "/opt/rustwide/target/release/build/fake-simd/5f99f003f6d3cbab/out/libfake_simd-5f99f003f6d3cbab.rlib" "/opt/rustwide/target/release/build/block-buffer/034e54ea1558f11f/out/libblock_buffer-034e54ea1558f11f.rlib" "/opt/rustwide/target/release/build/generic-array/713c050ee72e8083/out/libgeneric_array-713c050ee72e8083.rlib" "/opt/rustwide/target/release/build/typenum/fd846548ef97181a/out/libtypenum-fd846548ef97181a.rlib" "/opt/rustwide/target/release/build/block-padding/e6cd201424008ef9/out/libblock_padding-e6cd201424008ef9.rlib" "/opt/rustwide/target/release/build/byte-tools/f12b4bf2df750fc5/out/libbyte_tools-f12b4bf2df750fc5.rlib" "/opt/rustwide/target/release/build/byteorder/b278ed9556769cb6/out/libbyteorder-b278ed9556769cb6.rlib" "/opt/rustwide/target/release/build/crossbeam/d0453cb88b51c3bd/out/libcrossbeam-d0453cb88b51c3bd.rlib" "/opt/rustwide/target/release/build/crossbeam-queue/d875e47092f550a7/out/libcrossbeam_queue-d875e47092f550a7.rlib" "/opt/rustwide/target/release/build/crossbeam-channel/806e9f1a43ffb012/out/libcrossbeam_channel-806e9f1a43ffb012.rlib" "/opt/rustwide/target/release/build/crossbeam-deque/468d92acc068639b/out/libcrossbeam_deque-468d92acc068639b.rlib" "/opt/rustwide/target/release/build/crossbeam-epoch/d893522f017b17d8/out/libcrossbeam_epoch-d893522f017b17d8.rlib" "/opt/rustwide/target/release/build/scopeguard/944807bd8a2b1f58/out/libscopeguard-944807bd8a2b1f58.rlib" "/opt/rustwide/target/release/build/memoffset/eb464224b4cb7aaa/out/libmemoffset-eb464224b4cb7aaa.rlib" "/opt/rustwide/target/release/build/crossbeam-utils/8fc606c65941c9ad/out/libcrossbeam_utils-8fc606c65941c9ad.rlib" "/opt/rustwide/target/release/build/lazy_static/b62eaa39667a66b5/out/liblazy_static-b62eaa39667a66b5.rlib" "/opt/rustwide/target/release/build/maybe-uninit/32ec7c9471fe2ae9/out/libmaybe_uninit-32ec7c9471fe2ae9.rlib" "/opt/rustwide/target/release/build/cfg-if/f8ad466c23688598/out/libcfg_if-f8ad466c23688598.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-lz3" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/release/build/isla/6ba84701860812c4/out/rustcenWB8U/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "." "-L" ".." "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/release/build/isla/6ba84701860812c4/out/isla_client" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-Wl,-O1" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: unable to find library -lz3
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `isla` (bin "isla-client") due to 1 previous error
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/release/build/isla/266359dd3781f26c/out/rustc6DOtHP/symbols.o" "<17 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_abort-*.rlib" "/opt/rustwide/target/release/build/num_cpus/b59f8fc45cc21abd/out/libnum_cpus-b59f8fc45cc21abd.rlib" "/opt/rustwide/target/release/build/getopts/5a4640e5ad1862c1/out/libgetopts-5a4640e5ad1862c1.rlib" "/opt/rustwide/target/release/build/unicode-width/60b9da46293b320d/out/libunicode_width-60b9da46293b320d.rlib" "/opt/rustwide/target/release/build/isla-axiomatic/6480ffdcdc44dac7/out/libisla_axiomatic-6480ffdcdc44dac7.rlib" "/opt/rustwide/target/release/build/goblin/208ec8d5e3b807c1/out/libgoblin-208ec8d5e3b807c1.rlib" "/opt/rustwide/target/release/build/log/e7747b6b48bb2822/out/liblog-e7747b6b48bb2822.rlib" "/opt/rustwide/target/release/build/cfg-if/75bf07d5068b867d/out/libcfg_if-75bf07d5068b867d.rlib" "/opt/rustwide/target/release/build/plain/06443e8c7acc3ed3/out/libplain-06443e8c7acc3ed3.rlib" "/opt/rustwide/target/release/build/scroll/7b2a80ad972c9c4c/out/libscroll-7b2a80ad972c9c4c.rlib" "/opt/rustwide/target/release/build/isla-cat/d865115b8d2a8f4f/out/libisla_cat-d865115b8d2a8f4f.rlib" "/opt/rustwide/target/release/build/isla-lib/adb2880afa57b1de/out/libisla_lib-adb2880afa57b1de.rlib" "/opt/rustwide/target/release/build/bincode/1098788968162d37/out/libbincode-1098788968162d37.rlib" "/opt/rustwide/target/release/build/z3-sys/6f853047e895036a/out/libz3_sys-6f853047e895036a.rlib" "/opt/rustwide/target/release/build/libc/f1785b987dc9ace2/out/liblibc-f1785b987dc9ace2.rlib" "/opt/rustwide/target/release/build/petgraph/da8a60342ba4a5b3/out/libpetgraph-da8a60342ba4a5b3.rlib" "/opt/rustwide/target/release/build/indexmap/61f2c2880c3ccc4c/out/libindexmap-61f2c2880c3ccc4c.rlib" "/opt/rustwide/target/release/build/hashbrown/3e92fafa07b6929e/out/libhashbrown-3e92fafa07b6929e.rlib" "/opt/rustwide/target/release/build/fixedbitset/eb4a3fe28429e558/out/libfixedbitset-eb4a3fe28429e558.rlib" "/opt/rustwide/target/release/build/toml/d9e7bf8a50c92c96/out/libtoml-d9e7bf8a50c92c96.rlib" "/opt/rustwide/target/release/build/serde/5b642f93e1b28f07/out/libserde-5b642f93e1b28f07.rlib" "/opt/rustwide/target/release/build/lalrpop-util/f57cfd7dd12c729c/out/liblalrpop_util-f57cfd7dd12c729c.rlib" "/opt/rustwide/target/release/build/regex/370a4c0e1a61bf4c/out/libregex-370a4c0e1a61bf4c.rlib" "/opt/rustwide/target/release/build/thread_local/c8b2ca8263688e2e/out/libthread_local-c8b2ca8263688e2e.rlib" "/opt/rustwide/target/release/build/once_cell/103ba333243bdd2a/out/libonce_cell-103ba333243bdd2a.rlib" "/opt/rustwide/target/release/build/regex-syntax/d280344d4c0c37f5/out/libregex_syntax-d280344d4c0c37f5.rlib" "/opt/rustwide/target/release/build/aho-corasick/0bd66f5d9ef2aae7/out/libaho_corasick-0bd66f5d9ef2aae7.rlib" "/opt/rustwide/target/release/build/memchr/9281ca02535a5443/out/libmemchr-9281ca02535a5443.rlib" "/opt/rustwide/target/release/build/sha2/3fc77b2215265bb6/out/libsha2-3fc77b2215265bb6.rlib" "/opt/rustwide/target/release/build/digest/ce144477e679e02c/out/libdigest-ce144477e679e02c.rlib" "/opt/rustwide/target/release/build/opaque-debug/7ea6d66c140ff6ef/out/libopaque_debug-7ea6d66c140ff6ef.rlib" "/opt/rustwide/target/release/build/fake-simd/5f99f003f6d3cbab/out/libfake_simd-5f99f003f6d3cbab.rlib" "/opt/rustwide/target/release/build/block-buffer/034e54ea1558f11f/out/libblock_buffer-034e54ea1558f11f.rlib" "/opt/rustwide/target/release/build/generic-array/713c050ee72e8083/out/libgeneric_array-713c050ee72e8083.rlib" "/opt/rustwide/target/release/build/typenum/fd846548ef97181a/out/libtypenum-fd846548ef97181a.rlib" "/opt/rustwide/target/release/build/block-padding/e6cd201424008ef9/out/libblock_padding-e6cd201424008ef9.rlib" "/opt/rustwide/target/release/build/byte-tools/f12b4bf2df750fc5/out/libbyte_tools-f12b4bf2df750fc5.rlib" "/opt/rustwide/target/release/build/byteorder/b278ed9556769cb6/out/libbyteorder-b278ed9556769cb6.rlib" "/opt/rustwide/target/release/build/crossbeam/d0453cb88b51c3bd/out/libcrossbeam-d0453cb88b51c3bd.rlib" "/opt/rustwide/target/release/build/crossbeam-queue/d875e47092f550a7/out/libcrossbeam_queue-d875e47092f550a7.rlib" "/opt/rustwide/target/release/build/crossbeam-channel/806e9f1a43ffb012/out/libcrossbeam_channel-806e9f1a43ffb012.rlib" "/opt/rustwide/target/release/build/crossbeam-deque/468d92acc068639b/out/libcrossbeam_deque-468d92acc068639b.rlib" "/opt/rustwide/target/release/build/crossbeam-epoch/d893522f017b17d8/out/libcrossbeam_epoch-d893522f017b17d8.rlib" "/opt/rustwide/target/release/build/scopeguard/944807bd8a2b1f58/out/libscopeguard-944807bd8a2b1f58.rlib" "/opt/rustwide/target/release/build/memoffset/eb464224b4cb7aaa/out/libmemoffset-eb464224b4cb7aaa.rlib" "/opt/rustwide/target/release/build/crossbeam-utils/8fc606c65941c9ad/out/libcrossbeam_utils-8fc606c65941c9ad.rlib" "/opt/rustwide/target/release/build/lazy_static/b62eaa39667a66b5/out/liblazy_static-b62eaa39667a66b5.rlib" "/opt/rustwide/target/release/build/maybe-uninit/32ec7c9471fe2ae9/out/libmaybe_uninit-32ec7c9471fe2ae9.rlib" "/opt/rustwide/target/release/build/cfg-if/f8ad466c23688598/out/libcfg_if-f8ad466c23688598.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-lz3" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/release/build/isla/266359dd3781f26c/out/rustc6DOtHP/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "." "-L" ".." "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/release/build/isla/266359dd3781f26c/out/isla_footprint" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-Wl,-O1" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: unable to find library -lz3
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `isla` (bin "isla-footprint") due to 1 previous error
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/release/build/isla/905e4553b2e7e2c0/out/rustcLfjztT/symbols.o" "<17 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_abort-*.rlib" "/opt/rustwide/target/release/build/num_cpus/b59f8fc45cc21abd/out/libnum_cpus-b59f8fc45cc21abd.rlib" "/opt/rustwide/target/release/build/getopts/5a4640e5ad1862c1/out/libgetopts-5a4640e5ad1862c1.rlib" "/opt/rustwide/target/release/build/unicode-width/60b9da46293b320d/out/libunicode_width-60b9da46293b320d.rlib" "/opt/rustwide/target/release/build/isla-lib/adb2880afa57b1de/out/libisla_lib-adb2880afa57b1de.rlib" "/opt/rustwide/target/release/build/bincode/1098788968162d37/out/libbincode-1098788968162d37.rlib" "/opt/rustwide/target/release/build/z3-sys/6f853047e895036a/out/libz3_sys-6f853047e895036a.rlib" "/opt/rustwide/target/release/build/libc/f1785b987dc9ace2/out/liblibc-f1785b987dc9ace2.rlib" "/opt/rustwide/target/release/build/petgraph/da8a60342ba4a5b3/out/libpetgraph-da8a60342ba4a5b3.rlib" "/opt/rustwide/target/release/build/indexmap/61f2c2880c3ccc4c/out/libindexmap-61f2c2880c3ccc4c.rlib" "/opt/rustwide/target/release/build/hashbrown/3e92fafa07b6929e/out/libhashbrown-3e92fafa07b6929e.rlib" "/opt/rustwide/target/release/build/fixedbitset/eb4a3fe28429e558/out/libfixedbitset-eb4a3fe28429e558.rlib" "/opt/rustwide/target/release/build/toml/d9e7bf8a50c92c96/out/libtoml-d9e7bf8a50c92c96.rlib" "/opt/rustwide/target/release/build/serde/5b642f93e1b28f07/out/libserde-5b642f93e1b28f07.rlib" "/opt/rustwide/target/release/build/lalrpop-util/f57cfd7dd12c729c/out/liblalrpop_util-f57cfd7dd12c729c.rlib" "/opt/rustwide/target/release/build/regex/370a4c0e1a61bf4c/out/libregex-370a4c0e1a61bf4c.rlib" "/opt/rustwide/target/release/build/thread_local/c8b2ca8263688e2e/out/libthread_local-c8b2ca8263688e2e.rlib" "/opt/rustwide/target/release/build/once_cell/103ba333243bdd2a/out/libonce_cell-103ba333243bdd2a.rlib" "/opt/rustwide/target/release/build/regex-syntax/d280344d4c0c37f5/out/libregex_syntax-d280344d4c0c37f5.rlib" "/opt/rustwide/target/release/build/aho-corasick/0bd66f5d9ef2aae7/out/libaho_corasick-0bd66f5d9ef2aae7.rlib" "/opt/rustwide/target/release/build/memchr/9281ca02535a5443/out/libmemchr-9281ca02535a5443.rlib" "/opt/rustwide/target/release/build/sha2/3fc77b2215265bb6/out/libsha2-3fc77b2215265bb6.rlib" "/opt/rustwide/target/release/build/digest/ce144477e679e02c/out/libdigest-ce144477e679e02c.rlib" "/opt/rustwide/target/release/build/opaque-debug/7ea6d66c140ff6ef/out/libopaque_debug-7ea6d66c140ff6ef.rlib" "/opt/rustwide/target/release/build/fake-simd/5f99f003f6d3cbab/out/libfake_simd-5f99f003f6d3cbab.rlib" "/opt/rustwide/target/release/build/block-buffer/034e54ea1558f11f/out/libblock_buffer-034e54ea1558f11f.rlib" "/opt/rustwide/target/release/build/generic-array/713c050ee72e8083/out/libgeneric_array-713c050ee72e8083.rlib" "/opt/rustwide/target/release/build/typenum/fd846548ef97181a/out/libtypenum-fd846548ef97181a.rlib" "/opt/rustwide/target/release/build/block-padding/e6cd201424008ef9/out/libblock_padding-e6cd201424008ef9.rlib" "/opt/rustwide/target/release/build/byte-tools/f12b4bf2df750fc5/out/libbyte_tools-f12b4bf2df750fc5.rlib" "/opt/rustwide/target/release/build/byteorder/b278ed9556769cb6/out/libbyteorder-b278ed9556769cb6.rlib" "/opt/rustwide/target/release/build/crossbeam/d0453cb88b51c3bd/out/libcrossbeam-d0453cb88b51c3bd.rlib" "/opt/rustwide/target/release/build/crossbeam-queue/d875e47092f550a7/out/libcrossbeam_queue-d875e47092f550a7.rlib" "/opt/rustwide/target/release/build/crossbeam-channel/806e9f1a43ffb012/out/libcrossbeam_channel-806e9f1a43ffb012.rlib" "/opt/rustwide/target/release/build/crossbeam-deque/468d92acc068639b/out/libcrossbeam_deque-468d92acc068639b.rlib" "/opt/rustwide/target/release/build/crossbeam-epoch/d893522f017b17d8/out/libcrossbeam_epoch-d893522f017b17d8.rlib" "/opt/rustwide/target/release/build/scopeguard/944807bd8a2b1f58/out/libscopeguard-944807bd8a2b1f58.rlib" "/opt/rustwide/target/release/build/memoffset/eb464224b4cb7aaa/out/libmemoffset-eb464224b4cb7aaa.rlib" "/opt/rustwide/target/release/build/crossbeam-utils/8fc606c65941c9ad/out/libcrossbeam_utils-8fc606c65941c9ad.rlib" "/opt/rustwide/target/release/build/lazy_static/b62eaa39667a66b5/out/liblazy_static-b62eaa39667a66b5.rlib" "/opt/rustwide/target/release/build/maybe-uninit/32ec7c9471fe2ae9/out/libmaybe_uninit-32ec7c9471fe2ae9.rlib" "/opt/rustwide/target/release/build/cfg-if/f8ad466c23688598/out/libcfg_if-f8ad466c23688598.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-lz3" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/release/build/isla/905e4553b2e7e2c0/out/rustcLfjztT/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "." "-L" ".." "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/release/build/isla/905e4553b2e7e2c0/out/isla_execute_function" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-Wl,-O1" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: unable to find library -lz3
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `isla` (bin "isla-execute-function") due to 1 previous error
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/release/build/isla/ef6cafcfbb0b50e7/out/rustc1COZ6k/symbols.o" "<17 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_abort-*.rlib" "/opt/rustwide/target/release/build/num_cpus/b59f8fc45cc21abd/out/libnum_cpus-b59f8fc45cc21abd.rlib" "/opt/rustwide/target/release/build/getopts/5a4640e5ad1862c1/out/libgetopts-5a4640e5ad1862c1.rlib" "/opt/rustwide/target/release/build/unicode-width/60b9da46293b320d/out/libunicode_width-60b9da46293b320d.rlib" "/opt/rustwide/target/release/build/isla-lib/adb2880afa57b1de/out/libisla_lib-adb2880afa57b1de.rlib" "/opt/rustwide/target/release/build/bincode/1098788968162d37/out/libbincode-1098788968162d37.rlib" "/opt/rustwide/target/release/build/z3-sys/6f853047e895036a/out/libz3_sys-6f853047e895036a.rlib" "/opt/rustwide/target/release/build/libc/f1785b987dc9ace2/out/liblibc-f1785b987dc9ace2.rlib" "/opt/rustwide/target/release/build/petgraph/da8a60342ba4a5b3/out/libpetgraph-da8a60342ba4a5b3.rlib" "/opt/rustwide/target/release/build/indexmap/61f2c2880c3ccc4c/out/libindexmap-61f2c2880c3ccc4c.rlib" "/opt/rustwide/target/release/build/hashbrown/3e92fafa07b6929e/out/libhashbrown-3e92fafa07b6929e.rlib" "/opt/rustwide/target/release/build/fixedbitset/eb4a3fe28429e558/out/libfixedbitset-eb4a3fe28429e558.rlib" "/opt/rustwide/target/release/build/crossbeam/d0453cb88b51c3bd/out/libcrossbeam-d0453cb88b51c3bd.rlib" "/opt/rustwide/target/release/build/crossbeam-queue/d875e47092f550a7/out/libcrossbeam_queue-d875e47092f550a7.rlib" "/opt/rustwide/target/release/build/crossbeam-channel/806e9f1a43ffb012/out/libcrossbeam_channel-806e9f1a43ffb012.rlib" "/opt/rustwide/target/release/build/crossbeam-deque/468d92acc068639b/out/libcrossbeam_deque-468d92acc068639b.rlib" "/opt/rustwide/target/release/build/crossbeam-epoch/d893522f017b17d8/out/libcrossbeam_epoch-d893522f017b17d8.rlib" "/opt/rustwide/target/release/build/scopeguard/944807bd8a2b1f58/out/libscopeguard-944807bd8a2b1f58.rlib" "/opt/rustwide/target/release/build/memoffset/eb464224b4cb7aaa/out/libmemoffset-eb464224b4cb7aaa.rlib" "/opt/rustwide/target/release/build/crossbeam-utils/8fc606c65941c9ad/out/libcrossbeam_utils-8fc606c65941c9ad.rlib" "/opt/rustwide/target/release/build/maybe-uninit/32ec7c9471fe2ae9/out/libmaybe_uninit-32ec7c9471fe2ae9.rlib" "/opt/rustwide/target/release/build/cfg-if/f8ad466c23688598/out/libcfg_if-f8ad466c23688598.rlib" "/opt/rustwide/target/release/build/toml/d9e7bf8a50c92c96/out/libtoml-d9e7bf8a50c92c96.rlib" "/opt/rustwide/target/release/build/serde/5b642f93e1b28f07/out/libserde-5b642f93e1b28f07.rlib" "/opt/rustwide/target/release/build/lazy_static/b62eaa39667a66b5/out/liblazy_static-b62eaa39667a66b5.rlib" "/opt/rustwide/target/release/build/lalrpop-util/f57cfd7dd12c729c/out/liblalrpop_util-f57cfd7dd12c729c.rlib" "/opt/rustwide/target/release/build/regex/370a4c0e1a61bf4c/out/libregex-370a4c0e1a61bf4c.rlib" "/opt/rustwide/target/release/build/thread_local/c8b2ca8263688e2e/out/libthread_local-c8b2ca8263688e2e.rlib" "/opt/rustwide/target/release/build/once_cell/103ba333243bdd2a/out/libonce_cell-103ba333243bdd2a.rlib" "/opt/rustwide/target/release/build/regex-syntax/d280344d4c0c37f5/out/libregex_syntax-d280344d4c0c37f5.rlib" "/opt/rustwide/target/release/build/aho-corasick/0bd66f5d9ef2aae7/out/libaho_corasick-0bd66f5d9ef2aae7.rlib" "/opt/rustwide/target/release/build/memchr/9281ca02535a5443/out/libmemchr-9281ca02535a5443.rlib" "/opt/rustwide/target/release/build/sha2/3fc77b2215265bb6/out/libsha2-3fc77b2215265bb6.rlib" "/opt/rustwide/target/release/build/digest/ce144477e679e02c/out/libdigest-ce144477e679e02c.rlib" "/opt/rustwide/target/release/build/opaque-debug/7ea6d66c140ff6ef/out/libopaque_debug-7ea6d66c140ff6ef.rlib" "/opt/rustwide/target/release/build/fake-simd/5f99f003f6d3cbab/out/libfake_simd-5f99f003f6d3cbab.rlib" "/opt/rustwide/target/release/build/block-buffer/034e54ea1558f11f/out/libblock_buffer-034e54ea1558f11f.rlib" "/opt/rustwide/target/release/build/generic-array/713c050ee72e8083/out/libgeneric_array-713c050ee72e8083.rlib" "/opt/rustwide/target/release/build/typenum/fd846548ef97181a/out/libtypenum-fd846548ef97181a.rlib" "/opt/rustwide/target/release/build/block-padding/e6cd201424008ef9/out/libblock_padding-e6cd201424008ef9.rlib" "/opt/rustwide/target/release/build/byte-tools/f12b4bf2df750fc5/out/libbyte_tools-f12b4bf2df750fc5.rlib" "/opt/rustwide/target/release/build/byteorder/b278ed9556769cb6/out/libbyteorder-b278ed9556769cb6.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-lz3" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/release/build/isla/ef6cafcfbb0b50e7/out/rustc1COZ6k/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "." "-L" ".." "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/release/build/isla/ef6cafcfbb0b50e7/out/isla_preprocess" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-Wl,-O1" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: unable to find library -lz3
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `isla` (bin "isla-preprocess") due to 1 previous error; 1 warning emitted
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/release/build/isla/b7268acf0ecfa2c5/out/rustcIazOXA/symbols.o" "<17 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_abort-*.rlib" "/opt/rustwide/target/release/build/num_cpus/b59f8fc45cc21abd/out/libnum_cpus-b59f8fc45cc21abd.rlib" "/opt/rustwide/target/release/build/getopts/5a4640e5ad1862c1/out/libgetopts-5a4640e5ad1862c1.rlib" "/opt/rustwide/target/release/build/unicode-width/60b9da46293b320d/out/libunicode_width-60b9da46293b320d.rlib" "/opt/rustwide/target/release/build/isla-axiomatic/6480ffdcdc44dac7/out/libisla_axiomatic-6480ffdcdc44dac7.rlib" "/opt/rustwide/target/release/build/goblin/208ec8d5e3b807c1/out/libgoblin-208ec8d5e3b807c1.rlib" "/opt/rustwide/target/release/build/log/e7747b6b48bb2822/out/liblog-e7747b6b48bb2822.rlib" "/opt/rustwide/target/release/build/cfg-if/75bf07d5068b867d/out/libcfg_if-75bf07d5068b867d.rlib" "/opt/rustwide/target/release/build/plain/06443e8c7acc3ed3/out/libplain-06443e8c7acc3ed3.rlib" "/opt/rustwide/target/release/build/scroll/7b2a80ad972c9c4c/out/libscroll-7b2a80ad972c9c4c.rlib" "/opt/rustwide/target/release/build/isla-cat/d865115b8d2a8f4f/out/libisla_cat-d865115b8d2a8f4f.rlib" "/opt/rustwide/target/release/build/isla-lib/adb2880afa57b1de/out/libisla_lib-adb2880afa57b1de.rlib" "/opt/rustwide/target/release/build/bincode/1098788968162d37/out/libbincode-1098788968162d37.rlib" "/opt/rustwide/target/release/build/z3-sys/6f853047e895036a/out/libz3_sys-6f853047e895036a.rlib" "/opt/rustwide/target/release/build/libc/f1785b987dc9ace2/out/liblibc-f1785b987dc9ace2.rlib" "/opt/rustwide/target/release/build/petgraph/da8a60342ba4a5b3/out/libpetgraph-da8a60342ba4a5b3.rlib" "/opt/rustwide/target/release/build/indexmap/61f2c2880c3ccc4c/out/libindexmap-61f2c2880c3ccc4c.rlib" "/opt/rustwide/target/release/build/hashbrown/3e92fafa07b6929e/out/libhashbrown-3e92fafa07b6929e.rlib" "/opt/rustwide/target/release/build/fixedbitset/eb4a3fe28429e558/out/libfixedbitset-eb4a3fe28429e558.rlib" "/opt/rustwide/target/release/build/toml/d9e7bf8a50c92c96/out/libtoml-d9e7bf8a50c92c96.rlib" "/opt/rustwide/target/release/build/serde/5b642f93e1b28f07/out/libserde-5b642f93e1b28f07.rlib" "/opt/rustwide/target/release/build/lalrpop-util/f57cfd7dd12c729c/out/liblalrpop_util-f57cfd7dd12c729c.rlib" "/opt/rustwide/target/release/build/regex/370a4c0e1a61bf4c/out/libregex-370a4c0e1a61bf4c.rlib" "/opt/rustwide/target/release/build/thread_local/c8b2ca8263688e2e/out/libthread_local-c8b2ca8263688e2e.rlib" "/opt/rustwide/target/release/build/once_cell/103ba333243bdd2a/out/libonce_cell-103ba333243bdd2a.rlib" "/opt/rustwide/target/release/build/regex-syntax/d280344d4c0c37f5/out/libregex_syntax-d280344d4c0c37f5.rlib" "/opt/rustwide/target/release/build/aho-corasick/0bd66f5d9ef2aae7/out/libaho_corasick-0bd66f5d9ef2aae7.rlib" "/opt/rustwide/target/release/build/memchr/9281ca02535a5443/out/libmemchr-9281ca02535a5443.rlib" "/opt/rustwide/target/release/build/sha2/3fc77b2215265bb6/out/libsha2-3fc77b2215265bb6.rlib" "/opt/rustwide/target/release/build/digest/ce144477e679e02c/out/libdigest-ce144477e679e02c.rlib" "/opt/rustwide/target/release/build/opaque-debug/7ea6d66c140ff6ef/out/libopaque_debug-7ea6d66c140ff6ef.rlib" "/opt/rustwide/target/release/build/fake-simd/5f99f003f6d3cbab/out/libfake_simd-5f99f003f6d3cbab.rlib" "/opt/rustwide/target/release/build/block-buffer/034e54ea1558f11f/out/libblock_buffer-034e54ea1558f11f.rlib" "/opt/rustwide/target/release/build/generic-array/713c050ee72e8083/out/libgeneric_array-713c050ee72e8083.rlib" "/opt/rustwide/target/release/build/typenum/fd846548ef97181a/out/libtypenum-fd846548ef97181a.rlib" "/opt/rustwide/target/release/build/block-padding/e6cd201424008ef9/out/libblock_padding-e6cd201424008ef9.rlib" "/opt/rustwide/target/release/build/byte-tools/f12b4bf2df750fc5/out/libbyte_tools-f12b4bf2df750fc5.rlib" "/opt/rustwide/target/release/build/byteorder/b278ed9556769cb6/out/libbyteorder-b278ed9556769cb6.rlib" "/opt/rustwide/target/release/build/crossbeam/d0453cb88b51c3bd/out/libcrossbeam-d0453cb88b51c3bd.rlib" "/opt/rustwide/target/release/build/crossbeam-queue/d875e47092f550a7/out/libcrossbeam_queue-d875e47092f550a7.rlib" "/opt/rustwide/target/release/build/crossbeam-channel/806e9f1a43ffb012/out/libcrossbeam_channel-806e9f1a43ffb012.rlib" "/opt/rustwide/target/release/build/crossbeam-deque/468d92acc068639b/out/libcrossbeam_deque-468d92acc068639b.rlib" "/opt/rustwide/target/release/build/crossbeam-epoch/d893522f017b17d8/out/libcrossbeam_epoch-d893522f017b17d8.rlib" "/opt/rustwide/target/release/build/scopeguard/944807bd8a2b1f58/out/libscopeguard-944807bd8a2b1f58.rlib" "/opt/rustwide/target/release/build/memoffset/eb464224b4cb7aaa/out/libmemoffset-eb464224b4cb7aaa.rlib" "/opt/rustwide/target/release/build/crossbeam-utils/8fc606c65941c9ad/out/libcrossbeam_utils-8fc606c65941c9ad.rlib" "/opt/rustwide/target/release/build/lazy_static/b62eaa39667a66b5/out/liblazy_static-b62eaa39667a66b5.rlib" "/opt/rustwide/target/release/build/maybe-uninit/32ec7c9471fe2ae9/out/libmaybe_uninit-32ec7c9471fe2ae9.rlib" "/opt/rustwide/target/release/build/cfg-if/f8ad466c23688598/out/libcfg_if-f8ad466c23688598.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-lz3" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/release/build/isla/b7268acf0ecfa2c5/out/rustcIazOXA/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "." "-L" ".." "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/release/build/isla/b7268acf0ecfa2c5/out/isla_axiomatic" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-Wl,-O1" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: unable to find library -lz3
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `isla` (bin "isla-axiomatic") due to 1 previous error
[INFO] [stderr] warning: unused dependency `rand`
[INFO] [stderr]   --> Cargo.toml:62:15
[INFO] [stderr]    |
[INFO] [stderr] 62 | [dependencies.rand]
[INFO] [stderr]    |               ^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `rand`
[INFO] [stderr] warning: `isla` (manifest) generated 1 warning
[INFO] running `Command { std: "docker" "inspect" "50970d7bbbe01b71b7afd7bcc56d500185f1c8c090134d99c4e95fa9275f43ff", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "50970d7bbbe01b71b7afd7bcc56d500185f1c8c090134d99c4e95fa9275f43ff", kill_on_drop: false }`
[INFO] [stdout] 50970d7bbbe01b71b7afd7bcc56d500185f1c8c090134d99c4e95fa9275f43ff
