#include <catch2/catch_session.hpp>

int main(int argc, char* argv[]) {

    // Catch internal function call
    int result = Catch::Session().run(argc, argv);

    // global clean-up
    return result;
}