1 files changed, 2 insertions, 0 deletions
diff --git a/.hgignore b/.hgignore
index 22173264..de39514d 100644
--- a/.hgignore
+++ b/.hgignore
@@ -7,6 +7,7 @@ Test/.*/Output
 Test/desktop/.*
 Test/([^/]*)/([^/]*)\.sx
 ^Test/sandbox/.*
+^Test/.*\.csv
 syntax: glob
 *.exe
 *.pdb
@@ -14,3 +15,4 @@ syntax: glob
 *.tmp
 *.tmp.dfy
 Source/DafnyExtension/DafnyRuntime.cs
+Test/failing.lst