[INFO] cloning repository https://github.com/de-mo/rust_verifier [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/de-mo/rust_verifier" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fde-mo%2Frust_verifier", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fde-mo%2Frust_verifier'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] a7c1d2b2a6950c2e631026bff8c67e6e909f10ca [INFO] checking de-mo/rust_verifier against master#385fa9d845dd326c6bbfd58c22244215e431948a for absurd-question-mark-desugar [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fde-mo%2Frust_verifier" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/de-mo/rust_verifier on toolchain 385fa9d845dd326c6bbfd58c22244215e431948a [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/de-mo/rust_verifier [INFO] finished tweaking git repo https://github.com/de-mo/rust_verifier [INFO] tweaked toml for git repo https://github.com/de-mo/rust_verifier written to /workspace/builds/worker-6-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/de-mo/rust_verifier 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" "+385fa9d845dd326c6bbfd58c22244215e431948a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded enum-kinds v0.5.1 [INFO] [stderr] Downloaded roxmltree v0.19.0 [INFO] [stderr] Downloaded az v1.2.1 [INFO] [stderr] Downloaded rug-miller-rabin v0.1.0 [INFO] [stderr] Downloaded rug v1.24.0 [INFO] [stderr] Downloaded rust_ev_crypto_primitives v0.5.2 [INFO] [stderr] Downloaded gmp-mpfr-sys v1.6.2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 86a3afc384e75e85ffbc809d42351a1f50d94f9c905f484cabdff0319987d740 [INFO] running `Command { std: "docker" "start" "-a" "86a3afc384e75e85ffbc809d42351a1f50d94f9c905f484cabdff0319987d740", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "86a3afc384e75e85ffbc809d42351a1f50d94f9c905f484cabdff0319987d740", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "86a3afc384e75e85ffbc809d42351a1f50d94f9c905f484cabdff0319987d740", kill_on_drop: false }` [INFO] [stdout] 86a3afc384e75e85ffbc809d42351a1f50d94f9c905f484cabdff0319987d740 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] d5ff9dc1d31c309b27e787d81a2022ad095c9bf67d9dab0ab66264ed5475a21c [INFO] running `Command { std: "docker" "start" "-a" "d5ff9dc1d31c309b27e787d81a2022ad095c9bf67d9dab0ab66264ed5475a21c", kill_on_drop: false }` [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling crossbeam-utils v0.8.19 [INFO] [stderr] Compiling serde v1.0.197 [INFO] [stderr] Compiling num-traits v0.2.18 [INFO] [stderr] Compiling pkg-config v0.3.30 [INFO] [stderr] Compiling syn v2.0.57 [INFO] [stderr] Checking getrandom v0.2.12 [INFO] [stderr] Compiling gmp-mpfr-sys v1.6.2 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Compiling az v1.2.1 [INFO] [stderr] Compiling rayon-core v1.12.1 [INFO] [stderr] Compiling libm v0.2.8 [INFO] [stderr] Compiling openssl-sys v0.9.102 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling lock_api v0.4.11 [INFO] [stderr] Compiling rug v1.24.0 [INFO] [stderr] Checking crossbeam-deque v0.8.5 [INFO] [stderr] Compiling parking_lot_core v0.9.9 [INFO] [stderr] Compiling anyhow v1.0.81 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling unicode-segmentation v1.11.0 [INFO] [stderr] Checking either v1.10.0 [INFO] [stderr] Checking ryu v1.0.17 [INFO] [stderr] Checking smallvec v1.13.2 [INFO] [stderr] Compiling serde_json v1.0.115 [INFO] [stderr] Checking destructure_traitobject v0.2.0 [INFO] [stderr] Checking iana-time-zone v0.1.60 [INFO] [stderr] Compiling openssl v0.10.64 [INFO] [stderr] Checking chrono v0.4.37 [INFO] [stderr] Checking unsafe-any-ors v1.0.0 [INFO] [stderr] Checking rayon v1.10.0 [INFO] [stderr] Compiling heck v0.3.3 [INFO] [stderr] Checking textwrap v0.11.0 [INFO] [stderr] Checking ordered-float v2.10.1 [INFO] [stderr] Checking aho-corasick v1.1.3 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Compiling num-bigint v0.4.4 [INFO] [stderr] Checking bitflags v2.5.0 [INFO] [stderr] Checking regex-syntax v0.8.3 [INFO] [stderr] Checking vec_map v0.8.2 [INFO] [stderr] Checking unsafe-libyaml v0.2.11 [INFO] [stderr] Checking clap v2.34.0 [INFO] [stderr] Checking parking_lot v0.12.1 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Checking typemap-ors v1.0.0 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking thread-id v4.2.1 [INFO] [stderr] Checking data-encoding v2.5.0 [INFO] [stderr] Checking arc-swap v1.7.1 [INFO] [stderr] Checking log-mdc v0.1.0 [INFO] [stderr] Checking roxmltree v0.19.0 [INFO] [stderr] Compiling serde_derive v1.0.197 [INFO] [stderr] Compiling thiserror-impl v1.0.58 [INFO] [stderr] Compiling openssl-macros v0.1.1 [INFO] [stderr] Checking regex-automata v0.4.6 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Compiling structopt-derive v0.4.18 [INFO] [stderr] Compiling enum-kinds v0.5.1 [INFO] [stderr] Checking thiserror v1.0.58 [INFO] [stderr] Checking structopt v0.3.26 [INFO] [stderr] Checking regex v1.10.4 [INFO] [stderr] Checking serde-value v0.7.0 [INFO] [stderr] Checking serde_yaml v0.9.34+deprecated [INFO] [stderr] Checking log v0.4.21 [INFO] [stderr] Checking quick-xml v0.31.0 [INFO] [stderr] Checking log4rs v1.3.0 [ERROR] error running command: no output for 300 seconds [INFO] running `Command { std: "docker" "inspect" "d5ff9dc1d31c309b27e787d81a2022ad095c9bf67d9dab0ab66264ed5475a21c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d5ff9dc1d31c309b27e787d81a2022ad095c9bf67d9dab0ab66264ed5475a21c", kill_on_drop: false }` [INFO] [stdout] d5ff9dc1d31c309b27e787d81a2022ad095c9bf67d9dab0ab66264ed5475a21c [INFO] checking de-mo/rust_verifier against try#645bb72776a6a56a1a8f52631a44bd082b2ba509 for absurd-question-mark-desugar [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fde-mo%2Frust_verifier" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/de-mo/rust_verifier on toolchain 645bb72776a6a56a1a8f52631a44bd082b2ba509 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+645bb72776a6a56a1a8f52631a44bd082b2ba509" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/de-mo/rust_verifier [INFO] finished tweaking git repo https://github.com/de-mo/rust_verifier [INFO] tweaked toml for git repo https://github.com/de-mo/rust_verifier written to /workspace/builds/worker-6-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/de-mo/rust_verifier 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" "+645bb72776a6a56a1a8f52631a44bd082b2ba509" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+645bb72776a6a56a1a8f52631a44bd082b2ba509" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] b6ef57cdc48b3bf68836d8c4b0e634c18c74f499e1c7734c0a0e1b340fffbfc4 [INFO] running `Command { std: "docker" "start" "-a" "b6ef57cdc48b3bf68836d8c4b0e634c18c74f499e1c7734c0a0e1b340fffbfc4", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "b6ef57cdc48b3bf68836d8c4b0e634c18c74f499e1c7734c0a0e1b340fffbfc4", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b6ef57cdc48b3bf68836d8c4b0e634c18c74f499e1c7734c0a0e1b340fffbfc4", kill_on_drop: false }` [INFO] [stdout] b6ef57cdc48b3bf68836d8c4b0e634c18c74f499e1c7734c0a0e1b340fffbfc4 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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=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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+645bb72776a6a56a1a8f52631a44bd082b2ba509" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 123c693c19015c30ce576bd5ecf51c9f23c639e4c4afb83259c84b804f4a66f3 [INFO] running `Command { std: "docker" "start" "-a" "123c693c19015c30ce576bd5ecf51c9f23c639e4c4afb83259c84b804f4a66f3", kill_on_drop: false }` [INFO] [stderr] Compiling syn v2.0.57 [INFO] [stderr] Compiling num-traits v0.2.18 [INFO] [stderr] Compiling crossbeam-utils v0.8.19 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling serde v1.0.197 [INFO] [stderr] Checking getrandom v0.2.12 [INFO] [stderr] Compiling pkg-config v0.3.30 [INFO] [stderr] Compiling gmp-mpfr-sys v1.6.2 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Compiling az v1.2.1 [INFO] [stderr] Compiling rayon-core v1.12.1 [INFO] [stderr] Compiling libm v0.2.8 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Compiling openssl-sys v0.9.102 [INFO] [stderr] Compiling lock_api v0.4.11 [INFO] [stderr] Checking crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling parking_lot_core v0.9.9 [INFO] [stderr] Checking crossbeam-deque v0.8.5 [INFO] [stderr] Compiling rug v1.24.0 [INFO] [stderr] Compiling anyhow v1.0.81 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling openssl v0.10.64 [INFO] [stderr] Checking iana-time-zone v0.1.60 [INFO] [stderr] Checking smallvec v1.13.2 [INFO] [stderr] Checking destructure_traitobject v0.2.0 [INFO] [stderr] Compiling unicode-segmentation v1.11.0 [INFO] [stderr] Checking ryu v1.0.17 [INFO] [stderr] Checking either v1.10.0 [INFO] [stderr] Compiling serde_json v1.0.115 [INFO] [stderr] Compiling heck v0.3.3 [INFO] [stderr] Checking rayon v1.10.0 [INFO] [stderr] Checking unsafe-any-ors v1.0.0 [INFO] [stderr] Checking chrono v0.4.37 [INFO] [stderr] Checking textwrap v0.11.0 [INFO] [stderr] Checking ordered-float v2.10.1 [INFO] [stderr] Checking aho-corasick v1.1.3 [INFO] [stderr] Compiling num-bigint v0.4.4 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking bitflags v2.5.0 [INFO] [stderr] Checking vec_map v0.8.2 [INFO] [stderr] Checking unsafe-libyaml v0.2.11 [INFO] [stderr] Checking ansi_term v0.12.1 [INFO] [stderr] Checking regex-syntax v0.8.3 [INFO] [stderr] Checking clap v2.34.0 [INFO] [stderr] Checking parking_lot v0.12.1 [INFO] [stderr] Checking typemap-ors v1.0.0 [INFO] [stderr] Checking num-integer v0.1.46 [INFO] [stderr] Checking thread-id v4.2.1 [INFO] [stderr] Checking log-mdc v0.1.0 [INFO] [stderr] Checking arc-swap v1.7.1 [INFO] [stderr] Checking data-encoding v2.5.0 [INFO] [stderr] Checking roxmltree v0.19.0 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Compiling serde_derive v1.0.197 [INFO] [stderr] Compiling thiserror-impl v1.0.58 [INFO] [stderr] Compiling openssl-macros v0.1.1 [INFO] [stderr] Checking regex-automata v0.4.6 [INFO] [stderr] Compiling structopt-derive v0.4.18 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Compiling enum-kinds v0.5.1 [INFO] [stderr] Checking thiserror v1.0.58 [INFO] [stderr] Checking structopt v0.3.26 [INFO] [stderr] Checking regex v1.10.4 [INFO] [stderr] Checking log v0.4.21 [INFO] [stderr] Checking serde_yaml v0.9.34+deprecated [INFO] [stderr] Checking serde-value v0.7.0 [INFO] [stderr] Checking quick-xml v0.31.0 [INFO] [stderr] Checking log4rs v1.3.0 [ERROR] error running command: no output for 300 seconds [INFO] running `Command { std: "docker" "inspect" "123c693c19015c30ce576bd5ecf51c9f23c639e4c4afb83259c84b804f4a66f3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "123c693c19015c30ce576bd5ecf51c9f23c639e4c4afb83259c84b804f4a66f3", kill_on_drop: false }` [INFO] [stdout] 123c693c19015c30ce576bd5ecf51c9f23c639e4c4afb83259c84b804f4a66f3