diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2022-11-30 16:42:37 +0100 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-11-30 16:42:37 +0100 |
| commit | bfd79845b657b24797d62bfaa1c5f90345859979 (patch) | |
| tree | 1a042d9acc2ff893edca300f48046fcddde60ff3 /frontends | |
| parent | f9db7c0599d87fa7d61b72979029c5894e3dbe6b (diff) | |
| download | yosys-bfd79845b657b24797d62bfaa1c5f90345859979.tar.gz yosys-bfd79845b657b24797d62bfaa1c5f90345859979.tar.bz2 yosys-bfd79845b657b24797d62bfaa1c5f90345859979.zip | |
Set all verific messages of certain type to other
Diffstat (limited to 'frontends')
| -rw-r--r-- | frontends/verific/verific.cc | 17 |
1 files 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. <msg_id> 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] <top>..\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; } |