Module unknown_revision

Source
Expand description

Checks that test revision names appearing in header directives and error annotations have actually been declared in revisions.

Structsยง

ErrorAnnRev ๐Ÿ”’

Functionsยง

check
for_each_error_annotation_revision ๐Ÿ”’
visit_test_file ๐Ÿ”’