#include "simgrid/config.h"
#include "xbt/asserts.h"
#include "xbt/string.hpp"
-#if SIMGRID_HAVE_MC
-#include "src/mc/api/RemoteApp.hpp"
-#include "src/mc/api/State.hpp"
-#endif
#include <sstream>
xbt_assert(stream >> size);
for (int i = 0; i < size; i++) {
Transition* t = deserialize_transition(issuer, 0, stream);
- XBT_DEBUG("TestAny received a transition %s", t->to_string(true).c_str());
+ XBT_INFO("TestAny received a transition %s", t->to_string(true).c_str());
transitions_.push_back(t);
}
}
}
bool TestAnyTransition::depends(const Transition* other) const
{
+ // Actions executed by the same actor are always dependent
+ if (other->aid_ == aid_)
+ return true;
+
return transitions_[times_considered_]->depends(other);
}
WaitAnyTransition::WaitAnyTransition(aid_t issuer, int times_considered, std::stringstream& stream)
xbt_assert(stream >> size);
for (int i = 0; i < size; i++) {
Transition* t = deserialize_transition(issuer, 0, stream);
+ XBT_INFO("WaitAny received transition %d/%d %s", (i + 1), size, t->to_string(true).c_str());
transitions_.push_back(t);
}
}
}
bool WaitAnyTransition::depends(const Transition* other) const
{
+ // Actions executed by the same actor are always dependent
+ if (other->aid_ == aid_)
+ return true;
return transitions_[times_considered_]->depends(other);
}