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 | 
20929 | 
1 | 
 | 
 | 
T1 | 
39 | 
 | 
T2 | 
88 | 
 | 
T3 | 
14 | 
| write_op | 
4930 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T2 | 
17 | 
 | 
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] | 
9907 | 
1 | 
 | 
 | 
T1 | 
7 | 
 | 
T2 | 
14 | 
 | 
T3 | 
21 | 
| auto[1] | 
15952 | 
1 | 
 | 
 | 
T1 | 
36 | 
 | 
T2 | 
91 | 
 | 
T4 | 
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] | 
18372 | 
1 | 
 | 
 | 
T1 | 
43 | 
 | 
T2 | 
105 | 
 | 
T3 | 
21 | 
| auto[1] | 
7487 | 
1 | 
 | 
 | 
T4 | 
7 | 
 | 
T29 | 
7 | 
 | 
T111 | 
5 | 
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 | 
4538 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T2 | 
9 | 
 | 
T3 | 
14 | 
| auto[0] | 
auto[0] | 
write_op | 
2519 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T2 | 
5 | 
 | 
T3 | 
7 | 
| auto[0] | 
auto[1] | 
read_op | 
2201 | 
1 | 
 | 
 | 
T111 | 
1 | 
 | 
T35 | 
5 | 
 | 
T16 | 
38 | 
| auto[0] | 
auto[1] | 
write_op | 
649 | 
1 | 
 | 
 | 
T16 | 
6 | 
 | 
T41 | 
2 | 
 | 
T105 | 
2 | 
| auto[1] | 
auto[0] | 
read_op | 
10222 | 
1 | 
 | 
 | 
T1 | 
36 | 
 | 
T2 | 
79 | 
 | 
T4 | 
7 | 
| auto[1] | 
auto[0] | 
write_op | 
1093 | 
1 | 
 | 
 | 
T2 | 
12 | 
 | 
T4 | 
1 | 
 | 
T5 | 
10 | 
| auto[1] | 
auto[1] | 
read_op | 
3968 | 
1 | 
 | 
 | 
T4 | 
7 | 
 | 
T29 | 
5 | 
 | 
T111 | 
4 | 
| auto[1] | 
auto[1] | 
write_op | 
669 | 
1 | 
 | 
 | 
T29 | 
2 | 
 | 
T16 | 
8 | 
 | 
T105 | 
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 | 
22195 | 
1 | 
 | 
 | 
T1 | 
44 | 
 | 
T2 | 
80 | 
 | 
T3 | 
10 | 
| write_op | 
5136 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T2 | 
15 | 
 | 
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] | 
10667 | 
1 | 
 | 
 | 
T1 | 
12 | 
 | 
T2 | 
8 | 
 | 
T3 | 
14 | 
| auto[1] | 
16664 | 
1 | 
 | 
 | 
T1 | 
36 | 
 | 
T2 | 
87 | 
 | 
T4 | 
13 | 
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] | 
22806 | 
1 | 
 | 
 | 
T1 | 
48 | 
 | 
T2 | 
95 | 
 | 
T3 | 
14 | 
| auto[1] | 
4525 | 
1 | 
 | 
 | 
T29 | 
9 | 
 | 
T16 | 
93 | 
 | 
T41 | 
11 | 
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 | 
5867 | 
1 | 
 | 
 | 
T1 | 
8 | 
 | 
T2 | 
4 | 
 | 
T3 | 
10 | 
| auto[0] | 
auto[0] | 
write_op | 
2847 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T2 | 
4 | 
 | 
T3 | 
4 | 
| auto[0] | 
auto[1] | 
read_op | 
1443 | 
1 | 
 | 
 | 
T29 | 
5 | 
 | 
T16 | 
42 | 
 | 
T41 | 
9 | 
| auto[0] | 
auto[1] | 
write_op | 
510 | 
1 | 
 | 
 | 
T29 | 
3 | 
 | 
T16 | 
19 | 
 | 
