ignore kani-list.json

model-checking · Jan 8, 2025 · 93676cd · 93676cd
1 parent 320f668
commit 93676cd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -45,7 +45,7 @@ package-lock.json
 # Tools
 ## Kani
 *.out
-
+kani-list.*
 
 # Added by cargo
 #