diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2022-12-02 17:11:17 +0100 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-12-02 17:11:17 +0100 |
| commit | 34a64aa322156fb7bf9a0671de84ac183754e5a0 (patch) | |
| tree | 67fb45a70c723916e221e4134b232612940fab17 /frontends/verific | |
| parent | bfd79845b657b24797d62bfaa1c5f90345859979 (diff) | |
| download | yosys-34a64aa322156fb7bf9a0671de84ac183754e5a0.tar.gz yosys-34a64aa322156fb7bf9a0671de84ac183754e5a0.tar.bz2 yosys-34a64aa322156fb7bf9a0671de84ac183754e5a0.zip | |
set VERI-1063 explicitly
Diffstat (limited to 'frontends/verific')
| -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; } |