static inline
char** argvdup(int argc, char** argv)
{
- char** argv_copy = xbt_new(char*, argc+1);
+ char** argv_copy = new char*[argc + 1];
std::memcpy(argv_copy, argv, sizeof(char*) * argc);
argv_copy[argc] = nullptr;
return argv_copy;
std::unique_ptr<Session> session =
std::unique_ptr<Session>(Session::spawnvp(argv_copy[1], argv_copy+1));
- free(argv_copy);
+ delete[] argv_copy;
simgrid::mc::session = session.get();
std::unique_ptr<simgrid::mc::Checker> checker = createChecker(*session);
/** @brief Initializes a barrier, with count elements */
msg_bar_t MSG_barrier_init(unsigned int count) {
- msg_bar_t bar = xbt_new0(s_msg_bar_t, 1);
+ msg_bar_t bar = new s_msg_bar_t;
bar->expected_processes = count;
bar->arrived_processes = 0;
bar->mutex = xbt_mutex_init();
void MSG_barrier_destroy(msg_bar_t bar) {
xbt_mutex_destroy(bar->mutex);
xbt_cond_destroy(bar->cond);
- xbt_free(bar);
+ delete bar;
}
/** @brief Performs a barrier already initialized */
*/
msg_task_t MSG_task_create(const char *name, double flop_amount, double message_size, void *data)
{
- msg_task_t task = xbt_new(s_msg_task_t, 1);
+ msg_task_t task = new s_msg_task_t;
simdata_task_t simdata = new s_simdata_task_t();
task->simdata = simdata;
/* free main structures */
delete task->simdata;
- xbt_free(task);
+ delete task;
return MSG_OK;
}