[INFO] fetching crate veriwasm 0.1.4... [INFO] building veriwasm-0.1.4 against try#8aaecdf5df68a6fbc126704e44d399ba2fe66bf2 for pr-94962 [INFO] extracting crate veriwasm 0.1.4 into /workspace/builds/worker-21/source [INFO] validating manifest of crates.io crate veriwasm 0.1.4 on toolchain 8aaecdf5df68a6fbc126704e44d399ba2fe66bf2 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+8aaecdf5df68a6fbc126704e44d399ba2fe66bf2" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate veriwasm 0.1.4 [INFO] finished tweaking crates.io crate veriwasm 0.1.4 [INFO] tweaked toml for crates.io crate veriwasm 0.1.4 written to /workspace/builds/worker-21/source/Cargo.toml [INFO] crate crates.io crate veriwasm 0.1.4 already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+8aaecdf5df68a6fbc126704e44d399ba2fe66bf2" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-21/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-21/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:1ede1414886370302e694df474b9877c02906499f04c196936ce0973d30c5eaa" "/opt/rustwide/cargo-home/bin/cargo" "+8aaecdf5df68a6fbc126704e44d399ba2fe66bf2" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 018c7f3dcb43f49605131f6a709c1bac88c57eea547c38ff3b6021a384900de3 [INFO] running `Command { std: "docker" "start" "-a" "018c7f3dcb43f49605131f6a709c1bac88c57eea547c38ff3b6021a384900de3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "018c7f3dcb43f49605131f6a709c1bac88c57eea547c38ff3b6021a384900de3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "018c7f3dcb43f49605131f6a709c1bac88c57eea547c38ff3b6021a384900de3", kill_on_drop: false }` [INFO] [stdout] 018c7f3dcb43f49605131f6a709c1bac88c57eea547c38ff3b6021a384900de3 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-21/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-21/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:1ede1414886370302e694df474b9877c02906499f04c196936ce0973d30c5eaa" "/opt/rustwide/cargo-home/bin/cargo" "+8aaecdf5df68a6fbc126704e44d399ba2fe66bf2" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 75457df1fc8a0f42df82f2150cc2ea77faa92bea45d7d0395132b05272d30da0 [INFO] running `Command { std: "docker" "start" "-a" "75457df1fc8a0f42df82f2150cc2ea77faa92bea45d7d0395132b05272d30da0", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Compiling proc-macro2 v1.0.30 [INFO] [stderr] Compiling unicode-xid v0.2.2 [INFO] [stderr] Compiling syn v1.0.80 [INFO] [stderr] Compiling libc v0.2.105 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling autocfg v1.0.1 [INFO] [stderr] Compiling serde_derive v1.0.130 [INFO] [stderr] Compiling log v0.4.14 [INFO] [stderr] Compiling serde v1.0.130 [INFO] [stderr] Compiling version_check v0.9.3 [INFO] [stderr] Compiling typenum v1.14.0 [INFO] [stderr] Compiling proc-macro2 v0.4.30 [INFO] [stderr] Compiling bitflags v1.3.2 [INFO] [stderr] Compiling lazy_static v1.4.0 [INFO] [stderr] Compiling unicode-xid v0.1.0 [INFO] [stderr] Compiling parking_lot_core v0.8.5 [INFO] [stderr] Compiling scopeguard v1.1.0 [INFO] [stderr] Compiling semver-parser v0.7.0 [INFO] [stderr] Compiling smallvec v1.7.0 [INFO] [stderr] Compiling syn v0.15.44 [INFO] [stderr] Compiling ryu v1.0.5 [INFO] [stderr] Compiling serde_json v1.0.68 [INFO] [stderr] Compiling itoa v0.4.8 [INFO] [stderr] Compiling crc32fast v1.2.1 [INFO] [stderr] Compiling subtle v2.4.1 [INFO] [stderr] Compiling plain v0.2.3 [INFO] [stderr] Compiling failure_derive v0.1.8 [INFO] [stderr] Compiling radium v0.5.3 [INFO] [stderr] Compiling memchr v2.4.1 [INFO] [stderr] Compiling adler v1.0.2 [INFO] [stderr] Compiling opaque-debug v0.3.0 [INFO] [stderr] Compiling cpufeatures v0.2.1 [INFO] [stderr] Compiling unicode-xid v0.0.4 [INFO] [stderr] Compiling anyhow v1.0.44 [INFO] [stderr] Compiling proc-maps v0.1.9 [INFO] [stderr] Compiling wyz v0.2.0 [INFO] [stderr] Compiling funty v1.1.0 [INFO] [stderr] Compiling yaxpeax-x86 v1.1.1 [INFO] [stderr] Compiling nix v0.12.1 [INFO] [stderr] Compiling serde-big-array v0.2.0 [INFO] [stderr] Compiling either v1.6.1 [INFO] [stderr] Compiling quote v0.3.15 [INFO] [stderr] Compiling tap v1.0.1 [INFO] [stderr] Compiling numtoa v0.1.0 [INFO] [stderr] Compiling unicode-width v0.1.9 [INFO] [stderr] Compiling void v1.0.2 [INFO] [stderr] Compiling cfg-if v0.1.10 [INFO] [stderr] Compiling regex-syntax v0.6.25 [INFO] [stderr] Compiling byteorder v1.4.3 [INFO] [stderr] Compiling parity-wasm v0.40.3 [INFO] [stderr] Compiling uuid v0.7.4 [INFO] [stderr] Compiling ordermap v0.3.5 [INFO] [stderr] Compiling fixedbitset v0.1.9 [INFO] [stderr] Compiling pin-project-lite v0.2.7 [INFO] [stderr] Compiling siphasher v0.3.7 [INFO] [stderr] Compiling vec_map v0.8.2 [INFO] [stderr] Compiling ansi_term v0.11.0 [INFO] [stderr] Compiling strsim v0.8.0 [INFO] [stderr] Compiling cranelift-entity v0.51.0 [INFO] [stderr] Compiling termcolor v1.1.2 [INFO] [stderr] Compiling wasmparser v0.57.0 [INFO] [stderr] Compiling humantime v2.1.0 [INFO] [stderr] Compiling tracing-core v0.1.21 [INFO] [stderr] Compiling textwrap v0.11.0 [INFO] [stderr] Compiling instant v0.1.12 [INFO] [stderr] Compiling semver v0.9.0 [INFO] [stderr] Compiling petgraph v0.4.13 [INFO] [stderr] Compiling lock_api v0.4.5 [INFO] [stderr] Compiling synom v0.11.3 [INFO] [stderr] Compiling itertools v0.6.5 [INFO] [stderr] Compiling itertools v0.10.1 [INFO] [stderr] Compiling rustc_version v0.2.3 [INFO] [stderr] Compiling num-traits v0.2.14 [INFO] [stderr] Compiling miniz_oxide v0.4.4 [INFO] [stderr] Compiling memoffset v0.5.6 [INFO] [stderr] Compiling generic-array v0.14.4 [INFO] [stderr] Compiling syn v0.11.11 [INFO] [stderr] Compiling scroll v0.9.2 [INFO] [stderr] Compiling aho-corasick v0.7.18 [INFO] [stderr] Compiling bitvec v0.19.5 [INFO] [stderr] Compiling quote v1.0.10 [INFO] [stderr] Compiling quote v0.6.13 [INFO] [stderr] Compiling signal-hook-registry v1.4.0 [INFO] [stderr] Compiling mio v0.7.14 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling rpassword v5.0.1 [INFO] [stderr] Compiling getrandom v0.2.3 [INFO] [stderr] Compiling termion v1.5.6 [INFO] [stderr] Compiling termios v0.2.2 [INFO] [stderr] Compiling colored v2.0.0 [INFO] [stderr] Compiling clap v2.33.3 [INFO] [stderr] Compiling parking_lot v0.11.2 [INFO] [stderr] Compiling regex v1.5.4 [INFO] [stderr] Compiling signal-hook v0.1.17 [INFO] [stderr] Compiling flate2 v1.0.22 [INFO] [stderr] Compiling crossterm v0.19.0 [INFO] [stderr] Compiling digest v0.9.0 [INFO] [stderr] Compiling crypto-mac v0.10.1 [INFO] [stderr] Compiling block-buffer v0.9.0 [INFO] [stderr] Compiling cipher v0.2.5 [INFO] [stderr] Compiling object v0.21.1 [INFO] [stderr] Compiling pbkdf2 v0.6.0 [INFO] [stderr] Compiling hmac v0.10.1 [INFO] [stderr] Compiling sha2 v0.9.8 [INFO] [stderr] Compiling salsa20 v0.7.2 [INFO] [stderr] Compiling num-traits v0.1.43 [INFO] [stderr] Compiling scrypt v0.5.0 [INFO] [stderr] Compiling enum-primitive-derive v0.1.2 [INFO] [stderr] Compiling minisign v0.5.23 [INFO] [stderr] Compiling env_logger v0.8.4 [INFO] [stderr] Compiling elfkit v0.0.4 [INFO] [stderr] Compiling scroll_derive v0.9.5 [INFO] [stderr] Compiling derivative v1.0.4 [INFO] [stderr] Compiling synstructure v0.12.6 [INFO] [stderr] Compiling goblin v0.0.24 [INFO] [stderr] Compiling goblin v0.0.20 [INFO] [stderr] Compiling scroll_derive v0.10.5 [INFO] [stderr] Compiling tracing-attributes v0.1.18 [INFO] [stderr] Compiling thiserror-impl v1.0.30 [INFO] [stderr] Compiling num-derive v0.3.3 [INFO] [stderr] Compiling failure v0.1.8 [INFO] [stderr] Compiling scroll v0.10.2 [INFO] [stderr] Compiling goblin v0.4.3 [INFO] [stderr] Compiling tracing v0.1.29 [INFO] [stderr] Compiling thiserror v1.0.30 [INFO] [stderr] Compiling yaxpeax-arch v0.2.7 [INFO] [stderr] Compiling bincode v1.3.3 [INFO] [stderr] Compiling yaxpeax-pic18 v0.1.1 [INFO] [stderr] Compiling yaxpeax-pic17 v0.1.1 [INFO] [stderr] Compiling yaxpeax-arm v0.1.3 [INFO] [stderr] Compiling yaxpeax-msp430 v0.1.1 [INFO] [stderr] Compiling target-lexicon v0.8.1 [INFO] [stderr] Compiling object v0.14.1 [INFO] [stderr] Compiling lucet-module v0.5.1 [INFO] [stderr] Compiling yaxpeax-core v0.0.4-vw-tweaks [INFO] [stderr] Compiling veriwasm v0.1.4 (/opt/rustwide/workdir) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 35.44s [INFO] running `Command { std: "docker" "inspect" "75457df1fc8a0f42df82f2150cc2ea77faa92bea45d7d0395132b05272d30da0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "75457df1fc8a0f42df82f2150cc2ea77faa92bea45d7d0395132b05272d30da0", kill_on_drop: false }` [INFO] [stdout] 75457df1fc8a0f42df82f2150cc2ea77faa92bea45d7d0395132b05272d30da0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-21/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-21/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:1ede1414886370302e694df474b9877c02906499f04c196936ce0973d30c5eaa" "/opt/rustwide/cargo-home/bin/cargo" "+8aaecdf5df68a6fbc126704e44d399ba2fe66bf2" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 5f88c42b86846e1b4635c47756850002055da9b4e76b615cda02aa90f8a1f8e2 [INFO] running `Command { std: "docker" "start" "-a" "5f88c42b86846e1b4635c47756850002055da9b4e76b615cda02aa90f8a1f8e2", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Compiling veriwasm v0.1.4 (/opt/rustwide/workdir) [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 3.32s [INFO] [stderr] Executable unittests src/lib.rs (/opt/rustwide/target/debug/deps/veriwasm-5cde572b666dc9bb) [INFO] [stderr] Executable unittests src/bin/veriwasm.rs (/opt/rustwide/target/debug/deps/veriwasm-7846c07e24c17a8e) [INFO] [stderr] Executable tests/testing.rs (/opt/rustwide/target/debug/deps/testing-13d23860ac8b645f) [INFO] running `Command { std: "docker" "inspect" "5f88c42b86846e1b4635c47756850002055da9b4e76b615cda02aa90f8a1f8e2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5f88c42b86846e1b4635c47756850002055da9b4e76b615cda02aa90f8a1f8e2", kill_on_drop: false }` [INFO] [stdout] 5f88c42b86846e1b4635c47756850002055da9b4e76b615cda02aa90f8a1f8e2