#define CATCH_CONFIG_RUNNER
#include <catch.hpp>

#include <Kokkos_Core.hpp>

int
main(int argc, char* argv[])
{
  Kokkos::initialize({4, -1, -1, true});

  int result = Catch::Session().run(argc, argv);

  Kokkos::finalize();

  return result;
}