summaryrefslogtreecommitdiff
path: root/check_checkers.py
diff options
context:
space:
mode:
authorMartin Fischer <martin@push-f.com>2022-02-23 17:19:42 +0100
committerMartin Fischer <martin@push-f.com>2022-02-23 17:19:42 +0100
commitccd15c20cdb44ed32b707f44e3f720b159da2f0b (patch)
tree8dced1638a642640abde4c1af32b4d1586219e4f /check_checkers.py
parentb6705e0373cac3111d1316070d71f26db09b3f63 (diff)
clarify what the red background means
Diffstat (limited to 'check_checkers.py')
-rwxr-xr-xcheck_checkers.py2
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>'''
)