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 | 
23298 | 
1 | 
 | 
 | 
T2 | 
8 | 
 | 
T4 | 
305 | 
 | 
T5 | 
112 | 
| write_op | 
5511 | 
1 | 
 | 
 | 
T2 | 
5 | 
 | 
T4 | 
67 | 
 | 
T6 | 
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] | 
10751 | 
1 | 
 | 
 | 
T4 | 
87 | 
 | 
T6 | 
9 | 
 | 
T9 | 
9 | 
| auto[1] | 
18058 | 
1 | 
 | 
 | 
T2 | 
13 | 
 | 
T4 | 
285 | 
 | 
T5 | 
112 | 
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] | 
20353 | 
1 | 
 | 
 | 
T2 | 
5 | 
 | 
T4 | 
229 | 
 | 
T5 | 
112 | 
| auto[1] | 
8456 | 
1 | 
 | 
 | 
T2 | 
8 | 
 | 
T4 | 
143 | 
 | 
T11 | 
26 | 
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 | 
4900 | 
1 | 
 | 
 | 
T4 | 
23 | 
 | 
T6 | 
6 | 
 | 
T9 | 
6 | 
| auto[0] | 
auto[0] | 
write_op | 
2688 | 
1 | 
 | 
 | 
T4 | 
15 | 
 | 
T6 | 
3 | 
 | 
T9 | 
3 | 
| auto[0] | 
auto[1] | 
read_op | 
2393 | 
1 | 
 | 
 | 
T4 | 
38 | 
 | 
T11 | 
15 | 
 | 
T24 | 
11 | 
| auto[0] | 
auto[1] | 
write_op | 
770 | 
1 | 
 | 
 | 
T4 | 
11 | 
 | 
T11 | 
1 | 
 | 
T24 | 
3 | 
| auto[1] | 
auto[0] | 
read_op | 
11508 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T4 | 
161 | 
 | 
T5 | 
112 | 
| auto[1] | 
auto[0] | 
write_op | 
1257 | 
1 | 
 | 
 | 
T2 | 
3 | 
 | 
T4 | 
30 | 
 | 
T7 | 
1 | 
| auto[1] | 
auto[1] | 
read_op | 
4497 | 
1 | 
 | 
 | 
T2 | 
6 | 
 | 
T4 | 
83 | 
 | 
T11 | 
9 | 
| auto[1] | 
auto[1] | 
write_op | 
796 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T4 | 
11 | 
 | 
T11 | 
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 | 
23950 | 
1 | 
 | 
 | 
T2 | 
6 | 
 | 
T4 | 
305 | 
 | 
T5 | 
208 | 
| write_op | 
5526 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T4 | 
72 | 
 | 
T6 | 
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] | 
11034 | 
1 | 
 | 
 | 
T4 | 
111 | 
 | 
T6 | 
9 | 
 | 
T9 | 
6 | 
| auto[1] | 
18442 | 
1 | 
 | 
 | 
T2 | 
10 | 
 | 
T4 | 
266 | 
 | 
T5 | 
208 | 
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] | 
24326 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T4 | 
194 | 
 | 
T5 | 
208 | 
| auto[1] | 
5150 | 
1 | 
 | 
 | 
T2 | 
6 | 
 | 
T4 | 
183 | 
 | 
T11 | 
39 | 
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 | 
5939 | 
1 | 
 | 
 | 
T4 | 
38 | 
 | 
T6 | 
6 | 
 | 
T9 | 
4 | 
| auto[0] | 
auto[0] | 
write_op | 
2952 | 
1 | 
 | 
 | 
T4 | 
20 | 
 | 
T6 | 
3 | 
 | 
T9 | 
2 | 
| auto[0] | 
auto[1] | 
read_op | 
1615 | 
1 | 
 | 
 | 
T4 | 
37 | 
 | 
T11 | 
20 | 
 | 
T66 | 
25 | 
| auto[0] | 
auto[1] | 
write_op | 
528 | 
1 | 
 | 
 | 
