diff options
| author | Jacob Lifshay <programmerjake@gmail.com> | 2022-06-22 20:53:10 -0700 |
|---|---|---|
| committer | Jacob Lifshay <programmerjake@gmail.com> | 2022-06-22 20:53:10 -0700 |
| commit | c16c0288311ba9aef95b3d5fcdde63bbc05a5b08 (patch) | |
| tree | ee18bb96e53cde5cdaee2ad496bd2b9a16fd4d7b /techlibs/common/cellhelp.py | |
| parent | b2408df31332cdf810bc9831ae3aface1048652c (diff) | |
| download | yosys-c16c0288311ba9aef95b3d5fcdde63bbc05a5b08.tar.gz yosys-c16c0288311ba9aef95b3d5fcdde63bbc05a5b08.tar.bz2 yosys-c16c0288311ba9aef95b3d5fcdde63bbc05a5b08.zip | |
add hierarchy -smtcheck
like -simcheck, but allow smtlib2_module modules.
Diffstat (limited to 'techlibs/common/cellhelp.py')
0 files changed, 0 insertions, 0 deletions