[INFO] crate rust_smt 0.2.0 is already in cache [INFO] extracting crate rust_smt 0.2.0 into work/ex/beta-1.37-6/sources/1.36.0/reg/rust_smt/0.2.0 [INFO] extracting crate rust_smt 0.2.0 into work/ex/beta-1.37-6/sources/beta-2019-07-23/reg/rust_smt/0.2.0 [INFO] validating manifest of rust_smt-0.2.0 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 rust_smt-0.2.0 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 rust_smt-0.2.0 [INFO] finished frobbing rust_smt-0.2.0 [INFO] frobbed toml for rust_smt-0.2.0 written to work/ex/beta-1.37-6/sources/1.36.0/reg/rust_smt/0.2.0/Cargo.toml [INFO] started frobbing rust_smt-0.2.0 [INFO] finished frobbing rust_smt-0.2.0 [INFO] frobbed toml for rust_smt-0.2.0 written to work/ex/beta-1.37-6/sources/beta-2019-07-23/reg/rust_smt/0.2.0/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] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+beta-2019-07-23" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] testing rust_smt-0.2.0 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-5/1.36.0:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.37-6/sources/1.36.0/reg/rust_smt/0.2.0:/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] c6df9b23309f78b4f88a0ab5f1d923638dab069ba148202333a5729222d5e578 [INFO] running `"docker" "start" "-a" "c6df9b23309f78b4f88a0ab5f1d923638dab069ba148202333a5729222d5e578"` [INFO] [stderr] Compiling z3-sys v0.4.0 [INFO] [stderr] Compiling rust_smt v0.2.0 (/opt/crater/workdir) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 3.17s [INFO] running `"docker" "inspect" "c6df9b23309f78b4f88a0ab5f1d923638dab069ba148202333a5729222d5e578"` [INFO] running `"docker" "rm" "-f" "c6df9b23309f78b4f88a0ab5f1d923638dab069ba148202333a5729222d5e578"` [INFO] [stdout] c6df9b23309f78b4f88a0ab5f1d923638dab069ba148202333a5729222d5e578 [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.37-6/worker-5/1.36.0:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.37-6/sources/1.36.0/reg/rust_smt/0.2.0:/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] cc0c9722015d62af833da7069caf56c58ea5ef630b579ae1bd0c41a6c3cbabba [INFO] running `"docker" "start" "-a" "cc0c9722015d62af833da7069caf56c58ea5ef630b579ae1bd0c41a6c3cbabba"` [INFO] [stderr] Compiling rust_smt v0.2.0 (/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/rust_smt-ccbb1779b073ab96.rust_smt.3eq9eta0-cgu.0.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-ccbb1779b073ab96.rust_smt.3eq9eta0-cgu.1.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-ccbb1779b073ab96.rust_smt.3eq9eta0-cgu.10.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-ccbb1779b073ab96.rust_smt.3eq9eta0-cgu.11.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-ccbb1779b073ab96.rust_smt.3eq9eta0-cgu.12.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-ccbb1779b073ab96.rust_smt.3eq9eta0-cgu.13.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-ccbb1779b073ab96.rust_smt.3eq9eta0-cgu.14.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-ccbb1779b073ab96.rust_smt.3eq9eta0-cgu.15.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-ccbb1779b073ab96.rust_smt.3eq9eta0-cgu.2.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-ccbb1779b073ab96.rust_smt.3eq9eta0-cgu.3.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-ccbb1779b073ab96.rust_smt.3eq9eta0-cgu.4.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-ccbb1779b073ab96.rust_smt.3eq9eta0-cgu.5.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-ccbb1779b073ab96.rust_smt.3eq9eta0-cgu.6.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-ccbb1779b073ab96.rust_smt.3eq9eta0-cgu.7.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-ccbb1779b073ab96.rust_smt.3eq9eta0-cgu.8.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-ccbb1779b073ab96.rust_smt.3eq9eta0-cgu.9.rcgu.o" "-o" "/opt/crater/target/debug/deps/rust_smt-ccbb1779b073ab96" "/opt/crater/target/debug/deps/rust_smt-ccbb1779b073ab96.23th5ul1i5vefuf9.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/libz3_sys-89607aacb2b9f503.rlib" "/opt/crater/target/debug/deps/liblazy_static-35422c5bca3b6d90.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" "-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 `rust_smt`. [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/test-42b268c78ad3e8b3.test.7eni7xe8-cgu.0.rcgu.o" "/opt/crater/target/debug/deps/test-42b268c78ad3e8b3.test.7eni7xe8-cgu.1.rcgu.o" "/opt/crater/target/debug/deps/test-42b268c78ad3e8b3.test.7eni7xe8-cgu.10.rcgu.o" "/opt/crater/target/debug/deps/test-42b268c78ad3e8b3.test.7eni7xe8-cgu.11.rcgu.o" "/opt/crater/target/debug/deps/test-42b268c78ad3e8b3.test.7eni7xe8-cgu.12.rcgu.o" "/opt/crater/target/debug/deps/test-42b268c78ad3e8b3.test.7eni7xe8-cgu.13.rcgu.o" "/opt/crater/target/debug/deps/test-42b268c78ad3e8b3.test.7eni7xe8-cgu.14.rcgu.o" "/opt/crater/target/debug/deps/test-42b268c78ad3e8b3.test.7eni7xe8-cgu.2.rcgu.o" "/opt/crater/target/debug/deps/test-42b268c78ad3e8b3.test.7eni7xe8-cgu.3.rcgu.o" "/opt/crater/target/debug/deps/test-42b268c78ad3e8b3.test.7eni7xe8-cgu.4.rcgu.o" "/opt/crater/target/debug/deps/test-42b268c78ad3e8b3.test.7eni7xe8-cgu.5.rcgu.o" "/opt/crater/target/debug/deps/test-42b268c78ad3e8b3.test.7eni7xe8-cgu.6.rcgu.o" "/opt/crater/target/debug/deps/test-42b268c78ad3e8b3.test.7eni7xe8-cgu.7.rcgu.o" "/opt/crater/target/debug/deps/test-42b268c78ad3e8b3.test.7eni7xe8-cgu.8.rcgu.o" "/opt/crater/target/debug/deps/test-42b268c78ad3e8b3.test.7eni7xe8-cgu.9.rcgu.o" "-o" "/opt/crater/target/debug/deps/test-42b268c78ad3e8b3" "/opt/crater/target/debug/deps/test-42b268c78ad3e8b3.2ladtboe4yoyxghp.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/librust_smt-d3ad7533ac25878a.rlib" "/opt/crater/target/debug/deps/libz3_sys-89607aacb2b9f503.rlib" "/opt/crater/target/debug/deps/liblazy_static-35422c5bca3b6d90.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" "-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 `rust_smt`. [INFO] [stderr] [INFO] [stderr] To learn more, run the command again with --verbose. [INFO] running `"docker" "inspect" "cc0c9722015d62af833da7069caf56c58ea5ef630b579ae1bd0c41a6c3cbabba"` [INFO] running `"docker" "rm" "-f" "cc0c9722015d62af833da7069caf56c58ea5ef630b579ae1bd0c41a6c3cbabba"` [INFO] [stdout] cc0c9722015d62af833da7069caf56c58ea5ef630b579ae1bd0c41a6c3cbabba