[INFO] fetching crate isla 0.2.0...
[INFO] testing isla-0.2.0 against 1.99.0-beta.8+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate isla 0.2.0 into /workspace/builds/worker-6-tc1/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-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate isla 0.2.0 on toolchain 1.99.0-beta.8
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.99.0-beta.8" "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.99.0-beta.8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded fake-simd v0.1.2
[INFO] [stderr]   Downloaded sha2 v0.8.2
[INFO] [stderr]   Downloaded lalrpop-util v0.19.4
[INFO] [stderr]   Downloaded crossbeam v0.7.3
[INFO] [stderr]   Downloaded diff v0.1.12
[INFO] [stderr]   Downloaded string_cache v0.8.1
[INFO] [stderr]   Downloaded ascii-canvas v2.0.0
[INFO] [stderr]   Downloaded scroll_derive v0.10.5
[INFO] [stderr]   Downloaded siphasher v0.3.3
[INFO] [stderr]   Downloaded fixedbitset v0.2.0
[INFO] [stderr]   Downloaded crossbeam-deque v0.7.3
[INFO] [stderr]   Downloaded isla-cat v0.2.0
[INFO] [stderr]   Downloaded generic-array v0.12.3
[INFO] [stderr]   Downloaded generator v0.6.24
[INFO] [stderr]   Downloaded rustversion v1.0.4
[INFO] [stderr]   Downloaded scroll v0.10.2
[INFO] [stderr]   Downloaded ena v0.14.0
[INFO] [stderr]   Downloaded serde_derive v1.0.123
[INFO] [stderr]   Downloaded crossbeam-utils v0.8.2
[INFO] [stderr]   Downloaded bincode v1.3.2
[INFO] [stderr]   Downloaded serde v1.0.123
[INFO] [stderr]   Downloaded once_cell v1.7.0
[INFO] [stderr]   Downloaded isla-axiomatic v0.2.0
[INFO] [stderr]   Downloaded term v0.5.2
[INFO] [stderr]   Downloaded z3-sys v0.5.0
[INFO] [stderr]   Downloaded cc v1.0.67
[INFO] [stderr]   Downloaded loom v0.4.0
[INFO] [stderr]   Downloaded crossbeam-channel v0.4.4
[INFO] [stderr]   Downloaded isla-lib v0.2.0
[INFO] [stderr]   Downloaded petgraph v0.5.1
[INFO] [stderr]   Downloaded goblin v0.2.3
[INFO] [stderr]   Downloaded syn v1.0.60
[INFO] [stderr]   Downloaded lalrpop v0.19.4
[INFO] [stderr]   Downloaded regex v1.4.3
[INFO] [stderr]   Downloaded regex-syntax v0.6.22
[INFO] [stderr]   Downloaded libc v0.2.86
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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] d0e7470877f0be4af6afef187415e67c11258d98700f16f0b65a13cdd5dbeb8b
[INFO] running `Command { std: "docker" "start" "d0e7470877f0be4af6afef187415e67c11258d98700f16f0b65a13cdd5dbeb8b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "d0e7470877f0be4af6afef187415e67c11258d98700f16f0b65a13cdd5dbeb8b", 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" "d0e7470877f0be4af6afef187415e67c11258d98700f16f0b65a13cdd5dbeb8b" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "d0e7470877f0be4af6afef187415e67c11258d98700f16f0b65a13cdd5dbeb8b", 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" "d0e7470877f0be4af6afef187415e67c11258d98700f16f0b65a13cdd5dbeb8b" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling autocfg v1.0.1
[INFO] [stderr]    Compiling libc v0.2.86
[INFO] [stderr]    Compiling memchr v2.3.4
[INFO] [stderr]    Compiling unicode-xid v0.2.1
[INFO] [stderr]    Compiling byteorder v1.3.4
[INFO] [stderr]    Compiling log v0.4.14
[INFO] [stderr]    Compiling once_cell v1.7.0
[INFO] [stderr]    Compiling proc-macro2 v1.0.24
[INFO] [stderr]    Compiling crunchy v0.2.2
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling regex-syntax v0.6.22
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling hashbrown v0.9.1
[INFO] [stderr]    Compiling siphasher v0.3.3
[INFO] [stderr]    Compiling either v1.6.1
[INFO] [stderr]    Compiling bit-vec v0.6.3
[INFO] [stderr]    Compiling syn v1.0.60
[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 new_debug_unreachable v1.0.4
[INFO] [stderr]    Compiling thread_local v1.1.3
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]    Compiling itertools v0.9.0
[INFO] [stderr]    Compiling bit-set v0.5.2
[INFO] [stderr]    Compiling string_cache v0.8.1
[INFO] [stderr]    Compiling pico-args v0.3.4
[INFO] [stderr]    Compiling diff v0.1.12
[INFO] [stderr]    Compiling ena v0.14.0
[INFO] [stderr]    Compiling maybe-uninit v2.0.0
[INFO] [stderr]    Compiling quote v1.0.9
[INFO] [stderr]    Compiling indexmap v1.6.1
[INFO] [stderr]    Compiling crossbeam-utils v0.7.2
[INFO] [stderr]    Compiling cfg-if v0.1.10
[INFO] [stderr]    Compiling typenum v1.12.0
[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 aho-corasick v0.7.15
[INFO] [stderr]    Compiling serde v1.0.123
[INFO] [stderr]    Compiling scopeguard v1.1.0
[INFO] [stderr]    Compiling byte-tools v0.3.1
[INFO] [stderr]    Compiling getrandom v0.1.16
[INFO] [stderr]    Compiling block-padding v0.1.5
[INFO] [stderr]    Compiling opaque-debug v0.2.3
[INFO] [stderr]    Compiling dirs v1.0.5
[INFO] [stderr]    Compiling petgraph v0.5.1
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling term v0.5.2
[INFO] [stderr]    Compiling crossbeam-channel v0.4.4
[INFO] [stderr]    Compiling crossbeam-queue v0.2.3
[INFO] [stderr]    Compiling fake-simd v0.1.2
[INFO] [stderr]    Compiling z3-sys v0.5.0
[INFO] [stderr]    Compiling rand_core v0.5.1
[INFO] [stderr]    Compiling ppv-lite86 v0.2.10
[INFO] [stderr]    Compiling crossbeam-deque v0.7.3
[INFO] [stderr]    Compiling plain v0.2.3
[INFO] [stderr]    Compiling ascii-canvas v2.0.0
[INFO] [stderr]    Compiling isla v0.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling unicode-width v0.1.8
[INFO] [stderr]    Compiling crossbeam v0.7.3
[INFO] [stderr]    Compiling getopts v0.2.21
[INFO] [stderr]    Compiling num_cpus v1.13.0
[INFO] [stderr]    Compiling generic-array v0.12.3
[INFO] [stderr]    Compiling rand_chacha v0.2.2
[INFO] [stderr]    Compiling block-buffer v0.7.3
[INFO] [stderr]    Compiling digest v0.8.1
[INFO] [stderr]    Compiling sha2 v0.8.2
[INFO] [stderr]    Compiling regex v1.4.3
[INFO] [stderr]    Compiling rand v0.7.3
[INFO] [stderr]    Compiling scroll_derive v0.10.5
[INFO] [stderr]    Compiling lalrpop-util v0.19.4
[INFO] [stderr]    Compiling lalrpop v0.19.4
[INFO] [stderr]    Compiling scroll v0.10.2
[INFO] [stderr]    Compiling goblin v0.2.3
[INFO] [stderr]    Compiling bincode v1.3.2
[INFO] [stderr]    Compiling toml v0.5.8
[INFO] [stderr]    Compiling isla-cat v0.2.0
[INFO] [stderr]    Compiling isla-lib v0.2.0
[INFO] [stderr]    Compiling isla-axiomatic v0.2.0
[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/deps/rustczIo8wB/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/deps/{libisla_lib-adb2880afa57b1de,libbincode-1098788968162d37,libz3_sys-6f853047e895036a,liblibc-f1785b987dc9ace2,libpetgraph-da8a60342ba4a5b3,libindexmap-61f2c2880c3ccc4c,libhashbrown-3e92fafa07b6929e,libfixedbitset-eb4a3fe28429e558,libcrossbeam-d0453cb88b51c3bd,libcrossbeam_queue-d875e47092f550a7,libcrossbeam_channel-806e9f1a43ffb012,libcrossbeam_deque-468d92acc068639b,libcrossbeam_epoch-d893522f017b17d8,libscopeguard-944807bd8a2b1f58,libmemoffset-eb464224b4cb7aaa,libcrossbeam_utils-8fc606c65941c9ad,libmaybe_uninit-32ec7c9471fe2ae9,libcfg_if-f8ad466c23688598,libtoml-d9e7bf8a50c92c96,libsha2-3fc77b2215265bb6,libdigest-ce144477e679e02c,libopaque_debug-7ea6d66c140ff6ef,libfake_simd-5f99f003f6d3cbab,libblock_buffer-034e54ea1558f11f,libgeneric_array-713c050ee72e8083,libtypenum-fd846548ef97181a,libblock_padding-e6cd201424008ef9,libbyte_tools-f12b4bf2df750fc5,libbyteorder-b278ed9556769cb6,libserde-5b642f93e1b28f07,liblazy_static-b62eaa39667a66b5,liblalrpop_util-f57cfd7dd12c729c,libregex-370a4c0e1a61bf4c,libthread_local-c8b2ca8263688e2e,libonce_cell-103ba333243bdd2a,libregex_syntax-d280344d4c0c37f5,libaho_corasick-0bd66f5d9ef2aae7,libmemchr-9281ca02535a5443,libgetopts-5a4640e5ad1862c1,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/deps/rustczIo8wB/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/deps/zencode-4dc3610dad7d897f" "-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/deps/rustcIi2f7g/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/deps/{libnum_cpus-b59f8fc45cc21abd,libgetopts-5a4640e5ad1862c1,libunicode_width-60b9da46293b320d,libisla_lib-adb2880afa57b1de,libbincode-1098788968162d37,libz3_sys-6f853047e895036a,liblibc-f1785b987dc9ace2,libpetgraph-da8a60342ba4a5b3,libindexmap-61f2c2880c3ccc4c,libhashbrown-3e92fafa07b6929e,libfixedbitset-eb4a3fe28429e558,libcrossbeam-d0453cb88b51c3bd,libcrossbeam_queue-d875e47092f550a7,libcrossbeam_channel-806e9f1a43ffb012,libcrossbeam_deque-468d92acc068639b,libcrossbeam_epoch-d893522f017b17d8,libscopeguard-944807bd8a2b1f58,libmemoffset-eb464224b4cb7aaa,libcrossbeam_utils-8fc606c65941c9ad,libmaybe_uninit-32ec7c9471fe2ae9,libcfg_if-f8ad466c23688598,libtoml-d9e7bf8a50c92c96,libserde-5b642f93e1b28f07,liblazy_static-b62eaa39667a66b5,liblalrpop_util-f57cfd7dd12c729c,libregex-370a4c0e1a61bf4c,libthread_local-c8b2ca8263688e2e,libonce_cell-103ba333243bdd2a,libregex_syntax-d280344d4c0c37f5,libaho_corasick-0bd66f5d9ef2aae7,libmemchr-9281ca02535a5443,libsha2-3fc77b2215265bb6,libdigest-ce144477e679e02c,libopaque_debug-7ea6d66c140ff6ef,libfake_simd-5f99f003f6d3cbab,libblock_buffer-034e54ea1558f11f,libgeneric_array-713c050ee72e8083,libtypenum-fd846548ef97181a,libblock_padding-e6cd201424008ef9,libbyte_tools-f12b4bf2df750fc5,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/deps/rustcIi2f7g/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/deps/isla_property129-24410978d79b1e07" "-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/deps/rustcA3PJbY/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/deps/{libnum_cpus-b59f8fc45cc21abd,libgetopts-5a4640e5ad1862c1,libunicode_width-60b9da46293b320d,libisla_lib-adb2880afa57b1de,libbincode-1098788968162d37,libz3_sys-6f853047e895036a,liblibc-f1785b987dc9ace2,libpetgraph-da8a60342ba4a5b3,libindexmap-61f2c2880c3ccc4c,libhashbrown-3e92fafa07b6929e,libfixedbitset-eb4a3fe28429e558,libcrossbeam-d0453cb88b51c3bd,libcrossbeam_queue-d875e47092f550a7,libcrossbeam_channel-806e9f1a43ffb012,libcrossbeam_deque-468d92acc068639b,libcrossbeam_epoch-d893522f017b17d8,libscopeguard-944807bd8a2b1f58,libmemoffset-eb464224b4cb7aaa,libcrossbeam_utils-8fc606c65941c9ad,libmaybe_uninit-32ec7c9471fe2ae9,libcfg_if-f8ad466c23688598,libtoml-d9e7bf8a50c92c96,libserde-5b642f93e1b28f07,liblazy_static-b62eaa39667a66b5,liblalrpop_util-f57cfd7dd12c729c,libregex-370a4c0e1a61bf4c,libthread_local-c8b2ca8263688e2e,libonce_cell-103ba333243bdd2a,libregex_syntax-d280344d4c0c37f5,libaho_corasick-0bd66f5d9ef2aae7,libmemchr-9281ca02535a5443,libsha2-3fc77b2215265bb6,libdigest-ce144477e679e02c,libopaque_debug-7ea6d66c140ff6ef,libfake_simd-5f99f003f6d3cbab,libblock_buffer-034e54ea1558f11f,libgeneric_array-713c050ee72e8083,libtypenum-fd846548ef97181a,libblock_padding-e6cd201424008ef9,libbyte_tools-f12b4bf2df750fc5,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/deps/rustcA3PJbY/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/deps/isla_property-7955baf90e2726a0" "-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/deps/rustcdxarbc/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/deps/{libnum_cpus-b59f8fc45cc21abd,libgetopts-5a4640e5ad1862c1,libunicode_width-60b9da46293b320d,libisla_lib-adb2880afa57b1de,libbincode-1098788968162d37,libz3_sys-6f853047e895036a,liblibc-f1785b987dc9ace2,libpetgraph-da8a60342ba4a5b3,libindexmap-61f2c2880c3ccc4c,libhashbrown-3e92fafa07b6929e,libfixedbitset-eb4a3fe28429e558,libtoml-d9e7bf8a50c92c96,libserde-5b642f93e1b28f07,liblalrpop_util-f57cfd7dd12c729c,libregex-370a4c0e1a61bf4c,libthread_local-c8b2ca8263688e2e,libonce_cell-103ba333243bdd2a,libregex_syntax-d280344d4c0c37f5,libaho_corasick-0bd66f5d9ef2aae7,libmemchr-9281ca02535a5443,libsha2-3fc77b2215265bb6,libdigest-ce144477e679e02c,libopaque_debug-7ea6d66c140ff6ef,libfake_simd-5f99f003f6d3cbab,libblock_buffer-034e54ea1558f11f,libgeneric_array-713c050ee72e8083,libtypenum-fd846548ef97181a,libblock_padding-e6cd201424008ef9,libbyte_tools-f12b4bf2df750fc5,libbyteorder-b278ed9556769cb6,libcrossbeam-d0453cb88b51c3bd,libcrossbeam_queue-d875e47092f550a7,libcrossbeam_channel-806e9f1a43ffb012,libcrossbeam_deque-468d92acc068639b,libcrossbeam_epoch-d893522f017b17d8,libscopeguard-944807bd8a2b1f58,libmemoffset-eb464224b4cb7aaa,libcrossbeam_utils-8fc606c65941c9ad,liblazy_static-b62eaa39667a66b5,libmaybe_uninit-32ec7c9471fe2ae9,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/deps/rustcdxarbc/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/deps/isla_execute_function-905e4553b2e7e2c0" "-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/deps/rustcJOgt0V/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/deps/{libnum_cpus-b59f8fc45cc21abd,libgetopts-5a4640e5ad1862c1,libunicode_width-60b9da46293b320d,libisla_lib-adb2880afa57b1de,libbincode-1098788968162d37,libz3_sys-6f853047e895036a,liblibc-f1785b987dc9ace2,libpetgraph-da8a60342ba4a5b3,libindexmap-61f2c2880c3ccc4c,libhashbrown-3e92fafa07b6929e,libfixedbitset-eb4a3fe28429e558,libcrossbeam-d0453cb88b51c3bd,libcrossbeam_queue-d875e47092f550a7,libcrossbeam_channel-806e9f1a43ffb012,libcrossbeam_deque-468d92acc068639b,libcrossbeam_epoch-d893522f017b17d8,libscopeguard-944807bd8a2b1f58,libmemoffset-eb464224b4cb7aaa,libcrossbeam_utils-8fc606c65941c9ad,libmaybe_uninit-32ec7c9471fe2ae9,libcfg_if-f8ad466c23688598,libtoml-d9e7bf8a50c92c96,libserde-5b642f93e1b28f07,liblazy_static-b62eaa39667a66b5,liblalrpop_util-f57cfd7dd12c729c,libregex-370a4c0e1a61bf4c,libthread_local-c8b2ca8263688e2e,libonce_cell-103ba333243bdd2a,libregex_syntax-d280344d4c0c37f5,libaho_corasick-0bd66f5d9ef2aae7,libmemchr-9281ca02535a5443,libsha2-3fc77b2215265bb6,libdigest-ce144477e679e02c,libopaque_debug-7ea6d66c140ff6ef,libfake_simd-5f99f003f6d3cbab,libblock_buffer-034e54ea1558f11f,libgeneric_array-713c050ee72e8083,libtypenum-fd846548ef97181a,libblock_padding-e6cd201424008ef9,libbyte_tools-f12b4bf2df750fc5,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/deps/rustcJOgt0V/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/deps/isla_preprocess-ef6cafcfbb0b50e7" "-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/deps/rustcaPgC1Z/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/deps/{libnum_cpus-b59f8fc45cc21abd,libgetopts-5a4640e5ad1862c1,libunicode_width-60b9da46293b320d,libisla_axiomatic-6480ffdcdc44dac7,libgoblin-208ec8d5e3b807c1,liblog-e7747b6b48bb2822,libcfg_if-75bf07d5068b867d,libplain-06443e8c7acc3ed3,libscroll-7b2a80ad972c9c4c,libisla_cat-d865115b8d2a8f4f,libisla_lib-adb2880afa57b1de,libbincode-1098788968162d37,libz3_sys-6f853047e895036a,liblibc-f1785b987dc9ace2,libpetgraph-da8a60342ba4a5b3,libindexmap-61f2c2880c3ccc4c,libhashbrown-3e92fafa07b6929e,libfixedbitset-eb4a3fe28429e558,libtoml-d9e7bf8a50c92c96,libserde-5b642f93e1b28f07,liblalrpop_util-f57cfd7dd12c729c,libregex-370a4c0e1a61bf4c,libthread_local-c8b2ca8263688e2e,libonce_cell-103ba333243bdd2a,libregex_syntax-d280344d4c0c37f5,libaho_corasick-0bd66f5d9ef2aae7,libmemchr-9281ca02535a5443,libsha2-3fc77b2215265bb6,libdigest-ce144477e679e02c,libopaque_debug-7ea6d66c140ff6ef,libfake_simd-5f99f003f6d3cbab,libblock_buffer-034e54ea1558f11f,libgeneric_array-713c050ee72e8083,libtypenum-fd846548ef97181a,libblock_padding-e6cd201424008ef9,libbyte_tools-f12b4bf2df750fc5,libbyteorder-b278ed9556769cb6,libcrossbeam-d0453cb88b51c3bd,libcrossbeam_queue-d875e47092f550a7,libcrossbeam_channel-806e9f1a43ffb012,libcrossbeam_deque-468d92acc068639b,libcrossbeam_epoch-d893522f017b17d8,libscopeguard-944807bd8a2b1f58,libmemoffset-eb464224b4cb7aaa,libcrossbeam_utils-8fc606c65941c9ad,liblazy_static-b62eaa39667a66b5,libmaybe_uninit-32ec7c9471fe2ae9,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/deps/rustcaPgC1Z/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/deps/isla_client-6ba84701860812c4" "-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/deps/rustc6K6Poa/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/deps/{libnum_cpus-b59f8fc45cc21abd,libgetopts-5a4640e5ad1862c1,libunicode_width-60b9da46293b320d,libisla_axiomatic-6480ffdcdc44dac7,libgoblin-208ec8d5e3b807c1,liblog-e7747b6b48bb2822,libcfg_if-75bf07d5068b867d,libplain-06443e8c7acc3ed3,libscroll-7b2a80ad972c9c4c,libisla_cat-d865115b8d2a8f4f,libisla_lib-adb2880afa57b1de,libbincode-1098788968162d37,libz3_sys-6f853047e895036a,liblibc-f1785b987dc9ace2,libpetgraph-da8a60342ba4a5b3,libindexmap-61f2c2880c3ccc4c,libhashbrown-3e92fafa07b6929e,libfixedbitset-eb4a3fe28429e558,libtoml-d9e7bf8a50c92c96,libserde-5b642f93e1b28f07,liblalrpop_util-f57cfd7dd12c729c,libregex-370a4c0e1a61bf4c,libthread_local-c8b2ca8263688e2e,libonce_cell-103ba333243bdd2a,libregex_syntax-d280344d4c0c37f5,libaho_corasick-0bd66f5d9ef2aae7,libmemchr-9281ca02535a5443,libsha2-3fc77b2215265bb6,libdigest-ce144477e679e02c,libopaque_debug-7ea6d66c140ff6ef,libfake_simd-5f99f003f6d3cbab,libblock_buffer-034e54ea1558f11f,libgeneric_array-713c050ee72e8083,libtypenum-fd846548ef97181a,libblock_padding-e6cd201424008ef9,libbyte_tools-f12b4bf2df750fc5,libbyteorder-b278ed9556769cb6,libcrossbeam-d0453cb88b51c3bd,libcrossbeam_queue-d875e47092f550a7,libcrossbeam_channel-806e9f1a43ffb012,libcrossbeam_deque-468d92acc068639b,libcrossbeam_epoch-d893522f017b17d8,libscopeguard-944807bd8a2b1f58,libmemoffset-eb464224b4cb7aaa,libcrossbeam_utils-8fc606c65941c9ad,liblazy_static-b62eaa39667a66b5,libmaybe_uninit-32ec7c9471fe2ae9,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/deps/rustc6K6Poa/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/deps/isla_footprint-266359dd3781f26c" "-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/deps/rustc6kv0cX/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/deps/{libnum_cpus-b59f8fc45cc21abd,libgetopts-5a4640e5ad1862c1,libunicode_width-60b9da46293b320d,libisla_axiomatic-6480ffdcdc44dac7,libgoblin-208ec8d5e3b807c1,liblog-e7747b6b48bb2822,libcfg_if-75bf07d5068b867d,libplain-06443e8c7acc3ed3,libscroll-7b2a80ad972c9c4c,libisla_cat-d865115b8d2a8f4f,libisla_lib-adb2880afa57b1de,libbincode-1098788968162d37,libz3_sys-6f853047e895036a,liblibc-f1785b987dc9ace2,libpetgraph-da8a60342ba4a5b3,libindexmap-61f2c2880c3ccc4c,libhashbrown-3e92fafa07b6929e,libfixedbitset-eb4a3fe28429e558,libtoml-d9e7bf8a50c92c96,libserde-5b642f93e1b28f07,liblalrpop_util-f57cfd7dd12c729c,libregex-370a4c0e1a61bf4c,libthread_local-c8b2ca8263688e2e,libonce_cell-103ba333243bdd2a,libregex_syntax-d280344d4c0c37f5,libaho_corasick-0bd66f5d9ef2aae7,libmemchr-9281ca02535a5443,libsha2-3fc77b2215265bb6,libdigest-ce144477e679e02c,libopaque_debug-7ea6d66c140ff6ef,libfake_simd-5f99f003f6d3cbab,libblock_buffer-034e54ea1558f11f,libgeneric_array-713c050ee72e8083,libtypenum-fd846548ef97181a,libblock_padding-e6cd201424008ef9,libbyte_tools-f12b4bf2df750fc5,libbyteorder-b278ed9556769cb6,libcrossbeam-d0453cb88b51c3bd,libcrossbeam_queue-d875e47092f550a7,libcrossbeam_channel-806e9f1a43ffb012,libcrossbeam_deque-468d92acc068639b,libcrossbeam_epoch-d893522f017b17d8,libscopeguard-944807bd8a2b1f58,libmemoffset-eb464224b4cb7aaa,libcrossbeam_utils-8fc606c65941c9ad,liblazy_static-b62eaa39667a66b5,libmaybe_uninit-32ec7c9471fe2ae9,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/deps/rustc6kv0cX/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/deps/isla_axiomatic-b7268acf0ecfa2c5" "-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] running `Command { std: "docker" "inspect" "d0e7470877f0be4af6afef187415e67c11258d98700f16f0b65a13cdd5dbeb8b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d0e7470877f0be4af6afef187415e67c11258d98700f16f0b65a13cdd5dbeb8b", kill_on_drop: false }`
[INFO] [stdout] d0e7470877f0be4af6afef187415e67c11258d98700f16f0b65a13cdd5dbeb8b
