From 783b5176cfd27027bc04b46d5bf8a3a3fc49bf25 Mon Sep 17 00:00:00 2001 From: Alain Dargelas Date: Tue, 7 Nov 2023 18:06:44 -0800 Subject: [PATCH] Signed vs Unsigned port conn --- src/ErrorReporting/ErrorDefinition.cpp | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/ErrorReporting/ErrorDefinition.cpp b/src/ErrorReporting/ErrorDefinition.cpp index 7e616d9ca7..6f74a49fcd 100644 --- a/src/ErrorReporting/ErrorDefinition.cpp +++ b/src/ErrorReporting/ErrorDefinition.cpp @@ -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; }