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

zjp-CN · zjp-CN · commit d2419dd87aa1 · 2025-08-20T02:31:41.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"
 )
