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