diff options
| author | Jannis Harder <me@jix.one> | 2022-06-08 11:22:17 +0200 |
|---|---|---|
| committer | Jannis Harder <me@jix.one> | 2022-06-08 13:20:25 +0200 |
| commit | 0c5f62f6ffd53c1a65325df0d71046957d94dfd0 (patch) | |
| tree | 38a37df67c16cba7b1e1f422b2f37b0875ec9a6d /tests | |
| parent | 6db29489386ce749d08c67547eb1b8acc16f8e5c (diff) | |
| download | yosys-0c5f62f6ffd53c1a65325df0d71046957d94dfd0.tar.gz yosys-0c5f62f6ffd53c1a65325df0d71046957d94dfd0.tar.bz2 yosys-0c5f62f6ffd53c1a65325df0d71046957d94dfd0.zip | |
smtbmc: noincr: keep solver running for post check-sat unrolling
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions