Summary for Variable operation_type
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| User Defined Bins | 
2 | 
0 | 
2 | 
100.00 | 
User Defined Bins for operation_type
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| read_op | 
26568 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
4 | 
 | 
T3 | 
4 | 
| write_op | 
6283 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T3 | 
1 | 
 | 
T4 | 
50 | 
Summary for Variable read_access_locked
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
0 | 
2 | 
100.00 | 
Automatically Generated Bins for read_access_locked
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
10965 | 
1 | 
 | 
 | 
T2 | 
6 | 
 | 
T3 | 
3 | 
 | 
T4 | 
18 | 
| auto[1] | 
21886 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T3 | 
2 | 
 | 
T4 | 
213 | 
Summary for Variable write_access_locked
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
0 | 
2 | 
100.00 | 
Automatically Generated Bins for write_access_locked
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
24659 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
6 | 
 | 
T3 | 
5 | 
| auto[1] | 
8192 | 
1 | 
 | 
 | 
T10 | 
38 | 
 | 
T5 | 
191 | 
 | 
T14 | 
51 | 
Summary for Cross unbuf_part_access_cross
Samples crossed: read_access_locked write_access_locked operation_type
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING | 
| Automatically Generated Cross Bins | 
8 | 
0 | 
8 | 
100.00 | 
 | 
Automatically Generated Cross Bins for unbuf_part_access_cross
Bins
| read_access_locked | write_access_locked | operation_type | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
auto[0] | 
read_op | 
5024 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T3 | 
2 | 
 | 
T4 | 
10 | 
| auto[0] | 
auto[0] | 
write_op | 
2842 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T3 | 
1 | 
 | 
T4 | 
8 | 
| auto[0] | 
auto[1] | 
read_op | 
2396 | 
1 | 
 | 
 | 
T10 | 
13 | 
 | 
T5 | 
51 | 
 | 
T14 | 
24 | 
| auto[0] | 
auto[1] | 
write_op | 
703 | 
1 | 
 | 
 | 
T10 | 
5 | 
 | 
T5 | 
14 | 
 | 
T14 | 
6 | 
| auto[1] | 
auto[0] | 
read_op | 
14782 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T3 | 
2 | 
 | 
T4 | 
171 | 
| auto[1] | 
auto[0] | 
write_op | 
2011 | 
1 | 
 | 
 | 
T4 | 
42 | 
 | 
T7 | 
1 | 
 | 
T5 | 
11 | 
| auto[1] | 
auto[1] | 
read_op | 
4366 | 
1 | 
 | 
 | 
T10 | 
16 | 
 | 
T5 | 
112 | 
 | 
T14 | 
18 | 
| auto[1] | 
auto[1] | 
write_op | 
727 | 
1 | 
 | 
 | 
T10 | 
4 | 
 | 
T5 | 
14 | 
 | 
T14 | 
3 | 
 
Summary for Variable operation_type
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| User Defined Bins | 
2 | 
0 | 
2 | 
100.00 | 
User Defined Bins for operation_type
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| read_op | 
27147 | 
1 | 
 | 
 | 
T2 | 
12 | 
 | 
T3 | 
9 | 
 | 
T4 | 
176 | 
| write_op | 
6219 | 
1 | 
 | 
 | 
T2 | 
9 | 
 | 
T4 | 
36 | 
 | 
T7 | 
7 | 
Summary for Variable read_access_locked
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
0 | 
2 | 
100.00 | 
Automatically Generated Bins for read_access_locked
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
11112 | 
1 | 
 | 
 | 
T2 | 
21 | 
 | 
T3 | 
3 | 
 | 
T4 | 
28 | 
| auto[1] | 
22254 | 
1 | 
 | 
 | 
T3 | 
6 | 
 | 
T4 | 
184 | 
 | 
T7 | 
15 | 
Summary for Variable write_access_locked
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
0 | 
2 | 
100.00 | 
Automatically Generated Bins for write_access_locked
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
28002 | 
1 | 
 | 
 | 
