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 | 
26571 | 
1 | 
 | 
 | 
T1 | 
36 | 
 | 
T2 | 
6 | 
 | 
T3 | 
34 | 
| write_op | 
6056 | 
1 | 
 | 
 | 
T1 | 
9 | 
 | 
T2 | 
3 | 
 | 
T3 | 
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] | 
10811 | 
1 | 
 | 
 | 
T1 | 
22 | 
 | 
T2 | 
9 | 
 | 
T3 | 
7 | 
| auto[1] | 
21816 | 
1 | 
 | 
 | 
T1 | 
23 | 
 | 
T3 | 
30 | 
 | 
T5 | 
42 | 
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] | 
24934 | 
1 | 
 | 
 | 
T1 | 
17 | 
 | 
T2 | 
9 | 
 | 
T3 | 
11 | 
| auto[1] | 
7693 | 
1 | 
 | 
 | 
T1 | 
28 | 
 | 
T3 | 
26 | 
 | 
T28 | 
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 | 
5164 | 
1 | 
 | 
 | 
T2 | 
6 | 
 | 
T3 | 
1 | 
 | 
T9 | 
3 | 
| auto[0] | 
auto[0] | 
write_op | 
2727 | 
1 | 
 | 
 | 
T2 | 
3 | 
 | 
T9 | 
3 | 
 | 
T4 | 
1 | 
| auto[0] | 
auto[1] | 
read_op | 
2232 | 
1 | 
 | 
 | 
T1 | 
19 | 
 | 
T3 | 
6 | 
 | 
T28 | 
3 | 
| auto[0] | 
auto[1] | 
write_op | 
688 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T7 | 
17 | 
 | 
T92 | 
3 | 
| auto[1] | 
auto[0] | 
read_op | 
15128 | 
1 | 
 | 
 | 
T1 | 
11 | 
 | 
T3 | 
8 | 
 | 
T5 | 
42 | 
| auto[1] | 
auto[0] | 
write_op | 
1915 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T3 | 
2 | 
 | 
T6 | 
7 | 
| auto[1] | 
auto[1] | 
read_op | 
4047 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T3 | 
19 | 
 | 
T51 | 
1 | 
| auto[1] | 
auto[1] | 
write_op | 
726 | 
1 | 
 | 
 | 
T3 | 
1 | 
 | 
T51 | 
1 | 
 | 
T7 | 
23 | 
 
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 | 
26915 | 
1 | 
 | 
 | 
T1 | 
17 | 
 | 
T2 | 
6 | 
 | 
T3 | 
20 | 
| write_op | 
6105 | 
1 | 
 | 
 | 
T1 | 
9 | 
 | 
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] | 
11056 | 
1 | 
 | 
 | 
T1 | 
8 | 
 | 
T2 | 
9 | 
 | 
T3 | 
11 | 
| auto[1] | 
21964 | 
1 | 
 | 
 | 
T1 | 
18 | 
 | 
T3 | 
13 | 
 | 
T8 | 
2 | 
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] | 
27894 | 
1 | 
 | 
 | 
T1 | 
7 | 
 | 
T2 | 
9 | 
 | 
T3 | 
24 | 
| auto[1] | 
5126 | 
1 | 
 | 
 | 
T1 | 
19 | 
 | 
T28 | 
2 | 
 | 
T7 | 
134 | 
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 | 
6018 | 
1 | 
 | 
 | 
T2 | 
6 | 
 | 
T3 | 
8 | 
 | 
T5 | 
1 | 
| auto[0] | 
auto[0] | 
write_op | 
3053 | 
1 | 
 | 
 | 
T2 | 
3 | 
 | 
T3 | 
3 | 
 | 
T5 | 
2 | 
| auto[0] | 
auto[1] | 
read_op | 
1456 | 
1 | 
 | 
 | 
T1 | 
5 | 
 | 
T28 | 
1 | 
 | 
T7 | 
25 | 
| auto[0] | 
auto[1] | 
write_op | 
529 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T28 | 
1 | 
 | 
T7 | 
8 | 
| auto[1] | 
auto[0] | 
read_op | 
16800 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T3 | 
12 | 
 | 
T8 | 
2 | 
| auto[1] | 
auto[0] | 
write_op | 
2023 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T3 | 
1 | 
 | 
T9 | 
1 | 
| auto[1] | 
auto[1] | 
read_op | 
2641 | 
1 | 
 | 
 | 
T1 | 
8 | 
 | 
T7 | 
86 | 
 | 
T92 | 
8 | 
| auto[1] | 
auto[1] | 
write_op | 
500 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T7 | 
15 | 
 | 
T93 | 
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 | 
26543 | 
1 | 
 | 
 | 
T1 | 
30 | 
 | 
T2 | 
4 | 
 | 
T3 | 
32 | 
| write_op | 
6265 | 
1 | 
 | 
 | 
T1 | 
7 | 
 | 
T2 | 
1 | 
 | 
T3 | 
11 | 
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] | 
10807 | 
1 | 
 | 
 | 
T1 | 
13 | 
 | 
T2 | 
5 | 
 | 
T3 | 
11 | 
| auto[1] | 
22001 | 
1 | 
 | 
 | 
T1 | 
24 | 
 | 
T3 | 
32 | 
 | 
T8 | 
6 | 
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] | 
25142 | 
1 | 
 | 
 | 
T1 | 
8 | 
 | 
T2 | 
5 | 
 | 
T3 | 
15 | 
| auto[1] | 
7666 | 
1 | 
 | 
 | 
T1 | 
29 | 
 | 
T3 | 
28 | 
 | 
T28 | 
2 | 
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 | 
4987 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T2 | 
4 | 
 | 
