[INFO] cloning repository https://github.com/plumchang/kani-hands-on [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/plumchang/kani-hands-on" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fplumchang%2Fkani-hands-on", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fplumchang%2Fkani-hands-on'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 3e543944b38945f429ee39485bad3f1ba1b9d772 [INFO] testing plumchang/kani-hands-on against master#414482f6a0d4e7290f614300581a0b55442552a3 for pr-140985 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fplumchang%2Fkani-hands-on" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/plumchang/kani-hands-on on toolchain 414482f6a0d4e7290f614300581a0b55442552a3 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+414482f6a0d4e7290f614300581a0b55442552a3" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/plumchang/kani-hands-on [INFO] finished tweaking git repo https://github.com/plumchang/kani-hands-on [INFO] tweaked toml for git repo https://github.com/plumchang/kani-hands-on written to /workspace/builds/worker-6-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/plumchang/kani-hands-on already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+414482f6a0d4e7290f614300581a0b55442552a3" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:eea15d5475069c3ef791f10c2c6b5af2ee421ef2da1e680ecce1cba46243983b" "/opt/rustwide/cargo-home/bin/cargo" "+414482f6a0d4e7290f614300581a0b55442552a3" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] d6a05a379768b326f913cd037a9353ebef286c2421b5534df6978ef2744120fc [INFO] running `Command { std: "docker" "start" "-a" "d6a05a379768b326f913cd037a9353ebef286c2421b5534df6978ef2744120fc", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "d6a05a379768b326f913cd037a9353ebef286c2421b5534df6978ef2744120fc", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d6a05a379768b326f913cd037a9353ebef286c2421b5534df6978ef2744120fc", kill_on_drop: false }` [INFO] [stdout] d6a05a379768b326f913cd037a9353ebef286c2421b5534df6978ef2744120fc [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:eea15d5475069c3ef791f10c2c6b5af2ee421ef2da1e680ecce1cba46243983b" "/opt/rustwide/cargo-home/bin/cargo" "+414482f6a0d4e7290f614300581a0b55442552a3" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 76b93594ed1cc6d0925e4a8615a18c9d8e25a5a39073d131c4ff546534732c94 [INFO] running `Command { std: "docker" "start" "-a" "76b93594ed1cc6d0925e4a8615a18c9d8e25a5a39073d131c4ff546534732c94", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.86 [INFO] [stderr] Compiling libc v0.2.155 [INFO] [stderr] Compiling unicode-ident v1.0.12 [INFO] [stderr] Compiling autocfg v1.3.0 [INFO] [stderr] Compiling log v0.4.22 [INFO] [stderr] Compiling pin-project-lite v0.2.14 [INFO] [stderr] Compiling bytes v1.7.1 [INFO] [stderr] Compiling shlex v1.3.0 [INFO] [stderr] Compiling itoa v1.0.11 [INFO] [stderr] Compiling futures-core v0.3.30 [INFO] [stderr] Compiling cc v1.1.11 [INFO] [stderr] Compiling vcpkg v0.2.15 [INFO] [stderr] Compiling once_cell v1.19.0 [INFO] [stderr] Compiling pkg-config v0.3.30 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling fnv v1.0.7 [INFO] [stderr] Compiling slab v0.4.9 [INFO] [stderr] Compiling pin-utils v0.1.0 [INFO] [stderr] Compiling smallvec v1.13.2 [INFO] [stderr] Compiling bitflags v2.6.0 [INFO] [stderr] Compiling futures-task v0.3.30 [INFO] [stderr] Compiling http v1.1.0 [INFO] [stderr] Compiling futures-util v0.3.30 [INFO] [stderr] Compiling quote v1.0.36 [INFO] [stderr] Compiling tracing-core v0.1.32 [INFO] [stderr] Compiling syn v2.0.74 [INFO] [stderr] Compiling hashbrown v0.14.5 [INFO] [stderr] Compiling mio v1.0.2 [INFO] [stderr] Compiling socket2 v0.5.7 [INFO] [stderr] Compiling foreign-types-shared v0.1.1 [INFO] [stderr] Compiling openssl v0.10.66 [INFO] [stderr] Compiling httparse v1.9.4 [INFO] [stderr] Compiling openssl-sys v0.9.103 [INFO] [stderr] Compiling equivalent v1.0.1 [INFO] [stderr] Compiling futures-sink v0.3.30 [INFO] [stderr] Compiling indexmap v2.4.0 [INFO] [stderr] Compiling foreign-types v0.3.2 [INFO] [stderr] Compiling tracing v0.1.40 [INFO] [stderr] Compiling http-body v1.0.1 [INFO] [stderr] Compiling native-tls v0.2.12 [INFO] [stderr] Compiling tinyvec_macros v0.1.1 [INFO] [stderr] Compiling serde v1.0.207 [INFO] [stderr] Compiling atomic-waker v1.1.2 [INFO] [stderr] Compiling try-lock v0.2.5 [INFO] [stderr] Compiling want v0.3.1 [INFO] [stderr] Compiling tinyvec v1.8.0 [INFO] [stderr] Compiling lock_api v0.4.12 [INFO] [stderr] Compiling futures-channel v0.3.30 [INFO] [stderr] Compiling signal-hook v0.3.17 [INFO] [stderr] Compiling tower-layer v0.3.3 [INFO] [stderr] Compiling parking_lot_core v0.9.10 [INFO] [stderr] Compiling tower-service v0.3.3 [INFO] [stderr] Compiling openssl-probe v0.1.5 [INFO] [stderr] Compiling percent-encoding v2.3.1 [INFO] [stderr] Compiling unicode-normalization v0.1.23 [INFO] [stderr] Compiling signal-hook-registry v1.4.2 [INFO] [stderr] Compiling form_urlencoded v1.2.1 [INFO] [stderr] Compiling rustix v0.38.34 [INFO] [stderr] Compiling unicode-bidi v0.3.15 [INFO] [stderr] Compiling serde_json v1.0.124 [INFO] [stderr] Compiling scopeguard v1.2.0 [INFO] [stderr] Compiling ryu v1.0.18 [INFO] [stderr] Compiling idna v0.5.0 [INFO] [stderr] Compiling http-body-util v0.1.2 [INFO] [stderr] Compiling base64 v0.22.1 [INFO] [stderr] Compiling rustls-pki-types v1.8.0 [INFO] [stderr] Compiling memchr v2.7.4 [INFO] [stderr] Compiling linux-raw-sys v0.4.14 [INFO] [stderr] Compiling url v2.5.2 [INFO] [stderr] Compiling parking_lot v0.12.3 [INFO] [stderr] Compiling signal-hook-mio v0.2.4 [INFO] [stderr] Compiling rustls-pemfile v2.1.3 [INFO] [stderr] Compiling encoding_rs v0.8.34 [INFO] [stderr] Compiling sync_wrapper v1.0.1 [INFO] [stderr] Compiling mime v0.3.17 [INFO] [stderr] Compiling ipnet v2.9.0 [INFO] [stderr] Compiling tokio-macros v2.4.0 [INFO] [stderr] Compiling pin-project-internal v1.1.5 [INFO] [stderr] Compiling openssl-macros v0.1.1 [INFO] [stderr] Compiling serde_derive v1.0.207 [INFO] [stderr] Compiling crossterm v0.28.1 [INFO] [stderr] Compiling tokio v1.39.2 [INFO] [stderr] Compiling pin-project v1.1.5 [INFO] [stderr] Compiling tokio-util v0.7.11 [INFO] [stderr] Compiling tower v0.4.13 [INFO] [stderr] Compiling tokio-native-tls v0.3.1 [INFO] [stderr] Compiling h2 v0.4.5 [INFO] [stderr] Compiling serde_urlencoded v0.7.1 [INFO] [stderr] Compiling hyper v1.4.1 [INFO] [stderr] Compiling hyper-util v0.1.7 [INFO] [stderr] Compiling hyper-tls v0.6.0 [INFO] [stderr] Compiling reqwest v0.12.5 [INFO] [stderr] Compiling kani-hands-on v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/main.rs:57:9 [INFO] [stdout] | [INFO] [stdout] 57 | let mut current_turn_side = Side::Right; [INFO] [stdout] | ----^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `point` is never read [INFO] [stdout] --> src/models.rs:28:9 [INFO] [stdout] | [INFO] [stdout] 26 | Walk { [INFO] [stdout] | ---- field in this variant [INFO] [stdout] 27 | success: bool, [INFO] [stdout] 28 | point: f32, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `CommandResult` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `yourPaints` is never read [INFO] [stdout] --> src/models.rs:33:9 [INFO] [stdout] | [INFO] [stdout] 31 | Paint { [INFO] [stdout] | ----- field in this variant [INFO] [stdout] 32 | success: bool, [INFO] [stdout] 33 | yourPaints: Vec, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `CommandResult` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `totalPoint` should have a snake case name [INFO] [stdout] --> src/models.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | totalPoint: f32, [INFO] [stdout] | ^^^^^^^^^^ help: convert the identifier to snake case: `total_point` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `yourPaints` should have a snake case name [INFO] [stdout] --> src/models.rs:33:9 [INFO] [stdout] | [INFO] [stdout] 33 | yourPaints: Vec, [INFO] [stdout] | ^^^^^^^^^^ help: convert the identifier to snake case: `your_paints` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `totalPoint` should have a snake case name [INFO] [stdout] --> src/models.rs:34:9 [INFO] [stdout] | [INFO] [stdout] 34 | totalPoint: f32, [INFO] [stdout] | ^^^^^^^^^^ help: convert the identifier to snake case: `total_point` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `whatYouCanSee` should have a snake case name [INFO] [stdout] --> src/models.rs:37:9 [INFO] [stdout] | [INFO] [stdout] 37 | whatYouCanSee: WhatYouCanSee, [INFO] [stdout] | ^^^^^^^^^^^^^ help: convert the identifier to snake case: `what_you_can_see` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 10s [INFO] running `Command { std: "docker" "inspect" "76b93594ed1cc6d0925e4a8615a18c9d8e25a5a39073d131c4ff546534732c94", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "76b93594ed1cc6d0925e4a8615a18c9d8e25a5a39073d131c4ff546534732c94", kill_on_drop: false }` [INFO] [stdout] 76b93594ed1cc6d0925e4a8615a18c9d8e25a5a39073d131c4ff546534732c94 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:eea15d5475069c3ef791f10c2c6b5af2ee421ef2da1e680ecce1cba46243983b" "/opt/rustwide/cargo-home/bin/cargo" "+414482f6a0d4e7290f614300581a0b55442552a3" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 604f43c31ed6ed6e6c48a22c758a4f9a2127adf7bc3d10a28545b6c0f7de7576 [INFO] running `Command { std: "docker" "start" "-a" "604f43c31ed6ed6e6c48a22c758a4f9a2127adf7bc3d10a28545b6c0f7de7576", kill_on_drop: false }` [INFO] [stderr] Compiling kani-hands-on v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/main.rs:57:9 [INFO] [stdout] | [INFO] [stdout] 57 | let mut current_turn_side = Side::Right; [INFO] [stdout] | ----^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `point` is never read [INFO] [stdout] --> src/models.rs:28:9 [INFO] [stdout] | [INFO] [stdout] 26 | Walk { [INFO] [stdout] | ---- field in this variant [INFO] [stdout] 27 | success: bool, [INFO] [stdout] 28 | point: f32, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `CommandResult` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `yourPaints` is never read [INFO] [stdout] --> src/models.rs:33:9 [INFO] [stdout] | [INFO] [stdout] 31 | Paint { [INFO] [stdout] | ----- field in this variant [INFO] [stdout] 32 | success: bool, [INFO] [stdout] 33 | yourPaints: Vec, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `CommandResult` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `totalPoint` should have a snake case name [INFO] [stdout] --> src/models.rs:29:9 [INFO] [stdout] | [INFO] [stdout] 29 | totalPoint: f32, [INFO] [stdout] | ^^^^^^^^^^ help: convert the identifier to snake case: `total_point` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `yourPaints` should have a snake case name [INFO] [stdout] --> src/models.rs:33:9 [INFO] [stdout] | [INFO] [stdout] 33 | yourPaints: Vec, [INFO] [stdout] | ^^^^^^^^^^ help: convert the identifier to snake case: `your_paints` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `totalPoint` should have a snake case name [INFO] [stdout] --> src/models.rs:34:9 [INFO] [stdout] | [INFO] [stdout] 34 | totalPoint: f32, [INFO] [stdout] | ^^^^^^^^^^ help: convert the identifier to snake case: `total_point` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: structure field `whatYouCanSee` should have a snake case name [INFO] [stdout] --> src/models.rs:37:9 [INFO] [stdout] | [INFO] [stdout] 37 | whatYouCanSee: WhatYouCanSee, [INFO] [stdout] | ^^^^^^^^^^^^^ help: convert the identifier to snake case: `what_you_can_see` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 1.37s [INFO] running `Command { std: "docker" "inspect" "604f43c31ed6ed6e6c48a22c758a4f9a2127adf7bc3d10a28545b6c0f7de7576", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "604f43c31ed6ed6e6c48a22c758a4f9a2127adf7bc3d10a28545b6c0f7de7576", kill_on_drop: false }` [INFO] [stdout] 604f43c31ed6ed6e6c48a22c758a4f9a2127adf7bc3d10a28545b6c0f7de7576 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:eea15d5475069c3ef791f10c2c6b5af2ee421ef2da1e680ecce1cba46243983b" "/opt/rustwide/cargo-home/bin/cargo" "+414482f6a0d4e7290f614300581a0b55442552a3" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 17d0a5388e037f9d4d744322641b882473db04e75a4148b8c1271a8dc1651bcd [INFO] running `Command { std: "docker" "start" "-a" "17d0a5388e037f9d4d744322641b882473db04e75a4148b8c1271a8dc1651bcd", kill_on_drop: false }` [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/main.rs:57:9 [INFO] [stderr] | [INFO] [stderr] 57 | let mut current_turn_side = Side::Right; [INFO] [stderr] | ----^^^^^^^^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_mut)]` on by default [INFO] [stderr] [INFO] [stderr] warning: field `point` is never read [INFO] [stderr] --> src/models.rs:28:9 [INFO] [stderr] | [INFO] [stderr] 26 | Walk { [INFO] [stderr] | ---- field in this variant [INFO] [stderr] 27 | success: bool, [INFO] [stderr] 28 | point: f32, [INFO] [stderr] | ^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `CommandResult` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: field `yourPaints` is never read [INFO] [stderr] --> src/models.rs:33:9 [INFO] [stderr] | [INFO] [stderr] 31 | Paint { [INFO] [stderr] | ----- field in this variant [INFO] [stderr] 32 | success: bool, [INFO] [stderr] 33 | yourPaints: Vec, [INFO] [stderr] | ^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `CommandResult` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stderr] [INFO] [stderr] warning: structure field `totalPoint` should have a snake case name [INFO] [stderr] --> src/models.rs:29:9 [INFO] [stderr] | [INFO] [stderr] 29 | totalPoint: f32, [INFO] [stderr] | ^^^^^^^^^^ help: convert the identifier to snake case: `total_point` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(non_snake_case)]` on by default [INFO] [stderr] [INFO] [stderr] warning: structure field `yourPaints` should have a snake case name [INFO] [stderr] --> src/models.rs:33:9 [INFO] [stderr] | [INFO] [stderr] 33 | yourPaints: Vec, [INFO] [stderr] | ^^^^^^^^^^ help: convert the identifier to snake case: `your_paints` [INFO] [stderr] [INFO] [stderr] warning: structure field `totalPoint` should have a snake case name [INFO] [stderr] --> src/models.rs:34:9 [INFO] [stderr] | [INFO] [stderr] 34 | totalPoint: f32, [INFO] [stderr] | ^^^^^^^^^^ help: convert the identifier to snake case: `total_point` [INFO] [stderr] [INFO] [stderr] warning: structure field `whatYouCanSee` should have a snake case name [INFO] [stderr] --> src/models.rs:37:9 [INFO] [stderr] | [INFO] [stderr] 37 | whatYouCanSee: WhatYouCanSee, [INFO] [stderr] | ^^^^^^^^^^^^^ help: convert the identifier to snake case: `what_you_can_see` [INFO] [stderr] [INFO] [stderr] warning: `kani-hands-on` (bin "kani-hands-on" test) generated 7 warnings (run `cargo fix --bin "kani-hands-on" --tests` to apply 1 suggestion) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.15s [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/kani_hands_on-a97bfcdab37be241) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "17d0a5388e037f9d4d744322641b882473db04e75a4148b8c1271a8dc1651bcd", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "17d0a5388e037f9d4d744322641b882473db04e75a4148b8c1271a8dc1651bcd", kill_on_drop: false }` [INFO] [stdout] 17d0a5388e037f9d4d744322641b882473db04e75a4148b8c1271a8dc1651bcd