T41 | 
2 | 
| auto[1] | 
auto[0] | 
read_op | 
12724 | 
1 | 
 | 
 | 
T1 | 
36 | 
 | 
T2 | 
76 | 
 | 
T4 | 
12 | 
| auto[1] | 
auto[0] | 
write_op | 
1368 | 
1 | 
 | 
 | 
T2 | 
11 | 
 | 
T4 | 
1 | 
 | 
T5 | 
6 | 
| auto[1] | 
auto[1] | 
read_op | 
2161 | 
1 | 
 | 
 | 
T16 | 
27 | 
 | 
T105 | 
3 | 
 | 
T100 | 
6 | 
| auto[1] | 
auto[1] | 
write_op | 
411 | 
1 | 
 | 
 | 
T29 | 
1 | 
 | 
T16 | 
5 | 
 | 
T105 | 
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 | 
21433 | 
1 | 
 | 
 | 
T1 | 
46 | 
 | 
T2 | 
92 | 
 | 
T3 | 
12 | 
| write_op | 
5335 | 
1 | 
 | 
 | 
T1 | 
5 | 
 | 
T2 | 
12 | 
 | 
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] | 
10364 | 
1 | 
 | 
 | 
T2 | 
6 | 
 | 
T3 | 
18 | 
 | 
T7 | 
15 | 
| auto[1] | 
16404 | 
1 | 
 | 
 | 
T1 | 
51 | 
 | 
T2 | 
98 | 
 | 
T4 | 
24 | 
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] | 
19120 | 
1 | 
 | 
 | 
T1 | 
51 | 
 | 
T2 | 
104 | 
 | 
T3 | 
18 | 
| auto[1] | 
7648 | 
1 | 
 | 
 | 
T4 | 
26 | 
 | 
T29 | 
4 | 
 | 
T111 | 
6 | 
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 | 
4608 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T3 | 
12 | 
 | 
T7 | 
10 | 
| auto[0] | 
auto[0] | 
write_op | 
2596 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T3 | 
6 | 
 | 
T7 | 
5 | 
| auto[0] | 
auto[1] | 
read_op | 
2336 | 
1 | 
 | 
 | 
T4 | 
1 | 
 | 
T29 | 
1 | 
 | 
T111 | 
1 | 
| auto[0] | 
auto[1] | 
write_op | 
824 | 
1 | 
 | 
 | 
T4 | 
1 | 
 | 
T29 | 
1 | 
 | 
T111 | 
1 | 
| auto[1] | 
auto[0] | 
read_op | 
10727 | 
1 | 
 | 
 | 
T1 | 
46 | 
 | 
T2 | 
88 | 
 | 
T8 | 
6 | 
| auto[1] | 
auto[0] | 
write_op | 
1189 | 
1 | 
 | 
 | 
T1 | 
5 | 
 | 
T2 | 
10 | 
 | 
T5 | 
9 | 
| auto[1] | 
auto[1] | 
read_op | 
3762 | 
1 | 
 | 
 | 
T4 | 
19 | 
 | 
T29 | 
1 | 
 | 
T111 | 
4 | 
| auto[1] | 
auto[1] | 
write_op | 
726 | 
1 | 
 | 
 | 
T4 | 
5 | 
 | 
T29 | 
1 | 
 | 
T35 | 
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 | 
20756 | 
1 | 
 | 
 | 
T1 | 
43 | 
 | 
T2 | 
92 | 
 | 
T3 | 
6 | 
| write_op | 
3831 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
13 | 
 | 
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] | 
9278 | 
1 | 
 | 
 | 
T1 | 
5 | 
 | 
T2 | 
12 | 
 | 
T3 | 
9 | 
| auto[1] | 
15309 | 
1 | 
 | 
 | 
T1 | 
40 | 
 | 
T2 | 
93 | 
 | 
T4 | 
25 | 
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] | 
21330 | 
1 | 
 | 
 | 
T1 | 
45 | 
 | 
T2 | 
105 | 
 | 
T3 | 
9 | 
| auto[1] | 
3257 | 
1 | 
 | 
 | 
