timestamp: add possibility to choose clock type.

[loba.git] / options.h

diff --git a/options.h b/options.h
index b3e30816f0c127d4b935d706f408fd7436c9a6cb..604d1781ebf1deb00ca901de2ae2bcef971a821f 100644 (file)
--- a/options.h
+++ b/options.h
@@ -19,9 +19,11 @@ namespace opt {
     extern std::string program_name;
     extern int help_requested;
     extern bool version_requested;
+    extern int option_x;       // hidden option, for debugging purpose
 
     // Simulation parameters
     extern int log_rate;
+    extern bool exit_request;
 
     // Platform and deployment
     extern std::string platform_file;
@@ -33,6 +35,8 @@ namespace opt {
         extern std::string topology;
         extern unsigned    nhosts;
         extern double      load;
+        extern bool        random_distribution;
+        extern unsigned long random_seed;
     }
 
     // Load balancing algorithm