diff options
Diffstat (limited to 'examples/smtbmc/.gitignore')
| -rw-r--r-- | examples/smtbmc/.gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/examples/smtbmc/.gitignore b/examples/smtbmc/.gitignore index bf83e0d44..fbddafa8a 100644 --- a/examples/smtbmc/.gitignore +++ b/examples/smtbmc/.gitignore @@ -10,3 +10,6 @@ demo2_tb.vcd demo3.smt2 demo3.vcd demo3.yslog +demo4.smt2 +demo4.vcd +demo4.yslog |