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 | 
28426 | 
1 | 
 | 
 | 
T1 | 
16 | 
 | 
T3 | 
4 | 
 | 
T4 | 
8 | 
| write_op | 
6499 | 
1 | 
 | 
 | 
T1 | 
7 | 
 | 
T3 | 
1 | 
 | 
T4 | 
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] | 
10830 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T3 | 
5 | 
 | 
T4 | 
11 | 
| auto[1] | 
24095 | 
1 | 
 | 
 | 
T1 | 
20 | 
 | 
T5 | 
24 | 
 | 
T11 | 
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] | 
26375 | 
1 | 
 | 
 | 
T1 | 
23 | 
 | 
T3 | 
5 | 
 | 
T4 | 
11 | 
| auto[1] | 
8550 | 
1 | 
 | 
 | 
T5 | 
31 | 
 | 
T12 | 
153 | 
 | 
T7 | 
274 | 
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 | 
5042 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T3 | 
4 | 
 | 
T4 | 
8 | 
| auto[0] | 
auto[0] | 
write_op | 
2743 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T3 | 
1 | 
 | 
T4 | 
3 | 
| auto[0] | 
auto[1] | 
read_op | 
2320 | 
1 | 
 | 
 | 
T5 | 
12 | 
 | 
T12 | 
43 | 
 | 
T7 | 
76 | 
| auto[0] | 
auto[1] | 
write_op | 
725 | 
1 | 
 | 
 | 
T5 | 
5 | 
 | 
T12 | 
12 | 
 | 
T7 | 
38 | 
| auto[1] | 
auto[0] | 
read_op | 
16373 | 
1 | 
 | 
 | 
T1 | 
14 | 
 | 
T5 | 
7 | 
 | 
T11 | 
12 | 
| auto[1] | 
auto[0] | 
write_op | 
2217 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T5 | 
3 | 
 | 
T11 | 
1 | 
| auto[1] | 
auto[1] | 
read_op | 
4691 | 
1 | 
 | 
 | 
T5 | 
12 | 
 | 
T12 | 
88 | 
 | 
T7 | 
134 | 
| auto[1] | 
auto[1] | 
write_op | 
814 | 
1 | 
 | 
 | 
T5 | 
2 | 
 | 
T12 | 
10 | 
 | 
T7 | 
26 | 
 
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 | 
28370 | 
1 | 
 | 
 | 
T2 | 
1 | 
 | 
T3 | 
4 | 
 | 
T5 | 
40 | 
| write_op | 
6382 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T3 | 
1 | 
 | 
T5 | 
9 | 
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] | 
11374 | 
1 | 
 | 
 | 
T2 | 
1 | 
 | 
T3 | 
5 | 
 | 
T5 | 
8 | 
| auto[1] | 
23378 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T5 | 
41 | 
 | 
T11 | 
8 | 
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] | 
29445 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T2 | 
1 | 
 | 
T3 | 
5 | 
| auto[1] | 
5307 | 
1 | 
 | 
 | 
T5 | 
44 | 
 | 
T12 | 
44 | 
 | 
T7 | 
159 | 
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 | 
6189 | 
1 | 
 | 
 | 
T2 | 
1 | 
 | 
T3 | 
4 | 
 | 
T12 | 
49 | 
| auto[0] | 
auto[0] | 
write_op | 
3072 | 
1 | 
 | 
 | 
T3 | 
1 | 
 | 
T12 | 
19 | 
 | 
T7 | 
35 | 
| auto[0] | 
auto[1] | 
read_op | 
1601 | 
1 | 
 | 
 | 
T5 | 
6 | 
 | 
T12 | 
19 | 
 | 
T7 | 
36 | 
| auto[0] | 
auto[1] | 
write_op | 
512 | 
1 | 
 | 
 | 
T5 | 
2 | 
 | 
T12 | 
6 | 
 | 
T7 | 
7 | 
| auto[1] | 
auto[0] | 
read_op | 
17879 | 
1 | 
 | 
 | 
T5 | 
3 | 
 | 
T11 | 
8 | 
 | 
T12 | 
122 | 
| auto[1] | 
auto[0] | 
write_op | 
2305 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T5 | 
2 | 
 | 
T12 | 
16 | 
| auto[1] | 
auto[1] | 
read_op | 
2701 | 
1 | 
 | 
 | 
T5 | 
31 | 
 | 
T12 | 
18 | 
 | 
T7 | 
97 | 
| auto[1] | 
auto[1] | 
write_op | 
493 | 
1 | 
 | 
 | 
T5 | 
5 | 
 | 
T12 | 
1 | 
 | 
T7 | 
19 | 
 
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 | 
27631 | 
1 | 
 | 
 | 
T1 | 
8 | 
 | 
T3 | 
6 | 
 | 
T4 | 
10 | 
| write_op | 
6691 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T3 | 
3 | 
 | 
T4 | 
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] | 
11179 | 
1 | 
 | 
 | 
T3 | 
9 | 
 | 
T4 | 
15 | 
 | 
T5 | 
17 | 
| auto[1] | 
23143 | 
1 | 
 | 
 | 
T1 | 
10 | 
 | 
T5 | 
15 | 
 | 
T11 | 
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] | 
25990 | 
1 | 
 | 
 | 
T1 | 
10 | 
 | 
T3 | 
9 | 
 | 
T4 | 
15 | 
| auto[1] | 
8332 | 
1 | 
 | 
 | 
T5 | 
28 | 
 | 
T12 | 
175 | 
 | 
T7 | 
282 | 
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 | 
5095 | 
1 | 
 | 
 | 
T3 | 
6 | 
 | 
T4 | 
10 | 
 | 
