mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-16 13:58:47 +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-03-21 10:26:10 +13:00
parent 1efd3aeb7d
commit aedc13ab7f
No known key found for this signature in database
2 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
kernel/log_help.h
View file

@ -53,6 +53,7 @@ struct ContentListing {
class PrettyHelp
{
public:
string group = "unknown";
enum Mode {
LOG,
LISTING,
@ -89,6 +90,9 @@ public:
return content;
}
void set_group(const string g) { group = g; }
bool has_group() { return group.compare("unknown") != 0; }
void usage(
const string &usage,
const source_location location = source_location::current()

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 "