mirror of
https://github.com/YosysHQ/yosys
synced 2025-05-10 17:25:49 +00:00
d1d419cb51
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:
|