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