diff options
Diffstat (limited to 'tests/sat/.gitignore')
| -rw-r--r-- | tests/sat/.gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/sat/.gitignore b/tests/sat/.gitignore index 397b4a762..664425d73 100644 --- a/tests/sat/.gitignore +++ b/tests/sat/.gitignore @@ -1 +1,4 @@ *.log +run-test.mk +*.vcd +*.fst |