From aedc13ab7fa2ac87e4fd31a5948e2f024c235cfd Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Fri, 21 Mar 2025 10:26:10 +1300
Subject: [PATCH] log_help: Add manual group support

Sets `chformal` group to "formal" for testing purposes
---
 kernel/log_help.h       | 4 ++++
 passes/cmds/chformal.cc | 1 +
 2 files changed, 5 insertions(+)

diff --git a/kernel/log_help.h b/kernel/log_help.h
index b460bce62..730d20c27 100644
--- a/kernel/log_help.h
+++ b/kernel/log_help.h
@@ -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()
diff --git a/passes/cmds/chformal.cc b/passes/cmds/chformal.cc
index 1f3f8fe11..53bf203f3 100644
--- a/passes/cmds/chformal.cc
+++ b/passes/cmds/chformal.cc
@@ -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 "