Add no suitable function final message

goblint · Sep 26, 2023 · a28a8ff · a28a8ff
1 parent 5060978
commit a28a8ff
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/framework/constraints.ml b/src/framework/constraints.ml
@@ -785,6 +785,7 @@ struct
     in
     let funs = List.filter_map one_function functions in
     if [] = funs then begin
+      M.msg_final Warning ~category:Unsound ~tags:[Category Call] "No suitable function to call";
       M.warn ~category:Unsound ~tags:[Category Call] "No suitable function to be called at call site. Continuing with state before call.";
       d (* because LevelSliceLifter *)
     end else