int status = TRACE_platform_graph_export_graphviz (argv[2]);
xbt_assert(status != 0, "%s expects --cfg=tracing:yes --cfg=tracing/platform:yes", argv[0]);
int status = TRACE_platform_graph_export_graphviz (argv[2]);
xbt_assert(status != 0, "%s expects --cfg=tracing:yes --cfg=tracing/platform:yes", argv[0]);