message(" Compile Static ......: ${enable_lib_static}")
message("")
message(" Maintainer mode .....: ${enable_maintainer_mode}")
-message(" Model checking ......: ${enable_model-checking}")
+message(" Model checking ......: ${HAVE_MC}")
message(" Tracing mode ........: ${enable_tracing}")
message(" Jedule mode ........: ${enable_jedule}")
message(" Latency bound .......: ${enable_latency_bound_tracking}")