diff options
| author | Claire Xen <claire@clairexen.net> | 2022-02-22 15:26:22 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-22 15:26:22 +0100 |
| commit | ac294ed419286a84117e79e4ccd78a19458ae614 (patch) | |
| tree | 6c5efcb420699a7e87dfaf5f3cc0fec9843f73f5 /manual/CHAPTER_StateOfTheArt | |
| parent | 286caa09bd278dcb877024eeb8c35a66cfc7f92f (diff) | |
| parent | 30eb7f8665bb54ee9e3e25e0508ec6201106ac79 (diff) | |
| download | yosys-ac294ed419286a84117e79e4ccd78a19458ae614.tar.gz yosys-ac294ed419286a84117e79e4ccd78a19458ae614.tar.bz2 yosys-ac294ed419286a84117e79e4ccd78a19458ae614.zip | |
Merge pull request #3197 from YosysHQ/claire/smtbmcfix
Add a bit of flexibilty re AIG witness trace length to smtbmc.py
Diffstat (limited to 'manual/CHAPTER_StateOfTheArt')
0 files changed, 0 insertions, 0 deletions