t_case_statement.adb:14:7: Error: Values: too many values for subtype of selector in case statement (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: 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:10: Found: Min_Others_Span: too few values covered by "others" in case statement (5)
t_case_statement.adb:22:15: Error: Range_Span: too many values in choice range (6)
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: 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: Range_Span: too many values in choice range (6)
t_case_statement.adb:31:7: Error: Values: too few values for subtype of selector in case statement (2)
t_case_statement.adb:31:7: Error: Min_Paths: too few paths in case statement (2)
t_case_statement.adb:36:7: Error: Values: too many values for subtype of selector in case statement (191)
t_case_statement.adb:36:7: Found: Min_Paths: too few paths in case statement (3)
t_case_statement.adb:39:10: Found: Min_Others_Span: too few values covered by "others" in case statement (97)
t_case_statement.adb:37:15: Error: Range_Span: too many values in choice range (90)
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: Found: Min_Paths: too few paths in case statement (3)
t_case_statement.adb:54:10: Error: Min_Others_Span: too few values covered by "others" in case statement (0)
t_case_statement.adb:52:15: Found: Range_Span: too many values in choice range (5)
t_case_statement.adb:53:15: Found: Range_Span: too many values in choice range (5)
t_case_statement.adb:57:7: Found: Max_Values: too many values for subtype of selector in case statement (10)
t_case_statement.adb:57:7: Error: Min_Paths: too few paths in case statement (2)
t_case_statement.adb:59:10: Found: Min_Others_Span: too few values covered by "others" in case statement (6)
t_case_statement.adb:77:10: Error: Min_Paths: too few paths in case statement (1)
t_case_statement.adb:81:10: Error: Min_Paths: too few paths in case statement (2)
t_case_statement.adb:82:18: Error: Range_Span: too many values in choice range (6)
t_case_statement.adb:86:10: Error: Min_Paths: too few paths in case statement (2)
t_case_statement.adb:87:18: Error: Range_Span: too many values in choice range (56)
t_case_statement.adb:88:15: Error: Range_Span: too many values in choice range (199)
t_case_statement.adb:106:7: Error: Min_Paths: too few paths in case statement (2)
t_case_statement.adb:108:10: Found: Min_Others_Span: too few values covered by "others" in case statement (17)
t_case_statement.adb:118:7: Error: Values: too many values for subtype of selector in case statement (4294967296)
t_case_statement.adb:124:10: Found: Min_Others_Span: too few values covered by "others" in case statement (23)
t_case_statement.adb:119:15: Error: Range_Span: too many values in choice range (2147483638)
t_case_statement.adb:120:15: Error: Range_Span: too many values in choice range (10)
t_case_statement.adb:121:15: Error: Range_Span: too many values in choice range (6)
t_case_statement.adb:122:15: Error: Range_Span: too many values in choice range (11)
t_case_statement.adb:123: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: 10
