diff --git a/.gitignore b/.gitignore
index 61f75f48778163bc49c1fb487ab3c3cfc649dbec..da7d8d8ed64265b4ad218f9a8da945aef20305a4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,3 +6,8 @@
 .classpath
 .project
 .settings/
+
+# Test output
+*.prob
+Testing.cfg
+Testing.tla