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 | 
27802 | 
1 | 
 | 
 | 
T1 | 
23 | 
 | 
T2 | 
4 | 
 | 
T3 | 
4 | 
| write_op | 
6583 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
2 | 
 | 
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] | 
11481 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T2 | 
6 | 
 | 
T3 | 
8 | 
| auto[1] | 
22904 | 
1 | 
 | 
 | 
T1 | 
24 | 
 | 
T4 | 
160 | 
 | 
T5 | 
14 | 
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] | 
25611 | 
1 | 
 | 
 | 
T1 | 
25 | 
 | 
T2 | 
6 | 
 | 
T3 | 
8 | 
| auto[1] | 
8774 | 
1 | 
 | 
 | 
T5 | 
20 | 
 | 
T21 | 
13 | 
 | 
T22 | 
28 | 
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 | 
5297 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T3 | 
4 | 
 | 
T4 | 
15 | 
| auto[0] | 
auto[0] | 
write_op | 
2971 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T2 | 
2 | 
 | 
T3 | 
4 | 
| auto[0] | 
auto[1] | 
read_op | 
2446 | 
1 | 
 | 
 | 
T5 | 
5 | 
 | 
T21 | 
5 | 
 | 
T22 | 
9 | 
| auto[0] | 
auto[1] | 
write_op | 
767 | 
1 | 
 | 
 | 
T5 | 
2 | 
 | 
T21 | 
3 | 
 | 
T22 | 
3 | 
| auto[1] | 
auto[0] | 
read_op | 
15272 | 
1 | 
 | 
 | 
T1 | 
23 | 
 | 
T4 | 
137 | 
 | 
T5 | 
1 | 
| auto[1] | 
auto[0] | 
write_op | 
2071 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T4 | 
23 | 
 | 
T7 | 
5 | 
| auto[1] | 
auto[1] | 
read_op | 
4787 | 
1 | 
 | 
 | 
T5 | 
11 | 
 | 
T21 | 
4 | 
 | 
T22 | 
12 | 
| auto[1] | 
auto[1] | 
write_op | 
774 | 
1 | 
 | 
 | 
T5 | 
2 | 
 | 
T21 | 
1 | 
 | 
T22 | 
4 | 
 
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 | 
28569 | 
1 | 
 | 
 | 
T1 | 
22 | 
 | 
T2 | 
8 | 
 | 
T3 | 
8 | 
| write_op | 
6602 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T2 | 
3 | 
 | 
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] | 
11608 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T2 | 
11 | 
 | 
T3 | 
4 | 
| auto[1] | 
23563 | 
1 | 
 | 
 | 
T1 | 
22 | 
 | 
T3 | 
8 | 
 | 
T4 | 
178 | 
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] | 
29216 | 
1 | 
 | 
 | 
T1 | 
28 | 
 | 
T2 | 
11 | 
 | 
T3 | 
12 | 
| auto[1] | 
5955 | 
1 | 
 | 
 | 
T5 | 
26 | 
 | 
T21 | 
7 | 
 | 
T22 | 
15 | 
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 | 
6195 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T2 | 
8 | 
 | 
T3 | 
1 | 
| auto[0] | 
auto[0] | 
write_op | 
3141 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T2 | 
3 | 
 | 
T3 | 
3 | 
| auto[0] | 
auto[1] | 
read_op | 
1711 | 
1 | 
 | 
 | 
T5 | 
11 | 
 | 
T21 | 
3 | 
 | 
T22 | 
6 | 
| auto[0] | 
auto[1] | 
write_op | 
561 | 
1 | 
 | 
 | 
T5 | 
6 | 
 | 
T22 | 
2 | 
 | 
T105 | 
4 | 
| auto[1] | 
auto[0] | 
read_op | 
17617 | 
1 | 
 | 
 | 
T1 | 
19 | 
 | 
T3 | 
7 | 
 | 
