mirror of
https://github.com/YosysHQ/yosys
synced 2025-07-27 14:37:55 +00:00
92ab125113
Give formal index a proper title. Use `Pass::formatted_help()` to assign the group, but still return `false` because the help text still comes from `Pass::help()`. Tidy up some of the affected files' includes to make use of the shared `yosys.h` includes.
5 lines
79 B
ReStructuredText
5 lines
79 B
ReStructuredText
Formal verification
|
|
-------------------
|
|
|
|
.. autocmdgroup:: formal
|
|
:members:
|