Add missing gitignores for test artifacts
authorXiretza <xiretza@xiretza.xyz>
Mon, 31 Aug 2020 17:42:10 +0000 (19:42 +0200)
committerXiretza <xiretza@xiretza.xyz>
Mon, 31 Aug 2020 17:43:51 +0000 (19:43 +0200)
commit6224fd9055d91ca640b0c099ac376b39266c480f
tree5d8a7be5d11dd64c6b9489d9d577048e4653f18e
parent04d5692a852008ec82dec78a6f639d110c6bb3a9
Add missing gitignores for test artifacts
backends/btor/.gitignore [new file with mode: 0644]
backends/smv/.gitignore [new file with mode: 0644]
tests/aiger/.gitignore