error_codes.py: Remove IDs of tests that are now tested in yulSyntaxTests/

This commit is contained in:
Christian Parpart 2020-11-02 15:20:33 +01:00
parent 1a9a3b115c
commit c00a825b10

View File

@ -220,16 +220,17 @@ def examine_id_coverage(top_dir, source_id_to_file_names, new_ids_only=False):
return False
old_source_only_ids = {
"1123", "1133", "1218", "1220", "1584", "1823", "1950",
"1988", "2418", "2461", "2512", "2592", "2657", "2800", "2842", "2856",
"1123", "1218", "1220", "1584", "1823", "1950",
"1988", "2461", "2512", "2592", "2657", "2800", "2842", "2856",
"3046", "3263", "3356", "3441", "3682", "3876",
"3893", "3996", "4010", "4281", "4802", "4805", "4828",
"4904", "4990", "5052", "5073", "5170", "5188", "5272", "5347", "5473",
"5622", "6041", "6052", "6084", "6272", "6708", "6792", "6931", "7110", "7128", "7186",
"3893", "3996", "4010", "4281", "4802",
"5052", "5073", "5170", "5188", "5272", "5347", "5473",
"5622", "6041", "6084", "6272", "7110", "7128", "7186",
"7589", "7593", "7653", "7812", "7885", "8065", "8084", "8140",
"8261", "8312", "8592", "8758", "9011",
"9085", "9390", "9440", "9547", "9551", "9615", "9980"
"9085", "9390", "9440", "9547", "9551", "9615", "9980",
}
new_source_only_ids = source_only_ids - old_source_only_ids
if len(new_source_only_ids) != 0:
print("The following new error code(s), not covered by tests, found:")