diff options
Diffstat (limited to 'examples/smtbmc/.gitignore')
| -rw-r--r-- | examples/smtbmc/.gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/examples/smtbmc/.gitignore b/examples/smtbmc/.gitignore index 88d264c63..ba7a1c9c6 100644 --- a/examples/smtbmc/.gitignore +++ b/examples/smtbmc/.gitignore @@ -16,3 +16,5 @@ demo4.yslog demo5.smt2 demo5.vcd demo5.yslog +demo6.smt2 +demo6.yslog |