[INFO] fetching crate isla-axiomatic 0.2.0...
[INFO] checking isla-axiomatic-0.2.0 against master#22572d0994593197593e2a1b7b18d720a9a349a7 for pr-126452-1
[INFO] extracting crate isla-axiomatic 0.2.0 into /workspace/builds/worker-3-tc1/source
[INFO] validating manifest of crates.io crate isla-axiomatic 0.2.0 on toolchain 22572d0994593197593e2a1b7b18d720a9a349a7
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+22572d0994593197593e2a1b7b18d720a9a349a7" "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-3-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+22572d0994593197593e2a1b7b18d720a9a349a7" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 106 packages to latest compatible versions
[INFO] [stderr]       Adding bit-set v0.5.3 (latest: v0.8.0)
[INFO] [stderr]       Adding bit-vec v0.6.3 (latest: v0.8.0)
[INFO] [stderr]       Adding block-buffer v0.7.3 (latest: v0.10.4)
[INFO] [stderr]       Adding block-padding v0.1.5 (latest: v0.3.3)
[INFO] [stderr]       Adding cfg-if v0.1.10 (latest: v1.0.0)
[INFO] [stderr]       Adding crossbeam v0.7.3 (latest: v0.8.4)
[INFO] [stderr]       Adding crossbeam-channel v0.4.4 (latest: v0.5.13)
[INFO] [stderr]       Adding crossbeam-deque v0.7.4 (latest: v0.8.5)
[INFO] [stderr]       Adding crossbeam-epoch v0.8.2 (latest: v0.9.18)
[INFO] [stderr]       Adding crossbeam-queue v0.2.3 (latest: v0.3.11)
[INFO] [stderr]       Adding crossbeam-utils v0.7.2 (latest: v0.8.20)
[INFO] [stderr]       Adding digest v0.8.1 (latest: v0.10.7)
[INFO] [stderr]       Adding fixedbitset v0.2.0 (latest: v0.5.7)
[INFO] [stderr]       Adding fixedbitset v0.4.2 (latest: v0.5.7)
[INFO] [stderr]       Adding generic-array v0.12.4 (latest: v1.1.0)
[INFO] [stderr]       Adding goblin v0.2.3 (latest: v0.8.2)
[INFO] [stderr]       Adding hashbrown v0.12.3 (latest: v0.14.5)
[INFO] [stderr]       Adding indexmap v1.9.3 (latest: v2.5.0)
[INFO] [stderr]       Adding itertools v0.10.5 (latest: v0.13.0)
[INFO] [stderr]       Adding lalrpop v0.19.12 (latest: v0.21.0)
[INFO] [stderr]       Adding lalrpop-util v0.19.12 (latest: v0.21.0)
[INFO] [stderr]       Adding memoffset v0.5.6 (latest: v0.9.1)
[INFO] [stderr]       Adding opaque-debug v0.2.3 (latest: v0.3.1)
[INFO] [stderr]       Adding petgraph v0.5.1 (latest: v0.6.5)
[INFO] [stderr]       Adding phf_shared v0.10.0 (latest: v0.11.2)
[INFO] [stderr]       Adding regex-syntax v0.6.29 (latest: v0.8.4)
[INFO] [stderr]       Adding scroll v0.10.2 (latest: v0.12.0)
[INFO] [stderr]       Adding scroll_derive v0.10.5 (latest: v0.12.0)
[INFO] [stderr]       Adding sha2 v0.8.2 (latest: v0.10.8)
[INFO] [stderr]       Adding siphasher v0.3.11 (latest: v1.0.1)
[INFO] [stderr]       Adding syn v1.0.109 (latest: v2.0.77)
[INFO] [stderr]       Adding term v0.7.0 (latest: v1.0.0)
[INFO] [stderr]       Adding toml v0.5.11 (latest: v0.8.19)
[INFO] [stderr]       Adding wasi v0.11.0+wasi-snapshot-preview1 (latest: v0.13.2+wasi-0.2.1)
[INFO] [stderr]       Adding windows-sys v0.52.0 (latest: v0.59.0)
[INFO] [stderr]       Adding z3-sys v0.5.0 (latest: v0.8.1)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+22572d0994593197593e2a1b7b18d720a9a349a7" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded isla-lib v0.2.0
[INFO] [stderr]   Downloaded isla-cat v0.2.0
[INFO] [stderr]   Downloaded z3-sys v0.5.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+22572d0994593197593e2a1b7b18d720a9a349a7" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 6ad2e53a03b15e16c850325f6eeb2725f931c76b188fc6e9c58847f1a3401a0b
[INFO] running `Command { std: "docker" "start" "-a" "6ad2e53a03b15e16c850325f6eeb2725f931c76b188fc6e9c58847f1a3401a0b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "6ad2e53a03b15e16c850325f6eeb2725f931c76b188fc6e9c58847f1a3401a0b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6ad2e53a03b15e16c850325f6eeb2725f931c76b188fc6e9c58847f1a3401a0b", kill_on_drop: false }`
[INFO] [stdout] 6ad2e53a03b15e16c850325f6eeb2725f931c76b188fc6e9c58847f1a3401a0b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+22572d0994593197593e2a1b7b18d720a9a349a7" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 36e4d24e5e0aadeb4d4ab8b647f815e123e53f6d7c1a054620a9bda7ce33a814
[INFO] running `Command { std: "docker" "start" "-a" "36e4d24e5e0aadeb4d4ab8b647f815e123e53f6d7c1a054620a9bda7ce33a814", kill_on_drop: false }`
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling crunchy v0.2.2
[INFO] [stderr]    Compiling scopeguard v1.2.0
[INFO] [stderr]    Compiling smallvec v1.13.2
[INFO] [stderr]    Compiling regex-syntax v0.8.4
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling siphasher v0.3.11
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling equivalent v1.0.1
[INFO] [stderr]    Compiling once_cell v1.19.0
[INFO] [stderr]    Compiling lock_api v0.4.12
[INFO] [stderr]    Compiling parking_lot_core v0.9.10
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]    Compiling fixedbitset v0.4.2
[INFO] [stderr]    Compiling libc v0.2.158
[INFO] [stderr]    Compiling either v1.13.0
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]    Compiling log v0.4.22
[INFO] [stderr]    Compiling bit-vec v0.6.3
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.6
[INFO] [stderr]    Compiling unicode-xid v0.2.5
[INFO] [stderr]    Compiling ena v0.14.3
[INFO] [stderr]    Compiling regex-syntax v0.6.29
[INFO] [stderr]    Compiling diff v0.1.13
[INFO] [stderr]    Compiling crossbeam-utils v0.7.2
[INFO] [stderr]    Compiling phf_shared v0.10.0
[INFO] [stderr]    Compiling bit-set v0.5.3
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling memoffset v0.5.6
[INFO] [stderr]    Compiling crossbeam-epoch v0.8.2
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]     Checking regex-automata v0.4.7
[INFO] [stderr]    Compiling serde_derive v1.0.209
[INFO] [stderr]     Checking generic-array v0.12.4
[INFO] [stderr]     Checking byte-tools v0.3.1
[INFO] [stderr]     Checking fake-simd v0.1.2
[INFO] [stderr]     Checking opaque-debug v0.2.3
[INFO] [stderr]     Checking block-padding v0.1.5
[INFO] [stderr]     Checking fixedbitset v0.2.0
[INFO] [stderr]     Checking plain v0.2.3
[INFO] [stderr]     Checking z3-sys v0.5.0
[INFO] [stderr]     Checking petgraph v0.5.1
[INFO] [stderr]     Checking block-buffer v0.7.3
[INFO] [stderr]     Checking digest v0.8.1
[INFO] [stderr]     Checking crossbeam-queue v0.2.3
[INFO] [stderr]     Checking crossbeam-channel v0.4.4
[INFO] [stderr]     Checking sha2 v0.8.2
[INFO] [stderr]    Compiling dirs-sys-next v0.1.2
[INFO] [stderr]    Compiling is-terminal v0.4.13
[INFO] [stderr]    Compiling dirs-next v2.0.0
[INFO] [stderr]     Checking crossbeam-deque v0.7.4
[INFO] [stderr]    Compiling indexmap v2.5.0
[INFO] [stderr]    Compiling term v0.7.0
[INFO] [stderr]    Compiling parking_lot v0.12.3
[INFO] [stderr]     Checking crossbeam v0.7.3
[INFO] [stderr]    Compiling string_cache v0.8.7
[INFO] [stderr]    Compiling ascii-canvas v3.0.0
[INFO] [stderr]    Compiling petgraph v0.6.5
[INFO] [stderr]     Checking regex v1.10.6
[INFO] [stderr]    Compiling scroll_derive v0.10.5
[INFO] [stderr]     Checking lalrpop-util v0.19.12
[INFO] [stderr]     Checking scroll v0.10.2
[INFO] [stderr]     Checking serde v1.0.209
[INFO] [stderr]     Checking goblin v0.2.3
[INFO] [stderr]    Compiling lalrpop v0.19.12
[INFO] [stderr]     Checking bincode v1.3.3
[INFO] [stderr]     Checking toml v0.5.11
[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 31.14s
[INFO] running `Command { std: "docker" "inspect" "36e4d24e5e0aadeb4d4ab8b647f815e123e53f6d7c1a054620a9bda7ce33a814", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "36e4d24e5e0aadeb4d4ab8b647f815e123e53f6d7c1a054620a9bda7ce33a814", kill_on_drop: false }`
[INFO] [stdout] 36e4d24e5e0aadeb4d4ab8b647f815e123e53f6d7c1a054620a9bda7ce33a814
[INFO] checking isla-axiomatic-0.2.0 against try#6289438dbad80b1a0029c66dd3f6abf57c2c51be for pr-126452-1
[INFO] extracting crate isla-axiomatic 0.2.0 into /workspace/builds/worker-3-tc2/source
[INFO] validating manifest of crates.io crate isla-axiomatic 0.2.0 on toolchain 6289438dbad80b1a0029c66dd3f6abf57c2c51be
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+6289438dbad80b1a0029c66dd3f6abf57c2c51be" "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-3-tc2/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+6289438dbad80b1a0029c66dd3f6abf57c2c51be" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 106 packages to latest compatible versions
[INFO] [stderr]       Adding bit-set v0.5.3 (latest: v0.8.0)
[INFO] [stderr]       Adding bit-vec v0.6.3 (latest: v0.8.0)
[INFO] [stderr]       Adding block-buffer v0.7.3 (latest: v0.10.4)
[INFO] [stderr]       Adding block-padding v0.1.5 (latest: v0.3.3)
[INFO] [stderr]       Adding cfg-if v0.1.10 (latest: v1.0.0)
[INFO] [stderr]       Adding crossbeam v0.7.3 (latest: v0.8.4)
[INFO] [stderr]       Adding crossbeam-channel v0.4.4 (latest: v0.5.13)
[INFO] [stderr]       Adding crossbeam-deque v0.7.4 (latest: v0.8.5)
[INFO] [stderr]       Adding crossbeam-epoch v0.8.2 (latest: v0.9.18)
[INFO] [stderr]       Adding crossbeam-queue v0.2.3 (latest: v0.3.11)
[INFO] [stderr]       Adding crossbeam-utils v0.7.2 (latest: v0.8.20)
[INFO] [stderr]       Adding digest v0.8.1 (latest: v0.10.7)
[INFO] [stderr]       Adding fixedbitset v0.2.0 (latest: v0.5.7)
[INFO] [stderr]       Adding fixedbitset v0.4.2 (latest: v0.5.7)
[INFO] [stderr]       Adding generic-array v0.12.4 (latest: v1.1.0)
[INFO] [stderr]       Adding goblin v0.2.3 (latest: v0.8.2)
[INFO] [stderr]       Adding hashbrown v0.12.3 (latest: v0.14.5)
[INFO] [stderr]       Adding indexmap v1.9.3 (latest: v2.5.0)
[INFO] [stderr]       Adding itertools v0.10.5 (latest: v0.13.0)
[INFO] [stderr]       Adding lalrpop v0.19.12 (latest: v0.21.0)
[INFO] [stderr]       Adding lalrpop-util v0.19.12 (latest: v0.21.0)
[INFO] [stderr]       Adding memoffset v0.5.6 (latest: v0.9.1)
[INFO] [stderr]       Adding opaque-debug v0.2.3 (latest: v0.3.1)
[INFO] [stderr]       Adding petgraph v0.5.1 (latest: v0.6.5)
[INFO] [stderr]       Adding phf_shared v0.10.0 (latest: v0.11.2)
[INFO] [stderr]       Adding regex-syntax v0.6.29 (latest: v0.8.4)
[INFO] [stderr]       Adding scroll v0.10.2 (latest: v0.12.0)
[INFO] [stderr]       Adding scroll_derive v0.10.5 (latest: v0.12.0)
[INFO] [stderr]       Adding sha2 v0.8.2 (latest: v0.10.8)
[INFO] [stderr]       Adding siphasher v0.3.11 (latest: v1.0.1)
[INFO] [stderr]       Adding syn v1.0.109 (latest: v2.0.77)
[INFO] [stderr]       Adding term v0.7.0 (latest: v1.0.0)
[INFO] [stderr]       Adding toml v0.5.11 (latest: v0.8.19)
[INFO] [stderr]       Adding wasi v0.11.0+wasi-snapshot-preview1 (latest: v0.13.2+wasi-0.2.1)
[INFO] [stderr]       Adding windows-sys v0.52.0 (latest: v0.59.0)
[INFO] [stderr]       Adding z3-sys v0.5.0 (latest: v0.8.1)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+6289438dbad80b1a0029c66dd3f6abf57c2c51be" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+6289438dbad80b1a0029c66dd3f6abf57c2c51be" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 2537ae3e91091f524b6576f273427847362fcc84b46ae95b1a53bc95366f6fb1
[INFO] running `Command { std: "docker" "start" "-a" "2537ae3e91091f524b6576f273427847362fcc84b46ae95b1a53bc95366f6fb1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "2537ae3e91091f524b6576f273427847362fcc84b46ae95b1a53bc95366f6fb1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2537ae3e91091f524b6576f273427847362fcc84b46ae95b1a53bc95366f6fb1", kill_on_drop: false }`
[INFO] [stdout] 2537ae3e91091f524b6576f273427847362fcc84b46ae95b1a53bc95366f6fb1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:923055f121b5182466d55868a8b05e67af8ba4a3a3f6bad814e953ca3cd3ac2a" "/opt/rustwide/cargo-home/bin/cargo" "+6289438dbad80b1a0029c66dd3f6abf57c2c51be" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] bb42e04fde0f2d0c0b36713591b361b062a05fd00d53242e423f88e39bed2a92
[INFO] running `Command { std: "docker" "start" "-a" "bb42e04fde0f2d0c0b36713591b361b062a05fd00d53242e423f88e39bed2a92", kill_on_drop: false }`
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling crunchy v0.2.2
[INFO] [stderr]    Compiling scopeguard v1.2.0
[INFO] [stderr]    Compiling regex-syntax v0.8.4
[INFO] [stderr]    Compiling smallvec v1.13.2
[INFO] [stderr]    Compiling siphasher v0.3.11
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling equivalent v1.0.1
[INFO] [stderr]    Compiling fixedbitset v0.4.2
[INFO] [stderr]    Compiling libc v0.2.158
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]    Compiling parking_lot_core v0.9.10
[INFO] [stderr]    Compiling lock_api v0.4.12
[INFO] [stderr]    Compiling bit-vec v0.6.3
[INFO] [stderr]    Compiling either v1.13.0
[INFO] [stderr]    Compiling log v0.4.22
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]    Compiling once_cell v1.19.0
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.6
[INFO] [stderr]    Compiling unicode-xid v0.2.5
[INFO] [stderr]    Compiling diff v0.1.13
[INFO] [stderr]    Compiling ena v0.14.3
[INFO] [stderr]    Compiling phf_shared v0.10.0
[INFO] [stderr]    Compiling bit-set v0.5.3
[INFO] [stderr]    Compiling regex-syntax v0.6.29
[INFO] [stderr]    Compiling crossbeam-utils v0.7.2
[INFO] [stderr]    Compiling memoffset v0.5.6
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling crossbeam-epoch v0.8.2
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]     Checking regex-automata v0.4.7
[INFO] [stderr]    Compiling serde_derive v1.0.209
[INFO] [stderr]     Checking generic-array v0.12.4
[INFO] [stderr]     Checking byte-tools v0.3.1
[INFO] [stderr]     Checking fixedbitset v0.2.0
[INFO] [stderr]     Checking opaque-debug v0.2.3
[INFO] [stderr]     Checking fake-simd v0.1.2
[INFO] [stderr]     Checking block-padding v0.1.5
[INFO] [stderr]    Compiling dirs-sys-next v0.1.2
[INFO] [stderr]    Compiling is-terminal v0.4.13
[INFO] [stderr]     Checking plain v0.2.3
[INFO] [stderr]     Checking z3-sys v0.5.0
[INFO] [stderr]    Compiling dirs-next v2.0.0
[INFO] [stderr]     Checking petgraph v0.5.1
[INFO] [stderr]    Compiling term v0.7.0
[INFO] [stderr]    Compiling parking_lot v0.12.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]    Compiling indexmap v2.5.0
[INFO] [stderr]    Compiling string_cache v0.8.7
[INFO] [stderr]     Checking crossbeam-queue v0.2.3
[INFO] [stderr]     Checking crossbeam-channel v0.4.4
[INFO] [stderr]    Compiling ascii-canvas v3.0.0
[INFO] [stderr]     Checking crossbeam-deque v0.7.4
[INFO] [stderr]     Checking crossbeam v0.7.3
[INFO] [stderr]    Compiling petgraph v0.6.5
[INFO] [stderr]    Compiling scroll_derive v0.10.5
[INFO] [stderr]     Checking regex v1.10.6
[INFO] [stderr]     Checking scroll v0.10.2
[INFO] [stderr]     Checking lalrpop-util v0.19.12
[INFO] [stderr]     Checking goblin v0.2.3
[INFO] [stderr]     Checking serde v1.0.209
[INFO] [stderr]    Compiling lalrpop v0.19.12
[INFO] [stderr]     Checking bincode v1.3.3
[INFO] [stderr]     Checking toml v0.5.11
[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 30.46s
[INFO] running `Command { std: "docker" "inspect" "bb42e04fde0f2d0c0b36713591b361b062a05fd00d53242e423f88e39bed2a92", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bb42e04fde0f2d0c0b36713591b361b062a05fd00d53242e423f88e39bed2a92", kill_on_drop: false }`
[INFO] [stdout] bb42e04fde0f2d0c0b36713591b361b062a05fd00d53242e423f88e39bed2a92