#include "mc/mc.h"
#include "virtual_machine.hpp"
#include "src/instr/instr_private.h" // TRACE_is_enabled(). FIXME: remove by subscribing tracing to the surf signals
+#include "simgrid/s4u/engine.hpp"
XBT_LOG_NEW_CATEGORY(surf, "All SURF categories");
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(surf_kernel, surf, "Logging specific to SURF (kernel)");
tmgr_finalize();
sg_platf_exit();
+ simgrid::s4u::Engine::shutdown();
NOW = 0; /* Just in case the user plans to restart the simulation afterward */
}
}
else
{
- xbt_assert(stateSet_ == getModel()->getRunningActionSet(),
- "You're updating an action that is not running.");
-
- /* bogus priority, skip it */
- xbt_assert(priority_ > 0,
- "You're updating an action that seems suspended.");
+ xbt_assert(stateSet_ == getModel()->getRunningActionSet(), "You're updating an action that is not running.");
+ xbt_assert(priority_ > 0, "You're updating an action that seems suspended.");
}
delta = now - lastUpdate_;