#define CATCH_CONFIG_MAIN
#include <catch.hpp>

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