T4 | 
29 | 
 | 
T111 | 
4 | 
 | 
T16 | 
58 | 
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 | 
5625 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T2 | 
7 | 
 | 
T3 | 
6 | 
| auto[0] | 
auto[0] | 
write_op | 
2322 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
5 | 
 | 
T3 | 
3 | 
| auto[0] | 
auto[1] | 
read_op | 
1092 | 
1 | 
 | 
 | 
T4 | 
4 | 
 | 
T16 | 
8 | 
 | 
T113 | 
3 | 
| auto[0] | 
auto[1] | 
write_op | 
239 | 
1 | 
 | 
 | 
T113 | 
1 | 
 | 
T106 | 
4 | 
 | 
T101 | 
5 | 
| auto[1] | 
auto[0] | 
read_op | 
12321 | 
1 | 
 | 
 | 
T1 | 
40 | 
 | 
T2 | 
85 | 
 | 
T8 | 
13 | 
| auto[1] | 
auto[0] | 
write_op | 
1062 | 
1 | 
 | 
 | 
T2 | 
8 | 
 | 
T8 | 
2 | 
 | 
T5 | 
5 | 
| auto[1] | 
auto[1] | 
read_op | 
1718 | 
1 | 
 | 
 | 
T4 | 
21 | 
 | 
T111 | 
4 | 
 | 
T16 | 
45 | 
| auto[1] | 
auto[1] | 
write_op | 
208 | 
1 | 
 | 
 | 
T4 | 
4 | 
 | 
T16 | 
5 | 
 | 
T106 | 
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 | 
20778 | 
1 | 
 | 
 | 
T1 | 
29 | 
 | 
T2 | 
81 | 
 | 
T3 | 
10 | 
| write_op | 
4883 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T2 | 
18 | 
 | 
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] | 
10252 | 
1 | 
 | 
 | 
T1 | 
8 | 
 | 
T2 | 
12 | 
 | 
T3 | 
15 | 
| auto[1] | 
15409 | 
1 | 
 | 
 | 
T1 | 
24 | 
 | 
T2 | 
87 | 
 | 
T4 | 
18 | 
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] | 
17878 | 
1 | 
 | 
 | 
T1 | 
32 | 
 | 
T2 | 
99 | 
 | 
T3 | 
15 | 
| auto[1] | 
7783 | 
1 | 
 | 
 | 
T4 | 
36 | 
 | 
T29 | 
18 | 
 | 
T111 | 
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 | 
4613 | 
1 | 
 | 
 | 
T1 | 
5 | 
 | 
T2 | 
7 | 
 | 
T3 | 
10 | 
| auto[0] | 
auto[0] | 
write_op | 
2448 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T2 | 
5 | 
 | 
T3 | 
5 | 
| auto[0] | 
auto[1] | 
read_op | 
2469 | 
1 | 
 | 
 | 
T4 | 
13 | 
 | 
T29 | 
10 | 
 | 
T35 | 
5 | 
| auto[0] | 
auto[1] | 
write_op | 
722 | 
1 | 
 | 
 | 
T4 | 
5 | 
 | 
T29 | 
4 | 
 | 
T35 | 
3 | 
| auto[1] | 
auto[0] | 
read_op | 
9759 | 
1 | 
 | 
 | 
T1 | 
24 | 
 | 
T2 | 
74 | 
 | 
T8 | 
6 | 
| auto[1] | 
auto[0] | 
write_op | 
1058 | 
1 | 
 | 
 | 
T2 | 
13 | 
 | 
T8 | 
3 | 
 | 
T5 | 
14 | 
| auto[1] | 
auto[1] | 
read_op | 
3937 | 
1 | 
 | 
 | 
T4 | 
17 | 
 | 
T29 | 
4 | 
 | 
T111 | 
8 | 
| auto[1] | 
auto[1] | 
write_op | 
655 | 
1 | 
 | 
 | 
T4 | 
1 | 
 | 
T35 | 
1 | 
 | 
T16 | 
14 |