X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/f0b6b515efe437925562a02a60738d10cdeff63a..9992c04bba629eccd44905b4db102436727a779d:/src/mc/mc_exit.hpp diff --git a/src/mc/mc_exit.hpp b/src/mc/mc_exit.hpp index 8245a27ada..273384bd2c 100644 --- a/src/mc/mc_exit.hpp +++ b/src/mc/mc_exit.hpp @@ -1,4 +1,4 @@ -/* Copyright (c) 2015-2019. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2015-2022. The SimGrid Team. All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ @@ -6,6 +6,7 @@ #ifndef SIMGRID_MC_EXIT_HPP #define SIMGRID_MC_EXIT_HPP #include "xbt/base.h" +#include constexpr int SIMGRID_MC_EXIT_SUCCESS = 0; constexpr int SIMGRID_MC_EXIT_SAFETY = 1; @@ -17,15 +18,13 @@ constexpr int SIMGRID_MC_EXIT_PROGRAM_CRASH = 6; constexpr int SIMGRID_MC_EXIT_ERROR = 63; -namespace simgrid { -namespace mc { +namespace simgrid::mc { class XBT_PUBLIC DeadlockError : public std::exception { }; class XBT_PUBLIC TerminationError : public std::exception { }; class XBT_PUBLIC LivenessError : public std::exception { }; -} -} +} // namespace simgrid::mc #endif