#include <catch2/catch_test_macros.hpp>

TEST_CASE("MPSoC helper tests", "[payload]") {
  char divStr[16]{};
  uint32_t divParam = 0;

  SECTION("Simple Test") {
    divParam = 3;
    CHECK(divParam < 999);
    sprintf(divStr, "DIV%03u", divParam);
    REQUIRE(strcmp(divStr, "DIV003") == 0);
  }
}