Dot at end of message for consistency

Co-authored-by: Copilot <[email protected]>

Author: michael-schwarz

src/analyses/assert.ml

@@ -25,7 +25,7 @@ struct
       assert_msg Error "Assertion \"%a\" will fail." CilType.Exp.pretty e;
       if refine then raise Analyses.Deadcode else man.local
     | `Lifted true ->
-      assert_msg Success "Assertion \"%a\" will succeed" CilType.Exp.pretty e;
+      assert_msg Success "Assertion \"%a\" will succeed." CilType.Exp.pretty e;
       man.local
     | `Bot ->
       M.error ~category:Assert "Assertion \"%a\" produces a bottom. What does that mean? (currently uninitialized arrays' content is bottom)" CilType.Exp.pretty e;