Make sure that actors killed by a timer are properly finished

[simgrid.git] / src / kernel / actor / SimcallObserver.cpp

diff --git a/src/kernel/actor/SimcallObserver.cpp b/src/kernel/actor/SimcallObserver.cpp
index 80d8326ee6cbdd5c348a5f0aa2714b2464efd650..1d402ab9ecbdc6f01f5adb40c42f6433596e1671 100644 (file)
--- a/src/kernel/actor/SimcallObserver.cpp
+++ b/src/kernel/actor/SimcallObserver.cpp
@@ -22,15 +22,6 @@ void SimcallObserver::serialize(std::stringstream& stream) const
 {
   stream << (short)mc::Transition::Type::UNKNOWN;
 }
-bool SimcallObserver::depends(SimcallObserver* other)
-{
-  THROW_UNIMPLEMENTED;
-}
-/* Random is only dependent when issued by the same actor (ie, always independent) */
-bool RandomSimcall::depends(SimcallObserver* other)
-{
-  return get_issuer() == other->get_issuer();
-}
 void RandomSimcall::serialize(std::stringstream& stream) const
 {
   stream << (short)mc::Transition::Type::RANDOM << ' ';
@@ -57,17 +48,6 @@ bool ConditionWaitSimcall::is_enabled()
   }
   return true;
 }
-
-bool SemAcquireSimcall::is_enabled()
-{
-  static bool warned = false;
-  if (not warned) {
-    XBT_INFO("Using semaphore in model-checked code is still experimental. Use at your own risk");
-    warned = true;
-  }
-  return true;
-}
-
 } // namespace actor
 } // namespace kernel
 } // namespace simgrid