T5 | 
2 | 
| auto[0] | 
auto[0] | 
write_op | 
2824 | 
1 | 
 | 
 | 
T3 | 
3 | 
 | 
T4 | 
5 | 
 | 
T5 | 
1 | 
| auto[0] | 
auto[1] | 
read_op | 
2449 | 
1 | 
 | 
 | 
T5 | 
11 | 
 | 
T12 | 
44 | 
 | 
T7 | 
87 | 
| auto[0] | 
auto[1] | 
write_op | 
811 | 
1 | 
 | 
 | 
T5 | 
3 | 
 | 
T12 | 
13 | 
 | 
T7 | 
31 | 
| auto[1] | 
auto[0] | 
read_op | 
15839 | 
1 | 
 | 
 | 
T1 | 
8 | 
 | 
T11 | 
6 | 
 | 
T12 | 
34 | 
| auto[1] | 
auto[0] | 
write_op | 
2232 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T5 | 
1 | 
 | 
T12 | 
6 | 
| auto[1] | 
auto[1] | 
read_op | 
4248 | 
1 | 
 | 
 | 
T5 | 
9 | 
 | 
T12 | 
99 | 
 | 
T7 | 
132 | 
| auto[1] | 
auto[1] | 
write_op | 
824 | 
1 | 
 | 
 | 
T5 | 
5 | 
 | 
T12 | 
19 | 
 | 
T7 | 
32 | 
 
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 | 
27378 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T2 | 
2 | 
 | 
T3 | 
4 | 
| write_op | 
4666 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T3 | 
2 | 
 | 
T4 | 
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] | 
10348 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T3 | 
6 | 
 | 
T4 | 
11 | 
| auto[1] | 
21696 | 
1 | 
 | 
 | 
T1 | 
5 | 
 | 
T5 | 
26 | 
 | 
T11 | 
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] | 
28935 | 
1 | 
 | 
 | 
T1 | 
5 | 
 | 
T2 | 
2 | 
 | 
T3 | 
6 | 
| auto[1] | 
3109 | 
1 | 
 | 
 | 
T12 | 
69 | 
 | 
T7 | 
112 | 
 | 
T38 | 
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 | 
6515 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T3 | 
4 | 
 | 
T4 | 
8 | 
| auto[0] | 
auto[0] | 
write_op | 
2575 | 
1 | 
 | 
 | 
T3 | 
2 | 
 | 
T4 | 
3 | 
 | 
T5 | 
2 | 
| auto[0] | 
auto[1] | 
read_op | 
1045 | 
1 | 
 | 
 | 
T12 | 
18 | 
 | 
T7 | 
41 | 
 | 
T38 | 
2 | 
| auto[0] | 
auto[1] | 
write_op | 
213 | 
1 | 
 | 
 | 
T12 | 
4 | 
 | 
T7 | 
12 | 
 | 
T59 | 
1 | 
| auto[1] | 
auto[0] | 
read_op | 
18151 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T5 | 
21 | 
 | 
T11 | 
4 | 
| auto[1] | 
auto[0] | 
write_op | 
1694 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T5 | 
5 | 
 | 
T12 | 
9 | 
| auto[1] | 
auto[1] | 
read_op | 
1667 | 
1 | 
 | 
 | 
T12 | 
43 | 
 | 
T7 | 
55 | 
 | 
T94 | 
27 | 
| auto[1] | 
auto[1] | 
write_op | 
184 | 
1 | 
 | 
 | 
T12 | 
4 | 
 | 
T7 | 
4 | 
 | 
T95 | 
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 | 
27470 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T2 | 
2 | 
 | 
T3 | 
10 | 
| write_op | 
6016 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T3 | 
2 | 
 | 
T4 | 
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] | 
11044 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T3 | 
12 | 
 | 
T4 | 
15 | 
| auto[1] | 
22442 | 
1 | 
 | 
 | 
T1 | 
10 | 
 | 
T5 | 
25 | 
 | 
T11 | 
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] | 
24798 | 
1 | 
 | 
 | 
T1 | 
10 | 
 | 
T2 | 
2 | 
 | 
T3 | 
12 | 
| auto[1] | 
8688 | 
1 | 
 | 
 | 
T5 | 
11 | 
 | 
T12 | 
144 | 
 | 
T7 | 
239 | 
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 | 
4974 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T3 | 
10 | 
 | 
T4 | 
10 | 
| auto[0] | 
auto[0] | 
write_op | 
2664 | 
1 | 
 | 
 | 
T3 | 
2 | 
 | 
T4 | 
5 | 
 | 
T10 | 
3 | 
| auto[0] | 
auto[1] | 
read_op | 
2703 | 
1 | 
 | 
 | 
T5 | 
7 | 
 | 
T12 | 
39 | 
 | 
T7 | 
102 | 
| auto[0] | 
auto[1] | 
write_op | 
703 | 
1 | 
 | 
 | 
T5 | 
1 | 
 | 
T12 | 
7 | 
 | 
T7 | 
33 | 
| auto[1] | 
auto[0] | 
read_op | 
15223 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T5 | 
18 | 
 | 
T11 | 
4 | 
| auto[1] | 
auto[0] | 
write_op | 
1937 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T5 | 
4 | 
 | 
T12 | 
5 | 
| auto[1] | 
auto[1] | 
read_op | 
4570 | 
1 | 
 | 
 | 
T5 | 
1 | 
 | 
T12 | 
86 | 
 | 
T7 | 
85 | 
| auto[1] | 
auto[1] | 
write_op | 
712 | 
1 | 
 | 
 | 
T5 | 
2 | 
 | 
T12 | 
12 | 
 | 
T7 | 
19 |