From 34a64aa322156fb7bf9a0671de84ac183754e5a0 Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Fri, 2 Dec 2022 17:11:17 +0100 Subject: [PATCH] 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; }