diff --git a/.gitignore b/.gitignore
index f3654b08020d6631b523fafd8d052529cbdb9689..8c3cba9c1459c3656353e57f12a4d641d90035a3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,3 +14,6 @@ src/test/resources/testing
 src/test/resources/todo
 TLC4B.jar
 temp
+out/
+src/test/**/*.tla
+src/test/**/*.cfg