diff options
| author | Robert Ou <rqou@robertou.com> | 2017-08-27 02:19:19 -0700 |
|---|---|---|
| committer | Robert Ou <rqou@robertou.com> | 2017-08-27 02:19:19 -0700 |
| commit | 849b8857752170812261261934d8571ecff09295 (patch) | |
| tree | edeee02a75fe4c5e1b26521bd65bd5f6e846bad7 /backends/smt2/smtbmc.py | |
| parent | 74d0f17fd4b26eeece7133cf2425d3c4e0e35976 (diff) | |
| download | yosys-849b8857752170812261261934d8571ecff09295.tar.gz yosys-849b8857752170812261261934d8571ecff09295.tar.bz2 yosys-849b8857752170812261261934d8571ecff09295.zip | |
recover_reduce: Update documentation
The documentation now describes the commands performed in the deleted
recover_reduce script.
Diffstat (limited to 'backends/smt2/smtbmc.py')
0 files changed, 0 insertions, 0 deletions