#define CATCH_CONFIG_MAIN
#include <catch2/catch.hpp>
TEST_CASE("Is example succesful", "[example]") {
REQUIRE(true);
}