t_case_statement.adb:13:7: Error: Max_Values: too many values for subtype of selector in case statement ( 11)
t_case_statement.adb:17:10: Error: Min_Others_Span: too few values covered by "others" in case statement ( 0)
t_case_statement.adb:16:15: Found: Range_Span: too many values in choice range ( 5)
t_case_statement.adb:20:7: Error: Max_Values: too many values for subtype of selector in case statement ( 11)
t_case_statement.adb:20:7: Error: Min_Paths: too few paths in case statement ( 2)
t_case_statement.adb:22:10: Found: Min_Others_Span: too few values covered by "others" in case statement ( 5)
t_case_statement.adb:21:15: Error: Range_Span: too many values in choice range ( 6)
t_case_statement.adb:25:7: Error: Max_Values: too many values for subtype of selector in case statement ( 11)
t_case_statement.adb:25:7: Error: Min_Paths: too few paths in case statement ( 2)
t_case_statement.adb:27:10: Found: Min_Others_Span: too few values covered by "others" in case statement ( 5)
t_case_statement.adb:26:15: Error: Range_Span: too many values in choice range ( 6)
t_case_statement.adb:30:7: Error: Max_Values: too many values for subtype of selector in case statement ( 191)
t_case_statement.adb:30:7: Found: Min_Paths: too few paths in case statement ( 3)
t_case_statement.adb:33:10: Found: Min_Others_Span: too few values covered by "others" in case statement ( 97)
t_case_statement.adb:31:15: Error: Range_Span: too many values in choice range ( 90)
t_case_statement.adb:45:7: Found: Max_Values: too many values for subtype of selector in case statement ( 10)
t_case_statement.adb:45:7: Found: Min_Paths: too few paths in case statement ( 3)
t_case_statement.adb:48:10: Error: Min_Others_Span: too few values covered by "others" in case statement ( 0)
t_case_statement.adb:46:15: Found: Range_Span: too many values in choice range ( 5)
t_case_statement.adb:47:15: Found: Range_Span: too many values in choice range ( 5)
t_case_statement.adb:51:7: Found: Max_Values: too many values for subtype of selector in case statement ( 10)
t_case_statement.adb:51:7: Error: Min_Paths: too few paths in case statement ( 2)
t_case_statement.adb:53:10: Found: Min_Others_Span: too few values covered by "others" in case statement ( 6)
t_case_statement.adb:71:10: Error: Min_Paths: too few paths in case statement ( 1)
t_case_statement.adb:75:10: Error: Min_Paths: too few paths in case statement ( 2)
t_case_statement.adb:76:18: Error: Range_Span: too many values in choice range ( 6)
t_case_statement.adb:80:10: Error: Min_Paths: too few paths in case statement ( 2)
t_case_statement.adb:81:18: Error: Range_Span: too many values in choice range ( 56)
t_case_statement.adb:82:15: Error: Range_Span: too many values in choice range ( 199)
t_case_statement.adb:100:7: Error: Min_Paths: too few paths in case statement ( 2)
t_case_statement.adb:102:10: Found: Min_Others_Span: too few values covered by "others" in case statement ( 17)
t_case_statement.adb:112:7: Error: Max_Values: too many values for subtype of selector in case statement ( 4294967296)
t_case_statement.adb:118:10: Found: Min_Others_Span: too few values covered by "others" in case statement ( 23)
t_case_statement.adb:113:15: Error: Range_Span: too many values in choice range ( 2147483638)
t_case_statement.adb:114:15: Error: Range_Span: too many values in choice range ( 10)
t_case_statement.adb:115:15: Error: Range_Span: too many values in choice range ( 6)
t_case_statement.adb:116:15: Error: Range_Span: too many values in choice range ( 11)
t_case_statement.adb:117:15: Error: Range_Span: too many values in choice range ( 2147483608)

Counts summary:
Number_Big_Span: 5
Number_Empty_Others: 2
Number_big_case: 2
Number_small_case: 9