T2 | 
21 | 
 | 
T3 | 
9 | 
 | 
T4 | 
212 | 
| auto[1] | 
5364 | 
1 | 
 | 
 | 
T10 | 
39 | 
 | 
T5 | 
100 | 
 | 
T14 | 
8 | 
Summary for Cross unbuf_part_access_cross
Samples crossed: read_access_locked write_access_locked operation_type
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING | 
| Automatically Generated Cross Bins | 
8 | 
0 | 
8 | 
100.00 | 
 | 
Automatically Generated Cross Bins for unbuf_part_access_cross
Bins
| read_access_locked | write_access_locked | operation_type | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
auto[0] | 
read_op | 
6054 | 
1 | 
 | 
 | 
T2 | 
12 | 
 | 
T3 | 
3 | 
 | 
T4 | 
19 | 
| auto[0] | 
auto[0] | 
write_op | 
3009 | 
1 | 
 | 
 | 
T2 | 
9 | 
 | 
T4 | 
9 | 
 | 
T7 | 
3 | 
| auto[0] | 
auto[1] | 
read_op | 
1533 | 
1 | 
 | 
 | 
T10 | 
11 | 
 | 
T5 | 
21 | 
 | 
T14 | 
4 | 
| auto[0] | 
auto[1] | 
write_op | 
516 | 
1 | 
 | 
 | 
T10 | 
5 | 
 | 
T5 | 
6 | 
 | 
T14 | 
3 | 
| auto[1] | 
auto[0] | 
read_op | 
16747 | 
1 | 
 | 
 | 
T3 | 
6 | 
 | 
T4 | 
157 | 
 | 
T7 | 
11 | 
| auto[1] | 
auto[0] | 
write_op | 
2192 | 
1 | 
 | 
 | 
T4 | 
27 | 
 | 
T7 | 
4 | 
 | 
T5 | 
23 | 
| auto[1] | 
auto[1] | 
read_op | 
2813 | 
1 | 
 | 
 | 
T10 | 
19 | 
 | 
T5 | 
63 | 
 | 
T35 | 
7 | 
| auto[1] | 
auto[1] | 
write_op | 
502 | 
1 | 
 | 
 | 
T10 | 
4 | 
 | 
T5 | 
10 | 
 | 
T14 | 
1 | 
 
Summary for Variable operation_type
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| User Defined Bins | 
2 | 
0 | 
2 | 
100.00 | 
User Defined Bins for operation_type
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| read_op | 
26757 | 
1 | 
 | 
 | 
T1 | 
7 | 
 | 
T2 | 
7 | 
 | 
T3 | 
3 | 
| write_op | 
6657 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T2 | 
4 | 
 | 
T3 | 
4 | 
Summary for Variable read_access_locked
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
0 | 
2 | 
100.00 | 
Automatically Generated Bins for read_access_locked
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
11427 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
11 | 
 | 
T3 | 
7 | 
| auto[1] | 
21987 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T4 | 
196 | 
 | 
T7 | 
9 | 
Summary for Variable write_access_locked
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
0 | 
2 | 
100.00 | 
Automatically Generated Bins for write_access_locked
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
25235 | 
1 | 
 | 
 | 
T1 | 
8 | 
 | 
T2 | 
11 | 
 | 
T3 | 
7 | 
| auto[1] | 
8179 | 
1 | 
 | 
 | 
T10 | 
30 | 
 | 
T5 | 
188 | 
 | 
T14 | 
41 | 
Summary for Cross unbuf_part_access_cross
Samples crossed: read_access_locked write_access_locked operation_type
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING | 
| Automatically Generated Cross Bins | 
8 | 
0 | 
8 | 
100.00 | 
 | 
Automatically Generated Cross Bins for unbuf_part_access_cross
Bins
| read_access_locked | write_access_locked | operation_type | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
auto[0] | 
read_op | 
5395 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T2 | 
7 | 
 | 
