Include temporary test files to gitgnore

Signed-off-by: Felipe R. Monteiro <felisous@amazon.com>
model-checking · Jul 31, 2023 · c55b59f · c55b59f
1 parent f024d23
commit c55b59f
Showing 1 changed file with 11 additions and 1 deletion.
diff --git a/tests/.gitignore b/tests/.gitignore
@@ -1,2 +1,12 @@
 *.goto
-*.json
+*.json
+
+# Temporary folders
+rmet*/
+kani_concrete_playback
+
+# Binary artifacts
+*out
+smoke
+check_tests
+function