Check if building kani-cov works

adpaco-aws · Sep 23, 2024 · 4cc3561 · 4cc3561
1 parent a0df867
commit 4cc3561
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/scripts/kani-regression.sh b/scripts/kani-regression.sh
@@ -70,6 +70,9 @@ echo "--- Compiletest configuration"
 cargo run -p compiletest --quiet -- --suite kani --mode cargo-kani --dry-run --verbose
 echo "-----------------------------"
 
+# Build `kani-cov`
+cargo build -p kani-cov
+
 # Extract testing suite information and run compiletest
 for testp in "${TESTS[@]}"; do
   testl=($testp)