Include temporary test files to gitgnore (#2644)

Signed-off-by: Felipe R. Monteiro <[email protected]>
model-checking · Jul 31, 2023 · 06f0b5c · 06f0b5c
1 parent f024d23
commit 06f0b5c
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