T4 | 
155 | 
| auto[1] | 
auto[0] | 
write_op | 
2263 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T3 | 
1 | 
 | 
T4 | 
23 | 
| auto[1] | 
auto[1] | 
read_op | 
3046 | 
1 | 
 | 
 | 
T5 | 
8 | 
 | 
T21 | 
3 | 
 | 
T22 | 
6 | 
| auto[1] | 
auto[1] | 
write_op | 
637 | 
1 | 
 | 
 | 
T5 | 
1 | 
 | 
T21 | 
1 | 
 | 
T22 | 
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 | 
28075 | 
1 | 
 | 
 | 
T1 | 
24 | 
 | 
T2 | 
8 | 
 | 
T3 | 
16 | 
| write_op | 
6938 | 
1 | 
 | 
 | 
T1 | 
9 | 
 | 
T2 | 
3 | 
 | 
T3 | 
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] | 
11665 | 
1 | 
 | 
 | 
T2 | 
11 | 
 | 
T3 | 
6 | 
 | 
T4 | 
19 | 
| auto[1] | 
23348 | 
1 | 
 | 
 | 
T1 | 
33 | 
 | 
T3 | 
17 | 
 | 
T4 | 
110 | 
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] | 
26183 | 
1 | 
 | 
 | 
T1 | 
33 | 
 | 
T2 | 
11 | 
 | 
T3 | 
23 | 
| auto[1] | 
8830 | 
1 | 
 | 
 | 
T5 | 
8 | 
 | 
T21 | 
18 | 
 | 
T123 | 
3 | 
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 | 
5346 | 
1 | 
 | 
 | 
T2 | 
8 | 
 | 
T3 | 
4 | 
 | 
T4 | 
10 | 
| auto[0] | 
auto[0] | 
write_op | 
3024 | 
1 | 
 | 
 | 
T2 | 
3 | 
 | 
T3 | 
2 | 
 | 
T4 | 
9 | 
| auto[0] | 
auto[1] | 
read_op | 
2465 | 
1 | 
 | 
 | 
T21 | 
10 | 
 | 
T123 | 
2 | 
 | 
T22 | 
4 | 
| auto[0] | 
auto[1] | 
write_op | 
830 | 
1 | 
 | 
 | 
T21 | 
5 | 
 | 
T123 | 
1 | 
 | 
T22 | 
1 | 
| auto[1] | 
auto[0] | 
read_op | 
15597 | 
1 | 
 | 
 | 
T1 | 
24 | 
 | 
T3 | 
12 | 
 | 
T4 | 
97 | 
| auto[1] | 
auto[0] | 
write_op | 
2216 | 
1 | 
 | 
 | 
T1 | 
9 | 
 | 
T3 | 
5 | 
 | 
T4 | 
13 | 
| auto[1] | 
auto[1] | 
read_op | 
4667 | 
1 | 
 | 
 | 
T5 | 
6 | 
 | 
T21 | 
3 | 
 | 
T22 | 
13 | 
| auto[1] | 
auto[1] | 
write_op | 
868 | 
1 | 
 | 
 | 
T5 | 
2 | 
 | 
T22 | 
2 | 
 | 
T31 | 
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 | 
27106 | 
1 | 
 | 
 | 
T1 | 
9 | 
 | 
T2 | 
4 | 
 | 
T3 | 
10 | 
| write_op | 
4666 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T2 | 
2 | 
 | 
T3 | 
5 | 
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] | 
10330 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T2 | 
6 | 
 | 
T3 | 
9 | 
| auto[1] | 
21442 | 
1 | 
 | 
 | 
T1 | 
11 | 
 | 
T3 | 
6 | 
 | 
T4 | 
127 | 
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] | 
28830 | 
1 | 
 | 
 | 
T1 | 
12 | 
 | 
T2 | 
6 | 
 | 
T3 | 
15 | 
| auto[1] | 
2942 | 
1 | 
 | 
 | 
