diff options
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/aiger/.gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/aiger/.gitignore b/tests/aiger/.gitignore index 9a26bb8f4..b76bdb653 100644 --- a/tests/aiger/.gitignore +++ b/tests/aiger/.gitignore @@ -1 +1,3 @@ /*_ref.v +/*.aag.log +/*.aig.log |