diff options
Diffstat (limited to 'tests/various/.gitignore')
| -rw-r--r-- | tests/various/.gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/various/.gitignore b/tests/various/.gitignore index 2bb6c7179..83e634820 100644 --- a/tests/various/.gitignore +++ b/tests/various/.gitignore @@ -5,3 +5,6 @@ /run-test.mk /plugin.so /plugin.so.dSYM +/temp +/smtlib2_module.smt2 +/smtlib2_module-filtered.smt2 |