- /**
- *
- * Time management functions, returns the system time or sleeps a process. They work both on the simulated and real systems(GRAS).
- */
- XBT_PUBLIC(double) xbt_time(void);
- XBT_PUBLIC(void) xbt_sleep(double sec);
+/** Contains all the parameters we got from the command line (including argv[0]) */
+XBT_PUBLIC_DATA xbt_dynar_t xbt_cmdline;