diff options
author | Martin Fischer <martin@push-f.com> | 2022-02-23 17:19:42 +0100 |
---|---|---|
committer | Martin Fischer <martin@push-f.com> | 2022-02-23 17:19:42 +0100 |
commit | ccd15c20cdb44ed32b707f44e3f720b159da2f0b (patch) | |
tree | 8dced1638a642640abde4c1af32b4d1586219e4f /check_checkers.py | |
parent | b6705e0373cac3111d1316070d71f26db09b3f63 (diff) |
clarify what the red background means
Diffstat (limited to 'check_checkers.py')
-rwxr-xr-x | check_checkers.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/check_checkers.py b/check_checkers.py index 65d1eec..1a883b3 100755 --- a/check_checkers.py +++ b/check_checkers.py @@ -167,7 +167,7 @@ def run( out.write( '''<p>This page compares three static type checkers for Python. The <span class=unexpected>red</span> background indicates that the checker - outputs an incorrect result (either a false positive or a false negative). + fails to detect a type error or reports a false positive. <a href=/>Back to start page</a>.</p>''' ) |