why couldn't I use supernovae and model-checking at the same time? Dont hide issues...

diff --git a/buildtools/Cmake/Option.cmake b/buildtools/Cmake/Option.cmake
index 44470e9..0b3f8af 100644 (file)
--- a/buildtools/Cmake/Option.cmake
+++ b/buildtools/Cmake/Option.cmake
@@ -34,10 +34,10 @@ option(enable_jedule "Jedule output of SimDAG." off)
 option(enable_debug "Set NDEBUG flag" on)
 option(enable_supernovae "Whether Supernovae mode (helping compiler optimization) is activated." on)
 
 option(enable_debug "Set NDEBUG flag" on)
 option(enable_supernovae "Whether Supernovae mode (helping compiler optimization) is activated." on)
 

-if(enable_supernovae AND enable_model-checking)
-       set(enable_model-checking false CACHE TYPE INTERNAL FORCE)
-       message("\n\nWith supernovae mode the model checking must be disable.!!!\n\n")
-endif(enable_supernovae AND enable_model-checking)
+#if(enable_supernovae AND enable_model-checking)
+#      set(enable_model-checking OFF CACHE TYPE INTERNAL FORCE)
+#      message("\n\nCannot enable supernovae mode and model-checking at the same time (yet)\n\n")
+#endif(enable_supernovae AND enable_model-checking)

 
 if(WIN32)
   option(enable_smpi "Whether the smpi library is compiled." off)
 
 if(WIN32)
   option(enable_smpi "Whether the smpi library is compiled." off)