diff options
Diffstat (limited to 'examples/smtbmc/.gitignore')
| -rw-r--r-- | examples/smtbmc/.gitignore | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/examples/smtbmc/.gitignore b/examples/smtbmc/.gitignore index 1c9afd5ba..bf83e0d44 100644 --- a/examples/smtbmc/.gitignore +++ b/examples/smtbmc/.gitignore @@ -1,9 +1,12 @@ demo1.smt2 demo1.yslog demo2.smt2 +demo2.smtc demo2.vcd demo2.yslog demo2_tb -demo2_tb.smtc demo2_tb.v demo2_tb.vcd +demo3.smt2 +demo3.vcd +demo3.yslog |