option(enable_maintainer_mode "Permit to make flex and flexml files." off)
option(enable_supernovae "Supernovae mode." off)
option(enable_tracing "Tracing MSG (for now) simulations for visualization." off)
+option(enable_latency_bound_tracking "" off)
option(enable_coverage "Enable coverage." off)
option(enable_memcheck "Enable memcheck." off)
option(enable_print_message "Enable print message during config." off)