diff --git a/tools/get_checkers.py b/tools/get_checkers.py index 48455200fb5..275c4623140 100644 --- a/tools/get_checkers.py +++ b/tools/get_checkers.py @@ -275,6 +275,8 @@ def print_checkers(glob_pattern:str): {7,5,2,Req}, {7,5,3,Req}, {7,5,4,Adv}, + {8,0,1,Req}, + {8,3,1,Req}, {8,4,1,Req}, {8,4,2,Req}, {8,4,3,Req}, @@ -312,9 +314,9 @@ def print_checkers(glob_pattern:str): {14,7,2,Req}, {14,7,3,Req}, {14,8,1,Req}, - {14,8,2,Req}, - {15,0,1,Req}, - {15,0,2,Req}, + {14,8,2,Adv}, + {15,0,1,Doc}, + {15,0,2,Adv}, {15,0,3,Req}, {15,1,1,Req}, {15,1,2,Req}, @@ -457,8 +459,8 @@ def print_checkers(glob_pattern:str): {9,3,1,Req}, {9,4,1,Req}, {9,4,2,Req}, - {9,5,2,Adv}, - {9,5,3,Req}, + {9,5,1,Adv}, + {9,5,2,Req}, {9,6,1,Adv}, {9,6,2,Req}, {9,6,3,Req}, @@ -495,6 +497,7 @@ def print_checkers(glob_pattern:str): {15,1,3,Req}, {15,1,4,Adv}, {15,1,5,Req}, + {16,5,1,Req}, {16,5,2,Req}, {16,6,1,Adv}, {17,8,1,Req},