mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-07 03:31:24 +00:00
Code Activity

Reapply "Add groups to command reference"

Browse source 
This reverts commit 81f87ce6ed.
This commit is contained in:
Krystine Sherwin 2025-07-28 20:03:30 +12:00
parent bf9aaac0fe
commit c4f685c057
No known key found for this signature in database
124 changed files with 2036 additions and 475 deletions
Download patch file Download diff file Expand all files Collapse all files

12
passes/sat/synthprop.cc
View file

@ -18,7 +18,9 @@
* OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
*
*/
#include "kernel/yosys.h"
#include "kernel/log_help.h"
YOSYS_NAMESPACE_BEGIN
@ -179,7 +181,13 @@ void SynthPropWorker::run()
struct SyntProperties : public Pass {
SyntProperties() : Pass("synthprop", "synthesize SVA properties") { }
virtual void help()
bool formatted_help() override {
auto *help = PrettyHelp::get_current();
help->set_group("formal");
return false;
}
void help() override
{
// |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|
log("\n");
@ -208,7 +216,7 @@ struct SyntProperties : public Pass {
log("\n");
}
virtual void execute(std::vector<std::string> args, RTLIL::Design* design)
void execute(std::vector<std::string> args, RTLIL::Design* design) override
{
log_header(design, "Executing SYNTHPROP pass.\n");
SynthPropWorker worker(design);