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

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