+ } else if (!strcmp(argv[i], "--cfg" )) {
+ if (i == argc - 1) {
+ XBT_ERROR("--cfg argument requires an argument");
+ exit(1);
+ }
+ if (!option){ //if option is NULL
+ option = bprintf("--cfg=%s",argv[i+1]);
+ } else {
+ char *newoption = bprintf("%s --cfg=%s", option, argv[i+1]);
+ free(option);
+ option = newoption;
+ }
+ XBT_INFO("Add option \'--cfg=%s\' to command line",argv[i+1]);
+ memmove(argv + i, argv + i + 2, (argc - i - 1) * sizeof(char *));
+ argc -= 2;
+ i -= 2;
+ }
+ else if (!strcmp(argv[i], "--enable-coverage" )){
+ coverage = 1;
+ XBT_INFO("Enable coverage");
+ memmove(argv + i, argv + i + 1, (argc - i - 1) * sizeof(char *));
+ argc -= 1;
+ i -= 1;