Indicate that termination analysis is activated.

goblint · Nov 15, 2023 · d5662c5 · d5662c5
1 parent 8934a21
commit d5662c5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/autoTune.ml b/src/autoTune.ml
@@ -467,6 +467,7 @@ let wideningOption factors file =
   }
 
 let activateTerminationAnalysis () =
+  print_endline "Enabling termination analysis";
   enableAnalyses ["termination"; "apron"];
   set_string "sem.int.signed_overflow" "assume_none";
   set_string "ana.apron.domain" "polyhedra";