[INFO] fetching crate biodivine-lib-param-bn 0.4.7... [INFO] building biodivine-lib-param-bn-0.4.7 against master#9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19 for pr-117684 [INFO] extracting crate biodivine-lib-param-bn 0.4.7 into /workspace/builds/worker-7-tc1/source [INFO] validating manifest of crates.io crate biodivine-lib-param-bn 0.4.7 on toolchain 9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate biodivine-lib-param-bn 0.4.7 [INFO] finished tweaking crates.io crate biodivine-lib-param-bn 0.4.7 [INFO] tweaked toml for crates.io crate biodivine-lib-param-bn 0.4.7 written to /workspace/builds/worker-7-tc1/source/Cargo.toml [INFO] crate crates.io crate biodivine-lib-param-bn 0.4.7 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" "+9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded biodivine-lib-bdd v0.5.2 [INFO] [stderr] Downloaded z3 v0.12.1 [INFO] [stderr] Downloaded bitvector v0.1.5 [INFO] [stderr] Downloaded bindgen v0.66.1 [INFO] [stderr] Downloaded z3-sys v0.8.1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:0c7e0e8312ad82a1bed3696438480b7da990d348377d3754e1cd95b06a8a36c7" "/opt/rustwide/cargo-home/bin/cargo" "+9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 22125867b53cff3ac6e21aca8ed7ed76b019325174126fd7065fc3f3122ba19b [INFO] running `Command { std: "docker" "start" "-a" "22125867b53cff3ac6e21aca8ed7ed76b019325174126fd7065fc3f3122ba19b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "22125867b53cff3ac6e21aca8ed7ed76b019325174126fd7065fc3f3122ba19b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "22125867b53cff3ac6e21aca8ed7ed76b019325174126fd7065fc3f3122ba19b", kill_on_drop: false }` [INFO] [stdout] 22125867b53cff3ac6e21aca8ed7ed76b019325174126fd7065fc3f3122ba19b [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:0c7e0e8312ad82a1bed3696438480b7da990d348377d3754e1cd95b06a8a36c7" "/opt/rustwide/cargo-home/bin/cargo" "+9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] b38987b786dd61591cdd64d9229a7340a0a7df99a14afd1ef7b3bd507ec08668 [INFO] running `Command { std: "docker" "start" "-a" "b38987b786dd61591cdd64d9229a7340a0a7df99a14afd1ef7b3bd507ec08668", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.149 [INFO] [stderr] Compiling num-traits v0.2.17 [INFO] [stderr] Compiling num-integer v0.1.45 [INFO] [stderr] Compiling num-bigint v0.4.4 [INFO] [stderr] Compiling xmlparser v0.13.6 [INFO] [stderr] Compiling bitvector v0.1.5 [INFO] [stderr] Compiling regex v1.10.2 [INFO] [stderr] Compiling roxmltree v0.18.1 [INFO] [stderr] Compiling getrandom v0.2.10 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Compiling biodivine-lib-bdd v0.5.2 [INFO] [stderr] Compiling biodivine-lib-param-bn v0.4.7 (/opt/rustwide/workdir) [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustcTLQZGD/symbols.o" "/opt/rustwide/target/debug/deps/check_nic-016af0196ec60f9c.check_nic.5b77f2a1503bf9bd-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/check_nic-016af0196ec60f9c.5gevusv39m57me36.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libbiodivine_lib_param_bn-36af898b6950b989.rlib" "/opt/rustwide/target/debug/deps/libbitvector-0585e08bbfea017e.rlib" "/opt/rustwide/target/debug/deps/libroxmltree-0996020b6cb0657d.rlib" "/opt/rustwide/target/debug/deps/libxmlparser-f1200408ed4e23dc.rlib" "/opt/rustwide/target/debug/deps/libbiodivine_lib_bdd-318217a9f7d0c26b.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-33eaa8daf8ad37bf.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-e2cf6f1fd2d3a7eb.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-62cfb150585b22dd.rlib" "/opt/rustwide/target/debug/deps/librand-22b8e018de076310.rlib" "/opt/rustwide/target/debug/deps/librand_chacha-6cb599aaa24bf056.rlib" "/opt/rustwide/target/debug/deps/libppv_lite86-2e7f3c881e7293c7.rlib" "/opt/rustwide/target/debug/deps/librand_core-897c1d6bb910cf44.rlib" "/opt/rustwide/target/debug/deps/libgetrandom-7802e33b82d854dc.rlib" "/opt/rustwide/target/debug/deps/liblibc-52d295c967bea876.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-0128a598f57c42f0.rlib" "/opt/rustwide/target/debug/deps/libfxhash-e34bdadb6594be69.rlib" "/opt/rustwide/target/debug/deps/libbyteorder-921e9eb05e03d6ac.rlib" "/opt/rustwide/target/debug/deps/libregex-8f510260ca59c4e9.rlib" "/opt/rustwide/target/debug/deps/libregex_automata-22431596656e6029.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-cb8d365a0a20c1bd.rlib" "/opt/rustwide/target/debug/deps/libmemchr-926d55368685478f.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-754c1f6918011bc4.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-b82c15677deef9e2.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-72b35984a787fb54.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-0fdedff926cd8b5a.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-fe0525e327a5464a.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-795b2243f06bd098.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-86ce554ff6ad08cd.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-1be635a4727d8e5e.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-1e55d89766af9c5f.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-02605c7065574d0d.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-0d17ba1067febc2c.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-2408fbe38b247900.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-b3c63e8997fdca47.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-bfa7a39ebb77d49a.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-4b955078cf51c0a1.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-1a6fbee0083900be.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-2b93db426c5a26c2.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-b30975e2b876cf32.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-cd2f2bc505f56f50.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-ec02dd343723da85.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-408115ade0360d2a.rlib" "-Wl,-Bdynamic" "-lc" "-lm" "-lrt" "-lpthread" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/check_nic-016af0196ec60f9c" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" [INFO] [stdout] = note: collect2: fatal error: ld terminated with signal 9 [Killed] [INFO] [stdout] compilation terminated. [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustcm9x4gF/symbols.o" "/opt/rustwide/target/debug/deps/bench_reach-2892a59ceec8869e.bench_reach.cdf474d5e3f1b0f5-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/bench_reach-2892a59ceec8869e.116iphznd8299rsv.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libbiodivine_lib_param_bn-36af898b6950b989.rlib" "/opt/rustwide/target/debug/deps/libbitvector-0585e08bbfea017e.rlib" "/opt/rustwide/target/debug/deps/libroxmltree-0996020b6cb0657d.rlib" "/opt/rustwide/target/debug/deps/libxmlparser-f1200408ed4e23dc.rlib" "/opt/rustwide/target/debug/deps/libbiodivine_lib_bdd-318217a9f7d0c26b.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-33eaa8daf8ad37bf.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-e2cf6f1fd2d3a7eb.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-62cfb150585b22dd.rlib" "/opt/rustwide/target/debug/deps/librand-22b8e018de076310.rlib" "/opt/rustwide/target/debug/deps/librand_chacha-6cb599aaa24bf056.rlib" "/opt/rustwide/target/debug/deps/libppv_lite86-2e7f3c881e7293c7.rlib" "/opt/rustwide/target/debug/deps/librand_core-897c1d6bb910cf44.rlib" "/opt/rustwide/target/debug/deps/libgetrandom-7802e33b82d854dc.rlib" "/opt/rustwide/target/debug/deps/liblibc-52d295c967bea876.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-0128a598f57c42f0.rlib" "/opt/rustwide/target/debug/deps/libfxhash-e34bdadb6594be69.rlib" "/opt/rustwide/target/debug/deps/libbyteorder-921e9eb05e03d6ac.rlib" "/opt/rustwide/target/debug/deps/libregex-8f510260ca59c4e9.rlib" "/opt/rustwide/target/debug/deps/libregex_automata-22431596656e6029.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-cb8d365a0a20c1bd.rlib" "/opt/rustwide/target/debug/deps/libmemchr-926d55368685478f.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-754c1f6918011bc4.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-b82c15677deef9e2.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-72b35984a787fb54.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-0fdedff926cd8b5a.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-fe0525e327a5464a.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-795b2243f06bd098.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-86ce554ff6ad08cd.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-1be635a4727d8e5e.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-1e55d89766af9c5f.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-02605c7065574d0d.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-0d17ba1067febc2c.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-2408fbe38b247900.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-b3c63e8997fdca47.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-bfa7a39ebb77d49a.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-4b955078cf51c0a1.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-1a6fbee0083900be.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-2b93db426c5a26c2.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-b30975e2b876cf32.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-cd2f2bc505f56f50.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-ec02dd343723da85.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-408115ade0360d2a.rlib" "-Wl,-Bdynamic" "-lc" "-lm" "-lrt" "-lpthread" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/bench_reach-2892a59ceec8869e" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" [INFO] [stdout] = note: collect2: fatal error: ld terminated with signal 9 [Killed] [INFO] [stdout] compilation terminated. [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `biodivine-lib-param-bn` (bin "bench_reach") due to 2 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: could not compile `biodivine-lib-param-bn` (bin "check_nic") due to 2 previous errors [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustcVTFoAC/symbols.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_iterator-5c6d1257686620bf.bench_fixed_points_symbolic_iterator.3e6b13d5f670b2cf-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_iterator-5c6d1257686620bf.4ddr2rlgg85h4fal.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libbiodivine_lib_param_bn-36af898b6950b989.rlib" "/opt/rustwide/target/debug/deps/libbitvector-0585e08bbfea017e.rlib" "/opt/rustwide/target/debug/deps/libroxmltree-0996020b6cb0657d.rlib" "/opt/rustwide/target/debug/deps/libxmlparser-f1200408ed4e23dc.rlib" "/opt/rustwide/target/debug/deps/libbiodivine_lib_bdd-318217a9f7d0c26b.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-33eaa8daf8ad37bf.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-e2cf6f1fd2d3a7eb.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-62cfb150585b22dd.rlib" "/opt/rustwide/target/debug/deps/librand-22b8e018de076310.rlib" "/opt/rustwide/target/debug/deps/librand_chacha-6cb599aaa24bf056.rlib" "/opt/rustwide/target/debug/deps/libppv_lite86-2e7f3c881e7293c7.rlib" "/opt/rustwide/target/debug/deps/librand_core-897c1d6bb910cf44.rlib" "/opt/rustwide/target/debug/deps/libgetrandom-7802e33b82d854dc.rlib" "/opt/rustwide/target/debug/deps/liblibc-52d295c967bea876.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-0128a598f57c42f0.rlib" "/opt/rustwide/target/debug/deps/libfxhash-e34bdadb6594be69.rlib" "/opt/rustwide/target/debug/deps/libbyteorder-921e9eb05e03d6ac.rlib" "/opt/rustwide/target/debug/deps/libregex-8f510260ca59c4e9.rlib" "/opt/rustwide/target/debug/deps/libregex_automata-22431596656e6029.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-cb8d365a0a20c1bd.rlib" "/opt/rustwide/target/debug/deps/libmemchr-926d55368685478f.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-754c1f6918011bc4.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-b82c15677deef9e2.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-72b35984a787fb54.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-0fdedff926cd8b5a.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-fe0525e327a5464a.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-795b2243f06bd098.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-86ce554ff6ad08cd.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-1be635a4727d8e5e.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-1e55d89766af9c5f.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-02605c7065574d0d.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-0d17ba1067febc2c.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-2408fbe38b247900.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-b3c63e8997fdca47.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-bfa7a39ebb77d49a.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-4b955078cf51c0a1.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-1a6fbee0083900be.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-2b93db426c5a26c2.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-b30975e2b876cf32.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-cd2f2bc505f56f50.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-ec02dd343723da85.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-408115ade0360d2a.rlib" "-Wl,-Bdynamic" "-lc" "-lm" "-lrt" "-lpthread" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic_iterator-5c6d1257686620bf" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" [INFO] [stdout] = note: collect2: fatal error: ld terminated with signal 9 [Killed] [INFO] [stdout] compilation terminated. [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `biodivine-lib-param-bn` (bin "bench_fixed_points_symbolic_iterator") due to 2 previous errors [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustcYSTyB3/symbols.o" "/opt/rustwide/target/debug/deps/check_fixed_points-4eebee713c6f99c3.check_fixed_points.ee8296c586223f9d-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/check_fixed_points-4eebee713c6f99c3.4nbkhnswve1prswh.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libbiodivine_lib_param_bn-36af898b6950b989.rlib" "/opt/rustwide/target/debug/deps/libbitvector-0585e08bbfea017e.rlib" "/opt/rustwide/target/debug/deps/libroxmltree-0996020b6cb0657d.rlib" "/opt/rustwide/target/debug/deps/libxmlparser-f1200408ed4e23dc.rlib" "/opt/rustwide/target/debug/deps/libbiodivine_lib_bdd-318217a9f7d0c26b.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-33eaa8daf8ad37bf.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-e2cf6f1fd2d3a7eb.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-62cfb150585b22dd.rlib" "/opt/rustwide/target/debug/deps/librand-22b8e018de076310.rlib" "/opt/rustwide/target/debug/deps/librand_chacha-6cb599aaa24bf056.rlib" "/opt/rustwide/target/debug/deps/libppv_lite86-2e7f3c881e7293c7.rlib" "/opt/rustwide/target/debug/deps/librand_core-897c1d6bb910cf44.rlib" "/opt/rustwide/target/debug/deps/libgetrandom-7802e33b82d854dc.rlib" "/opt/rustwide/target/debug/deps/liblibc-52d295c967bea876.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-0128a598f57c42f0.rlib" "/opt/rustwide/target/debug/deps/libfxhash-e34bdadb6594be69.rlib" "/opt/rustwide/target/debug/deps/libbyteorder-921e9eb05e03d6ac.rlib" "/opt/rustwide/target/debug/deps/libregex-8f510260ca59c4e9.rlib" "/opt/rustwide/target/debug/deps/libregex_automata-22431596656e6029.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-cb8d365a0a20c1bd.rlib" "/opt/rustwide/target/debug/deps/libmemchr-926d55368685478f.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-754c1f6918011bc4.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-b82c15677deef9e2.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-72b35984a787fb54.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-0fdedff926cd8b5a.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-fe0525e327a5464a.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-795b2243f06bd098.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-86ce554ff6ad08cd.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-1be635a4727d8e5e.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-1e55d89766af9c5f.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-02605c7065574d0d.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-0d17ba1067febc2c.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-2408fbe38b247900.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-b3c63e8997fdca47.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-bfa7a39ebb77d49a.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-4b955078cf51c0a1.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-1a6fbee0083900be.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-2b93db426c5a26c2.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-b30975e2b876cf32.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-cd2f2bc505f56f50.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-ec02dd343723da85.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-408115ade0360d2a.rlib" "-Wl,-Bdynamic" "-lc" "-lm" "-lrt" "-lpthread" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/check_fixed_points-4eebee713c6f99c3" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" [INFO] [stdout] = note: collect2: fatal error: ld terminated with signal 9 [Killed] [INFO] [stdout] compilation terminated. [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `biodivine-lib-param-bn` (bin "check_fixed_points") due to 2 previous errors [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: LC_ALL="C" PATH="/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/bin:/opt/rustwide/cargo-home/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" VSLANG="1033" "cc" "-m64" "/tmp/rustcLna1PE/symbols.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic-9331d45dc38b87cc.bench_fixed_points_symbolic.8090060705230e3e-cgu.0.rcgu.o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic-9331d45dc38b87cc.4nw3xm7pd448ywir.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libbiodivine_lib_param_bn-36af898b6950b989.rlib" "/opt/rustwide/target/debug/deps/libbitvector-0585e08bbfea017e.rlib" "/opt/rustwide/target/debug/deps/libroxmltree-0996020b6cb0657d.rlib" "/opt/rustwide/target/debug/deps/libxmlparser-f1200408ed4e23dc.rlib" "/opt/rustwide/target/debug/deps/libbiodivine_lib_bdd-318217a9f7d0c26b.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-33eaa8daf8ad37bf.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-e2cf6f1fd2d3a7eb.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-62cfb150585b22dd.rlib" "/opt/rustwide/target/debug/deps/librand-22b8e018de076310.rlib" "/opt/rustwide/target/debug/deps/librand_chacha-6cb599aaa24bf056.rlib" "/opt/rustwide/target/debug/deps/libppv_lite86-2e7f3c881e7293c7.rlib" "/opt/rustwide/target/debug/deps/librand_core-897c1d6bb910cf44.rlib" "/opt/rustwide/target/debug/deps/libgetrandom-7802e33b82d854dc.rlib" "/opt/rustwide/target/debug/deps/liblibc-52d295c967bea876.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-0128a598f57c42f0.rlib" "/opt/rustwide/target/debug/deps/libfxhash-e34bdadb6594be69.rlib" "/opt/rustwide/target/debug/deps/libbyteorder-921e9eb05e03d6ac.rlib" "/opt/rustwide/target/debug/deps/libregex-8f510260ca59c4e9.rlib" "/opt/rustwide/target/debug/deps/libregex_automata-22431596656e6029.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-cb8d365a0a20c1bd.rlib" "/opt/rustwide/target/debug/deps/libmemchr-926d55368685478f.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-754c1f6918011bc4.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-b82c15677deef9e2.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-72b35984a787fb54.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-0fdedff926cd8b5a.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-fe0525e327a5464a.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-795b2243f06bd098.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-86ce554ff6ad08cd.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-1be635a4727d8e5e.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-1e55d89766af9c5f.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-02605c7065574d0d.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-0d17ba1067febc2c.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-2408fbe38b247900.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-b3c63e8997fdca47.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-bfa7a39ebb77d49a.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-4b955078cf51c0a1.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-1a6fbee0083900be.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-2b93db426c5a26c2.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-b30975e2b876cf32.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-cd2f2bc505f56f50.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-ec02dd343723da85.rlib" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-408115ade0360d2a.rlib" "-Wl,-Bdynamic" "-lc" "-lm" "-lrt" "-lpthread" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" "/opt/rustwide/rustup-home/toolchains/9bd71afb90c2a6e0348cdd4a2b10a3bf39908f19/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/debug/deps/bench_fixed_points_symbolic-9331d45dc38b87cc" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-nodefaultlibs" [INFO] [stdout] = note: collect2: fatal error: ld terminated with signal 9 [Killed] [INFO] [stdout] compilation terminated. [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `biodivine-lib-param-bn` (bin "bench_fixed_points_symbolic") due to 2 previous errors [INFO] running `Command { std: "docker" "inspect" "b38987b786dd61591cdd64d9229a7340a0a7df99a14afd1ef7b3bd507ec08668", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b38987b786dd61591cdd64d9229a7340a0a7df99a14afd1ef7b3bd507ec08668", kill_on_drop: false }` [INFO] [stdout] b38987b786dd61591cdd64d9229a7340a0a7df99a14afd1ef7b3bd507ec08668