Make Transition::textual a std::string.

diff --git a/src/mc/Transition.hpp b/src/mc/Transition.hpp
index 6b616cd..1e9a58a 100644 (file)
--- a/src/mc/Transition.hpp
+++ b/src/mc/Transition.hpp
@@ -7,6 +7,8 @@
 #ifndef SIMGRID_MC_TRANSITION_HPP
 #define SIMGRID_MC_TRANSITION_HPP
 
+#include <string>
+
 namespace simgrid {
 namespace mc {
 
@@ -33,7 +35,7 @@ public:
   int times_considered_ = 0;
 
   /* Textual representation of the transition, to display backtraces */
-  char textual[200];
+  std::string textual;
 };
 
 } // namespace mc

diff --git a/src/mc/api.cpp b/src/mc/api.cpp
index b04a44a..90eea9e 100644 (file)
--- a/src/mc/api.cpp
+++ b/src/mc/api.cpp
@@ -984,10 +984,7 @@ void Api::restore_initial_state() const
 void Api::execute(Transition& transition, smx_simcall_t simcall) const
 {
   /* FIXME: once all simcalls have observers, kill the simcall parameter and use mc_model_checker->simcall_to_string() */
-  auto textual =
-      simgrid::mc::Api::get().request_to_string(simcall, transition.times_considered_, RequestType::executed);
-  strcpy((char*)transition.textual, textual.c_str());
-
+  transition.textual = request_to_string(simcall, transition.times_considered_, RequestType::executed);
   session->execute(transition);
 }