diff --git a/.gitignore b/.gitignore
index b43c201..b42f787 100644
--- a/.gitignore
+++ b/.gitignore
@@ -22,3 +22,5 @@ src/aeb_fate_pp.erl
 *.aes~
 doc
 cover
+aefate
+current_counterexample.eqc