T3 | 
3 | 
| auto[0] | 
auto[0] | 
write_op | 
2774 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
1 | 
 | 
T3 | 
1 | 
| auto[0] | 
auto[1] | 
read_op | 
2255 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T3 | 
6 | 
 | 
T7 | 
51 | 
| auto[0] | 
auto[1] | 
write_op | 
791 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T3 | 
1 | 
 | 
T28 | 
2 | 
| auto[1] | 
auto[0] | 
read_op | 
15416 | 
1 | 
 | 
 | 
T3 | 
7 | 
 | 
T8 | 
6 | 
 | 
T5 | 
30 | 
| auto[1] | 
auto[0] | 
write_op | 
1965 | 
1 | 
 | 
 | 
T3 | 
4 | 
 | 
T6 | 
1 | 
 | 
T91 | 
1 | 
| auto[1] | 
auto[1] | 
read_op | 
3885 | 
1 | 
 | 
 | 
T1 | 
20 | 
 | 
T3 | 
16 | 
 | 
T51 | 
4 | 
| auto[1] | 
auto[1] | 
write_op | 
735 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T3 | 
5 | 
 | 
T51 | 
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 | 
25786 | 
1 | 
 | 
 | 
T1 | 
24 | 
 | 
T2 | 
4 | 
 | 
T3 | 
26 | 
| write_op | 
4392 | 
1 | 
 | 
 | 
T1 | 
5 | 
 | 
T2 | 
2 | 
 | 
T3 | 
6 | 
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] | 
9685 | 
1 | 
 | 
 | 
T1 | 
9 | 
 | 
T2 | 
6 | 
 | 
T3 | 
10 | 
| auto[1] | 
20493 | 
1 | 
 | 
 | 
T1 | 
20 | 
 | 
T3 | 
22 | 
 | 
T8 | 
2 | 
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] | 
27457 | 
1 | 
 | 
 | 
T1 | 
29 | 
 | 
T2 | 
6 | 
 | 
T3 | 
8 | 
| auto[1] | 
2721 | 
1 | 
 | 
 | 
T3 | 
24 | 
 | 
T51 | 
8 | 
 | 
T7 | 
103 | 
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 | 
6083 | 
1 | 
 | 
 | 
T1 | 
8 | 
 | 
T2 | 
4 | 
 | 
T3 | 
1 | 
| auto[0] | 
auto[0] | 
write_op | 
2474 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T2 | 
2 | 
 | 
T3 | 
1 | 
| auto[0] | 
auto[1] | 
read_op | 
931 | 
1 | 
 | 
 | 
T3 | 
7 | 
 | 
T51 | 
2 | 
 | 
T7 | 
43 | 
| auto[0] | 
auto[1] | 
write_op | 
197 | 
1 | 
 | 
 | 
T3 | 
1 | 
 | 
T51 | 
2 | 
 | 
T7 | 
6 | 
| auto[1] | 
auto[0] | 
read_op | 
17326 | 
1 | 
 | 
 | 
T1 | 
16 | 
 | 
T3 | 
4 | 
 | 
T8 | 
2 | 
| auto[1] | 
auto[0] | 
write_op | 
1574 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T3 | 
2 | 
 | 
T6 | 
6 | 
| auto[1] | 
auto[1] | 
read_op | 
1446 | 
1 | 
 | 
 | 
T3 | 
14 | 
 | 
T51 | 
3 | 
 | 
T7 | 
49 | 
| auto[1] | 
auto[1] | 
write_op | 
147 | 
1 | 
 | 
 | 
T3 | 
2 | 
 | 
T51 | 
1 | 
 | 
T7 | 
5 | 
 
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 | 
25813 | 
1 | 
 | 
 | 
T1 | 
16 | 
 | 
T2 | 
8 | 
 | 
T3 | 
31 | 
| write_op | 
5541 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T2 | 
2 | 
 | 
T3 | 
11 | 
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] | 
10558 | 
1 | 
 | 
 | 
T1 | 
10 | 
 | 
T2 | 
10 | 
 | 
T3 | 
17 | 
| auto[1] | 
20796 | 
1 | 
 | 
 | 
T1 | 
12 | 
 | 
T3 | 
25 | 
 | 
T5 | 
38 | 
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] | 
23872 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T2 | 
10 | 
 | 
T3 | 
17 | 
| auto[1] | 
7482 | 
1 | 
 | 
 | 
T1 | 
16 | 
 | 
T3 | 
25 | 
 | 
T28 | 
4 | 
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 | 
5030 | 
1 | 
 | 
 | 
T2 | 
8 | 
 | 
T3 | 
2 | 
 | 
T5 | 
2 | 
| auto[0] | 
auto[0] | 
write_op | 
2630 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T2 | 
2 | 
 | 
T3 | 
1 | 
| auto[0] | 
auto[1] | 
read_op | 
2241 | 
1 | 
 | 
 | 
T1 | 
7 | 
 | 
T3 | 
11 | 
 | 
T28 | 
1 | 
| auto[0] | 
auto[1] | 
write_op | 
657 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T3 | 
3 | 
 | 
T28 | 
1 | 
| auto[1] | 
auto[0] | 
read_op | 
14576 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T3 | 
8 | 
 | 
T5 | 
38 | 
| auto[1] | 
auto[0] | 
write_op | 
1636 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T3 | 
6 | 
 | 
T9 | 
1 | 
| auto[1] | 
auto[1] | 
read_op | 
3966 | 
1 | 
 | 
 | 
T1 | 
5 | 
 | 
T3 | 
10 | 
 | 
T28 | 
2 | 
| auto[1] | 
auto[1] | 
write_op | 
618 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T3 | 
1 | 
 | 
T51 | 
2 |