mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 03:32:29 +00:00
Code Activity

Merge pull request #3568 from YosysHQ/verific_msg

Browse source 
Set all Verific messages of certain type to other
This commit is contained in:
Miodrag Milanović 2022-12-05 16:22:44 +01:00 • committed by GitHub
commit 9362fdb4c6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 16 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

19
frontends/verific/verific.cc
View file

@ -2540,6 +2540,8 @@ struct VerificPass : public Pass {
log("\n"); log("\n");
log("Set message severity. <msg_id> is the string in square brackets when a message\n"); log("Set message severity. <msg_id> is the string in square brackets when a message\n");
log("is printed, such as VERI-1209.\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("\n"); log("\n");
log(" verific -import [options] <top>..\n"); log(" verific -import [options] <top>..\n");
@ -2783,9 +2785,20 @@ struct VerificPass : public Pass {
else else
log_abort(); log_abort();
for (argidx++; argidx < GetSize(args); argidx++) for (argidx++; argidx < GetSize(args); argidx++) {
Message::SetMessageType(args[argidx].c_str(), new_type); 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")) {
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; goto check_error;
} }