scan: add --cfg=kani to collect harnesses in conditinal modules

zjp-CN · zjp-CN · commit 67e4b8e5b605 · 2025-08-19T12:24:35.000Z
close #463
diff --git 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"
 )
