Add missing gitignores for test artifacts

This commit is contained in:
Xiretza 2020-08-31 19:42:10 +02:00
parent 04d5692a85
commit 6224fd9055
No known key found for this signature in database
GPG Key ID: 17B78226F7139993
3 changed files with 4 additions and 2 deletions

1
backends/btor/.gitignore vendored Normal file
View File

@ -0,0 +1 @@
/test_cells.tmp/

1
backends/smv/.gitignore vendored Normal file
View File

@ -0,0 +1 @@
/test_cells.tmp/

View File

@ -1,3 +1,3 @@
/*_ref.v
/*.aag.log
/*.aig.log
/*.log
/neg.out/