diff --git a/.gitignore b/.gitignore
index 97ca67cf4..b4a69f69e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -77,4 +77,7 @@ doc/code
 # reference code for z3str2
 Z3-str
 Z3-str/**
+# test cases
+tests
+tests/**