message(" Supernovae mode: ${enable_supernovae}")
message(" Model checking : ${enable_model-checking}")
message(" Tracing mode : ${enable_tracing}")
+message(" Jedule mode : ${enable_jedule}")
message(" Latency bound : ${enable_latency_bound_tracking}")
message(" Graphviz mode : ${HAVE_GRAPHVIZ}")
message("")