aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/verific
diff options
context:
space:
mode:
authorwhitequark <whitequark@whitequark.org>2020-06-18 23:34:52 +0000
committerwhitequark <whitequark@whitequark.org>2020-06-18 23:34:52 +0000
commit7191dd16f9d486fbe107b2c24d1858c8f88329b3 (patch)
tree11a32e71b94bc030afc32d3f8d4c8f3d3ada1588 /frontends/verific
parentdfde1cf1c540d5580d7bc7d24f9f59a004202d60 (diff)
downloadyosys-7191dd16f9d486fbe107b2c24d1858c8f88329b3.tar.gz
yosys-7191dd16f9d486fbe107b2c24d1858c8f88329b3.tar.bz2
yosys-7191dd16f9d486fbe107b2c24d1858c8f88329b3.zip
Use C++11 final/override keywords.
Diffstat (limited to 'frontends/verific')
-rw-r--r--frontends/verific/verific.cc10
1 files changed, 5 insertions, 5 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index a22a8a93d..1630c57bc 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -2008,7 +2008,7 @@ bool check_noverific_env()
struct VerificPass : public Pass {
VerificPass() : Pass("verific", "load Verilog and VHDL designs using Verific") { }
- void help() YS_OVERRIDE
+ void help() override
{
// |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|
log("\n");
@@ -2147,7 +2147,7 @@ struct VerificPass : public Pass {
log("\n");
}
#ifdef YOSYS_ENABLE_VERIFIC
- void execute(std::vector<std::string> args, RTLIL::Design *design) YS_OVERRIDE
+ void execute(std::vector<std::string> args, RTLIL::Design *design) override
{
static bool set_verific_global_flags = true;
@@ -2582,7 +2582,7 @@ struct VerificPass : public Pass {
}
#else /* YOSYS_ENABLE_VERIFIC */
- void execute(std::vector<std::string>, RTLIL::Design *) YS_OVERRIDE {
+ void execute(std::vector<std::string>, RTLIL::Design *) override {
log_cmd_error("This version of Yosys is built without Verific support.\n"
"\n"
"Use Symbiotic EDA Suite if you need Yosys+Verifc.\n"
@@ -2596,7 +2596,7 @@ struct VerificPass : public Pass {
struct ReadPass : public Pass {
ReadPass() : Pass("read", "load HDL designs") { }
- void help() YS_OVERRIDE
+ void help() override
{
// |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|
log("\n");
@@ -2637,7 +2637,7 @@ struct ReadPass : public Pass {
log("Verific support. The default is to use Verific if it is available.\n");
log("\n");
}
- void execute(std::vector<std::string> args, RTLIL::Design *design) YS_OVERRIDE
+ void execute(std::vector<std::string> args, RTLIL::Design *design) override
{
#ifdef YOSYS_ENABLE_VERIFIC
static bool verific_available = !check_noverific_env();