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

synthprop: Use override keyword

Browse source 
`formatted_help()` introduced the override keyword, which means that the other two methods that were marked as virtual instead raised a warning about inconsistent use of override.  This fixes that by bringing the synthprop (more) in line with the rest of the code-base.
This commit is contained in:
Krystine Sherwin 2025-03-21 10:28:48 +13:00
parent b9f0fabff0
commit 45225d1391
No known key found for this signature in database
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
passes/sat/synthprop.cc
View file

@ -187,7 +187,7 @@ struct SyntProperties : public Pass {
return false; return false;
} }
virtual void help() void help() override
{ {
// |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---| // |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|
log("\n"); log("\n");
@ -216,7 +216,7 @@ struct SyntProperties : public Pass {
log("\n"); 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"); log_header(design, "Executing SYNTHPROP pass.\n");
SynthPropWorker worker(design); SynthPropWorker worker(design);