tests/aiger: Add missing .gitignore

This commit is contained in:
Marcin Kościelnicki
2020-02-15 19:52:21 +01:00
committed by Marcelina Kościelnicka
parent b9dfdbbfee
commit cd60f079d6
+2
View File
@@ -1 +1,3 @@
/*_ref.v /*_ref.v
/*.aag.log
/*.aig.log