#define CATCH_CONFIG_MAIN
#include <catch_main.hpp>

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