diff options
Diffstat (limited to 'scripts/smtbmc/.gitignore')
-rw-r--r-- | scripts/smtbmc/.gitignore | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/smtbmc/.gitignore b/scripts/smtbmc/.gitignore index b27c0e6..54541e1 100644 --- a/scripts/smtbmc/.gitignore +++ b/scripts/smtbmc/.gitignore @@ -1,3 +1,6 @@ tracecmp.smt2 -tracecmp.vcd tracecmp.yslog +notrap_validop.smt2 +notrap_validop.yslog +output.vcd +output.smtc |