src/mc/remote/mc_protocol.cpp

   1 /* Copyright (c) 2015-2020. The SimGrid Team.
   2  * All rights reserved.                                                     */
   3
   4 /* This program is free software; you can redistribute it and/or modify it
   5  * under the terms of the license (GNU LGPL) which comes with this package. */
   6
   7 #include "src/mc/remote/mc_protocol.h"
   8 #include <array>
   9
  10 const char* MC_message_type_name(simgrid::mc::MessageType type)
  11 {
  12   constexpr std::array<const char*, 14> names{{"NONE", "CONTINUE", "IGNORE_HEAP", "UNIGNORE_HEAP", "IGNORE_MEMORY",
  13                                                "STACK_REGION", "REGISTER_SYMBOL", "DEADLOCK_CHECK",
  14                                                "DEADLOCK_CHECK_REPLY", "WAITING", "SIMCALL_HANDLE", "ASSERTION_FAILED",
  15                                                "ACTOR_ENABLED", "ACTOR_ENABLED_REPLY"}};
  16   return names[static_cast<int>(type)];
  17 }