model-checker : move functions about snapshot comparison in a separate file mc_compare.c

[simgrid.git] / src / msg / msg_config.c

diff --git a/src/msg/msg_config.c b/src/msg/msg_config.c
index 733d2bf..31bed56 100644 (file)
--- a/src/msg/msg_config.c
+++ b/src/msg/msg_config.c
@@ -7,19 +7,11 @@
 #include "msg_private.h"
 #include "xbt/sysdep.h"
 #include "xbt/log.h"
-#include "simix/simix.h"
+#include "simgrid/simix.h"
 
 /** \brief set a configuration variable
  *
- * Currently existing configuation variable:
- *   - workstation/model (string): Model of workstation to use.
- *     Possible values (defaults to "KCCFLN05"):
- *     - "CLM03": realistic TCP behavior + basic CPU model (see [CML03 at CCGrid03]) + support for parallel tasks
- *     - "KCCFLN05": realistic TCP behavior + basic CPU model (see [CML03 at CCGrid03]) + failure handling + interference between communications and computations if precised in the platform file.
- *     - "KCCFLN05": realistic TCP behavior + basic CPU model (see [CML03 at CCGrid03]) + failure handling + interference between communications and computations if precised in the platform file. Use maxmin for the network.
- *     - "KCCFLN05_proportional": realistic TCP behavior + basic CPU model (see [CML03 at CCGrid03]) + failure handling + interference between communications and computations if precised in the platform file. Uses the proportional approahc as described in the Corine Touati's PhD Thesis.
- *     - "KCCFLN05_Vegas": realistic TCP behavior + basic CPU model (see [CML03 at CCGrid03]) + failure handling + interference between communications and computations if precised in the platform file. Uses the fairness adapted to the TCP Vegas flow control.
- *     - "KCCFLN05_Reno": realistic TCP behavior + basic CPU model (see [CML03 at CCGrid03]) + failure handling + interference between communications and computations if precised in the platform file. Uses the fairness adapted to the TCP Reno flow control.
+ * Do --help on any simgrid binary to see the list of currently existing configuration variables
  *
  * Example:
  * MSG_config("workstation/model","KCCFLN05");
@@ -31,7 +23,7 @@ void MSG_config(const char *name, ...)
   if (!msg_global) {
     fprintf(stderr,
             "ERROR: Please call MSG_init() before using MSG_config()\n");
-    abort();
+    xbt_abort();
   }
   va_start(pa, name);
   xbt_cfg_set_vargs(_surf_cfg_set, name, pa);