diff options
| author | Jannis Harder <me@jix.one> | 2022-03-29 20:41:50 +0200 |
|---|---|---|
| committer | Jannis Harder <me@jix.one> | 2022-03-29 20:41:50 +0200 |
| commit | 8b15f3a548571fd4736c76b5cc0b0b8e8cfc4fad (patch) | |
| tree | 58c09be23af44eecc58c9acb473f3af9ab501860 /frontends/verific | |
| parent | 48d7a6c477e24eba64716d12a1ac17b5c9109450 (diff) | |
| download | yosys-8b15f3a548571fd4736c76b5cc0b0b8e8cfc4fad.tar.gz yosys-8b15f3a548571fd4736c76b5cc0b0b8e8cfc4fad.tar.bz2 yosys-8b15f3a548571fd4736c76b5cc0b0b8e8cfc4fad.zip | |
smtbmc: fix bmc with no assertions
this was broken by the `--keep-going` changes
Diffstat (limited to 'frontends/verific')
0 files changed, 0 insertions, 0 deletions