T3 | 
3 | 
| auto[0] | 
auto[0] | 
write_op | 
2937 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T2 | 
4 | 
 | 
T3 | 
4 | 
| auto[0] | 
auto[1] | 
read_op | 
2314 | 
1 | 
 | 
 | 
T10 | 
10 | 
 | 
T5 | 
46 | 
 | 
T14 | 
10 | 
| auto[0] | 
auto[1] | 
write_op | 
781 | 
1 | 
 | 
 | 
T10 | 
2 | 
 | 
T5 | 
18 | 
 | 
T14 | 
1 | 
| auto[1] | 
auto[0] | 
read_op | 
14755 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T4 | 
153 | 
 | 
T7 | 
8 | 
| auto[1] | 
auto[0] | 
write_op | 
2148 | 
1 | 
 | 
 | 
T4 | 
43 | 
 | 
T7 | 
1 | 
 | 
T10 | 
4 | 
| auto[1] | 
auto[1] | 
read_op | 
4293 | 
1 | 
 | 
 | 
T10 | 
12 | 
 | 
T5 | 
109 | 
 | 
T14 | 
22 | 
| auto[1] | 
auto[1] | 
write_op | 
791 | 
1 | 
 | 
 | 
T10 | 
6 | 
 | 
T5 | 
15 | 
 | 
T14 | 
8 | 
 
Summary for Variable operation_type
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| User Defined Bins | 
2 | 
0 | 
2 | 
100.00 | 
User Defined Bins for operation_type
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| read_op | 
25674 | 
1 | 
 | 
 | 
T2 | 
3 | 
 | 
T3 | 
4 | 
 | 
T4 | 
197 | 
| write_op | 
4595 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T4 | 
24 | 
 | 
T7 | 
3 | 
Summary for Variable read_access_locked
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
0 | 
2 | 
100.00 | 
Automatically Generated Bins for read_access_locked
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
10087 | 
1 | 
 | 
 | 
T2 | 
7 | 
 | 
T4 | 
4 | 
 | 
T7 | 
9 | 
| auto[1] | 
20182 | 
1 | 
 | 
 | 
T3 | 
4 | 
 | 
T4 | 
217 | 
 | 
T7 | 
4 | 
Summary for Variable write_access_locked
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
0 | 
2 | 
100.00 | 
Automatically Generated Bins for write_access_locked
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
27061 | 
1 | 
 | 
 | 
T2 | 
7 | 
 | 
T3 | 
4 | 
 | 
T4 | 
221 | 
| auto[1] | 
3208 | 
1 | 
 | 
 | 
T5 | 
94 | 
 | 
T104 | 
3 | 
 | 
T14 | 
46 | 
Summary for Cross unbuf_part_access_cross
Samples crossed: read_access_locked write_access_locked operation_type
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING | 
| Automatically Generated Cross Bins | 
8 | 
0 | 
8 | 
100.00 | 
 | 
Automatically Generated Cross Bins for unbuf_part_access_cross
Bins
| read_access_locked | write_access_locked | operation_type | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
auto[0] | 
read_op | 
6341 | 
1 | 
 | 
 | 
T2 | 
3 | 
 | 
T4 | 
2 | 
 | 
T7 | 
7 | 
| auto[0] | 
auto[0] | 
write_op | 
2607 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T4 | 
2 | 
 | 
T7 | 
2 | 
| auto[0] | 
auto[1] | 
read_op | 
939 | 
1 | 
 | 
 | 
T5 | 
21 | 
 | 
T104 | 
1 | 
 | 
T14 | 
16 | 
| auto[0] | 
auto[1] | 
write_op | 
200 | 
1 | 
 | 
 | 
T5 | 
4 | 
 | 
T14 | 
1 | 
 | 
T96 | 
1 | 
| auto[1] | 
auto[0] | 
read_op | 
16528 | 
1 | 
 | 
 | 
T3 | 
4 | 
 | 
T4 | 
195 | 
 | 
T7 | 
3 | 
| auto[1] | 
auto[0] | 
write_op | 
1585 | 
1 | 
 | 
 | 
