diff options
| author | Jannis Harder <me@jix.one> | 2022-08-02 17:04:34 +0200 |
|---|---|---|
| committer | Jannis Harder <me@jix.one> | 2022-08-16 13:37:30 +0200 |
| commit | 475267ac254f6f5ec2202b58c26d8ea82c9d2e4a (patch) | |
| tree | 2f1ed0b092e799d271321ac910a0ea505ad2913d /backends/smv | |
| parent | efd5b86eb9c56d293c608d378ee90beea53784b5 (diff) | |
| download | yosys-475267ac254f6f5ec2202b58c26d8ea82c9d2e4a.tar.gz yosys-475267ac254f6f5ec2202b58c26d8ea82c9d2e4a.tar.bz2 yosys-475267ac254f6f5ec2202b58c26d8ea82c9d2e4a.zip | |
smtbmc: Add --check-witness mode
This verifies that the given constraints force an assertion failure.
This is useful to debug witness trace conversion (and minimization).
Diffstat (limited to 'backends/smv')
0 files changed, 0 insertions, 0 deletions