From dd85fd6a6700520a4706b4e198cf3e1349263ea6 Mon Sep 17 00:00:00 2001
From: Tobias Reinhard <16916681+tobireinhard@users.noreply.github.com>
Date: Mon, 12 Dec 2022 10:04:32 -0500
Subject: [PATCH] Ignore generated states.

---
 Test/VeriFast/tasks/vTaskSwitchContext/.gitignore | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Test/VeriFast/tasks/vTaskSwitchContext/.gitignore b/Test/VeriFast/tasks/vTaskSwitchContext/.gitignore
index 502dc918a..79f5c6bfb 100644
--- a/Test/VeriFast/tasks/vTaskSwitchContext/.gitignore
+++ b/Test/VeriFast/tasks/vTaskSwitchContext/.gitignore
@@ -2,4 +2,7 @@
 pp_log
 
 # Ignore preprocessing output
-preprocessed_files/*
+preprocessed_files
+
+# Ignore generated stats
+stats
\ No newline at end of file