#include <catch2/catch_session.hpp>

#include "testEnvironment.h"

int main(int argc, char* argv[]) {
  testEnvironment::setup();
  testEnvironment::initialize();
  // Catch internal function call
  int result = Catch::Session().run(argc, argv);

  // global clean-up
  return result;
}