diff options
| -rw-r--r-- | frontends/verific/verific.cc | 12 |
1 files 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; } |