mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-06 17:44:09 +00:00
Code Activity

set VERI-1063 explicitly

Browse source
This commit is contained in:
Miodrag Milanovic 2022-12-02 17:11:17 +01:00
parent bfd79845b6
commit 34a64aa322
1 changed files with 7 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
frontends/verific/verific.cc
View file

@ -2785,16 +2785,18 @@ struct VerificPass : public Pass {
log_abort(); log_abort();
for (argidx++; argidx < GetSize(args); argidx++) { 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); 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); 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); 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); Message::SetAllMessageType(VERIFIC_COMMENT, new_type);
else } else {
Message::SetMessageType(args[argidx].c_str(), new_type); Message::SetMessageType(args[argidx].c_str(), new_type);
}
} }
goto check_error; goto check_error;
} }