#define CATCH_CONFIG_MAIN
#include <catch2/catch_all.hpp>

TEST_CASE("dumb")
{
    REQUIRE(true);
}