T4 | 
16 | 
 | 
T11 | 
5 | 
 | 
T97 | 
1 | 
| auto[1] | 
auto[0] | 
read_op | 
13881 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T4 | 
116 | 
 | 
T5 | 
208 | 
| auto[1] | 
auto[0] | 
write_op | 
1554 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T4 | 
20 | 
 | 
T9 | 
1 | 
| auto[1] | 
auto[1] | 
read_op | 
2515 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T4 | 
114 | 
 | 
T11 | 
12 | 
| auto[1] | 
auto[1] | 
write_op | 
492 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T4 | 
16 | 
 | 
T11 | 
2 | 
 
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 | 
23463 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T4 | 
321 | 
 | 
T5 | 
160 | 
| write_op | 
5819 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T4 | 
74 | 
 | 
T6 | 
2 | 
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] | 
11128 | 
1 | 
 | 
 | 
T2 | 
7 | 
 | 
T4 | 
92 | 
 | 
T6 | 
6 | 
| auto[1] | 
18154 | 
1 | 
 | 
 | 
T2 | 
1 | 
 | 
T4 | 
303 | 
 | 
T5 | 
160 | 
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] | 
20838 | 
1 | 
 | 
 | 
T2 | 
7 | 
 | 
T4 | 
190 | 
 | 
T5 | 
160 | 
| auto[1] | 
8444 | 
1 | 
 | 
 | 
T2 | 
1 | 
 | 
T4 | 
205 | 
 | 
T11 | 
43 | 
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 | 
2 | 
 | 
T4 | 
17 | 
 | 
T6 | 
4 | 
| auto[0] | 
auto[0] | 
write_op | 
2817 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T4 | 
17 | 
 | 
T6 | 
2 | 
| auto[0] | 
auto[1] | 
read_op | 
2475 | 
1 | 
 | 
 | 
T2 | 
1 | 
 | 
T4 | 
44 | 
 | 
T11 | 
21 | 
| auto[0] | 
auto[1] | 
write_op | 
811 | 
1 | 
 | 
 | 
T4 | 
14 | 
 | 
T11 | 
9 | 
 | 
T24 | 
4 | 
| auto[1] | 
auto[0] | 
read_op | 
11670 | 
1 | 
 | 
 | 
T2 | 
1 | 
 | 
T4 | 
136 | 
 | 
T5 | 
160 | 
| auto[1] | 
auto[0] | 
write_op | 
1326 | 
1 | 
 | 
 | 
T4 | 
20 | 
 | 
T7 | 
2 | 
 | 
T24 | 
4 | 
| auto[1] | 
auto[1] | 
read_op | 
4293 | 
1 | 
 | 
 | 
T4 | 
124 | 
 | 
T11 | 
10 | 
 | 
T24 | 
14 | 
| auto[1] | 
auto[1] | 
write_op | 
865 | 
1 | 
 | 
 | 
T4 | 
23 | 
 | 
T11 | 
3 | 
 | 
T24 | 
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 | 
22399 | 
1 | 
 | 
 | 
T2 | 
11 | 
 | 
T4 | 
337 | 
 | 
T5 | 
12 | 
| write_op | 
4128 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T4 | 
55 | 
 | 
T6 | 
1 | 
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] | 
9634 | 
1 | 
 | 
 | 
T4 | 
113 | 
 | 
T6 | 
3 | 
 | 
T9 | 
2 | 
| auto[1] | 
16893 | 
1 | 
 | 
 | 
T2 | 
15 | 
 | 
T4 | 
279 | 
 | 
T5 | 
12 | 
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] | 
23188 | 
1 | 
 | 
 | 
T2 | 
15 | 
 | 
T4 | 
379 | 
 | 
T5 | 
12 | 
| auto[1] | 
3339 | 
1 | 
 | 
 | 
T4 | 
13 | 
 | 
T24 | 
47 | 
 | 
T96 | 
50 | 
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 | 
5946 | 
1 | 
 | 
 | 
