#include <catch2/catch_test_macros.hpp>
TEST_CASE("dummy", "dummy tests") { REQUIRE(1 + 1 == 2); }
TEST_CASE("dummy fails", "dummy tests") { REQUIRE_FALSE(1 + 1 != 2); }