[INFO] fetching crate z3 0.21.1...
[INFO] testing z3-0.21.1 against 1.100.0-beta.1 for beta-1.100-2
[INFO] extracting crate z3 0.21.1 into /workspace/builds/worker-5-tc2/source
[INFO] started tweaking crates.io crate z3 0.21.1
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate z3 0.21.1
[INFO] tweaked toml for crates.io crate z3 0.21.1 written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate z3 0.21.1 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 z3 0.21.1 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] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:3111399a4047eeb3a02b7a90e478d715f38a8c6669b5c4b49d30a17385265909" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 788b57a356ae4b0b54579a9e97166c3deb27c7a00bca3eb873790549f957b954
[INFO] running `Command { std: "docker" "start" "788b57a356ae4b0b54579a9e97166c3deb27c7a00bca3eb873790549f957b954", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "788b57a356ae4b0b54579a9e97166c3deb27c7a00bca3eb873790549f957b954", 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" "788b57a356ae4b0b54579a9e97166c3deb27c7a00bca3eb873790549f957b954" "/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" "788b57a356ae4b0b54579a9e97166c3deb27c7a00bca3eb873790549f957b954", 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" "788b57a356ae4b0b54579a9e97166c3deb27c7a00bca3eb873790549f957b954" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling pkg-config v0.3.34
[INFO] [stderr]    Compiling z3 v0.21.1 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling z3-sys v0.13.1
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 4.31s
[INFO] running `Command { std: "docker" "inspect" "788b57a356ae4b0b54579a9e97166c3deb27c7a00bca3eb873790549f957b954", 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" "788b57a356ae4b0b54579a9e97166c3deb27c7a00bca3eb873790549f957b954" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling crossbeam-utils v0.8.23
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.21
[INFO] [stderr]    Compiling crossbeam-deque v0.8.8
[INFO] [stderr]    Compiling regex-syntax v0.8.11
[INFO] [stderr]    Compiling log v0.4.34
[INFO] [stderr]    Compiling aho-corasick v1.1.5
[INFO] [stderr]    Compiling utf8parse v0.2.2
[INFO] [stderr]    Compiling anstyle-query v1.1.5
[INFO] [stderr]    Compiling anstyle-parse v1.0.0
[INFO] [stderr]    Compiling colorchoice v1.0.5
[INFO] [stderr]    Compiling is_terminal_polyfill v1.70.2
[INFO] [stderr]    Compiling anstyle v1.0.14
[INFO] [stderr]    Compiling jiff-core v0.1.1
[INFO] [stderr]    Compiling either v1.18.0
[INFO] [stderr]    Compiling semver v1.0.28
[INFO] [stderr]    Compiling z3 v0.21.1 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling anstream v1.0.0
[INFO] [stderr]    Compiling rayon-core v1.13.0
[INFO] [stderr]    Compiling jiff v0.2.37
[INFO] [stderr]    Compiling regex-automata v0.4.18
[INFO] [stderr]    Compiling rayon v1.12.0
[INFO] [stderr]    Compiling regex v1.13.1
[INFO] [stderr]    Compiling env_filter v2.0.0
[INFO] [stderr]    Compiling env_logger v0.11.11
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/build/z3/1887ab15d6894f58/out/rustcl3rEih/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/debug/build/env_logger/896872fe56b25dec/out/libenv_logger-896872fe56b25dec.rlib" "/opt/rustwide/target/debug/build/jiff/d4684aaa9eac0199/out/libjiff-d4684aaa9eac0199.rlib" "/opt/rustwide/target/debug/build/jiff-core/ec813cd58537c94c/out/libjiff_core-ec813cd58537c94c.rlib" "/opt/rustwide/target/debug/build/anstream/d5b8336a150f3920/out/libanstream-d5b8336a150f3920.rlib" "/opt/rustwide/target/debug/build/anstyle-query/635080b1d6343734/out/libanstyle_query-635080b1d6343734.rlib" "/opt/rustwide/target/debug/build/is_terminal_polyfill/3ca4268cb2568267/out/libis_terminal_polyfill-3ca4268cb2568267.rlib" "/opt/rustwide/target/debug/build/colorchoice/33c0bd1745dd5ace/out/libcolorchoice-33c0bd1745dd5ace.rlib" "/opt/rustwide/target/debug/build/anstyle-parse/88399b635fc44f8e/out/libanstyle_parse-88399b635fc44f8e.rlib" "/opt/rustwide/target/debug/build/utf8parse/92d0158219063202/out/libutf8parse-92d0158219063202.rlib" "/opt/rustwide/target/debug/build/env_filter/fdc34bc947b3d01a/out/libenv_filter-fdc34bc947b3d01a.rlib" "/opt/rustwide/target/debug/build/regex/1d000e269b363cb2/out/libregex-1d000e269b363cb2.rlib" "/opt/rustwide/target/debug/build/regex-automata/3954e331d485fc31/out/libregex_automata-3954e331d485fc31.rlib" "/opt/rustwide/target/debug/build/aho-corasick/57dfe431622534cc/out/libaho_corasick-57dfe431622534cc.rlib" "/opt/rustwide/target/debug/build/memchr/efcaf924912fba01/out/libmemchr-efcaf924912fba01.rlib" "/opt/rustwide/target/debug/build/regex-syntax/5fd254360f3be2ca/out/libregex_syntax-5fd254360f3be2ca.rlib" "/opt/rustwide/target/debug/build/anstyle/9beaeb754742faae/out/libanstyle-9beaeb754742faae.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/build/z3/b4b5fbf4bc237c82/out/libz3-b4b5fbf4bc237c82.rlib" "/opt/rustwide/target/debug/build/log/431c2e66b4ed7b91/out/liblog-431c2e66b4ed7b91.rlib" "/opt/rustwide/target/debug/build/z3-sys/35a575731339788b/out/libz3_sys-35a575731339788b.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,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" "-lstdc++" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/build/z3/1887ab15d6894f58/out/rustcl3rEih/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" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/build/z3/1887ab15d6894f58/out/datatype_builder_tests-1887ab15d6894f58" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-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 `z3` (test "datatype_builder_tests") 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/debug/build/z3/dc3803643ff2d45d/out/rustcVJS7hK/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/build/z3/b4b5fbf4bc237c82/out/libz3-b4b5fbf4bc237c82.rlib" "/opt/rustwide/target/debug/build/log/431c2e66b4ed7b91/out/liblog-431c2e66b4ed7b91.rlib" "/opt/rustwide/target/debug/build/z3-sys/35a575731339788b/out/libz3_sys-35a575731339788b.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,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" "-lstdc++" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/build/z3/dc3803643ff2d45d/out/rustcVJS7hK/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" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/build/z3/dc3803643ff2d45d/out/quantifier_elimination_tests-dc3803643ff2d45d" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-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] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/debug/build/z3/718d9b6cf6974348/out/rustc6Dw8mh/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/debug/build/env_logger/896872fe56b25dec/out/libenv_logger-896872fe56b25dec.rlib" "/opt/rustwide/target/debug/build/jiff/d4684aaa9eac0199/out/libjiff-d4684aaa9eac0199.rlib" "/opt/rustwide/target/debug/build/jiff-core/ec813cd58537c94c/out/libjiff_core-ec813cd58537c94c.rlib" "/opt/rustwide/target/debug/build/anstream/d5b8336a150f3920/out/libanstream-d5b8336a150f3920.rlib" "/opt/rustwide/target/debug/build/anstyle-query/635080b1d6343734/out/libanstyle_query-635080b1d6343734.rlib" "/opt/rustwide/target/debug/build/is_terminal_polyfill/3ca4268cb2568267/out/libis_terminal_polyfill-3ca4268cb2568267.rlib" "/opt/rustwide/target/debug/build/colorchoice/33c0bd1745dd5ace/out/libcolorchoice-33c0bd1745dd5ace.rlib" "/opt/rustwide/target/debug/build/anstyle-parse/88399b635fc44f8e/out/libanstyle_parse-88399b635fc44f8e.rlib" "/opt/rustwide/target/debug/build/utf8parse/92d0158219063202/out/libutf8parse-92d0158219063202.rlib" "/opt/rustwide/target/debug/build/env_filter/fdc34bc947b3d01a/out/libenv_filter-fdc34bc947b3d01a.rlib" "/opt/rustwide/target/debug/build/regex/1d000e269b363cb2/out/libregex-1d000e269b363cb2.rlib" "/opt/rustwide/target/debug/build/regex-automata/3954e331d485fc31/out/libregex_automata-3954e331d485fc31.rlib" "/opt/rustwide/target/debug/build/aho-corasick/57dfe431622534cc/out/libaho_corasick-57dfe431622534cc.rlib" "/opt/rustwide/target/debug/build/memchr/efcaf924912fba01/out/libmemchr-efcaf924912fba01.rlib" "/opt/rustwide/target/debug/build/regex-syntax/5fd254360f3be2ca/out/libregex_syntax-5fd254360f3be2ca.rlib" "/opt/rustwide/target/debug/build/anstyle/9beaeb754742faae/out/libanstyle-9beaeb754742faae.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/build/z3/b4b5fbf4bc237c82/out/libz3-b4b5fbf4bc237c82.rlib" "/opt/rustwide/target/debug/build/log/431c2e66b4ed7b91/out/liblog-431c2e66b4ed7b91.rlib" "/opt/rustwide/target/debug/build/z3-sys/35a575731339788b/out/libz3_sys-35a575731339788b.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,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" "-lstdc++" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/build/z3/718d9b6cf6974348/out/rustc6Dw8mh/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" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/build/z3/718d9b6cf6974348/out/optimize_get_assertions-718d9b6cf6974348" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-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 `z3` (test "quantifier_elimination_tests") due to 1 previous error
[INFO] [stderr] error: could not compile `z3` (test "optimize_get_assertions") 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/debug/build/z3/63d852ebaffb2f9c/out/rustcDGQUNh/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/build/z3/b4b5fbf4bc237c82/out/libz3-b4b5fbf4bc237c82.rlib" "/opt/rustwide/target/debug/build/log/431c2e66b4ed7b91/out/liblog-431c2e66b4ed7b91.rlib" "/opt/rustwide/target/debug/build/z3-sys/35a575731339788b/out/libz3_sys-35a575731339788b.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,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" "-lstdc++" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/build/z3/63d852ebaffb2f9c/out/rustcDGQUNh/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" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/build/z3/63d852ebaffb2f9c/out/optimize_model_handler-63d852ebaffb2f9c" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-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 `z3` (test "optimize_model_handler") 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/debug/build/z3/401d875ba8a1db10/out/rustcxB2zGd/symbols.o" "<2 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/build/z3/b4b5fbf4bc237c82/out/libz3-b4b5fbf4bc237c82.rlib" "/opt/rustwide/target/debug/build/log/431c2e66b4ed7b91/out/liblog-431c2e66b4ed7b91.rlib" "/opt/rustwide/target/debug/build/z3-sys/35a575731339788b/out/libz3_sys-35a575731339788b.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,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" "-lstdc++" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/build/z3/401d875ba8a1db10/out/rustcxB2zGd/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" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/build/z3/401d875ba8a1db10/out/objectives-401d875ba8a1db10" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-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 `z3` (test "objectives") 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/debug/build/z3/a3922e67b9052275/out/rustc1ROsvX/symbols.o" "<4 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/debug/build/env_logger/896872fe56b25dec/out/libenv_logger-896872fe56b25dec.rlib" "/opt/rustwide/target/debug/build/jiff/d4684aaa9eac0199/out/libjiff-d4684aaa9eac0199.rlib" "/opt/rustwide/target/debug/build/jiff-core/ec813cd58537c94c/out/libjiff_core-ec813cd58537c94c.rlib" "/opt/rustwide/target/debug/build/anstream/d5b8336a150f3920/out/libanstream-d5b8336a150f3920.rlib" "/opt/rustwide/target/debug/build/anstyle-query/635080b1d6343734/out/libanstyle_query-635080b1d6343734.rlib" "/opt/rustwide/target/debug/build/is_terminal_polyfill/3ca4268cb2568267/out/libis_terminal_polyfill-3ca4268cb2568267.rlib" "/opt/rustwide/target/debug/build/colorchoice/33c0bd1745dd5ace/out/libcolorchoice-33c0bd1745dd5ace.rlib" "/opt/rustwide/target/debug/build/anstyle-parse/88399b635fc44f8e/out/libanstyle_parse-88399b635fc44f8e.rlib" "/opt/rustwide/target/debug/build/utf8parse/92d0158219063202/out/libutf8parse-92d0158219063202.rlib" "/opt/rustwide/target/debug/build/env_filter/fdc34bc947b3d01a/out/libenv_filter-fdc34bc947b3d01a.rlib" "/opt/rustwide/target/debug/build/regex/1d000e269b363cb2/out/libregex-1d000e269b363cb2.rlib" "/opt/rustwide/target/debug/build/regex-automata/3954e331d485fc31/out/libregex_automata-3954e331d485fc31.rlib" "/opt/rustwide/target/debug/build/aho-corasick/57dfe431622534cc/out/libaho_corasick-57dfe431622534cc.rlib" "/opt/rustwide/target/debug/build/memchr/efcaf924912fba01/out/libmemchr-efcaf924912fba01.rlib" "/opt/rustwide/target/debug/build/regex-syntax/5fd254360f3be2ca/out/libregex_syntax-5fd254360f3be2ca.rlib" "/opt/rustwide/target/debug/build/anstyle/9beaeb754742faae/out/libanstyle-9beaeb754742faae.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/build/z3/b4b5fbf4bc237c82/out/libz3-b4b5fbf4bc237c82.rlib" "/opt/rustwide/target/debug/build/z3-sys/35a575731339788b/out/libz3_sys-35a575731339788b.rlib" "/opt/rustwide/target/debug/build/semver/f2ab12e28ce3f339/out/libsemver-f2ab12e28ce3f339.rlib" "/opt/rustwide/target/debug/build/log/431c2e66b4ed7b91/out/liblog-431c2e66b4ed7b91.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,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" "-lstdc++" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/build/z3/a3922e67b9052275/out/rustc1ROsvX/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" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/build/z3/a3922e67b9052275/out/semver_tests-a3922e67b9052275" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-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 `z3` (test "semver_tests") 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/debug/build/z3/746a45d7fb6a43dd/out/rustcCiZt88/symbols.o" "<6 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/build/z3/b4b5fbf4bc237c82/out/libz3-b4b5fbf4bc237c82.rlib" "/opt/rustwide/target/debug/build/log/431c2e66b4ed7b91/out/liblog-431c2e66b4ed7b91.rlib" "/opt/rustwide/target/debug/build/z3-sys/35a575731339788b/out/libz3_sys-35a575731339788b.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,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" "-lstdc++" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/build/z3/746a45d7fb6a43dd/out/rustcCiZt88/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" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/build/z3/746a45d7fb6a43dd/out/ops-746a45d7fb6a43dd" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-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 `z3` (test "ops") 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/debug/build/z3/a82155d215165b89/out/rustcNHcByr/symbols.o" "<17 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/debug/build/env_logger/896872fe56b25dec/out/libenv_logger-896872fe56b25dec.rlib" "/opt/rustwide/target/debug/build/jiff/d4684aaa9eac0199/out/libjiff-d4684aaa9eac0199.rlib" "/opt/rustwide/target/debug/build/jiff-core/ec813cd58537c94c/out/libjiff_core-ec813cd58537c94c.rlib" "/opt/rustwide/target/debug/build/anstream/d5b8336a150f3920/out/libanstream-d5b8336a150f3920.rlib" "/opt/rustwide/target/debug/build/anstyle-query/635080b1d6343734/out/libanstyle_query-635080b1d6343734.rlib" "/opt/rustwide/target/debug/build/is_terminal_polyfill/3ca4268cb2568267/out/libis_terminal_polyfill-3ca4268cb2568267.rlib" "/opt/rustwide/target/debug/build/colorchoice/33c0bd1745dd5ace/out/libcolorchoice-33c0bd1745dd5ace.rlib" "/opt/rustwide/target/debug/build/anstyle-parse/88399b635fc44f8e/out/libanstyle_parse-88399b635fc44f8e.rlib" "/opt/rustwide/target/debug/build/utf8parse/92d0158219063202/out/libutf8parse-92d0158219063202.rlib" "/opt/rustwide/target/debug/build/env_filter/fdc34bc947b3d01a/out/libenv_filter-fdc34bc947b3d01a.rlib" "/opt/rustwide/target/debug/build/regex/1d000e269b363cb2/out/libregex-1d000e269b363cb2.rlib" "/opt/rustwide/target/debug/build/regex-automata/3954e331d485fc31/out/libregex_automata-3954e331d485fc31.rlib" "/opt/rustwide/target/debug/build/aho-corasick/57dfe431622534cc/out/libaho_corasick-57dfe431622534cc.rlib" "/opt/rustwide/target/debug/build/memchr/efcaf924912fba01/out/libmemchr-efcaf924912fba01.rlib" "/opt/rustwide/target/debug/build/regex-syntax/5fd254360f3be2ca/out/libregex_syntax-5fd254360f3be2ca.rlib" "/opt/rustwide/target/debug/build/anstyle/9beaeb754742faae/out/libanstyle-9beaeb754742faae.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/debug/build/semver/f2ab12e28ce3f339/out/libsemver-f2ab12e28ce3f339.rlib" "/opt/rustwide/target/debug/build/z3/b4b5fbf4bc237c82/out/libz3-b4b5fbf4bc237c82.rlib" "/opt/rustwide/target/debug/build/z3-sys/35a575731339788b/out/libz3_sys-35a575731339788b.rlib" "/opt/rustwide/target/debug/build/log/431c2e66b4ed7b91/out/liblog-431c2e66b4ed7b91.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,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" "-lstdc++" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/debug/build/z3/a82155d215165b89/out/rustcNHcByr/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" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/build/z3/a82155d215165b89/out/lib-a82155d215165b89" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-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 `z3` (test "lib") due to 1 previous error
[INFO] running `Command { std: "docker" "inspect" "788b57a356ae4b0b54579a9e97166c3deb27c7a00bca3eb873790549f957b954", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "788b57a356ae4b0b54579a9e97166c3deb27c7a00bca3eb873790549f957b954", kill_on_drop: false }`
[INFO] [stdout] 788b57a356ae4b0b54579a9e97166c3deb27c7a00bca3eb873790549f957b954
