1 /* Copyright (c) 2019-2023. The SimGrid Team. All rights reserved. */
3 /* This program is free software; you can redistribute it and/or modify it
4 * under the terms of the license (GNU LGPL) which comes with this package. */
6 #define CATCH_CONFIG_RUNNER // we supply our own main()
8 #include "src/3rd-party/catch.hpp"
12 int main(int argc, char* argv[])
14 xbt_log_init(&argc, argv);
15 return Catch::Session().run(argc, argv);