+ /* Viva graph configuration for uncategorized tracing */
+ char *default_viva_uncat_conf_file = xbt_strdup ("");
+ xbt_cfg_register(&_surf_cfg_set, OPT_VIVA_UNCAT_CONF,
+ "Viva Graph configuration file for uncategorized resource utilization traces.",
+ xbt_cfgelm_string, &default_viva_uncat_conf_file, 1, 1,
+ NULL, NULL);
+
+ /* Viva graph configuration for uncategorized tracing */
+ char *default_viva_cat_conf_file = xbt_strdup ("");
+ xbt_cfg_register(&_surf_cfg_set, OPT_VIVA_CAT_CONF,
+ "Viva Graph configuration file for categorized resource utilization traces.",
+ xbt_cfgelm_string, &default_viva_cat_conf_file, 1, 1,
+ NULL, NULL);
+