diff options
| author | Jannis Harder <me@jix.one> | 2022-11-28 14:48:58 +0100 |
|---|---|---|
| committer | Jannis Harder <me@jix.one> | 2022-11-28 14:50:52 +0100 |
| commit | ed0e14820ed7790d88504800dc5b59a4194a6992 (patch) | |
| tree | 8cf7d29078353f34019df200bc44b5687c6fc390 /frontends/ast/simplify.cc | |
| parent | 23e26ff66153f6c147adee515e547b7d34962347 (diff) | |
| download | yosys-ed0e14820ed7790d88504800dc5b59a4194a6992.tar.gz yosys-ed0e14820ed7790d88504800dc5b59a4194a6992.tar.bz2 yosys-ed0e14820ed7790d88504800dc5b59a4194a6992.zip | |
sat: Add -set-def-formal option to force defined $any* outputs
Diffstat (limited to 'frontends/ast/simplify.cc')
0 files changed, 0 insertions, 0 deletions