diff --git a/Fw/FPrimeBasicTypes.hpp b/Fw/FPrimeBasicTypes.hpp index 93fb8ed81a..50a4e13eb8 100644 --- a/Fw/FPrimeBasicTypes.hpp +++ b/Fw/FPrimeBasicTypes.hpp @@ -46,13 +46,13 @@ static_assert(FW_FIXED_LENGTH_STRING_SIZE >= FW_PARAM_STRING_MAX_SIZE, // Check that command/telemetry strings are not larger than an argument buffer -static_assert(FW_CMD_STRING_MAX_SIZE <= FW_CMD_ARG_BUFFER_MAX_SIZE, +static_assert(FW_CMD_STRING_MAX_SIZE + sizeof(FwSizeStoreType) <= FW_CMD_ARG_BUFFER_MAX_SIZE, "FW_CMD_STRING_MAX_SIZE cannot be larger than FW_CMD_ARG_BUFFER_MAX_SIZE"); -static_assert(FW_LOG_STRING_MAX_SIZE <= FW_LOG_BUFFER_MAX_SIZE, +static_assert(FW_LOG_STRING_MAX_SIZE + sizeof(FwSizeStoreType) <= FW_LOG_BUFFER_MAX_SIZE, "FW_LOG_STRING_MAX_SIZE cannot be larger than FW_LOG_BUFFER_MAX_SIZE"); -static_assert(FW_TLM_STRING_MAX_SIZE <= FW_TLM_BUFFER_MAX_SIZE, +static_assert(FW_TLM_STRING_MAX_SIZE + sizeof(FwSizeStoreType) <= FW_TLM_BUFFER_MAX_SIZE, "FW_TLM_STRING_MAX_SIZE cannot be larger than FW_TLM_BUFFER_MAX_SIZE"); -static_assert(FW_PARAM_STRING_MAX_SIZE <= FW_PARAM_BUFFER_MAX_SIZE, +static_assert(FW_PARAM_STRING_MAX_SIZE + sizeof(FwSizeStoreType) <= FW_PARAM_BUFFER_MAX_SIZE, "FW_PARAM_STRING_MAX_SIZE cannot be larger than FW_PARAM_BUFFER_MAX_SIZE"); // Text logging needs the code generator for serializables to generate a stringified version of the @@ -79,7 +79,7 @@ static_assert(sizeof(PlatformPointerCastType) == sizeof(void*), "PlatformPointer static_assert(std::numeric_limits::max() >= std::numeric_limits::max(), "PlatformSizeType must be at least as large as unsigned int"); static_assert(std::numeric_limits::max() >= std::numeric_limits::max(), - "PlatformSignedSizeType must be at least as large as int"); + "PlatformSignedSizeType must be at least as large as int"); static_assert(std::numeric_limits::min() <= std::numeric_limits::min(), "PlatformSignedSizeType must be at least as small as int"); static_assert(std::numeric_limits::is_signed, "PlatformIndexType must be signed"); @@ -92,7 +92,7 @@ static_assert(sizeof(PlatformSizeType) == sizeof(PlatformSignedSizeType), "Platf static_assert(std::numeric_limits::max() >= std::numeric_limits::max(), "FwSizeType must be at least as large as unsigned int"); static_assert(std::numeric_limits::max() >= std::numeric_limits::max(), - "FwSignedSizeType must be at least as large as int"); + "FwSignedSizeType must be at least as large as int"); static_assert(std::numeric_limits::min() <= std::numeric_limits::min(), "FwSignedSizeType must be at least as large as int"); static_assert(std::numeric_limits::is_signed, "FwIndexType must be signed");