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

TEST_CASE("Is example succesful", "[example]") {
    REQUIRE(true);
}