#define CATCH_CONFIG_RUNNER
#include "test/test.h"

int main(int argc, char ** argv) {
  return Catch::Session().run(argc, argv);
}