-bool Api::simcall_check_dependency(smx_simcall_t req1, smx_simcall_t req2) const
-{
- // FIXME: this should be removed now
- /* Make sure that req1 and req2 are in alphabetic order */
- if (req1->call_ > req2->call_) {
- auto temp = req1;
- req1 = req2;
- req2 = temp;
- }
- return true;
+bool Api::requests_are_dependent(RemotePtr<kernel::actor::SimcallObserver> obs1,
+ RemotePtr<kernel::actor::SimcallObserver> obs2) const
+{
+ xbt_assert(mc_model_checker != nullptr, "Must be called from MCer");
+
+ return mc_model_checker->requests_are_dependent(obs1, obs2);