Incremental compilation?

[Timmmm]

If I run this command twice in a row, the second time it still rebuilds a loads of crates. Is that supposed to happen?

$ ./scripts/run-kani.sh --path . --kani-args --harness verify_swap_remove
Using TOML file: tool_config/kani-version.toml
Using repository URL: https://github.com/model-checking/kani.git
Kani binary is up to date. Skipping build.
Kani executable path: /home/tim/workspace/verify-rust-std/kani_build/scripts/kani
Running Kani command...
kani 0.65.0
Running Kani verify-std command...
Kani Rust Verifier 0.65.0 (standalone)
warning: /home/tim/workspace/verify-rust-std/target/kani_verify_std/Cargo.toml: no edition set: defaulting to the 2015 edition while the latest is 2024
   Compiling proc-macro2 v1.0.101
   Compiling version_check v0.9.5
   Compiling unicode-ident v1.0.19
   Compiling quote v1.0.41
   Compiling syn v1.0.109
   Compiling safety v0.1.0 (/home/tim/workspace/verify-rust-std/library/contracts/safety)
   Compiling compiler_builtins v0.1.160 (/home/tim/workspace/verify-rust-std/library/compiler-builtins/compiler-builtins)
   Compiling libc v0.2.175
   Compiling object v0.37.3
   Compiling std v0.0.0 (/home/tim/workspace/verify-rust-std/library/std)
   Compiling proc-macro-error-attr v1.0.4
   Compiling proc-macro-error v1.0.4
   Compiling syn v2.0.106
   Compiling core v0.0.0 (/home/tim/workspace/verify-rust-std/library/core)
   Compiling rustc-std-workspace-core v1.99.0 (/home/tim/workspace/verify-rust-std/library/rustc-std-workspace-core)
   Compiling alloc v0.0.0 (/home/tim/workspace/verify-rust-std/library/alloc)
   Compiling memchr v2.7.5
   Compiling adler2 v2.0.1
   Compiling panic_abort v0.0.0 (/home/tim/workspace/verify-rust-std/library/panic_abort)
   Compiling cfg-if v1.0.1
   Compiling rustc-demangle v0.1.26
   Compiling unwind v0.0.0 (/home/tim/workspace/verify-rust-std/library/unwind)
   Compiling rustc-std-workspace-alloc v1.99.0 (/home/tim/workspace/verify-rust-std/library/rustc-std-workspace-alloc)
   Compiling panic_unwind v0.0.0 (/home/tim/workspace/verify-rust-std/library/panic_unwind)
   Compiling gimli v0.32.0
   Compiling std_detect v0.1.5 (/home/tim/workspace/verify-rust-std/library/std_detect)
   Compiling hashbrown v0.15.5
   Compiling miniz_oxide v0.8.9
   Compiling addr2line v0.25.0
   Compiling rustc-std-workspace-std v1.99.0 (/home/tim/workspace/verify-rust-std/library/rustc-std-workspace-std)
   Compiling rustc-literal-escaper v0.0.5
   Compiling proc_macro v0.0.0 (/home/tim/workspace/verify-rust-std/library/proc_macro)
   Compiling dummy v0.1.0 (/home/tim/workspace/verify-rust-std/target/kani_verify_std)
    Finished `dev` profile [unoptimized + debuginfo] target(s) in 24.59s
Checking harness vec::verify::verify_swap_remove...
...

[tautschnig]

It is not unexpected, even though we'd like to work towards avoiding those rebuilds. See model-checking/kani#4079 for further discussion.