diff options
| author | Claire Xenia Wolf <claire@clairexen.net> | 2022-02-11 17:24:49 +0100 |
|---|---|---|
| committer | Claire Xenia Wolf <claire@clairexen.net> | 2022-02-11 17:24:49 +0100 |
| commit | 30eb7f8665bb54ee9e3e25e0508ec6201106ac79 (patch) | |
| tree | ef79c9f128f0c4c6c990d69b6165e975e9e0b127 /techlibs/anlogic | |
| parent | fc7d78f0714f4314424e599e609a962b263e5b95 (diff) | |
| download | yosys-30eb7f8665bb54ee9e3e25e0508ec6201106ac79.tar.gz yosys-30eb7f8665bb54ee9e3e25e0508ec6201106ac79.tar.bz2 yosys-30eb7f8665bb54ee9e3e25e0508ec6201106ac79.zip | |
Add a bit of flexibilty re trace length when processing aiger witnesses in smtbmc.py
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
Diffstat (limited to 'techlibs/anlogic')
0 files changed, 0 insertions, 0 deletions