#include <catch2/catch.hpp>

TEST_CASE("Demo test") {
    REQUIRE(42 == 42);
}