[INFO] fetching crate vipers 1.5.3... [INFO] testing vipers-1.5.3 against master#a77da2d454e6caa227a85b16410b95f93495e7e0 for pr-91031 [INFO] extracting crate vipers 1.5.3 into /workspace/builds/worker-14/source [INFO] validating manifest of crates.io crate vipers 1.5.3 on toolchain a77da2d454e6caa227a85b16410b95f93495e7e0 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+a77da2d454e6caa227a85b16410b95f93495e7e0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate vipers 1.5.3 [INFO] finished tweaking crates.io crate vipers 1.5.3 [INFO] tweaked toml for crates.io crate vipers 1.5.3 written to /workspace/builds/worker-14/source/Cargo.toml [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+a77da2d454e6caa227a85b16410b95f93495e7e0" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+a77da2d454e6caa227a85b16410b95f93495e7e0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+a77da2d454e6caa227a85b16410b95f93495e7e0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] d3fd48e351e24775d50567d552b67f29e6978561ea4d2dec9a9ca76ee494a8ae [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "d3fd48e351e24775d50567d552b67f29e6978561ea4d2dec9a9ca76ee494a8ae", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "d3fd48e351e24775d50567d552b67f29e6978561ea4d2dec9a9ca76ee494a8ae", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d3fd48e351e24775d50567d552b67f29e6978561ea4d2dec9a9ca76ee494a8ae", kill_on_drop: false }` [INFO] [stdout] d3fd48e351e24775d50567d552b67f29e6978561ea4d2dec9a9ca76ee494a8ae [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+a77da2d454e6caa227a85b16410b95f93495e7e0" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 99bf6edc7cc6b62525dc383e48ea85e886eecf9cb5e6e913b943700ee9022077 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "99bf6edc7cc6b62525dc383e48ea85e886eecf9cb5e6e913b943700ee9022077", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.32 [INFO] [stderr] Compiling unicode-xid v0.2.2 [INFO] [stderr] Compiling syn v1.0.81 [INFO] [stderr] Compiling serde_derive v1.0.130 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling block-padding v0.2.1 [INFO] [stderr] Compiling libc v0.2.107 [INFO] [stderr] Compiling bs58 v0.3.1 [INFO] [stderr] Compiling memchr v2.4.1 [INFO] [stderr] Compiling itoa v0.4.8 [INFO] [stderr] Compiling unicode-segmentation v1.8.0 [INFO] [stderr] Compiling yansi v0.5.0 [INFO] [stderr] Compiling regex-syntax v0.6.25 [INFO] [stderr] Compiling log v0.4.14 [INFO] [stderr] Compiling rustversion v1.0.5 [INFO] [stderr] Compiling feature-probe v0.1.1 [INFO] [stderr] Compiling autocfg v1.0.1 [INFO] [stderr] Compiling humantime v2.1.0 [INFO] [stderr] Compiling ppv-lite86 v0.2.15 [INFO] [stderr] Compiling termcolor v1.1.2 [INFO] [stderr] Compiling lazy_static v1.4.0 [INFO] [stderr] Compiling arrayvec v0.5.2 [INFO] [stderr] Compiling base64 v0.12.3 [INFO] [stderr] Compiling keccak v0.1.0 [INFO] [stderr] Compiling either v1.6.1 [INFO] [stderr] Compiling base64 v0.13.0 [INFO] [stderr] Compiling bs58 v0.4.0 [INFO] [stderr] Compiling generic-array v0.14.4 [INFO] [stderr] Compiling proc-macro2-diagnostics v0.9.1 [INFO] [stderr] Compiling blake3 v0.3.8 [INFO] [stderr] Compiling bv v0.11.1 [INFO] [stderr] Compiling itertools v0.9.0 [INFO] [stderr] Compiling heck v0.3.3 [INFO] [stderr] Compiling solana-frozen-abi-macro v1.8.5 [INFO] [stderr] Compiling solana-frozen-abi v1.8.5 [INFO] [stderr] Compiling solana-program v1.8.5 [INFO] [stderr] Compiling digest v0.8.1 [INFO] [stderr] Compiling num-traits v0.2.14 [INFO] [stderr] Compiling aho-corasick v0.7.18 [INFO] [stderr] Compiling quote v1.0.10 [INFO] [stderr] Compiling getrandom v0.1.16 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling memmap2 v0.1.0 [INFO] [stderr] Compiling rand_core v0.5.1 [INFO] [stderr] Compiling rand_chacha v0.2.2 [INFO] [stderr] Compiling curve25519-dalek v2.1.3 [INFO] [stderr] Compiling rand v0.7.3 [INFO] [stderr] Compiling regex v1.5.4 [INFO] [stderr] Compiling env_logger v0.8.4 [INFO] [stderr] Compiling solana-logger v1.8.5 [INFO] [stderr] Compiling borsh-schema-derive-internal v0.9.1 [INFO] [stderr] Compiling borsh-derive-internal v0.9.1 [INFO] [stderr] Compiling thiserror-impl v1.0.30 [INFO] [stderr] Compiling bytemuck_derive v1.0.1 [INFO] [stderr] Compiling num-derive v0.3.3 [INFO] [stderr] Compiling solana-sdk-macro v1.8.5 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Compiling bytemuck v1.7.2 [INFO] [stderr] Compiling thiserror v1.0.30 [INFO] [stderr] Compiling serde v1.0.130 [INFO] [stderr] Compiling toml v0.5.8 [INFO] [stderr] Compiling serde_json v1.0.71 [INFO] [stderr] Compiling bincode v1.3.3 [INFO] [stderr] Compiling serde_bytes v0.11.5 [INFO] [stderr] Compiling digest v0.9.0 [INFO] [stderr] Compiling block-buffer v0.9.0 [INFO] [stderr] Compiling crypto-mac v0.8.0 [INFO] [stderr] Compiling sha2 v0.9.8 [INFO] [stderr] Compiling libsecp256k1-core v0.2.2 [INFO] [stderr] Compiling hmac v0.8.1 [INFO] [stderr] Compiling sha3 v0.9.1 [INFO] [stderr] Compiling hmac-drbg v0.3.0 [INFO] [stderr] Compiling proc-macro-crate v0.1.5 [INFO] [stderr] Compiling proc-macro-crate v1.1.0 [INFO] [stderr] Compiling anchor-syn v0.18.2 [INFO] [stderr] Compiling borsh-derive v0.9.1 [INFO] [stderr] Compiling num_enum_derive v0.5.4 [INFO] [stderr] Compiling libsecp256k1-gen-genmult v0.2.1 [INFO] [stderr] Compiling libsecp256k1-gen-ecmult v0.2.1 [INFO] [stderr] Compiling libsecp256k1 v0.5.0 [INFO] [stderr] Compiling borsh v0.9.1 [INFO] [stderr] Compiling num_enum v0.5.4 [INFO] [stderr] Compiling anchor-attribute-program v0.18.2 [INFO] [stderr] Compiling anchor-attribute-event v0.18.2 [INFO] [stderr] Compiling anchor-attribute-access-control v0.18.2 [INFO] [stderr] Compiling anchor-derive-accounts v0.18.2 [INFO] [stderr] Compiling anchor-attribute-interface v0.18.2 [INFO] [stderr] Compiling anchor-attribute-state v0.18.2 [INFO] [stderr] Compiling anchor-attribute-account v0.18.2 [INFO] [stderr] Compiling anchor-attribute-error v0.18.2 [INFO] [stderr] Compiling anchor-lang v0.18.2 [INFO] [stderr] Compiling spl-token v3.2.0 [INFO] [stderr] Compiling spl-associated-token-account v1.0.3 [INFO] [stderr] Compiling anchor-spl v0.18.2 [INFO] [stderr] Compiling vipers v1.5.3 (/opt/rustwide/workdir) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 2m 36s [INFO] running `Command { std: "docker" "inspect" "99bf6edc7cc6b62525dc383e48ea85e886eecf9cb5e6e913b943700ee9022077", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "99bf6edc7cc6b62525dc383e48ea85e886eecf9cb5e6e913b943700ee9022077", kill_on_drop: false }` [INFO] [stdout] 99bf6edc7cc6b62525dc383e48ea85e886eecf9cb5e6e913b943700ee9022077 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+a77da2d454e6caa227a85b16410b95f93495e7e0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 1171f38cdedaecf507cf412bfbcecc8ee5c37d95379a6067e29011ab742f3be2 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "1171f38cdedaecf507cf412bfbcecc8ee5c37d95379a6067e29011ab742f3be2", kill_on_drop: false }` [INFO] [stderr] Compiling vipers v1.5.3 (/opt/rustwide/workdir) [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 2.46s [INFO] running `Command { std: "docker" "inspect" "1171f38cdedaecf507cf412bfbcecc8ee5c37d95379a6067e29011ab742f3be2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1171f38cdedaecf507cf412bfbcecc8ee5c37d95379a6067e29011ab742f3be2", kill_on_drop: false }` [INFO] [stdout] 1171f38cdedaecf507cf412bfbcecc8ee5c37d95379a6067e29011ab742f3be2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/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:5736fa189c1c60b01babf4b8b698fe57b6ecc41933a7ff2e0b8d7a221459412b" "/opt/rustwide/cargo-home/bin/cargo" "+a77da2d454e6caa227a85b16410b95f93495e7e0" "test" "--frozen", kill_on_drop: false }` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 46f3515ac6e7d237433d300026f0196d33b7aefdfda441a1411cfdfabf0751ca [INFO] running `Command { std: "docker" "start" "-a" "46f3515ac6e7d237433d300026f0196d33b7aefdfda441a1411cfdfabf0751ca", kill_on_drop: false }` [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.15s [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/vipers-3d0fe94edaa31e22) [INFO] [stdout] [INFO] [stdout] running 4 tests [INFO] [stdout] test assert::tests::test_compiles_deprecated ... ok [INFO] [stdout] test assert::tests::test_assert_owner ... ok [INFO] [stdout] test test_id ... ok [INFO] [stdout] test assert::tests::test_compiles ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] [stderr] Doc-tests vipers [INFO] [stdout] [INFO] [stdout] running 10 tests [INFO] [stdout] test src/assert.rs - assert::assert_keys_neq (line 222) ... ok [INFO] [stdout] test src/assert.rs - assert::assert_keys_eq (line 175) ... ok [INFO] [stdout] test src/assert.rs - assert::throw_err (line 46) ... ok [INFO] [stdout] test src/assert.rs - assert::try_or_err (line 315) ... ok [INFO] [stdout] test src/assert.rs - assert::unwrap_opt (line 368) ... ok [INFO] [stdout] test src/assert.rs - assert::unwrap_int (line 295) ... ok [INFO] [stdout] test src/assert.rs - assert::invariant (line 339) ... ok [INFO] [stdout] test src/assert.rs - assert::unwrap_or_err (line 273) ... ok [INFO] [stdout] test src/assert.rs - assert::program_err (line 15) ... ok [INFO] [stdout] test src/assert.rs - assert::assert_keys_eq (line 163) ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 12.32s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "46f3515ac6e7d237433d300026f0196d33b7aefdfda441a1411cfdfabf0751ca", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "46f3515ac6e7d237433d300026f0196d33b7aefdfda441a1411cfdfabf0751ca", kill_on_drop: false }` [INFO] [stdout] 46f3515ac6e7d237433d300026f0196d33b7aefdfda441a1411cfdfabf0751ca