[INFO] cloning repository https://github.com/AnTzikas/FinalProject-Formal_Verification_of_Cryptosystems
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/AnTzikas/FinalProject-Formal_Verification_of_Cryptosystems" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAnTzikas%2FFinalProject-Formal_Verification_of_Cryptosystems", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAnTzikas%2FFinalProject-Formal_Verification_of_Cryptosystems'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 8acc560818cfa3b87bfe3bce4e7a5e5fc9f6b0b6
[INFO] testing AnTzikas/FinalProject-Formal_Verification_of_Cryptosystems against beta-2026-04-21 for beta-1.96-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAnTzikas%2FFinalProject-Formal_Verification_of_Cryptosystems" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/AnTzikas/FinalProject-Formal_Verification_of_Cryptosystems
[INFO] finished tweaking git repo https://github.com/AnTzikas/FinalProject-Formal_Verification_of_Cryptosystems
[INFO] tweaked toml for git repo https://github.com/AnTzikas/FinalProject-Formal_Verification_of_Cryptosystems written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/AnTzikas/FinalProject-Formal_Verification_of_Cryptosystems on toolchain beta-2026-04-21
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2026-04-21" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/AnTzikas/FinalProject-Formal_Verification_of_Cryptosystems 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" "+beta-2026-04-21" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/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" "+beta-2026-04-21" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 24c184ea6b91abd0d6ce442a34ce9085cdd9021a9a2fcf8e42256f4acc1f3c40
[INFO] running `Command { std: "docker" "start" "-a" "24c184ea6b91abd0d6ce442a34ce9085cdd9021a9a2fcf8e42256f4acc1f3c40", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "24c184ea6b91abd0d6ce442a34ce9085cdd9021a9a2fcf8e42256f4acc1f3c40", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "24c184ea6b91abd0d6ce442a34ce9085cdd9021a9a2fcf8e42256f4acc1f3c40", kill_on_drop: false }`
[INFO] [stdout] 24c184ea6b91abd0d6ce442a34ce9085cdd9021a9a2fcf8e42256f4acc1f3c40
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/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" "+beta-2026-04-21" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] d2a22db7d405249df9318ed5c44da8d0c53a6826e4b305a27ae020a29d0ca915
[INFO] running `Command { std: "docker" "start" "-a" "d2a22db7d405249df9318ed5c44da8d0c53a6826e4b305a27ae020a29d0ca915", kill_on_drop: false }`
[INFO] [stderr]    Compiling smallvec v1.14.0
[INFO] [stderr]    Compiling futures-core v0.3.31
[INFO] [stderr]    Compiling futures-io v0.3.31
[INFO] [stderr]    Compiling futures-macro v0.3.31
[INFO] [stderr]    Compiling futures-task v0.3.31
[INFO] [stderr]    Compiling semver v1.0.25
[INFO] [stderr]    Compiling num_cpus v1.16.0
[INFO] [stderr]    Compiling bytes v1.10.0
[INFO] [stderr]    Compiling zeroize_derive v1.4.2
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling tracing-core v0.1.36
[INFO] [stderr]    Compiling thiserror v2.0.11
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling thiserror-impl v2.0.11
[INFO] [stderr]    Compiling curve25519-dalek-derive v0.1.1
[INFO] [stderr]    Compiling pin-project-internal v1.1.9
[INFO] [stderr]    Compiling parking_lot_core v0.9.10
[INFO] [stderr]    Compiling futures-channel v0.3.31
[INFO] [stderr]    Compiling icu_normalizer v1.5.0
[INFO] [stderr]    Compiling data-encoding v2.8.0
[INFO] [stderr]    Compiling unsigned-varint v0.8.0
[INFO] [stderr]    Compiling parking_lot v0.12.3
[INFO] [stderr]    Compiling signature v2.2.0
[INFO] [stderr]    Compiling sha2 v0.10.8
[INFO] [stderr]    Compiling hmac v0.12.1
[INFO] [stderr]    Compiling ed25519 v2.2.3
[INFO] [stderr]    Compiling quick-protobuf v0.8.1
[INFO] [stderr]    Compiling rustc_version v0.4.1
[INFO] [stderr]    Compiling zeroize v1.8.1
[INFO] [stderr]    Compiling core2 v0.4.0
[INFO] [stderr]    Compiling mio v1.0.3
[INFO] [stderr]    Compiling signal-hook-registry v1.4.2
[INFO] [stderr]    Compiling data-encoding-macro-internal v0.1.15
[INFO] [stderr]    Compiling futures-util v0.3.31
[INFO] [stderr]    Compiling socket2 v0.5.8
[INFO] [stderr]    Compiling curve25519-dalek v4.1.3
[INFO] [stderr]    Compiling tokio-macros v2.5.0
[INFO] [stderr]    Compiling multihash v0.19.3
[INFO] [stderr]    Compiling hkdf v0.12.4
[INFO] [stderr]    Compiling base-x v0.2.11
[INFO] [stderr]    Compiling idna_adapter v1.2.0
[INFO] [stderr]    Compiling data-encoding-macro v0.1.17
[INFO] [stderr]    Compiling bs58 v0.5.1
[INFO] [stderr]    Compiling web-time v1.1.0
[INFO] [stderr]    Compiling multibase v0.9.1
[INFO] [stderr]    Compiling unsigned-varint v0.7.2
[INFO] [stderr]    Compiling futures-timer v3.0.3
[INFO] [stderr]    Compiling idna v1.0.3
[INFO] [stderr]    Compiling cc v1.2.14
[INFO] [stderr]    Compiling getrandom v0.3.1
[INFO] [stderr]    Compiling anyhow v1.0.95
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling zerocopy v0.8.18
[INFO] [stderr]    Compiling foldhash v0.1.4
[INFO] [stderr]    Compiling libp2p-swarm-derive v0.35.0
[INFO] [stderr]    Compiling tinyvec v1.8.1
[INFO] [stderr]    Compiling tokio v1.43.0
[INFO] [stderr]    Compiling nix v0.26.4
[INFO] [stderr]    Compiling hashbrown v0.15.2
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling enum-as-inner v0.6.1
[INFO] [stderr]    Compiling url v2.5.4
[INFO] [stderr]    Compiling pin-project v1.1.9
[INFO] [stderr]    Compiling moka v0.12.10
[INFO] [stderr]    Compiling crunchy v0.2.3
[INFO] [stderr]    Compiling match_cfg v0.1.0
[INFO] [stderr]    Compiling rustls-pki-types v1.11.0
[INFO] [stderr]    Compiling rustls v0.23.23
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling httparse v1.10.0
[INFO] [stderr]    Compiling event-listener v5.4.0
[INFO] [stderr]    Compiling netlink-packet-utils v0.5.2
[INFO] [stderr]    Compiling hostname v0.3.1
[INFO] [stderr]    Compiling regex-automata v0.4.9
[INFO] [stderr]    Compiling lru v0.12.5
[INFO] [stderr]    Compiling uuid v1.13.2
[INFO] [stderr]    Compiling ahash v0.8.11
[INFO] [stderr]    Compiling netlink-packet-core v0.7.0
[INFO] [stderr]    Compiling crossbeam-channel v0.5.14
[INFO] [stderr]    Compiling snow v0.9.6
[INFO] [stderr]    Compiling ed25519-dalek v2.1.1
[INFO] [stderr]    Compiling object v0.36.7
[INFO] [stderr]    Compiling prometheus-client v0.22.3
[INFO] [stderr]    Compiling tagptr v0.2.0
[INFO] [stderr]    Compiling libp2p-identity v0.2.10
[INFO] [stderr]    Compiling netlink-packet-route v0.17.1
[INFO] [stderr]    Compiling parking_lot_core v0.8.6
[INFO] [stderr]    Compiling resolv-conf v0.7.0
[INFO] [stderr]    Compiling anstyle-parse v0.2.6
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling ring v0.17.10
[INFO] [stderr]    Compiling event-listener-strategy v0.5.3
[INFO] [stderr]    Compiling multiaddr v0.18.2
[INFO] [stderr]    Compiling sha1 v0.10.6
[INFO] [stderr]    Compiling instant v0.1.13
[INFO] [stderr]    Compiling prometheus-client-derive-encode v0.4.2
[INFO] [stderr]    Compiling colorchoice v1.0.3
[INFO] [stderr]    Compiling hex v0.4.3
[INFO] [stderr]    Compiling regex-syntax v0.6.29
[INFO] [stderr]    Compiling anstyle-query v1.1.2
[INFO] [stderr]    Compiling gimli v0.31.1
[INFO] [stderr]    Compiling dtoa v1.0.9
[INFO] [stderr]    Compiling anstyle v1.0.10
[INFO] [stderr]    Compiling gcc v0.3.55
[INFO] [stderr]    Compiling uint v0.10.0
[INFO] [stderr]    Compiling miniz_oxide v0.8.4
[INFO] [stderr]    Compiling anstream v0.6.18
[INFO] [stderr]    Compiling hashlink v0.9.1
[INFO] [stderr]    Compiling rand_core v0.9.1
[INFO] [stderr]    Compiling async-channel v2.3.1
[INFO] [stderr]    Compiling x25519-dalek v2.0.1
[INFO] [stderr]    Compiling rust-crypto v0.2.36
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling cbor4ii v0.3.3
[INFO] [stderr]    Compiling rand v0.4.6
[INFO] [stderr]    Compiling clap_lex v0.7.4
[INFO] [stderr]    Compiling serde_json v1.0.139
[INFO] [stderr]    Compiling hex_fmt v0.3.0
[INFO] [stderr]    Compiling rustc-demangle v0.1.24
[INFO] [stderr]    Compiling clap_builder v4.5.30
[INFO] [stderr]    Compiling parking_lot v0.11.2
[INFO] [stderr]    Compiling rand v0.9.0
[INFO] [stderr]    Compiling futures-executor v0.3.31
[INFO] [stderr]    Compiling asynchronous-codec v0.7.0
[INFO] [stderr]    Compiling regex v1.11.1
[INFO] [stderr]    Compiling futures v0.3.31
[INFO] [stderr]    Compiling quick-protobuf-codec v0.3.1
[INFO] [stderr]    Compiling rw-stream-sink v0.4.0
[INFO] [stderr]    Compiling multistream-select v0.13.0
[INFO] [stderr]    Compiling futures-bounded v0.2.4
[INFO] [stderr]    Compiling yamux v0.13.4
[INFO] [stderr]    Compiling libp2p-core v0.43.0
[INFO] [stderr]    Compiling synstructure v0.12.6
[INFO] [stderr]    Compiling soketto v0.8.1
[INFO] [stderr]    Compiling yamux v0.12.1
[INFO] [stderr]    Compiling regex-automata v0.1.10
[INFO] [stderr]    Compiling rand v0.3.23
[INFO] [stderr]    Compiling clap_derive v4.5.28
[INFO] [stderr]    Compiling tracing-log v0.2.0
[INFO] [stderr]    Compiling thread_local v1.1.8
[INFO] [stderr] error: could not compile `tokio` (lib)
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/beta-2026-04-21-x86_64-unknown-linux-gnu/bin/rustc --crate-name tokio --edition=2021 /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/tokio-1.43.0/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata,link -C embed-bitcode=no -C debuginfo=2 --cfg 'feature="bytes"' --cfg 'feature="default"' --cfg 'feature="fs"' --cfg 'feature="full"' --cfg 'feature="io-std"' --cfg 'feature="io-util"' --cfg 'feature="libc"' --cfg 'feature="macros"' --cfg 'feature="mio"' --cfg 'feature="net"' --cfg 'feature="parking_lot"' --cfg 'feature="process"' --cfg 'feature="rt"' --cfg 'feature="rt-multi-thread"' --cfg 'feature="signal"' --cfg 'feature="signal-hook-registry"' --cfg 'feature="socket2"' --cfg 'feature="sync"' --cfg 'feature="time"' --cfg 'feature="tokio-macros"' --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values("bytes", "default", "fs", "full", "io-std", "io-util", "libc", "macros", "mio", "net", "parking_lot", "process", "rt", "rt-multi-thread", "signal", "signal-hook-registry", "socket2", "sync", "test-util", "time", "tokio-macros", "tracing", "windows-sys"))' -C metadata=4cd211c7a68a2ff4 -C extra-filename=-571e6067ff0879b1 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern bytes=/opt/rustwide/target/debug/deps/libbytes-eeaabc505c9c2761.rmeta --extern libc=/opt/rustwide/target/debug/deps/liblibc-9274476c7312a88d.rmeta --extern mio=/opt/rustwide/target/debug/deps/libmio-aa87db3dea05c2f4.rmeta --extern parking_lot=/opt/rustwide/target/debug/deps/libparking_lot-b5db31a86506db29.rmeta --extern pin_project_lite=/opt/rustwide/target/debug/deps/libpin_project_lite-63e0d9d6cb6ec6cf.rmeta --extern signal_hook_registry=/opt/rustwide/target/debug/deps/libsignal_hook_registry-8aa12ffd9ce24a88.rmeta --extern socket2=/opt/rustwide/target/debug/deps/libsocket2-c8a468bf1e596490.rmeta --extern tokio_macros=/opt/rustwide/target/debug/deps/libtokio_macros-f9749775e24cd2d0.so --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" "d2a22db7d405249df9318ed5c44da8d0c53a6826e4b305a27ae020a29d0ca915", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d2a22db7d405249df9318ed5c44da8d0c53a6826e4b305a27ae020a29d0ca915", kill_on_drop: false }`
[INFO] [stdout] d2a22db7d405249df9318ed5c44da8d0c53a6826e4b305a27ae020a29d0ca915