#include <catch2/catch_test_macros.hpp>

TEST_CASE("sample test", "[sample]") {
  int test = 100;
  REQUIRE(test == 100);
}