Skip to content

Commit

Permalink
Extend title underline
Browse files Browse the repository at this point in the history
  • Loading branch information
@ardislu
ardislu committed Aug 5, 2024
1 parent c2331b1 commit 1823707
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/smtchecker.rst
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 1823707

Please sign in to comment.