Merge pull request #2369 from Xiretza/gitignores

Add missing gitignores for test artifacts
This commit is contained in:
Miodrag Milanović 2020-09-10 13:37:49 +02:00 committed by GitHub
commit da3002e580
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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 /*_ref.v
/*.aag.log /*.log
/*.aig.log /neg.out/