diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-09-07 12:42:16 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-09-07 12:42:16 +0200 |
| commit | cb7dbf4070a7ca3658b7e473cb54f2eafb6c9ae3 (patch) | |
| tree | 1042f049c96c5c9cd587d70a6cea85d4310d8cb3 /examples/smtbmc/.gitignore | |
| parent | e2570ffb872382f190b98d89b2eb7995a5d46758 (diff) | |
| download | yosys-cb7dbf4070a7ca3658b7e473cb54f2eafb6c9ae3.tar.gz yosys-cb7dbf4070a7ca3658b7e473cb54f2eafb6c9ae3.tar.bz2 yosys-cb7dbf4070a7ca3658b7e473cb54f2eafb6c9ae3.zip | |
Improvements in assertpmux
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 |