From bfd79845b657b24797d62bfaa1c5f90345859979 Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Wed, 30 Nov 2022 16:42:37 +0100 Subject: [PATCH 1/2] Set all verific messages of certain type to other --- frontends/verific/verific.cc | 17 ++++++++++++++--- 1 file changed, 14 insertions(+), 3 deletions(-) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 1e61b3a31..1a48f6c55 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -2539,6 +2539,8 @@ struct VerificPass : public Pass { log("\n"); log("Set message severity. is the string in square brackets when a message\n"); log("is printed, such as VERI-1209.\n"); + log("Also errors, warnings, infos and comments could be used to set new severity for\n"); + log("all messages of certain type.\n"); log("\n"); log("\n"); log(" verific -import [options] ..\n"); @@ -2782,9 +2784,18 @@ struct VerificPass : public Pass { else log_abort(); - for (argidx++; argidx < GetSize(args); argidx++) - Message::SetMessageType(args[argidx].c_str(), new_type); - + for (argidx++; argidx < GetSize(args); argidx++) { + if (Strings::compare(args[argidx].c_str(), "errors")) + Message::SetAllMessageType(VERIFIC_ERROR, new_type); + else if (Strings::compare(args[argidx].c_str(), "warnings")) + Message::SetAllMessageType(VERIFIC_WARNING, new_type); + else if (Strings::compare(args[argidx].c_str(), "infos")) + Message::SetAllMessageType(VERIFIC_INFO, new_type); + else if (Strings::compare(args[argidx].c_str(), "comments")) + Message::SetAllMessageType(VERIFIC_COMMENT, new_type); + else + Message::SetMessageType(args[argidx].c_str(), new_type); + } goto check_error; } From 34a64aa322156fb7bf9a0671de84ac183754e5a0 Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Fri, 2 Dec 2022 17:11:17 +0100 Subject: [PATCH 2/2] set VERI-1063 explicitly --- frontends/verific/verific.cc | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 1a48f6c55..eba5dd9a5 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -2785,16 +2785,18 @@ struct VerificPass : public Pass { log_abort(); for (argidx++; argidx < GetSize(args); argidx++) { - if (Strings::compare(args[argidx].c_str(), "errors")) + if (Strings::compare(args[argidx].c_str(), "errors")) { + Message::SetMessageType("VERI-1063", new_type); Message::SetAllMessageType(VERIFIC_ERROR, new_type); - else if (Strings::compare(args[argidx].c_str(), "warnings")) + } else if (Strings::compare(args[argidx].c_str(), "warnings")) { Message::SetAllMessageType(VERIFIC_WARNING, new_type); - else if (Strings::compare(args[argidx].c_str(), "infos")) + } else if (Strings::compare(args[argidx].c_str(), "infos")) { Message::SetAllMessageType(VERIFIC_INFO, new_type); - else if (Strings::compare(args[argidx].c_str(), "comments")) + } else if (Strings::compare(args[argidx].c_str(), "comments")) { Message::SetAllMessageType(VERIFIC_COMMENT, new_type); - else + } else { Message::SetMessageType(args[argidx].c_str(), new_type); + } } goto check_error; }