X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/5b576eb1c0ab1acba1ceb0808b3708efe8a26dc1..d36e9a7ac2032c4fddcb236753b99c6573129893:/src/mc/checker/SimcallInspector.hpp

diff --git a/src/mc/checker/SimcallInspector.hpp b/src/mc/checker/SimcallInspector.hpp
index d1327f3c20..07715401e9 100644
--- a/src/mc/checker/SimcallInspector.hpp
+++ b/src/mc/checker/SimcallInspector.hpp
@@ -20,6 +20,14 @@ public:
    */
   virtual bool is_enabled() { return true; }
 
+  /** Execute the simcall, from the kernel POV.
+   *
+   * Most of the time, this action is in charge of doing what the perf models would have done if not in MC mode.
+   * For example, if it's a random(), choose the value to explore next. If it's a waitany, choose the terminated
+   * communication to consider now.
+   */
+  virtual void fire();
+
   /** Some simcalls may only be observable under some circomstances.
    * Most simcalls are not visible from the MC because they don't have an inspector at all. */
   virtual bool is_visible() { return true; }