From 1823707adaaa33da472ce54990b66026d8889c6b Mon Sep 17 00:00:00 2001 From: Ardis Lu Date: Sun, 4 Aug 2024 20:20:14 -0700 Subject: [PATCH] Extend title underline --- docs/smtchecker.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/smtchecker.rst b/docs/smtchecker.rst index 5183047439a9..1151f3a0b241 100644 --- a/docs/smtchecker.rst +++ b/docs/smtchecker.rst @@ -484,7 +484,7 @@ There is no precise heuristic on how and when to split verification targets, but it can be useful especially when dealing with large contracts. Proved Safe Targets -============== +=================== If there are any proved safe targets, the SMTChecker issues one warning per engine stating how many targets were proved safe. If the user wishes to see all the specific