return ret;
}
-int _xbt_replay_is_active(void){
+int _xbt_replay_is_active(){
return is_replay_active;
}
*
* It returns false if it was already done by another process.
*/
-int _xbt_replay_action_init(void)
+int _xbt_replay_action_init()
{
if (xbt_action_funs)
return 0;
return 1;
}
-void _xbt_replay_action_exit(void)
+void _xbt_replay_action_exit()
{
xbt_dict_free(&xbt_action_queues);
xbt_dict_free(&xbt_action_funs);
*/
int xbt_replay_action_runner(int argc, char *argv[])
{
- int i;
if (xbt_action_fp) { // A unique trace file
while (true) {
char **evt = action_get_action(argv[0]);
if (evt == nullptr)
- break;
+ break;
char* lowername = str_tolower (evt[1]);
action_fun function = (action_fun)xbt_dict_get(xbt_action_funs, lowername);
catch(xbt_ex& e) {
xbt_die("Replay error :\n %s", e.what());
}
- for (i=0;evt[i]!= nullptr;i++)
+ for (int i=0;evt[i]!= nullptr;i++)
free(evt[i]);
free(evt);
}