1
t_case_statement.adb:13:7: Error: Max_Values: too many values for subtype of selector in case statement ( 11)
2
t_case_statement.adb:17:10: Error: Min_Others_Range: too few values covered by "others" in case statement ( 0)
3
t_case_statement.adb:20:7: Error: Max_Values: too many values for subtype of selector in case statement ( 11)
4
t_case_statement.adb:20:7: Error: Min_Paths: too few paths in case statement ( 2)
5
t_case_statement.adb:22:10: Found: Min_Others_Range: too few values covered by "others" in case statement ( 5)
6
t_case_statement.adb:25:7: Error: Max_Values: too many values for subtype of selector in case statement ( 11)
7
t_case_statement.adb:25:7: Error: Min_Paths: too few paths in case statement ( 2)
8
t_case_statement.adb:27:10: Found: Min_Others_Range: too few values covered by "others" in case statement ( 5)
9
t_case_statement.adb:30:7: Error: Max_Values: too many values for subtype of selector in case statement ( 191)
10
t_case_statement.adb:30:7: Found: Min_Paths: too few paths in case statement ( 3)
11
t_case_statement.adb:33:10: Found: Min_Others_Range: too few values covered by "others" in case statement ( 97)
12
t_case_statement.adb:45:7: Found: Max_Values: too many values for subtype of selector in case statement ( 10)
13
t_case_statement.adb:45:7: Found: Min_Paths: too few paths in case statement ( 3)
14
t_case_statement.adb:48:10: Error: Min_Others_Range: too few values covered by "others" in case statement ( 0)
15
t_case_statement.adb:51:7: Found: Max_Values: too many values for subtype of selector in case statement ( 10)
16
t_case_statement.adb:51:7: Error: Min_Paths: too few paths in case statement ( 2)
17
t_case_statement.adb:53:10: Found: Min_Others_Range: too few values covered by "others" in case statement ( 6)
18
t_case_statement.adb:71:10: Error: Min_Paths: too few paths in case statement ( 1)
19
t_case_statement.adb:75:10: Error: Min_Paths: too few paths in case statement ( 2)
20
t_case_statement.adb:80:10: Error: Min_Paths: too few paths in case statement ( 2)
21
t_case_statement.adb:100:7: Error: Min_Paths: too few paths in case statement ( 2)
22
t_case_statement.adb:102:10: Found: Min_Others_Range: too few values covered by "others" in case statement ( 17)
23
t_case_statement.adb:112:7: Error: Max_Values: too many values for subtype of selector in case statement ( 4294967296)
24
t_case_statement.adb:118:10: Found: Min_Others_Range: too few values covered by "others" in case statement ( 23)
27
Number_Empty_Others: 2