#include <catch2/catch.hpp>
#include "demo.hpp"

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