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.
6 lines
79 B
ReStructuredText
6 lines
79 B
ReStructuredText
Formal verification
|
|
-------------------
|
|
|
|
.. autocmdgroup:: formal
|
|
:members:
|