const char *name, std::function<void()> code, void *data,
const char *hostname, double kill_time,
xbt_dict_t properties, int auto_restart)
{
if (name == nullptr)
name = "";
const char *name, std::function<void()> code, void *data,
const char *hostname, double kill_time,
xbt_dict_t properties, int auto_restart)
{
if (name == nullptr)
name = "";