t_case_statement.adb:14:7: Error: Values: too many values for subtype of selector in case statement (11)
t_case_statement.adb:14:7: Error: Values_Others: too many values for subtype of selector in case statement with "others" (11)
t_case_statement.adb:18:10: Error: Min_Others_Span: too few values covered by "others" in case statement (0)
t_case_statement.adb:17:15: Found: Int_Range_Span: too many values in choice range (5)
t_case_statement.adb:21:7: Error: Values: too many values for subtype of selector in case statement (11)
t_case_statement.adb:21:7: Error: Min_Paths: too few paths in case statement (2)
t_case_statement.adb:23:15: Error: Int_Range_Span: too many values in choice range (9)
t_case_statement.adb:26:7: Error: Values: too many values for subtype of selector in case statement (11)
t_case_statement.adb:26:7: Error: Values_Others: too many values for subtype of selector in case statement with "others" (11)
t_case_statement.adb:26:7: Error: Min_Paths: too few paths in case statement (2)
t_case_statement.adb:28:10: Found: Min_Others_Span: too few values covered by "others" in case statement (5)
t_case_statement.adb:27:15: Error: Int_Range_Span: too many values in choice range (6)
t_case_statement.adb:31:7: Error: Values: too many values for subtype of selector in case statement (11)
t_case_statement.adb:31:7: Error: Values_Others: too many values for subtype of selector in case statement with "others" (11)
t_case_statement.adb:31:7: Error: Min_Paths: too few paths in case statement (2)
t_case_statement.adb:33:10: Found: Min_Others_Span: too few values covered by "others" in case statement (5)
t_case_statement.adb:32:15: Error: Int_Range_Span: too many values in choice range (6)
t_case_statement.adb:36:7: Error: Values: too few values for subtype of selector in case statement (2)
t_case_statement.adb:36:7: Error: Min_Paths: too few paths in case statement (2)
t_case_statement.adb:41:7: Error: Values: too many values for subtype of selector in case statement (191)
t_case_statement.adb:41:7: Error: Values_Others: too many values for subtype of selector in case statement with "others" (191)
t_case_statement.adb:41:7: Found: Min_Paths: too few paths in case statement (3)
t_case_statement.adb:44:10: Found: Min_Others_Span: too few values covered by "others" in case statement (97)
t_case_statement.adb:42:15: Error: Int_Range_Span: too many values in choice range (90)
t_case_statement.adb:56:7: Found: Max_Values: too many values for subtype of selector in case statement (10)
t_case_statement.adb:56:7: Found: Min_Paths: too few paths in case statement (3)
t_case_statement.adb:59:10: Error: Min_Others_Span: too few values covered by "others" in case statement (0)
t_case_statement.adb:57:15: Error: Enum_Range_Span: too many values in choice range (5)
t_case_statement.adb:58:15: Error: Enum_Range_Span: too many values in choice range (5)
t_case_statement.adb:62:7: Found: Max_Values: too many values for subtype of selector in case statement (10)
t_case_statement.adb:62:7: Error: Min_Paths: too few paths in case statement (2)
t_case_statement.adb:64:10: Found: Min_Others_Span: too few values covered by "others" in case statement (6)
t_case_statement.adb:63:15: Found: Enum_Range_Span: too many values in choice range (4)
t_case_statement.adb:82:10: Error: Min_Paths: too few paths in case statement (1)
t_case_statement.adb:86:10: Error: Min_Paths: too few paths in case statement (2)
t_case_statement.adb:87:18: Error: Int_Range_Span: too many values in choice range (6)
t_case_statement.adb:91:10: Error: Min_Paths: too few paths in case statement (2)
t_case_statement.adb:92:18: Error: Mod_Range_Span: too many values in choice range (56)
t_case_statement.adb:93:15: Error: Mod_Range_Span: too many values in choice range (199)
t_case_statement.adb:111:7: Error: Min_Paths: too few paths in case statement (2)
t_case_statement.adb:113:10: Found: Min_Others_Span: too few values covered by "others" in case statement (17)
t_case_statement.adb:123:7: Error: Values: too many values for subtype of selector in case statement (4294967296)
t_case_statement.adb:123:7: Error: Values_Others: too many values for subtype of selector in case statement with "others" (4294967296)
t_case_statement.adb:129:10: Found: Min_Others_Span: too few values covered by "others" in case statement (23)
t_case_statement.adb:124:15: Error: Int_Range_Span: too many values in choice range (2147483638)
t_case_statement.adb:125:15: Error: Int_Range_Span: too many values in choice range (10)
t_case_statement.adb:126:15: Error: Int_Range_Span: too many values in choice range (6)
t_case_statement.adb:127:15: Error: Int_Range_Span: too many values in choice range (11)
t_case_statement.adb:128:15: Error: Int_Range_Span: too many values in choice range (2147483608)

Counts summary:
Enum_Number_Empty_Others: 1
Int_Number_Empty_Others: 1
Mod_Number_Empty_Others: 0
Number_Big_Span: 5
Number_big_case: 2
Number_small_case: 11