T4 | 
80 | 
 | 
T6 | 
2 | 
 | 
T9 | 
2 | 
| auto[0] | 
auto[0] | 
write_op | 
2424 | 
1 | 
 | 
 | 
T4 | 
24 | 
 | 
T6 | 
1 | 
 | 
T11 | 
4 | 
| auto[0] | 
auto[1] | 
read_op | 
1016 | 
1 | 
 | 
 | 
T4 | 
6 | 
 | 
T24 | 
17 | 
 | 
T96 | 
4 | 
| auto[0] | 
auto[1] | 
write_op | 
248 | 
1 | 
 | 
 | 
T4 | 
3 | 
 | 
T24 | 
5 | 
 | 
T96 | 
1 | 
| auto[1] | 
auto[0] | 
read_op | 
13557 | 
1 | 
 | 
 | 
T2 | 
11 | 
 | 
T4 | 
248 | 
 | 
T5 | 
12 | 
| auto[1] | 
auto[0] | 
write_op | 
1261 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T4 | 
27 | 
 | 
T24 | 
2 | 
| auto[1] | 
auto[1] | 
read_op | 
1880 | 
1 | 
 | 
 | 
T4 | 
3 | 
 | 
T24 | 
23 | 
 | 
T96 | 
43 | 
| auto[1] | 
auto[1] | 
write_op | 
195 | 
1 | 
 | 
 | 
T4 | 
1 | 
 | 
T24 | 
2 | 
 | 
T96 | 
2 | 
 
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 | 
23077 | 
1 | 
 | 
 | 
T2 | 
9 | 
 | 
T3 | 
2 | 
 | 
T4 | 
298 | 
| write_op | 
5202 | 
1 | 
 | 
 | 
T2 | 
5 | 
 | 
T4 | 
73 | 
 | 
T6 | 
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] | 
10658 | 
1 | 
 | 
 | 
T3 | 
2 | 
 | 
T4 | 
100 | 
 | 
T6 | 
12 | 
| auto[1] | 
17621 | 
1 | 
 | 
 | 
T2 | 
14 | 
 | 
T4 | 
271 | 
 | 
T5 | 
22 | 
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] | 
20010 | 
1 | 
 | 
 | 
T2 | 
7 | 
 | 
T3 | 
2 | 
 | 
T4 | 
177 | 
| auto[1] | 
8269 | 
1 | 
 | 
 | 
T2 | 
7 | 
 | 
T4 | 
194 | 
 | 
T11 | 
36 | 
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 | 
4903 | 
1 | 
 | 
 | 
T3 | 
2 | 
 | 
T4 | 
13 | 
 | 
T6 | 
8 | 
| auto[0] | 
auto[0] | 
write_op | 
2577 | 
1 | 
 | 
 | 
T4 | 
13 | 
 | 
T6 | 
4 | 
 | 
T9 | 
5 | 
| auto[0] | 
auto[1] | 
read_op | 
2469 | 
1 | 
 | 
 | 
T4 | 
52 | 
 | 
T11 | 
20 | 
 | 
T24 | 
13 | 
| auto[0] | 
auto[1] | 
write_op | 
709 | 
1 | 
 | 
 | 
T4 | 
22 | 
 | 
T11 | 
1 | 
 | 
T24 | 
4 | 
| auto[1] | 
auto[0] | 
read_op | 
11307 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T4 | 
131 | 
 | 
T5 | 
22 | 
| auto[1] | 
auto[0] | 
write_op | 
1223 | 
1 | 
 | 
 | 
T2 | 
3 | 
 | 
T4 | 
20 | 
 | 
T24 | 
4 | 
| auto[1] | 
auto[1] | 
read_op | 
4398 | 
1 | 
 | 
 | 
T2 | 
5 | 
 | 
T4 | 
102 | 
 | 
T11 | 
14 | 
| auto[1] | 
auto[1] | 
write_op | 
693 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T4 | 
18 | 
 | 
T11 | 
1 |