mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 03:32:29 +00:00
Code Activity

log_help: Add manual group support

Browse source 
Sets `chformal` group to "formal" for testing purposes
This commit is contained in:
Krystine Sherwin 2025-07-21 10:34:31 +12:00
parent 6fdefee35b
commit 1c627f4a1b
No known key found for this signature in database
2 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
passes/cmds/chformal.cc
View file

@ -75,6 +75,7 @@ struct ChformalPass : public Pass {
bool help_v2() override {
auto *help = PrettyHelp::get_current();
help->set_group("formal");
help->usage("chformal [types] [mode] [options] [selection]");
help->paragraph(
"Make changes to the formal constraints of the design. The [types] options "