T123 | 
5 | 
 | 
T76 | 
17 | 
 | 
T106 | 
87 | 
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 | 
6550 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T3 | 
6 | 
 | 
T4 | 
11 | 
| auto[0] | 
auto[0] | 
write_op | 
2620 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T2 | 
2 | 
 | 
T3 | 
3 | 
| auto[0] | 
auto[1] | 
read_op | 
960 | 
1 | 
 | 
 | 
T123 | 
3 | 
 | 
T76 | 
2 | 
 | 
T106 | 
30 | 
| auto[0] | 
auto[1] | 
write_op | 
200 | 
1 | 
 | 
 | 
T123 | 
2 | 
 | 
T106 | 
11 | 
 | 
T32 | 
2 | 
| auto[1] | 
auto[0] | 
read_op | 
17969 | 
1 | 
 | 
 | 
T1 | 
9 | 
 | 
T3 | 
4 | 
 | 
T4 | 
115 | 
| auto[1] | 
auto[0] | 
write_op | 
1691 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T3 | 
2 | 
 | 
T4 | 
12 | 
| auto[1] | 
auto[1] | 
read_op | 
1627 | 
1 | 
 | 
 | 
T76 | 
14 | 
 | 
T106 | 
43 | 
 | 
T32 | 
2 | 
| auto[1] | 
auto[1] | 
write_op | 
155 | 
1 | 
 | 
 | 
T76 | 
1 | 
 | 
T106 | 
3 | 
 | 
T107 | 
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 | 
27184 | 
1 | 
 | 
 | 
T1 | 
31 | 
 | 
T2 | 
4 | 
 | 
T3 | 
23 | 
| write_op | 
6084 | 
1 | 
 | 
 | 
T1 | 
5 | 
 | 
T2 | 
2 | 
 | 
T3 | 
8 | 
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] | 
11061 | 
1 | 
 | 
 | 
T1 | 
9 | 
 | 
T2 | 
6 | 
 | 
T3 | 
3 | 
| auto[1] | 
22207 | 
1 | 
 | 
 | 
T1 | 
27 | 
 | 
T3 | 
28 | 
 | 
T4 | 
158 | 
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] | 
24521 | 
1 | 
 | 
 | 
T1 | 
36 | 
 | 
T2 | 
6 | 
 | 
T3 | 
31 | 
| auto[1] | 
8747 | 
1 | 
 | 
 | 
T5 | 
8 | 
 | 
T21 | 
12 | 
 | 
T123 | 
3 | 
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 | 
5007 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T2 | 
4 | 
 | 
T3 | 
1 | 
| auto[0] | 
auto[0] | 
write_op | 
2744 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T2 | 
2 | 
 | 
T3 | 
2 | 
| auto[0] | 
auto[1] | 
read_op | 
2573 | 
1 | 
 | 
 | 
T5 | 
5 | 
 | 
T21 | 
4 | 
 | 
T123 | 
2 | 
| auto[0] | 
auto[1] | 
write_op | 
737 | 
1 | 
 | 
 | 
T21 | 
2 | 
 | 
T123 | 
1 | 
 | 
T22 | 
1 | 
| auto[1] | 
auto[0] | 
read_op | 
14902 | 
1 | 
 | 
 | 
T1 | 
25 | 
 | 
T3 | 
22 | 
 | 
T4 | 
141 | 
| auto[1] | 
auto[0] | 
write_op | 
1868 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T3 | 
6 | 
 | 
T4 | 
17 | 
| auto[1] | 
auto[1] | 
read_op | 
4702 | 
1 | 
 | 
 | 
T5 | 
3 | 
 | 
T21 | 
6 | 
 | 
T22 | 
12 | 
| auto[1] | 
auto[1] | 
write_op | 
735 | 
1 | 
 | 
 | 
T22 | 
1 | 
 | 
T31 | 
7 | 
 | 
T105 | 
1 |