+cmake -Dwith_context=auto -Denable_tracing=on./
+ctest -D ExperimentalStart
+ctest -D ExperimentalConfigure
+ctest -D ExperimentalBuild
+ctest -D ExperimentalTest
+ctest -D ExperimentalSubmit
+make clean
+
+#Make the model-checking mode
+cmake -Denable_model-checking=on -Denable_coverage=on ./