Modernize simcall mutex_unlock.

[simgrid.git] / src / mc / checker / SimcallInspector.hpp

diff --git a/src/mc/checker/SimcallInspector.hpp b/src/mc/checker/SimcallInspector.hpp
index fccf60b..3a06e8f 100644 (file)
--- a/src/mc/checker/SimcallInspector.hpp
+++ b/src/mc/checker/SimcallInspector.hpp
@@ -65,6 +65,14 @@ public:
   std::string dot_label() const override;
   int get_value() const;
 };
+
+class MutexUnlockSimcall : public SimcallInspector {
+  using SimcallInspector::SimcallInspector;
+
+public:
+  std::string to_string(int times_considered) const override;
+  std::string dot_label() const override;
+};
 } // namespace mc
 } // namespace simgrid