docstring

Author: maurycy

Tools/inspection/oracle_external_inspection.py

@@ -188,8 +188,6 @@ def run_mode(case, mode_name, args):
             result["samples"] += 1
             for unit in iter_units(trace, op):
                 frames = unit[3]
-                # Classifiers recognize selected impossible patterns; False
-                # does not imply that the complete stack is valid.
                 impossible = classify is not None and (
                     classify(unit) if classify_units else classify(frames)
                 )

Tools/inspection/snippets.py

@@ -1,3 +1,8 @@
+"""Scripts and classifiers for external inspection validation.
+
+Classifiers detect only recognized impossible patterns. They do not validate
+entire stacks. False does not imply that the stack as a whole is valid.
+"""
 import os