18#include <catch2/catch_session.hpp>
21#include "test_utilities.hpp"
32extern "C" void validationErrorHandler(
const char* errFunc,
const char* errMsg) {
34 throw std::runtime_error(std::string(errFunc) +
": " + std::string(errMsg));
41int main(
int argc,
char* argv[]) {
45 setRandomTestStateSeeds();
47 int result = Catch::Session().run( argc, argv );
void setInputErrorHandler(void(*callback)(const char *func, const char *msg))