[INFO] crate seer-z3 0.1.2 is already in cache [INFO] extracting crate seer-z3 0.1.2 into work/ex/beta-1.37-6/sources/1.36.0/reg/seer-z3/0.1.2 [INFO] extracting crate seer-z3 0.1.2 into work/ex/beta-1.37-6/sources/beta-2019-07-23/reg/seer-z3/0.1.2 [INFO] validating manifest of seer-z3-0.1.2 on toolchain 1.36.0 [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+1.36.0" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] validating manifest of seer-z3-0.1.2 on toolchain beta-2019-07-23 [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+beta-2019-07-23" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started frobbing seer-z3-0.1.2 [INFO] finished frobbing seer-z3-0.1.2 [INFO] frobbed toml for seer-z3-0.1.2 written to work/ex/beta-1.37-6/sources/1.36.0/reg/seer-z3/0.1.2/Cargo.toml [INFO] started frobbing seer-z3-0.1.2 [INFO] finished frobbing seer-z3-0.1.2 [INFO] frobbed toml for seer-z3-0.1.2 written to work/ex/beta-1.37-6/sources/beta-2019-07-23/reg/seer-z3/0.1.2/Cargo.toml [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+1.36.0" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"` [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+beta-2019-07-23" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"` [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+1.36.0" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] [stderr] Blocking waiting for file lock on package cache lock [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+beta-2019-07-23" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] testing seer-z3-0.1.2 against 1.36.0 for beta-1.37-6 [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.37-6/worker-2/1.36.0:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.37-6/sources/1.36.0/reg/seer-z3/0.1.2:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+1.36.0" "build" "--frozen"` [INFO] [stdout] 0c783613e5b9d9231770d8ea4658762f0d662975eec9f1a31f3d94d87e802b36 [INFO] running `"docker" "start" "-a" "0c783613e5b9d9231770d8ea4658762f0d662975eec9f1a31f3d94d87e802b36"` [INFO] [stderr] Compiling z3-sys v0.3.0 [INFO] [stderr] Compiling seer-z3 v0.1.2 (/opt/crater/workdir) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 2.27s [INFO] running `"docker" "inspect" "0c783613e5b9d9231770d8ea4658762f0d662975eec9f1a31f3d94d87e802b36"` [INFO] running `"docker" "rm" "-f" "0c783613e5b9d9231770d8ea4658762f0d662975eec9f1a31f3d94d87e802b36"` [INFO] [stdout] 0c783613e5b9d9231770d8ea4658762f0d662975eec9f1a31f3d94d87e802b36 [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.37-6/worker-2/1.36.0:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.37-6/sources/1.36.0/reg/seer-z3/0.1.2:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+1.36.0" "test" "--frozen" "--no-run"` [INFO] [stdout] 22a83da34006bbbf4948c568c1f6833c96e6e382e081794de080491cd81126c3 [INFO] running `"docker" "start" "-a" "22a83da34006bbbf4948c568c1f6833c96e6e382e081794de080491cd81126c3"` [INFO] [stderr] Compiling nom v1.2.4 [INFO] [stderr] Compiling semver v0.2.3 [INFO] [stderr] Compiling seer-z3 v0.1.2 (/opt/crater/workdir) [INFO] [stderr] error: linking with `cc` failed: exit code: 1 [INFO] [stderr] | [INFO] [stderr] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/crater/target/debug/deps/seer_z3-f188f9a76d11ac7e.seer_z3.c36k9st1-cgu.0.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-f188f9a76d11ac7e.seer_z3.c36k9st1-cgu.1.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-f188f9a76d11ac7e.seer_z3.c36k9st1-cgu.10.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-f188f9a76d11ac7e.seer_z3.c36k9st1-cgu.11.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-f188f9a76d11ac7e.seer_z3.c36k9st1-cgu.12.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-f188f9a76d11ac7e.seer_z3.c36k9st1-cgu.13.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-f188f9a76d11ac7e.seer_z3.c36k9st1-cgu.14.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-f188f9a76d11ac7e.seer_z3.c36k9st1-cgu.15.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-f188f9a76d11ac7e.seer_z3.c36k9st1-cgu.2.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-f188f9a76d11ac7e.seer_z3.c36k9st1-cgu.3.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-f188f9a76d11ac7e.seer_z3.c36k9st1-cgu.4.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-f188f9a76d11ac7e.seer_z3.c36k9st1-cgu.5.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-f188f9a76d11ac7e.seer_z3.c36k9st1-cgu.6.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-f188f9a76d11ac7e.seer_z3.c36k9st1-cgu.7.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-f188f9a76d11ac7e.seer_z3.c36k9st1-cgu.8.rcgu.o" "/opt/crater/target/debug/deps/seer_z3-f188f9a76d11ac7e.seer_z3.c36k9st1-cgu.9.rcgu.o" "-o" "/opt/crater/target/debug/deps/seer_z3-f188f9a76d11ac7e" "/opt/crater/target/debug/deps/seer_z3-f188f9a76d11ac7e.2o4ezwukie4jqzcc.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/crater/target/debug/deps" "-L" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-e8fbf0b14816ca0e.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-c9d91925876437f2.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-50d6bab7df588609.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-913b30c2987aa8da.rlib" "/opt/crater/target/debug/deps/liblibc-e3ba75b536aabfa5.rlib" "/opt/crater/target/debug/deps/libz3_sys-cbe195d7778dc654.rlib" "/opt/crater/target/debug/deps/liblazy_static-35422c5bca3b6d90.rlib" "/opt/crater/target/debug/deps/liblog-a60233c9189805c1.rlib" "/opt/crater/target/debug/deps/liblog-481c00b0f76d55f6.rlib" "/opt/crater/target/debug/deps/libcfg_if-29b6f8db75d699b1.rlib" "-Wl,--start-group" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-9895e8982b0a79e7.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-57306b8ed3378a0e.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-54463ae5adae3649.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-d99667b199a9875a.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-51f4300e102199f5.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-b3ccf1f7737a6a91.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-157c37a3ceb78853.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-505bcee45aafb736.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-c29abd529ba4452b.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-895383a3232f6572.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-5594cb4f559bc761.rlib" "-Wl,--end-group" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-38e90baf978bc428.rlib" "-Wl,-Bdynamic" "-lutil" "-lutil" "-lz3" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-lutil" [INFO] [stderr] = note: /usr/bin/ld: cannot find -lz3 [INFO] [stderr] collect2: error: ld returned 1 exit status [INFO] [stderr] [INFO] [stderr] [INFO] [stderr] error: aborting due to previous error [INFO] [stderr] [INFO] [stderr] error: Could not compile `seer-z3`. [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: linking with `cc` failed: exit code: 1 [INFO] [stderr] | [INFO] [stderr] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/crater/target/debug/deps/lib-f398455005d0ab44.lib.dzamfni3-cgu.0.rcgu.o" "/opt/crater/target/debug/deps/lib-f398455005d0ab44.lib.dzamfni3-cgu.1.rcgu.o" "/opt/crater/target/debug/deps/lib-f398455005d0ab44.lib.dzamfni3-cgu.2.rcgu.o" "/opt/crater/target/debug/deps/lib-f398455005d0ab44.lib.dzamfni3-cgu.3.rcgu.o" "/opt/crater/target/debug/deps/lib-f398455005d0ab44.lib.dzamfni3-cgu.4.rcgu.o" "/opt/crater/target/debug/deps/lib-f398455005d0ab44.lib.dzamfni3-cgu.5.rcgu.o" "/opt/crater/target/debug/deps/lib-f398455005d0ab44.lib.dzamfni3-cgu.6.rcgu.o" "/opt/crater/target/debug/deps/lib-f398455005d0ab44.lib.dzamfni3-cgu.7.rcgu.o" "/opt/crater/target/debug/deps/lib-f398455005d0ab44.lib.dzamfni3-cgu.8.rcgu.o" "-o" "/opt/crater/target/debug/deps/lib-f398455005d0ab44" "/opt/crater/target/debug/deps/lib-f398455005d0ab44.4ei2lni6eiukgmcy.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/crater/target/debug/deps" "-L" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-e8fbf0b14816ca0e.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-c9d91925876437f2.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-50d6bab7df588609.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-913b30c2987aa8da.rlib" "/opt/crater/target/debug/deps/libseer_z3-b03be51ea1ef8c62.rlib" "/opt/crater/target/debug/deps/libz3_sys-cbe195d7778dc654.rlib" "/opt/crater/target/debug/deps/liblazy_static-35422c5bca3b6d90.rlib" "/opt/crater/target/debug/deps/libenv_logger-78bb36f48aa056ba.rlib" "/opt/crater/target/debug/deps/libregex-dacc545172971b42.rlib" "/opt/crater/target/debug/deps/libutf8_ranges-00f0fc1fcb3347d8.rlib" "/opt/crater/target/debug/deps/libregex_syntax-5f2e8797984afb68.rlib" "/opt/crater/target/debug/deps/libthread_local-70b5011411bdf1f6.rlib" "/opt/crater/target/debug/deps/libthread_id-7a2cdabd88c51443.rlib" "/opt/crater/target/debug/deps/libaho_corasick-1eb0da7e93702f16.rlib" "/opt/crater/target/debug/deps/libmemchr-21983657af6104ef.rlib" "/opt/crater/target/debug/deps/liblibc-e3ba75b536aabfa5.rlib" "/opt/crater/target/debug/deps/liblog-a60233c9189805c1.rlib" "/opt/crater/target/debug/deps/liblog-481c00b0f76d55f6.rlib" "/opt/crater/target/debug/deps/libcfg_if-29b6f8db75d699b1.rlib" "-Wl,--start-group" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-9895e8982b0a79e7.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-57306b8ed3378a0e.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-54463ae5adae3649.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-d99667b199a9875a.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-51f4300e102199f5.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-b3ccf1f7737a6a91.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-157c37a3ceb78853.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-505bcee45aafb736.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-c29abd529ba4452b.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-895383a3232f6572.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-5594cb4f559bc761.rlib" "-Wl,--end-group" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-38e90baf978bc428.rlib" "-Wl,-Bdynamic" "-lz3" "-lutil" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-lutil" [INFO] [stderr] = note: /usr/bin/ld: cannot find -lz3 [INFO] [stderr] collect2: error: ld returned 1 exit status [INFO] [stderr] [INFO] [stderr] [INFO] [stderr] error: aborting due to previous error [INFO] [stderr] [INFO] [stderr] error: Could not compile `seer-z3`. [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: linking with `cc` failed: exit code: 1 [INFO] [stderr] | [INFO] [stderr] = note: "cc" "-Wl,--as-needed" "-Wl,-z,noexecstack" "-m64" "-L" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/crater/target/debug/deps/semver_tests-49521884f7093101.semver_tests.57hofoe5-cgu.0.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-49521884f7093101.semver_tests.57hofoe5-cgu.1.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-49521884f7093101.semver_tests.57hofoe5-cgu.10.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-49521884f7093101.semver_tests.57hofoe5-cgu.11.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-49521884f7093101.semver_tests.57hofoe5-cgu.12.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-49521884f7093101.semver_tests.57hofoe5-cgu.13.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-49521884f7093101.semver_tests.57hofoe5-cgu.14.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-49521884f7093101.semver_tests.57hofoe5-cgu.15.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-49521884f7093101.semver_tests.57hofoe5-cgu.2.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-49521884f7093101.semver_tests.57hofoe5-cgu.3.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-49521884f7093101.semver_tests.57hofoe5-cgu.4.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-49521884f7093101.semver_tests.57hofoe5-cgu.5.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-49521884f7093101.semver_tests.57hofoe5-cgu.6.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-49521884f7093101.semver_tests.57hofoe5-cgu.7.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-49521884f7093101.semver_tests.57hofoe5-cgu.8.rcgu.o" "/opt/crater/target/debug/deps/semver_tests-49521884f7093101.semver_tests.57hofoe5-cgu.9.rcgu.o" "-o" "/opt/crater/target/debug/deps/semver_tests-49521884f7093101" "/opt/crater/target/debug/deps/semver_tests-49521884f7093101.qlyuqszmdeq4fa7.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/crater/target/debug/deps" "-L" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-e8fbf0b14816ca0e.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-c9d91925876437f2.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-50d6bab7df588609.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-913b30c2987aa8da.rlib" "/opt/crater/target/debug/deps/libseer_z3-b03be51ea1ef8c62.rlib" "/opt/crater/target/debug/deps/libz3_sys-cbe195d7778dc654.rlib" "/opt/crater/target/debug/deps/liblazy_static-35422c5bca3b6d90.rlib" "/opt/crater/target/debug/deps/libsemver-4572cdee171fb34c.rlib" "/opt/crater/target/debug/deps/libnom-54544ec8c30cd308.rlib" "/opt/crater/target/debug/deps/libenv_logger-78bb36f48aa056ba.rlib" "/opt/crater/target/debug/deps/libregex-dacc545172971b42.rlib" "/opt/crater/target/debug/deps/libutf8_ranges-00f0fc1fcb3347d8.rlib" "/opt/crater/target/debug/deps/libregex_syntax-5f2e8797984afb68.rlib" "/opt/crater/target/debug/deps/libthread_local-70b5011411bdf1f6.rlib" "/opt/crater/target/debug/deps/libthread_id-7a2cdabd88c51443.rlib" "/opt/crater/target/debug/deps/libaho_corasick-1eb0da7e93702f16.rlib" "/opt/crater/target/debug/deps/libmemchr-21983657af6104ef.rlib" "/opt/crater/target/debug/deps/liblibc-e3ba75b536aabfa5.rlib" "/opt/crater/target/debug/deps/liblog-a60233c9189805c1.rlib" "/opt/crater/target/debug/deps/liblog-481c00b0f76d55f6.rlib" "/opt/crater/target/debug/deps/libcfg_if-29b6f8db75d699b1.rlib" "-Wl,--start-group" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-9895e8982b0a79e7.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-57306b8ed3378a0e.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-54463ae5adae3649.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-d99667b199a9875a.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-51f4300e102199f5.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-b3ccf1f7737a6a91.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-157c37a3ceb78853.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-505bcee45aafb736.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-c29abd529ba4452b.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-895383a3232f6572.rlib" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-5594cb4f559bc761.rlib" "-Wl,--end-group" "/opt/crater/rustup-home/toolchains/1.36.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-38e90baf978bc428.rlib" "-Wl,-Bdynamic" "-lz3" "-lutil" "-lutil" "-ldl" "-lrt" "-lpthread" "-lgcc_s" "-lc" "-lm" "-lrt" "-lpthread" "-lutil" "-lutil" [INFO] [stderr] = note: /usr/bin/ld: cannot find -lz3 [INFO] [stderr] collect2: error: ld returned 1 exit status [INFO] [stderr] [INFO] [stderr] [INFO] [stderr] error: aborting due to previous error [INFO] [stderr] [INFO] [stderr] error: Could not compile `seer-z3`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] running `"docker" "inspect" "22a83da34006bbbf4948c568c1f6833c96e6e382e081794de080491cd81126c3"` [INFO] running `"docker" "rm" "-f" "22a83da34006bbbf4948c568c1f6833c96e6e382e081794de080491cd81126c3"` [INFO] [stdout] 22a83da34006bbbf4948c568c1f6833c96e6e382e081794de080491cd81126c3