diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-04-22 21:33:22 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-07-01 19:51:46 +0000 |
| commit | c36440a7ee158f6d9072913358d2cb15badc4a75 (patch) | |
| tree | 37e5cfa06f217534ff94c3fea48805f96097bde2 /examples/smtbmc/demo1.v | |
| parent | 19dafcd4f10f944d6d28acc0b02d0f7e2bd69a03 (diff) | |
| download | yosys-c36440a7ee158f6d9072913358d2cb15badc4a75.tar.gz yosys-c36440a7ee158f6d9072913358d2cb15badc4a75.tar.bz2 yosys-c36440a7ee158f6d9072913358d2cb15badc4a75.zip | |
glift: Remove outputs by default; add `-keep-outputs` option; properly reset internal state between calls.
Diffstat (limited to 'examples/smtbmc/demo1.v')
0 files changed, 0 insertions, 0 deletions