Inline trivial function.

diff --git a/src/mc/checker/SimcallObserver.cpp b/src/mc/checker/SimcallObserver.cpp
index 93b92ab..78a62d9 100644 (file)
--- a/src/mc/checker/SimcallObserver.cpp
+++ b/src/mc/checker/SimcallObserver.cpp
@@ -46,11 +46,6 @@ int RandomSimcall::get_max_consider() const
   return max_ - min_ + 1;
 }
 
-int RandomSimcall::get_value() const
-{
-  return next_value_;
-}
-
 std::string MutexUnlockSimcall::to_string(int time_considered) const
 {
   return SimcallObserver::to_string(time_considered) + "Mutex UNLOCK";

diff --git a/src/mc/checker/SimcallObserver.hpp b/src/mc/checker/SimcallObserver.hpp
index a611f16..0c6abc7 100644 (file)
--- a/src/mc/checker/SimcallObserver.hpp
+++ b/src/mc/checker/SimcallObserver.hpp
@@ -63,7 +63,7 @@ public:
   void prepare(int times_considered) override;
   std::string to_string(int times_considered) const override;
   std::string dot_label() const override;
-  int get_value() const;
+  int get_value() const { return next_value_; }
 };
 
 class MutexUnlockSimcall : public SimcallObserver {