From 2e66bdc36efcaaf728af85511d74cf25cdd226c4 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Tue, 11 Sep 2018 22:35:20 +0200
Subject: [PATCH 1/1] Add an assert/fixme around Actor::set_auto_restart.

---
 src/s4u/s4u_Actor.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/s4u/s4u_Actor.cpp b/src/s4u/s4u_Actor.cpp
index 2d162da29b..945dfb47fd 100644
--- a/src/s4u/s4u_Actor.cpp
+++ b/src/s4u/s4u_Actor.cpp
@@ -76,6 +76,7 @@ void Actor::join(double timeout)
 void Actor::set_auto_restart(bool autorestart)
 {
   simgrid::simix::simcall([this, autorestart]() {
+    xbt_assert(autorestart && not pimpl_->auto_restart_); // FIXME: handle all cases
     pimpl_->set_auto_restart(autorestart);
 
     simgrid::kernel::actor::ProcessArg* arg = new simgrid::kernel::actor::ProcessArg(pimpl_->host_, pimpl_);
-- 
2.20.1