Merge pull request #147 from jix/smtbmc-keepgoing

[SymbiYosys.git] / tests / .gitignore

diff --git a/tests/.gitignore b/tests/.gitignore
index 86d3851aaf89cdb7e4f1dad49f9beff9dee019f6..23d000849d886622aefc2e48115fb37ed990da18 100644 (file)
--- a/tests/.gitignore
+++ b/tests/.gitignore
@@ -11,3 +11,4 @@
 /keepgoing_*/
 /submod_props*/
 /multi_assert*/
+/aim_vs_smt2_nonzero_start_offset*/