[INFO] fetching crate biodivine-hctl-model-checker 0.3.4...
[INFO] building biodivine-hctl-model-checker-0.3.4 against master#c7f6aa2869acdbf014d094c6e427e554e160b6db for pr-146237-2
[INFO] extracting crate biodivine-hctl-model-checker 0.3.4 into /workspace/builds/worker-2-tc1/source
[INFO] started tweaking crates.io crate biodivine-hctl-model-checker 0.3.4
[INFO] finished tweaking crates.io crate biodivine-hctl-model-checker 0.3.4
[INFO] tweaked toml for crates.io crate biodivine-hctl-model-checker 0.3.4 written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate biodivine-hctl-model-checker 0.3.4 on toolchain c7f6aa2869acdbf014d094c6e427e554e160b6db
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c7f6aa2869acdbf014d094c6e427e554e160b6db" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate biodivine-hctl-model-checker 0.3.4 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" "+c7f6aa2869acdbf014d094c6e427e554e160b6db" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded biodivine-lib-bdd v0.6.1
[INFO] [stderr]   Downloaded bzip2-sys v0.1.13+1.0.8
[INFO] [stderr]   Downloaded zstd-sys v2.0.16+zstd.1.5.7
[INFO] [stderr]   Downloaded biodivine-lib-param-bn v0.6.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+c7f6aa2869acdbf014d094c6e427e554e160b6db" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] e51b53393d1de7c13632ef000f68d23ab50f50f55c92882215601f56e2d42d65
[INFO] running `Command { std: "docker" "start" "-a" "e51b53393d1de7c13632ef000f68d23ab50f50f55c92882215601f56e2d42d65", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e51b53393d1de7c13632ef000f68d23ab50f50f55c92882215601f56e2d42d65", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e51b53393d1de7c13632ef000f68d23ab50f50f55c92882215601f56e2d42d65", kill_on_drop: false }`
[INFO] [stdout] e51b53393d1de7c13632ef000f68d23ab50f50f55c92882215601f56e2d42d65
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+c7f6aa2869acdbf014d094c6e427e554e160b6db" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 474e431ec5cc2cc349dc2d9899c36112cfcd6f423a5041e561a600c2e1def0ff
[INFO] running `Command { std: "docker" "start" "-a" "474e431ec5cc2cc349dc2d9899c36112cfcd6f423a5041e561a600c2e1def0ff", kill_on_drop: false }`
[INFO] [stderr]    Compiling find-msvc-tools v0.1.2
[INFO] [stderr]    Compiling memchr v2.7.6
[INFO] [stderr]    Compiling zstd-safe v5.0.2+zstd.1.5.2
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling crc32fast v1.5.0
[INFO] [stderr]    Compiling regex-syntax v0.8.6
[INFO] [stderr]    Compiling jobserver v0.1.34
[INFO] [stderr]    Compiling base64ct v1.8.0
[INFO] [stderr]    Compiling quote v1.0.40
[INFO] [stderr]    Compiling anstream v0.6.20
[INFO] [stderr]    Compiling miniz_oxide v0.8.9
[INFO] [stderr]    Compiling deranged v0.5.4
[INFO] [stderr]    Compiling inout v0.1.4
[INFO] [stderr]    Compiling hmac v0.12.1
[INFO] [stderr]    Compiling sha2 v0.10.9
[INFO] [stderr]    Compiling time-core v0.1.6
[INFO] [stderr]    Compiling cipher v0.4.4
[INFO] [stderr]    Compiling syn v2.0.106
[INFO] [stderr]    Compiling sha1 v0.10.6
[INFO] [stderr]    Compiling constant_time_eq v0.1.5
[INFO] [stderr]    Compiling clap_builder v4.5.48
[INFO] [stderr]    Compiling roxmltree v0.20.0
[INFO] [stderr]    Compiling cc v1.2.38
[INFO] [stderr]    Compiling password-hash v0.4.2
[INFO] [stderr]    Compiling bitvector v0.1.5
[INFO] [stderr]    Compiling termcolor v1.4.1
[INFO] [stderr]    Compiling flate2 v1.1.2
[INFO] [stderr]    Compiling pbkdf2 v0.11.0
[INFO] [stderr]    Compiling aes v0.8.4
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]    Compiling num-integer v0.1.46
[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 time v0.3.44
[INFO] [stderr]    Compiling regex-automata v0.4.11
[INFO] [stderr]    Compiling bzip2 v0.4.4
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling biodivine-lib-bdd v0.6.1
[INFO] [stderr]    Compiling clap_derive v4.5.47
[INFO] [stderr]    Compiling regex v1.11.3
[INFO] [stderr]    Compiling biodivine-lib-param-bn v0.6.1
[INFO] [stderr]    Compiling clap v4.5.48
[INFO] [stderr]    Compiling zstd v0.11.2+zstd.1.5.2
[INFO] [stderr]    Compiling zip v0.6.6
[INFO] [stderr]    Compiling biodivine-hctl-model-checker v0.3.4 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 27.52s
[INFO] running `Command { std: "docker" "inspect" "474e431ec5cc2cc349dc2d9899c36112cfcd6f423a5041e561a600c2e1def0ff", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "474e431ec5cc2cc349dc2d9899c36112cfcd6f423a5041e561a600c2e1def0ff", kill_on_drop: false }`
[INFO] [stdout] 474e431ec5cc2cc349dc2d9899c36112cfcd6f423a5041e561a600c2e1def0ff
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+c7f6aa2869acdbf014d094c6e427e554e160b6db" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 34817f5a3bb58b68851301c018ab34609eeaafdb500ca30c0313b45ab3782b3b
[INFO] running `Command { std: "docker" "start" "-a" "34817f5a3bb58b68851301c018ab34609eeaafdb500ca30c0313b45ab3782b3b", kill_on_drop: false }`
[INFO] [stderr]    Compiling cfg-if v1.0.3
[INFO] [stderr]    Compiling libc v0.2.176
[INFO] [stderr]    Compiling subtle v2.6.1
[INFO] [stderr]    Compiling cpufeatures v0.2.17
[INFO] [stderr]    Compiling utf8parse v0.2.2
[INFO] [stderr]    Compiling typenum v1.18.0
[INFO] [stderr]    Compiling zerocopy v0.8.27
[INFO] [stderr]    Compiling byteorder v1.5.0
[INFO] [stderr]    Compiling memchr v2.7.6
[INFO] [stderr]    Compiling anstyle-query v1.1.4
[INFO] [stderr]    Compiling regex-syntax v0.8.6
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling crc32fast v1.5.0
[INFO] [stderr]    Compiling adler2 v2.0.1
[INFO] [stderr]    Compiling is_terminal_polyfill v1.70.1
[INFO] [stderr]    Compiling base64ct v1.8.0
[INFO] [stderr]    Compiling colorchoice v1.0.4
[INFO] [stderr]    Compiling anstyle-parse v0.2.7
[INFO] [stderr]    Compiling anstyle v1.0.11
[INFO] [stderr]    Compiling powerfmt v0.2.0
[INFO] [stderr]    Compiling clap_lex v0.7.5
[INFO] [stderr]    Compiling miniz_oxide v0.8.9
[INFO] [stderr]    Compiling fxhash v0.2.1
[INFO] [stderr]    Compiling anstream v0.6.20
[INFO] [stderr]    Compiling time-core v0.1.6
[INFO] [stderr]    Compiling deranged v0.5.4
[INFO] [stderr]    Compiling strsim v0.11.1
[INFO] [stderr]    Compiling num-conv v0.1.0
[INFO] [stderr]    Compiling constant_time_eq v0.1.5
[INFO] [stderr]    Compiling bitvector v0.1.5
[INFO] [stderr]    Compiling roxmltree v0.20.0
[INFO] [stderr]    Compiling lazy_static v1.5.0
[INFO] [stderr]    Compiling termcolor v1.4.1
[INFO] [stderr]    Compiling clap_builder v4.5.48
[INFO] [stderr]    Compiling flate2 v1.1.2
[INFO] [stderr]    Compiling jobserver v0.1.34
[INFO] [stderr]    Compiling cc v1.2.38
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling crypto-common v0.1.6
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling inout v0.1.4
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling getrandom v0.2.16
[INFO] [stderr]    Compiling cipher v0.4.4
[INFO] [stderr]    Compiling hmac v0.12.1
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling sha2 v0.10.9
[INFO] [stderr]    Compiling aes v0.8.4
[INFO] [stderr]    Compiling sha1 v0.10.6
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling password-hash v0.4.2
[INFO] [stderr]    Compiling time v0.3.44
[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-automata v0.4.11
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling bzip2 v0.4.4
[INFO] [stderr]    Compiling clap v4.5.48
[INFO] [stderr]    Compiling biodivine-lib-bdd v0.6.1
[INFO] [stderr]    Compiling regex v1.11.3
[INFO] [stderr]    Compiling biodivine-lib-param-bn v0.6.1
[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-hctl-model-checker v0.3.4 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [optimized + debuginfo] target(s) in 3m 16s
[INFO] running `Command { std: "docker" "inspect" "34817f5a3bb58b68851301c018ab34609eeaafdb500ca30c0313b45ab3782b3b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "34817f5a3bb58b68851301c018ab34609eeaafdb500ca30c0313b45ab3782b3b", kill_on_drop: false }`
[INFO] [stdout] 34817f5a3bb58b68851301c018ab34609eeaafdb500ca30c0313b45ab3782b3b