Update some .gitignore files

Signed-off-by: Clifford Wolf <clifford@clifford.at>
2019-06-20 14:27:57 +02:00 · 2019-06-20 14:27:57 +02:00 · a8c85d1b4b
parent 11ec7b2aec
commit a8c85d1b4b
2 changed files with 3 additions and 3 deletions
--- a/tests/aiger/.gitignore
+++ b/tests/aiger/.gitignore
@ -1,2 +1 @@
-*.log
-*.out
+/*_ref.v
--- a/tests/various/.gitignore
+++ b/tests/various/.gitignore
@ -1 +1,2 @@
-*.log
+/*.log
+/*.out