]> AND Private Git Repository - loba.git/blobdiff - options.h
Logo AND Algorithmique Numérique Distribuée

Private GIT Repository
Implement loba_besteffort.
[loba.git] / options.h
index b3e30816f0c127d4b935d706f408fd7436c9a6cb..0abec0f2e5ef0fe78e1c1802b666dbb62375177c 100644 (file)
--- a/options.h
+++ b/options.h
@@ -22,6 +22,7 @@ namespace opt {
 
     // Simulation parameters
     extern int log_rate;
+    extern bool exit_request;
 
     // Platform and deployment
     extern std::string platform_file;