[INFO] fetching crate isla-axiomatic 0.2.0...
[INFO] checking isla-axiomatic-0.2.0 against master#38352b01ae4af9300be03b805d6db68c45e51068 for pr-129864
[INFO] extracting crate isla-axiomatic 0.2.0 into /workspace/builds/worker-4-tc1/source
[INFO] validating manifest of crates.io crate isla-axiomatic 0.2.0 on toolchain 38352b01ae4af9300be03b805d6db68c45e51068
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+38352b01ae4af9300be03b805d6db68c45e51068" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate isla-axiomatic 0.2.0
[INFO] finished tweaking crates.io crate isla-axiomatic 0.2.0
[INFO] tweaked toml for crates.io crate isla-axiomatic 0.2.0 written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+38352b01ae4af9300be03b805d6db68c45e51068" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 105 packages to latest compatible versions
[INFO] [stderr]       Adding bit-set v0.5.3 (available: v0.8.0)
[INFO] [stderr]       Adding bit-vec v0.6.3 (available: v0.8.0)
[INFO] [stderr]       Adding block-buffer v0.7.3 (available: v0.10.4)
[INFO] [stderr]       Adding block-padding v0.1.5 (available: v0.3.3)
[INFO] [stderr]       Adding cfg-if v0.1.10 (available: v1.0.0)
[INFO] [stderr]       Adding crossbeam v0.7.3 (available: v0.8.4)
[INFO] [stderr]       Adding crossbeam-channel v0.4.4 (available: v0.5.13)
[INFO] [stderr]       Adding crossbeam-deque v0.7.4 (available: v0.8.5)
[INFO] [stderr]       Adding crossbeam-epoch v0.8.2 (available: v0.9.18)
[INFO] [stderr]       Adding crossbeam-queue v0.2.3 (available: v0.3.11)
[INFO] [stderr]       Adding crossbeam-utils v0.7.2 (available: v0.8.20)
[INFO] [stderr]       Adding digest v0.8.1 (available: v0.10.7)
[INFO] [stderr]       Adding fixedbitset v0.2.0 (available: v0.5.7)
[INFO] [stderr]       Adding fixedbitset v0.4.2 (available: v0.5.7)
[INFO] [stderr]       Adding generic-array v0.12.4 (available: v1.1.0)
[INFO] [stderr]       Adding goblin v0.2.3 (available: v0.8.2)
[INFO] [stderr]       Adding hashbrown v0.12.3 (available: v0.14.5)
[INFO] [stderr]       Adding indexmap v1.9.3 (available: v2.5.0)
[INFO] [stderr]       Adding itertools v0.10.5 (available: v0.13.0)
[INFO] [stderr]       Adding lalrpop v0.19.12 (available: v0.21.0)
[INFO] [stderr]       Adding lalrpop-util v0.19.12 (available: v0.21.0)
[INFO] [stderr]       Adding memoffset v0.5.6 (available: v0.9.1)
[INFO] [stderr]       Adding opaque-debug v0.2.3 (available: v0.3.1)
[INFO] [stderr]       Adding petgraph v0.5.1 (available: v0.6.5)
[INFO] [stderr]       Adding phf_shared v0.10.0 (available: v0.11.2)
[INFO] [stderr]       Adding regex-syntax v0.6.29 (available: v0.8.4)
[INFO] [stderr]       Adding scroll v0.10.2 (available: v0.12.0)
[INFO] [stderr]       Adding scroll_derive v0.10.5 (available: v0.12.0)
[INFO] [stderr]       Adding sha2 v0.8.2 (available: v0.10.8)
[INFO] [stderr]       Adding siphasher v0.3.11 (available: v1.0.1)
[INFO] [stderr]       Adding syn v1.0.109 (available: v2.0.77)
[INFO] [stderr]       Adding term v0.7.0 (available: v1.0.0)
[INFO] [stderr]       Adding toml v0.5.11 (available: v0.8.19)
[INFO] [stderr]       Adding wasi v0.11.0+wasi-snapshot-preview1 (available: v0.13.2+wasi-0.2.1)
[INFO] [stderr]       Adding windows-sys v0.52.0 (available: v0.59.0)
[INFO] [stderr]       Adding z3-sys v0.5.0 (available: v0.8.1)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+38352b01ae4af9300be03b805d6db68c45e51068" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded z3-sys v0.5.0
[INFO] [stderr]   Downloaded isla-lib v0.2.0
[INFO] [stderr]   Downloaded isla-cat v0.2.0
[INFO] [stderr]   Downloaded crossbeam-channel v0.4.4
[INFO] [stderr]   Downloaded crossbeam v0.7.3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+38352b01ae4af9300be03b805d6db68c45e51068" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 8ee511bb0b094e77e0f802dfc6657c8f7462b216a1fe9b0b56ee1071ce2ea796
[INFO] running `Command { std: "docker" "start" "-a" "8ee511bb0b094e77e0f802dfc6657c8f7462b216a1fe9b0b56ee1071ce2ea796", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "8ee511bb0b094e77e0f802dfc6657c8f7462b216a1fe9b0b56ee1071ce2ea796", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8ee511bb0b094e77e0f802dfc6657c8f7462b216a1fe9b0b56ee1071ce2ea796", kill_on_drop: false }`
[INFO] [stdout] 8ee511bb0b094e77e0f802dfc6657c8f7462b216a1fe9b0b56ee1071ce2ea796
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+38352b01ae4af9300be03b805d6db68c45e51068" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c6524e2ce86380dae4b6e2b2df3006efbeb0649d38d1b4258142d20ff61262b1
[INFO] running `Command { std: "docker" "start" "-a" "c6524e2ce86380dae4b6e2b2df3006efbeb0649d38d1b4258142d20ff61262b1", kill_on_drop: false }`
[INFO] [stderr]    Compiling regex-syntax v0.6.29
[INFO] [stderr]    Compiling regex-automata v0.4.7
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling diff v0.1.13
[INFO] [stderr]    Compiling crossbeam-utils v0.7.2
[INFO] [stderr]    Compiling maybe-uninit v2.0.0
[INFO] [stderr]    Compiling is-terminal v0.4.13
[INFO] [stderr]    Compiling memoffset v0.5.6
[INFO] [stderr]    Compiling crossbeam-epoch v0.8.2
[INFO] [stderr]     Checking aho-corasick v1.1.3
[INFO] [stderr]     Checking generic-array v0.12.4
[INFO] [stderr]     Checking byte-tools v0.3.1
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling indexmap v1.9.3
[INFO] [stderr]     Checking serde v1.0.210
[INFO] [stderr]     Checking opaque-debug v0.2.3
[INFO] [stderr]     Checking fake-simd v0.1.2
[INFO] [stderr]     Checking fixedbitset v0.2.0
[INFO] [stderr]     Checking block-padding v0.1.5
[INFO] [stderr]     Checking z3-sys v0.5.0
[INFO] [stderr]     Checking plain v0.2.3
[INFO] [stderr]     Checking digest v0.8.1
[INFO] [stderr]     Checking block-buffer v0.7.3
[INFO] [stderr]     Checking sha2 v0.8.2
[INFO] [stderr]     Checking petgraph v0.5.1
[INFO] [stderr]     Checking crossbeam-channel v0.4.4
[INFO] [stderr]     Checking crossbeam-queue v0.2.3
[INFO] [stderr]     Checking crossbeam-deque v0.7.4
[INFO] [stderr]     Checking crossbeam v0.7.3
[INFO] [stderr]    Compiling scroll_derive v0.10.5
[INFO] [stderr]    Compiling regex v1.10.6
[INFO] [stderr]    Compiling lalrpop-util v0.19.12
[INFO] [stderr]     Checking bincode v1.3.3
[INFO] [stderr]     Checking toml v0.5.11
[INFO] [stderr]    Compiling lalrpop v0.19.12
[INFO] [stderr]     Checking scroll v0.10.2
[INFO] [stderr]     Checking goblin v0.2.3
[INFO] [stderr]    Compiling isla-lib v0.2.0
[INFO] [stderr]    Compiling isla-cat v0.2.0
[INFO] [stderr]    Compiling isla-axiomatic v0.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 22.72s
[INFO] running `Command { std: "docker" "inspect" "c6524e2ce86380dae4b6e2b2df3006efbeb0649d38d1b4258142d20ff61262b1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c6524e2ce86380dae4b6e2b2df3006efbeb0649d38d1b4258142d20ff61262b1", kill_on_drop: false }`
[INFO] [stdout] c6524e2ce86380dae4b6e2b2df3006efbeb0649d38d1b4258142d20ff61262b1