- char **argv = xbt_new(char *, 5);
- argv[0] = xbt_strdup(pr_name);
- argv[1] = bprintf("%f", computation_amount);
- argv[2] = bprintf("%d", use_bound);
- argv[3] = bprintf("%f", bound);
- argv[4] = NULL;
+ char** argv = xbt_new(char*, 5);
+ argv[0] = xbt_strdup(pr_name);
+ argv[1] = bprintf("%f", computation_amount);
+ argv[2] = bprintf("%d", use_bound);
+ argv[3] = bprintf("%f", bound);
+ argv[4] = NULL;