[INFO] fetching crate rust_smt 0.1.1...
[INFO] extracting crate rust_smt 0.1.1 into work/ex/pr-61629/sources/master#c8865d8e195813ade6b84434ac9f8850e7112d1a/reg/rust_smt/0.1.1
[INFO] extracting crate rust_smt 0.1.1 into work/ex/pr-61629/sources/try#e212b7d492c96d3837691ba29d32d5f468933fb8/reg/rust_smt/0.1.1
[INFO] validating manifest of rust_smt-0.1.1 on toolchain master#c8865d8e195813ade6b84434ac9f8850e7112d1a
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+c8865d8e195813ade6b84434ac9f8850e7112d1a-alt" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] validating manifest of rust_smt-0.1.1 on toolchain try#e212b7d492c96d3837691ba29d32d5f468933fb8
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+e212b7d492c96d3837691ba29d32d5f468933fb8-alt" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started frobbing rust_smt-0.1.1
[INFO] finished frobbing rust_smt-0.1.1
[INFO] frobbed toml for rust_smt-0.1.1 written to work/ex/pr-61629/sources/master#c8865d8e195813ade6b84434ac9f8850e7112d1a/reg/rust_smt/0.1.1/Cargo.toml
[INFO] started frobbing rust_smt-0.1.1
[INFO] finished frobbing rust_smt-0.1.1
[INFO] frobbed toml for rust_smt-0.1.1 written to work/ex/pr-61629/sources/try#e212b7d492c96d3837691ba29d32d5f468933fb8/reg/rust_smt/0.1.1/Cargo.toml
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+c8865d8e195813ade6b84434ac9f8850e7112d1a-alt" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"`
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+e212b7d492c96d3837691ba29d32d5f468933fb8-alt" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"`
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+c8865d8e195813ade6b84434ac9f8850e7112d1a-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+e212b7d492c96d3837691ba29d32d5f468933fb8-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] testing rust_smt-0.1.1 against master#c8865d8e195813ade6b84434ac9f8850e7112d1a for pr-61629
[INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-61629/worker-3/master#c8865d8e195813ade6b84434ac9f8850e7112d1a:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/pr-61629/sources/master#c8865d8e195813ade6b84434ac9f8850e7112d1a/reg/rust_smt/0.1.1:/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=forbid" "-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" "+c8865d8e195813ade6b84434ac9f8850e7112d1a-alt" "build" "--frozen"`
[INFO] [stdout] 88790f10cefd65f84b67503750f7911c89f55a567059c9ff44a4e30c52e7049f
[INFO] running `"docker" "start" "-a" "88790f10cefd65f84b67503750f7911c89f55a567059c9ff44a4e30c52e7049f"`
[INFO] [stderr]    Compiling z3-sys v0.4.0
[INFO] [stderr]    Compiling rust_smt v0.1.1 (/opt/crater/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 2.53s
[INFO] running `"docker" "inspect" "88790f10cefd65f84b67503750f7911c89f55a567059c9ff44a4e30c52e7049f"`
[INFO] running `"docker" "rm" "-f" "88790f10cefd65f84b67503750f7911c89f55a567059c9ff44a4e30c52e7049f"`
[INFO] [stdout] 88790f10cefd65f84b67503750f7911c89f55a567059c9ff44a4e30c52e7049f
[INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-61629/worker-3/master#c8865d8e195813ade6b84434ac9f8850e7112d1a:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/pr-61629/sources/master#c8865d8e195813ade6b84434ac9f8850e7112d1a/reg/rust_smt/0.1.1:/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=forbid" "-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" "+c8865d8e195813ade6b84434ac9f8850e7112d1a-alt" "test" "--frozen" "--no-run"`
[INFO] [stdout] 2b16f5e138a8339d55456c41b68708f6ee0b49c22a3d5916f122c0d42d6b9923
[INFO] running `"docker" "start" "-a" "2b16f5e138a8339d55456c41b68708f6ee0b49c22a3d5916f122c0d42d6b9923"`
[INFO] [stderr]    Compiling rust_smt v0.1.1 (/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/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/crater/target/debug/deps/rust_smt-75979710c00d80fd.rust_smt.6kf67xg0-cgu.0.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-75979710c00d80fd.rust_smt.6kf67xg0-cgu.1.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-75979710c00d80fd.rust_smt.6kf67xg0-cgu.10.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-75979710c00d80fd.rust_smt.6kf67xg0-cgu.11.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-75979710c00d80fd.rust_smt.6kf67xg0-cgu.12.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-75979710c00d80fd.rust_smt.6kf67xg0-cgu.13.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-75979710c00d80fd.rust_smt.6kf67xg0-cgu.14.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-75979710c00d80fd.rust_smt.6kf67xg0-cgu.15.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-75979710c00d80fd.rust_smt.6kf67xg0-cgu.2.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-75979710c00d80fd.rust_smt.6kf67xg0-cgu.3.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-75979710c00d80fd.rust_smt.6kf67xg0-cgu.4.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-75979710c00d80fd.rust_smt.6kf67xg0-cgu.5.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-75979710c00d80fd.rust_smt.6kf67xg0-cgu.6.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-75979710c00d80fd.rust_smt.6kf67xg0-cgu.7.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-75979710c00d80fd.rust_smt.6kf67xg0-cgu.8.rcgu.o" "/opt/crater/target/debug/deps/rust_smt-75979710c00d80fd.rust_smt.6kf67xg0-cgu.9.rcgu.o" "-o" "/opt/crater/target/debug/deps/rust_smt-75979710c00d80fd" "/opt/crater/target/debug/deps/rust_smt-75979710c00d80fd.4nyjp97wgxuvxzfy.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/crater/target/debug/deps" "-L" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-483c5fb990ecd527.rlib" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-676ed420ceb27f8a.rlib" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-31e70ef246c653a1.rlib" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-e5c2146f47976940.rlib" "/opt/crater/target/debug/deps/libz3_sys-df75618f09a8170b.rlib" "/opt/crater/target/debug/deps/liblazy_static-6b264ec86ae8595d.rlib" "-Wl,--start-group" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-5eb7072357e3f704.rlib" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-be57a0a20ef83edc.rlib" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-53ea5c4d1e8787c5.rlib" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-90a03fea645d1ca0.rlib" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-d0be8ec5eb12a622.rlib" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-c9bd1ed65ad5f9b5.rlib" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-232a620458cbc142.rlib" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-378c2daa95643520.rlib" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-b1ad0e3b0cafff9a.rlib" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-bd92551ef79ec0f7.rlib" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-6f92150ede6dcf89.rlib" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-5d5836de4a922af7.rlib" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-0bd990bd23dec0da.rlib" "-Wl,--end-group" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-f5a50a9afbc6d167.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/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib" "/opt/crater/target/debug/deps/test-6e684e5c08880256.test.3lratf5r-cgu.0.rcgu.o" "/opt/crater/target/debug/deps/test-6e684e5c08880256.test.3lratf5r-cgu.1.rcgu.o" "/opt/crater/target/debug/deps/test-6e684e5c08880256.test.3lratf5r-cgu.10.rcgu.o" "/opt/crater/target/debug/deps/test-6e684e5c08880256.test.3lratf5r-cgu.11.rcgu.o" "/opt/crater/target/debug/deps/test-6e684e5c08880256.test.3lratf5r-cgu.12.rcgu.o" "/opt/crater/target/debug/deps/test-6e684e5c08880256.test.3lratf5r-cgu.13.rcgu.o" "/opt/crater/target/debug/deps/test-6e684e5c08880256.test.3lratf5r-cgu.14.rcgu.o" "/opt/crater/target/debug/deps/test-6e684e5c08880256.test.3lratf5r-cgu.2.rcgu.o" "/opt/crater/target/debug/deps/test-6e684e5c08880256.test.3lratf5r-cgu.3.rcgu.o" "/opt/crater/target/debug/deps/test-6e684e5c08880256.test.3lratf5r-cgu.4.rcgu.o" "/opt/crater/target/debug/deps/test-6e684e5c08880256.test.3lratf5r-cgu.5.rcgu.o" "/opt/crater/target/debug/deps/test-6e684e5c08880256.test.3lratf5r-cgu.6.rcgu.o" "/opt/crater/target/debug/deps/test-6e684e5c08880256.test.3lratf5r-cgu.7.rcgu.o" "/opt/crater/target/debug/deps/test-6e684e5c08880256.test.3lratf5r-cgu.8.rcgu.o" "/opt/crater/target/debug/deps/test-6e684e5c08880256.test.3lratf5r-cgu.9.rcgu.o" "-o" "/opt/crater/target/debug/deps/test-6e684e5c08880256" "/opt/crater/target/debug/deps/test-6e684e5c08880256.1q90yujvmsaqvoem.rcgu.o" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-znow" "-nodefaultlibs" "-L" "/opt/crater/target/debug/deps" "-L" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libtest-483c5fb990ecd527.rlib" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libterm-676ed420ceb27f8a.rlib" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgetopts-31e70ef246c653a1.rlib" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunicode_width-e5c2146f47976940.rlib" "/opt/crater/target/debug/deps/librust_smt-93d43bf8f2294fea.rlib" "/opt/crater/target/debug/deps/libz3_sys-df75618f09a8170b.rlib" "/opt/crater/target/debug/deps/liblazy_static-6b264ec86ae8595d.rlib" "-Wl,--start-group" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-5eb7072357e3f704.rlib" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-be57a0a20ef83edc.rlib" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace-53ea5c4d1e8787c5.rlib" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libbacktrace_sys-90a03fea645d1ca0.rlib" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-d0be8ec5eb12a622.rlib" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-c9bd1ed65ad5f9b5.rlib" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-232a620458cbc142.rlib" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-378c2daa95643520.rlib" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-b1ad0e3b0cafff9a.rlib" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-bd92551ef79ec0f7.rlib" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-6f92150ede6dcf89.rlib" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-5d5836de4a922af7.rlib" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-0bd990bd23dec0da.rlib" "-Wl,--end-group" "/opt/crater/rustup-home/toolchains/c8865d8e195813ade6b84434ac9f8850e7112d1a-alt/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-f5a50a9afbc6d167.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" "2b16f5e138a8339d55456c41b68708f6ee0b49c22a3d5916f122c0d42d6b9923"`
[INFO] running `"docker" "rm" "-f" "2b16f5e138a8339d55456c41b68708f6ee0b49c22a3d5916f122c0d42d6b9923"`
[INFO] [stdout] 2b16f5e138a8339d55456c41b68708f6ee0b49c22a3d5916f122c0d42d6b9923