#include <catch2/catch.hpp>
#include <iostream>

TEST_CASE("General tests", "[general]")
{
  REQUIRE(1 == 1);
}