From: Martin Quinson <martin.quinson@loria.fr>
Date: Mon, 10 Apr 2017 22:21:34 +0000 (+0200)
Subject: better handling of the MC debug on unknown simcalls
X-Git-Tag: v3.16~370^2~20
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/56f3548567eb9ec0e242e257e5d86f1dc233bf64

better handling of the MC debug on unknown simcalls
---

diff --git a/src/mc/mc_request.cpp b/src/mc/mc_request.cpp
index dfb4e9a3e1..056aa0b35b 100644
--- a/src/mc/mc_request.cpp
+++ b/src/mc/mc_request.cpp
@@ -391,7 +391,9 @@ std::string simgrid::mc::request_to_string(smx_simcall_t req, int value, simgrid
     break;
 
   default:
-    THROW_UNIMPLEMENTED;
+    type = SIMIX_simcall_name(req->call);
+    args = bprintf("??");
+    break;
   }
 
   std::string str;