From d2419dd87aa18ce0d9e577055e2ce26111713702 Mon Sep 17 00:00:00 2001
From: zjp <jiping_zhou@foxmail.com>
Date: Sat, 16 Aug 2025 16:07:24 +0000
Subject: [PATCH] scan: add --cfg=kani to collect harnesses in conditinal
 modules

close https://github.com/model-checking/verify-rust-std/issues/463
---
 scripts/kani-std-analysis/std-analysis.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/kani-std-analysis/std-analysis.sh b/scripts/kani-std-analysis/std-analysis.sh
index 292233883801a..dad4a181dc95a 100755
--- a/scripts/kani-std-analysis/std-analysis.sh
+++ b/scripts/kani-std-analysis/std-analysis.sh
@@ -78,6 +78,7 @@ export RUST_BACKTRACE=1
 export RUSTC_LOG=error
 
 RUST_FLAGS=(
+    "--cfg=kani"
     "-Cpanic=abort"
     "-Zalways-encode-mir"
 )