diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-08-27 14:30:36 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-08-27 14:30:36 +0200 |
| commit | adcda6817e0df097bf70f8c200edcf15341f3188 (patch) | |
| tree | 0456ec0ca7e06245747bcf8cd434f7c3f065d6b6 /examples/smtbmc/.gitignore | |
| parent | 7500b403de9eeafcc3de2a8eba051a03d5f5f10e (diff) | |
| download | yosys-adcda6817e0df097bf70f8c200edcf15341f3188.tar.gz yosys-adcda6817e0df097bf70f8c200edcf15341f3188.tar.bz2 yosys-adcda6817e0df097bf70f8c200edcf15341f3188.zip | |
Added smtc "final" statement
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 |