[INFO] fetching crate mv-prover-boogie-backend 0.1.4...
[INFO] checking mv-prover-boogie-backend-0.1.4 against master#43d9f3859e0204e764161ee085a360274b5f3e9a for pr-97346
[INFO] extracting crate mv-prover-boogie-backend 0.1.4 into /workspace/builds/worker-16/source
[INFO] validating manifest of crates.io crate mv-prover-boogie-backend 0.1.4 on toolchain 43d9f3859e0204e764161ee085a360274b5f3e9a
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+43d9f3859e0204e764161ee085a360274b5f3e9a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate mv-prover-boogie-backend 0.1.4
[INFO] finished tweaking crates.io crate mv-prover-boogie-backend 0.1.4
[INFO] tweaked toml for crates.io crate mv-prover-boogie-backend 0.1.4 written to /workspace/builds/worker-16/source/Cargo.toml
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+43d9f3859e0204e764161ee085a360274b5f3e9a" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+43d9f3859e0204e764161ee085a360274b5f3e9a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-16/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-16/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:ac0d0aa6ec8ed129e241004a6179c99fa0d2616f50ba759c5b60bd26d0fafa02" "/opt/rustwide/cargo-home/bin/cargo" "+43d9f3859e0204e764161ee085a360274b5f3e9a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] e93c8895fce568382a681ded6042dae43eaff4d8c284907836b4250f99ea7715
[INFO] running `Command { std: "docker" "start" "-a" "e93c8895fce568382a681ded6042dae43eaff4d8c284907836b4250f99ea7715", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e93c8895fce568382a681ded6042dae43eaff4d8c284907836b4250f99ea7715", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e93c8895fce568382a681ded6042dae43eaff4d8c284907836b4250f99ea7715", kill_on_drop: false }`
[INFO] [stdout] e93c8895fce568382a681ded6042dae43eaff4d8c284907836b4250f99ea7715
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-16/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-16/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" "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:ac0d0aa6ec8ed129e241004a6179c99fa0d2616f50ba759c5b60bd26d0fafa02" "/opt/rustwide/cargo-home/bin/cargo" "+43d9f3859e0204e764161ee085a360274b5f3e9a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 362bb9c85f8608b9f0fcbcf291ded0241c1e47a4ec8d7a16eae2998843543ee9
[INFO] running `Command { std: "docker" "start" "-a" "362bb9c85f8608b9f0fcbcf291ded0241c1e47a4ec8d7a16eae2998843543ee9", kill_on_drop: false }`
[INFO] [stderr]    Compiling version_check v0.9.4
[INFO] [stderr]    Compiling proc-macro2 v1.0.39
[INFO] [stderr]    Compiling unicode-ident v1.0.0
[INFO] [stderr]    Compiling syn v1.0.96
[INFO] [stderr]    Compiling autocfg v1.1.0
[INFO] [stderr]    Compiling libc v0.2.126
[INFO] [stderr]     Checking cfg-if v1.0.0
[INFO] [stderr]    Compiling serde_derive v1.0.137
[INFO] [stderr]     Checking once_cell v1.12.0
[INFO] [stderr]    Compiling serde v1.0.137
[INFO] [stderr]    Compiling typenum v1.15.0
[INFO] [stderr]     Checking ppv-lite86 v0.2.16
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]    Compiling anyhow v1.0.57
[INFO] [stderr]    Compiling ref-cast v1.0.7
[INFO] [stderr]     Checking hex v0.4.3
[INFO] [stderr]     Checking same-file v1.0.6
[INFO] [stderr]    Compiling log v0.4.17
[INFO] [stderr]     Checking block-padding v0.2.1
[INFO] [stderr]     Checking opaque-debug v0.3.0
[INFO] [stderr]     Checking cpufeatures v0.2.2
[INFO] [stderr]     Checking lazy_static v1.4.0
[INFO] [stderr]     Checking difference v2.0.0
[INFO] [stderr]     Checking regex-syntax v0.6.26
[INFO] [stderr]     Checking termcolor v1.1.3
[INFO] [stderr]    Compiling siphasher v0.3.10
[INFO] [stderr]     Checking hashbrown v0.11.2
[INFO] [stderr]    Compiling parking_lot_core v0.9.3
[INFO] [stderr]     Checking bitflags v1.3.2
[INFO] [stderr]     Checking unicode-width v0.1.9
[INFO] [stderr]     Checking fixedbitset v0.2.0
[INFO] [stderr]    Compiling Inflector v0.11.4
[INFO] [stderr]     Checking smallvec v1.8.0
[INFO] [stderr]     Checking os_str_bytes v6.1.0
[INFO] [stderr]     Checking scopeguard v1.1.0
[INFO] [stderr]    Compiling heck v0.4.0
[INFO] [stderr]    Compiling futures-core v0.3.21
[INFO] [stderr]     Checking stable_deref_trait v1.2.0
[INFO] [stderr]     Checking strsim v0.10.0
[INFO] [stderr]     Checking textwrap v0.15.0
[INFO] [stderr]    Compiling ucd-trie v0.1.3
[INFO] [stderr]     Checking keccak v0.1.2
[INFO] [stderr]     Checking remove_dir_all v0.5.3
[INFO] [stderr]     Checking fastrand v1.7.0
[INFO] [stderr]    Compiling futures-task v0.3.21
[INFO] [stderr]    Compiling futures-channel v0.3.21
[INFO] [stderr]    Compiling crossbeam-utils v0.8.8
[INFO] [stderr]     Checking mv-borrow-graph v0.1.5
[INFO] [stderr]     Checking unic-common v0.9.0
[INFO] [stderr]     Checking fnv v1.0.7
[INFO] [stderr]     Checking futures-sink v0.3.21
[INFO] [stderr]    Compiling maplit v1.0.2
[INFO] [stderr]     Checking pin-project-lite v0.2.9
[INFO] [stderr]    Compiling futures-util v0.3.21
[INFO] [stderr]     Checking unic-char-range v0.9.0
[INFO] [stderr]     Checking futures-io v0.3.21
[INFO] [stderr]    Compiling serde_json v1.0.81
[INFO] [stderr]     Checking pin-utils v0.1.0
[INFO] [stderr]     Checking either v1.6.1
[INFO] [stderr]     Checking slab v0.4.6
[INFO] [stderr]    Compiling async-trait v0.1.56
[INFO] [stderr]     Checking deunicode v0.4.3
[INFO] [stderr]     Checking itoa v1.0.2
[INFO] [stderr]     Checking ryu v1.0.10
[INFO] [stderr]     Checking arrayvec v0.5.2
[INFO] [stderr]     Checking percent-encoding v2.1.0
[INFO] [stderr]     Checking typed-arena v2.0.1
[INFO] [stderr]     Checking humansize v1.1.1
[INFO] [stderr]    Compiling paste v1.0.7
[INFO] [stderr]     Checking ethnum v1.2.1
[INFO] [stderr]     Checking bytes v1.1.0
[INFO] [stderr]     Checking unic-ucd-version v0.9.0
[INFO] [stderr]     Checking clap_lex v0.2.0
[INFO] [stderr]     Checking slug v0.1.4
[INFO] [stderr]     Checking unic-char-property v0.9.0
[INFO] [stderr]     Checking unic-ucd-segment v0.9.0
[INFO] [stderr]     Checking pest v2.1.3
[INFO] [stderr]     Checking itertools v0.10.3
[INFO] [stderr]     Checking walkdir v2.3.2
[INFO] [stderr]     Checking thread_local v1.1.4
[INFO] [stderr]     Checking pretty v0.10.0
[INFO] [stderr]    Compiling generic-array v0.14.5
[INFO] [stderr]    Compiling uncased v0.9.7
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling ahash v0.7.6
[INFO] [stderr]    Compiling im v15.1.0
[INFO] [stderr]    Compiling num-traits v0.2.15
[INFO] [stderr]    Compiling num-integer v0.1.45
[INFO] [stderr]    Compiling num-bigint v0.4.3
[INFO] [stderr]    Compiling indexmap v1.8.2
[INFO] [stderr]    Compiling lock_api v0.4.7
[INFO] [stderr]    Compiling num-iter v0.1.43
[INFO] [stderr]    Compiling num-rational v0.4.0
[INFO] [stderr]     Checking unic-segment v0.9.0
[INFO] [stderr]    Compiling getrandom v0.2.6
[INFO] [stderr]    Compiling rand_core v0.6.3
[INFO] [stderr]    Compiling quote v1.0.18
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling pest_meta v2.1.3
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking tempfile v3.3.0
[INFO] [stderr]     Checking num_cpus v1.13.1
[INFO] [stderr]     Checking mio v0.8.3
[INFO] [stderr]     Checking signal-hook-registry v1.4.0
[INFO] [stderr]     Checking socket2 v0.4.4
[INFO] [stderr]     Checking aho-corasick v0.7.18
[INFO] [stderr]     Checking bstr v0.2.17
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]     Checking phf_shared v0.10.0
[INFO] [stderr]     Checking colored v2.0.0
[INFO] [stderr]    Compiling regex v1.5.6
[INFO] [stderr]     Checking phf v0.10.1
[INFO] [stderr]     Checking rand_xoshiro v0.6.0
[INFO] [stderr]     Checking hashbrown v0.12.1
[INFO] [stderr]    Compiling parse-zoneinfo v0.3.0
[INFO] [stderr]    Compiling phf_generator v0.10.0
[INFO] [stderr]    Compiling phf_codegen v0.10.0
[INFO] [stderr]    Compiling pest_generator v2.1.3
[INFO] [stderr]     Checking bitmaps v2.1.0
[INFO] [stderr]    Compiling chrono-tz-build v0.0.2
[INFO] [stderr]     Checking parking_lot v0.12.1
[INFO] [stderr]     Checking dashmap v5.3.4
[INFO] [stderr]     Checking internment v0.5.6
[INFO] [stderr]     Checking petgraph v0.5.1
[INFO] [stderr]    Compiling chrono-tz v0.6.1
[INFO] [stderr]     Checking num-complex v0.4.1
[INFO] [stderr]     Checking block-buffer v0.9.0
[INFO] [stderr]     Checking digest v0.9.0
[INFO] [stderr]     Checking chrono v0.4.19
[INFO] [stderr]     Checking sha2 v0.9.9
[INFO] [stderr]     Checking sha3 v0.9.1
[INFO] [stderr]     Checking globset v0.4.9
[INFO] [stderr]     Checking ignore v0.4.18
[INFO] [stderr]     Checking sized-chunks v0.6.5
[INFO] [stderr]     Checking globwalk v0.8.1
[INFO] [stderr]    Compiling thiserror-impl v1.0.31
[INFO] [stderr]    Compiling ref-cast-impl v1.0.7
[INFO] [stderr]    Compiling variant_count v1.1.0
[INFO] [stderr]    Compiling ouroboros_macro v0.9.5
[INFO] [stderr]    Compiling clap_derive v3.1.18
[INFO] [stderr]    Compiling futures-macro v0.3.21
[INFO] [stderr]    Compiling pest_derive v2.1.0
[INFO] [stderr]    Compiling tokio-macros v1.8.0
[INFO] [stderr]     Checking num v0.4.0
[INFO] [stderr] error: could not compile `serde_derive`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustc --crate-name serde_derive /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/serde_derive-1.0.137/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type proc-macro --emit=dep-info,link -C prefer-dynamic -C embed-bitcode=no -C debuginfo=2 --cfg 'feature="default"' -C metadata=19b16e27ee8a6a20 -C extra-filename=-19b16e27ee8a6a20 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern proc_macro2=/opt/rustwide/target/debug/deps/libproc_macro2-8cb96000c96f9250.rlib --extern quote=/opt/rustwide/target/debug/deps/libquote-6531c3c818581e12.rlib --extern syn=/opt/rustwide/target/debug/deps/libsyn-e7f275b4dddd2c18.rlib --extern proc_macro --cap-lints allow --cap-lints=forbid --cfg underscore_consts --cfg ptr_addr_of` (signal: 9, SIGKILL: kill)
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not compile `chrono-tz`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustc --crate-name chrono_tz /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/chrono-tz-0.6.1/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata -C embed-bitcode=no -C debuginfo=2 --cfg 'feature="default"' --cfg 'feature="std"' -C metadata=e9d0716aad67db78 -C extra-filename=-e9d0716aad67db78 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern chrono=/opt/rustwide/target/debug/deps/libchrono-399dae5075610aca.rmeta --extern phf=/opt/rustwide/target/debug/deps/libphf-1fc203ca4efd95f5.rmeta --cap-lints allow --cap-lints=forbid` (signal: 9, SIGKILL: kill)
[INFO] running `Command { std: "docker" "inspect" "362bb9c85f8608b9f0fcbcf291ded0241c1e47a4ec8d7a16eae2998843543ee9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "362bb9c85f8608b9f0fcbcf291ded0241c1e47a4ec8d7a16eae2998843543ee9", kill_on_drop: false }`
[INFO] [stdout] 362bb9c85f8608b9f0fcbcf291ded0241c1e47a4ec8d7a16eae2998843543ee9