Skip to content

Commit

Permalink
Signed vs Unsigned port conn
Browse files Browse the repository at this point in the history
  • Loading branch information
alaindargelas committed Nov 8, 2023
1 parent e52e53e commit 783b517
Showing 1 changed file with 5 additions and 2 deletions.
7 changes: 5 additions & 2 deletions src/ErrorReporting/ErrorDefinition.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -484,8 +484,11 @@ bool ErrorDefinition::init() {
"Sequence used in non-temporal context \"%s\"");
rec(UHDM_NON_POSITIVE_VALUE, ERROR, UHDM,
"Required positive value (>=1), \"%s\" given");
rec(UHDM_SIGNED_UNSIGNED_PORT_CONN, WARNING, UHDM, "Critical: Signed vs Unsigned port connection \"%s\"");
rec(UHDM_FORCING_UNSIGNED_TYPE, WARNING, UHDM, "Critical: Forcing signal to unsigned type due to unsigned port binding \"%s\"");
rec(UHDM_SIGNED_UNSIGNED_PORT_CONN, WARNING, UHDM,
"Critical: Signed vs Unsigned port connection \"%s\"");
rec(UHDM_FORCING_UNSIGNED_TYPE, WARNING, UHDM,
"Critical: Forcing signal to unsigned type due to unsigned port binding "
"\"%s\"");
return true;
}

Expand Down

0 comments on commit 783b517

Please sign in to comment.