[INFO] fetching crate biodivine-hctl-model-checker 0.3.5...
[INFO] testing biodivine-hctl-model-checker-0.3.5 against 1.94.0 for beta-1.95-1
[INFO] extracting crate biodivine-hctl-model-checker 0.3.5 into /workspace/builds/worker-7-tc1/source
[INFO] started tweaking crates.io crate biodivine-hctl-model-checker 0.3.5
[INFO] finished tweaking crates.io crate biodivine-hctl-model-checker 0.3.5
[INFO] tweaked toml for crates.io crate biodivine-hctl-model-checker 0.3.5 written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate biodivine-hctl-model-checker 0.3.5 on toolchain 1.94.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.94.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate biodivine-hctl-model-checker 0.3.5 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.94.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded bitvector v0.1.5
[INFO] [stderr]   Downloaded computation-process v0.2.0
[INFO] [stderr]   Downloaded cancel-this v0.4.0
[INFO] [stderr]   Downloaded base64ct v1.8.2
[INFO] [stderr]   Downloaded biodivine-algo-bdd-scc v0.3.2
[INFO] [stderr]   Downloaded biodivine-lib-bdd v0.6.2
[INFO] [stderr]   Downloaded biodivine-lib-param-bn v0.7.0
[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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.94.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] d46725170aaf54ec238cfd77f877f7f37dbcae00d4b6637dd9e9f94c2c093351
[INFO] running `Command { std: "docker" "start" "-a" "d46725170aaf54ec238cfd77f877f7f37dbcae00d4b6637dd9e9f94c2c093351", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "d46725170aaf54ec238cfd77f877f7f37dbcae00d4b6637dd9e9f94c2c093351", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d46725170aaf54ec238cfd77f877f7f37dbcae00d4b6637dd9e9f94c2c093351", kill_on_drop: false }`
[INFO] [stdout] d46725170aaf54ec238cfd77f877f7f37dbcae00d4b6637dd9e9f94c2c093351
[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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.94.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 22675cea13bd4cda4944eec90af2cdbdbb3a7f334307cf012c5ccaf414226e45
[INFO] running `Command { std: "docker" "start" "-a" "22675cea13bd4cda4944eec90af2cdbdbb3a7f334307cf012c5ccaf414226e45", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.179
[INFO] [stderr]    Compiling find-msvc-tools v0.1.6
[INFO] [stderr]    Compiling fxhash v0.2.1
[INFO] [stderr]    Compiling cancel-this v0.4.0
[INFO] [stderr]    Compiling regex-automata v0.4.13
[INFO] [stderr]    Compiling base64ct v1.8.2
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling syn v2.0.114
[INFO] [stderr]    Compiling bitvector v0.1.5
[INFO] [stderr]    Compiling clap_lex v0.7.6
[INFO] [stderr]    Compiling cipher v0.4.4
[INFO] [stderr]    Compiling roxmltree v0.20.0
[INFO] [stderr]    Compiling time-core v0.1.6
[INFO] [stderr]    Compiling sha2 v0.10.9
[INFO] [stderr]    Compiling hmac v0.12.1
[INFO] [stderr]    Compiling sha1 v0.10.6
[INFO] [stderr]    Compiling flate2 v1.1.5
[INFO] [stderr]    Compiling time v0.3.44
[INFO] [stderr]    Compiling constant_time_eq v0.1.5
[INFO] [stderr]    Compiling clap_builder v4.5.54
[INFO] [stderr]    Compiling aes v0.8.4
[INFO] [stderr]    Compiling computation-process v0.2.0
[INFO] [stderr]    Compiling jobserver v0.1.34
[INFO] [stderr]    Compiling getrandom v0.2.16
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling cc v1.2.51
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling password-hash v0.4.2
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling pbkdf2 v0.11.0
[INFO] [stderr]    Compiling zstd-sys v2.0.16+zstd.1.5.7
[INFO] [stderr]    Compiling bzip2-sys v0.1.13+1.0.8
[INFO] [stderr]    Compiling regex v1.12.2
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling clap_derive v4.5.49
[INFO] [stderr]    Compiling bzip2 v0.4.4
[INFO] [stderr]    Compiling clap v4.5.54
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling biodivine-lib-bdd v0.6.2
[INFO] [stderr]    Compiling biodivine-lib-param-bn v0.7.0
[INFO] [stderr]    Compiling zstd-safe v5.0.2+zstd.1.5.2
[INFO] [stderr]    Compiling zstd v0.11.2+zstd.1.5.2
[INFO] [stderr]    Compiling zip v0.6.6
[INFO] [stderr]    Compiling biodivine-algo-bdd-scc v0.3.2
[INFO] [stderr]    Compiling biodivine-hctl-model-checker v0.3.5 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 23.89s
[INFO] running `Command { std: "docker" "inspect" "22675cea13bd4cda4944eec90af2cdbdbb3a7f334307cf012c5ccaf414226e45", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "22675cea13bd4cda4944eec90af2cdbdbb3a7f334307cf012c5ccaf414226e45", kill_on_drop: false }`
[INFO] [stdout] 22675cea13bd4cda4944eec90af2cdbdbb3a7f334307cf012c5ccaf414226e45
[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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.94.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 5dc1c3f686309223c2ff3e873bc92127a2c43b6517792b9129d522da8b17e61f
[INFO] running `Command { std: "docker" "start" "-a" "5dc1c3f686309223c2ff3e873bc92127a2c43b6517792b9129d522da8b17e61f", kill_on_drop: false }`
[INFO] [stderr]    Compiling cfg-if v1.0.4
[INFO] [stderr]    Compiling libc v0.2.179
[INFO] [stderr]    Compiling subtle v2.6.1
[INFO] [stderr]    Compiling memchr v2.7.6
[INFO] [stderr]    Compiling cpufeatures v0.2.17
[INFO] [stderr]    Compiling byteorder v1.5.0
[INFO] [stderr]    Compiling typenum v1.19.0
[INFO] [stderr]    Compiling zerocopy v0.8.33
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling log v0.4.29
[INFO] [stderr]    Compiling dyn-clone v1.0.20
[INFO] [stderr]    Compiling lazy_static v1.5.0
[INFO] [stderr]    Compiling regex-syntax v0.8.8
[INFO] [stderr]    Compiling utf8parse v0.2.2
[INFO] [stderr]    Compiling crc32fast v1.5.0
[INFO] [stderr]    Compiling powerfmt v0.2.0
[INFO] [stderr]    Compiling colorchoice v1.0.4
[INFO] [stderr]    Compiling adler2 v2.0.1
[INFO] [stderr]    Compiling anstyle-parse v0.2.7
[INFO] [stderr]    Compiling is_terminal_polyfill v1.70.2
[INFO] [stderr]    Compiling anstyle-query v1.1.5
[INFO] [stderr]    Compiling cancel-this v0.4.0
[INFO] [stderr]    Compiling fxhash v0.2.1
[INFO] [stderr]    Compiling simd-adler32 v0.3.8
[INFO] [stderr]    Compiling anstyle v1.0.13
[INFO] [stderr]    Compiling base64ct v1.8.2
[INFO] [stderr]    Compiling deranged v0.5.5
[INFO] [stderr]    Compiling clap_lex v0.7.6
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling miniz_oxide v0.8.9
[INFO] [stderr]    Compiling anstream v0.6.21
[INFO] [stderr]    Compiling num-conv v0.1.0
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling roxmltree v0.20.0
[INFO] [stderr]    Compiling strsim v0.11.1
[INFO] [stderr]    Compiling jobserver v0.1.34
[INFO] [stderr]    Compiling getrandom v0.2.16
[INFO] [stderr]    Compiling bitvector v0.1.5
[INFO] [stderr]    Compiling time-core v0.1.6
[INFO] [stderr]    Compiling clap_builder v4.5.54
[INFO] [stderr]    Compiling cc v1.2.51
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling flate2 v1.1.5
[INFO] [stderr]    Compiling time v0.3.44
[INFO] [stderr]    Compiling computation-process v0.2.0
[INFO] [stderr]    Compiling crypto-common v0.1.7
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling inout v0.1.4
[INFO] [stderr]    Compiling cipher v0.4.4
[INFO] [stderr]    Compiling password-hash v0.4.2
[INFO] [stderr]    Compiling regex-automata v0.4.13
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling sha2 v0.10.9
[INFO] [stderr]    Compiling hmac v0.12.1
[INFO] [stderr]    Compiling aes v0.8.4
[INFO] [stderr]    Compiling sha1 v0.10.6
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling constant_time_eq v0.1.5
[INFO] [stderr]    Compiling termcolor v1.4.1
[INFO] [stderr]    Compiling pbkdf2 v0.11.0
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling zstd-sys v2.0.16+zstd.1.5.7
[INFO] [stderr]    Compiling bzip2-sys v0.1.13+1.0.8
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling regex v1.12.2
[INFO] [stderr] error: could not compile `regex-automata` (lib)
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/1.94.0-x86_64-unknown-linux-gnu/bin/rustc --crate-name regex_automata --edition=2021 /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/regex-automata-0.4.13/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata,link -C opt-level=3 -C embed-bitcode=no -C debuginfo=2 --allow=unexpected_cfgs --check-cfg 'cfg(docsrs_regex)' -C debug-assertions=on --cfg 'feature="alloc"' --cfg 'feature="dfa-onepass"' --cfg 'feature="hybrid"' --cfg 'feature="meta"' --cfg 'feature="nfa-backtrack"' --cfg 'feature="nfa-pikevm"' --cfg 'feature="nfa-thompson"' --cfg 'feature="perf-inline"' --cfg 'feature="perf-literal"' --cfg 'feature="perf-literal-multisubstring"' --cfg 'feature="perf-literal-substring"' --cfg 'feature="std"' --cfg 'feature="syntax"' --cfg 'feature="unicode"' --cfg 'feature="unicode-age"' --cfg 'feature="unicode-bool"' --cfg 'feature="unicode-case"' --cfg 'feature="unicode-gencat"' --cfg 'feature="unicode-perl"' --cfg 'feature="unicode-script"' --cfg 'feature="unicode-segment"' --cfg 'feature="unicode-word-boundary"' --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values("alloc", "default", "dfa", "dfa-build", "dfa-onepass", "dfa-search", "hybrid", "internal-instrument", "internal-instrument-pikevm", "logging", "meta", "nfa", "nfa-backtrack", "nfa-pikevm", "nfa-thompson", "perf", "perf-inline", "perf-literal", "perf-literal-multisubstring", "perf-literal-substring", "std", "syntax", "unicode", "unicode-age", "unicode-bool", "unicode-case", "unicode-gencat", "unicode-perl", "unicode-script", "unicode-segment", "unicode-word-boundary"))' -C metadata=2b8506bc0b55126f -C extra-filename=-801cd5e8232b6f99 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern aho_corasick=/opt/rustwide/target/debug/deps/libaho_corasick-22c3c8706f6858ec.rmeta --extern memchr=/opt/rustwide/target/debug/deps/libmemchr-cc29a30ed5d864d7.rmeta --extern regex_syntax=/opt/rustwide/target/debug/deps/libregex_syntax-f7c993fd945df019.rmeta --cap-lints allow --cap-lints=warn` (signal: 9, SIGKILL: kill)
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "5dc1c3f686309223c2ff3e873bc92127a2c43b6517792b9129d522da8b17e61f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5dc1c3f686309223c2ff3e873bc92127a2c43b6517792b9129d522da8b17e61f", kill_on_drop: false }`
[INFO] [stdout] 5dc1c3f686309223c2ff3e873bc92127a2c43b6517792b9129d522da8b17e61f
