mirror of
https://github.com/YosysHQ/sby.git
synced 2025-08-30 16:30:12 +00:00
99e704e6cb
Assertions show up in the .btor file as 'bad' statements, assuming btor2aiger maintains the same order this should get us the list of assertions in the order they appear in the .aig file. |
||
|---|---|---|
| .. | ||
| btor2aig_yw.py | ||