T4 | 
22 | 
 | 
T7 | 
1 | 
 | 
T10 | 
4 | 
| auto[1] | 
auto[1] | 
read_op | 
1866 | 
1 | 
 | 
 | 
T5 | 
66 | 
 | 
T104 | 
1 | 
 | 
T14 | 
26 | 
| auto[1] | 
auto[1] | 
write_op | 
203 | 
1 | 
 | 
 | 
T5 | 
3 | 
 | 
T104 | 
1 | 
 | 
T14 | 
3 | 
 
Summary for Variable operation_type
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| User Defined Bins | 
2 | 
0 | 
2 | 
100.00 | 
User Defined Bins for operation_type
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| read_op | 
25721 | 
1 | 
 | 
 | 
T1 | 
10 | 
 | 
T2 | 
3 | 
 | 
T3 | 
11 | 
| write_op | 
5833 | 
1 | 
 | 
 | 
T2 | 
3 | 
 | 
T3 | 
1 | 
 | 
T4 | 
36 | 
Summary for Variable read_access_locked
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
0 | 
2 | 
100.00 | 
Automatically Generated Bins for read_access_locked
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
10744 | 
1 | 
 | 
 | 
T2 | 
6 | 
 | 
T3 | 
6 | 
 | 
T4 | 
15 | 
| auto[1] | 
20810 | 
1 | 
 | 
 | 
T1 | 
10 | 
 | 
T3 | 
6 | 
 | 
T4 | 
204 | 
Summary for Variable write_access_locked
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
0 | 
2 | 
100.00 | 
Automatically Generated Bins for write_access_locked
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
23556 | 
1 | 
 | 
 | 
T1 | 
10 | 
 | 
T2 | 
6 | 
 | 
T3 | 
12 | 
| auto[1] | 
7998 | 
1 | 
 | 
 | 
T10 | 
23 | 
 | 
T5 | 
205 | 
 | 
T14 | 
51 | 
Summary for Cross unbuf_part_access_cross
Samples crossed: read_access_locked write_access_locked operation_type
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING | 
| Automatically Generated Cross Bins | 
8 | 
0 | 
8 | 
100.00 | 
 | 
Automatically Generated Cross Bins for unbuf_part_access_cross
Bins
| read_access_locked | write_access_locked | operation_type | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 
auto[0] | 
read_op | 
5025 | 
1 | 
 | 
 | 
T2 | 
3 | 
 | 
T3 | 
6 | 
 | 
T4 | 
7 | 
| auto[0] | 
auto[0] | 
write_op | 
2735 | 
1 | 
 | 
 | 
T2 | 
3 | 
 | 
T4 | 
8 | 
 | 
T7 | 
3 | 
| auto[0] | 
auto[1] | 
read_op | 
2331 | 
1 | 
 | 
 | 
T10 | 
2 | 
 | 
T5 | 
22 | 
 | 
T14 | 
32 | 
| auto[0] | 
auto[1] | 
write_op | 
653 | 
1 | 
 | 
 | 
T5 | 
9 | 
 | 
T14 | 
9 | 
 | 
T108 | 
1 | 
| auto[1] | 
auto[0] | 
read_op | 
13985 | 
1 | 
 | 
 | 
T1 | 
10 | 
 | 
T3 | 
5 | 
 | 
T4 | 
176 | 
| auto[1] | 
auto[0] | 
write_op | 
1811 | 
1 | 
 | 
 | 
T3 | 
1 | 
 | 
T4 | 
28 | 
 | 
T7 | 
1 | 
| auto[1] | 
auto[1] | 
read_op | 
4380 | 
1 | 
 | 
 | 
T10 | 
16 | 
 | 
T5 | 
159 | 
 | 
T14 | 
8 | 
| auto[1] | 
auto[1] | 
write_op | 
634 | 
1 | 
 | 
 | 
T10 | 
5 | 
 | 
T5 | 
15 | 
 | 
T14 | 
2 |