diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2022-12-05 16:22:44 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-05 16:22:44 +0100 |
| commit | 9362fdb4c67f09bfaf3841364bd01e4d10ce5608 (patch) | |
| tree | 86ec6f403b6d65dbf15cbf9f69c7600e7bb7a156 /frontends/verific | |
| parent | 26aaf7683f661e8fadcc8fe87c342343e1e0bf54 (diff) | |
| parent | 34a64aa322156fb7bf9a0671de84ac183754e5a0 (diff) | |
| download | yosys-9362fdb4c67f09bfaf3841364bd01e4d10ce5608.tar.gz yosys-9362fdb4c67f09bfaf3841364bd01e4d10ce5608.tar.bz2 yosys-9362fdb4c67f09bfaf3841364bd01e4d10ce5608.zip | |
Merge pull request #3568 from YosysHQ/verific_msg
Set all Verific messages of certain type to other
Diffstat (limited to 'frontends/verific')
| -rw-r--r-- | frontends/verific/verific.cc | 19 |
1 files changed, 16 insertions, 3 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 10c03fb30..40f96e82c 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -2540,6 +2540,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"); @@ -2783,9 +2785,20 @@ 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::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; } |