#define CATCH_CONFIG_MAIN
#include "catch2/catch.hpp"

TEST_CASE("15 is less than 20", "[numbers]") {
    REQUIRE(15 < 20);
}