Logging message

seahorn · Apr 10, 2020 · d0622f4 · d0622f4
1 parent 2aa905d
commit d0622f4
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -322,8 +322,10 @@ set(NCRABLOG FALSE)
 
 # Enable or disable stats gathering
 if (CRAB_ENABLE_STATS)
+  message (STATUS "Compiled Crab with support for gathering statistics")  
   set(CRAB_STATS TRUE)
 else()
+  message (STATUS "Compiled Crab without support for gathering statistics")    
   set(CRAB_STATS FALSE)
 endif()