Adjust errors script to also look for infos

This commit is contained in:
Leo Alt 2021-10-06 11:52:16 +02:00
parent 37215ffcfd
commit a104443ac1

View File

@ -125,7 +125,7 @@ def find_files(top_dir, sub_dirs, extensions):
def find_ids_in_test_file(file_name):
source = read_file(file_name)
pattern = r"^// (.*Error|Warning) \d\d\d\d:"
pattern = r"^// (.*Error|Warning|Info) \d\d\d\d:"
return {m.group(0)[-5:-1] for m in re.finditer(pattern, source, flags=re.MULTILINE)}