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 | 
25988 | 
1 | 
 | 
 | 
T1 | 
68 | 
 | 
T2 | 
144 | 
 | 
T4 | 
27 | 
| write_op | 
6275 | 
1 | 
 | 
 | 
T1 | 
14 | 
 | 
T2 | 
27 | 
 | 
T4 | 
10 | 
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] | 
11041 | 
1 | 
 | 
 | 
T1 | 
21 | 
 | 
T2 | 
12 | 
 | 
T4 | 
29 | 
| auto[1] | 
21222 | 
1 | 
 | 
 | 
T1 | 
61 | 
 | 
T2 | 
159 | 
 | 
T4 | 
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] | 
23845 | 
1 | 
 | 
 | 
T1 | 
52 | 
 | 
T2 | 
171 | 
 | 
T4 | 
37 | 
| auto[1] | 
8418 | 
1 | 
 | 
 | 
T1 | 
30 | 
 | 
T5 | 
15 | 
 | 
T8 | 
22 | 
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 | 
5069 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T2 | 
5 | 
 | 
T4 | 
20 | 
| auto[0] | 
auto[0] | 
write_op | 
2840 | 
1 | 
 | 
 | 
T1 | 
5 | 
 | 
T2 | 
7 | 
 | 
T4 | 
9 | 
| auto[0] | 
auto[1] | 
read_op | 
2358 | 
1 | 
 | 
 | 
T1 | 
11 | 
 | 
T5 | 
12 | 
 | 
T8 | 
2 | 
| auto[0] | 
auto[1] | 
write_op | 
774 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T5 | 
3 | 
 | 
T8 | 
2 | 
| auto[1] | 
auto[0] | 
read_op | 
14073 | 
1 | 
 | 
 | 
T1 | 
43 | 
 | 
T2 | 
139 | 
 | 
T4 | 
7 | 
| auto[1] | 
auto[0] | 
write_op | 
1863 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T2 | 
20 | 
 | 
T4 | 
1 | 
| auto[1] | 
auto[1] | 
read_op | 
4488 | 
1 | 
 | 
 | 
T1 | 
13 | 
 | 
T8 | 
16 | 
 | 
T14 | 
9 | 
| auto[1] | 
auto[1] | 
write_op | 
798 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T8 | 
2 | 
 | 
T12 | 
10 | 
 
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 | 
27136 | 
1 | 
 | 
 | 
T1 | 
72 | 
 | 
T2 | 
152 | 
 | 
T3 | 
2 | 
| write_op | 
6397 | 
1 | 
 | 
 | 
T1 | 
16 | 
 | 
T2 | 
33 | 
 | 
T3 | 
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] | 
11451 | 
1 | 
 | 
 | 
T1 | 
27 | 
 | 
T2 | 
14 | 
 | 
T3 | 
3 | 
| auto[1] | 
22082 | 
1 | 
 | 
 | 
T1 | 
61 | 
 | 
T2 | 
171 | 
 | 
T4 | 
11 | 
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] | 
28490 | 
1 | 
 | 
 | 
T1 | 
53 | 
 | 
T2 | 
185 | 
 | 
T3 | 
3 | 
| auto[1] | 
5043 | 
1 | 
 | 
 | 
T1 | 
35 | 
 | 
T5 | 
21 | 
 | 
T8 | 
20 | 
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 | 
6275 | 
1 | 
 | 
 | 
T1 | 
12 | 
 | 
T2 | 
9 | 
 | 
T3 | 
2 | 
| auto[0] | 
auto[0] | 
write_op | 
3195 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T2 | 
5 | 
 | 
T3 | 
1 | 
| auto[0] | 
auto[1] | 
read_op | 
1465 | 
1 | 
 | 
 | 
T1 | 
8 | 
 | 
T5 | 
15 | 
 | 
T8 | 
1 | 
| auto[0] | 
auto[1] | 
write_op | 
516 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T5 | 
6 | 
 | 
T14 | 
8 | 
| auto[1] | 
auto[0] | 
read_op | 
16836 | 
1 | 
 | 
 | 
T1 | 
35 | 
 | 
T2 | 
143 | 
 | 
T4 | 
9 | 
| auto[1] | 
auto[0] | 
write_op | 
2184 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T2 | 
28 | 
 | 
T4 | 
2 | 
| auto[1] | 
auto[1] | 
read_op | 
2560 | 
1 | 
 | 
 | 
T1 | 
17 | 
 | 
T8 | 
15 | 
 | 
T14 | 
33 | 
| auto[1] | 
auto[1] | 
write_op | 
502 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T8 | 
4 | 
 | 
T14 | 
6 | 
 
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 | 
52 | 
 | 
T2 | 
158 | 
 | 
T3 | 
3 | 
| write_op | 
6680 | 
1 | 
 | 
 | 
T1 | 
15 | 
 | 
T2 | 
29 | 
 | 
T3 | 
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] | 
11338 | 
1 | 
 | 
 | 
T1 | 
15 | 
 | 
T2 | 
27 | 
 | 
T3 | 
4 | 
| auto[1] | 
22257 | 
1 | 
 | 
 | 
T1 | 
52 | 
 | 
T2 | 
160 | 
 | 
T4 | 
47 | 
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] | 
25028 | 
1 | 
 | 
 | 
T1 | 
48 | 
 | 
T2 | 
187 | 
 | 
T3 | 
4 | 
| auto[1] | 
8567 | 
1 | 
 | 
 | 
T1 | 
19 | 
 | 
T5 | 
11 | 
 | 
T8 | 
30 | 
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 | 
5193 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
20 | 
 | 
T3 | 
3 | 
| auto[0] | 
auto[0] | 
write_op | 
2932 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T2 | 
7 | 
 | 
T3 | 
1 | 
| auto[0] | 
auto[1] | 
read_op | 
2382 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T5 | 
5 | 
 | 
T8 | 
4 | 
| auto[0] | 
auto[1] | 
write_op | 
831 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T8 | 
1 | 
 | 
T14 | 
5 | 
| auto[1] | 
auto[0] | 
read_op | 
14878 | 
1 | 
 | 
 | 
T1 | 
36 | 
 | 
T2 | 
138 | 
 | 
T4 | 
34 | 
| auto[1] | 
auto[0] | 
write_op | 
2025 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T2 | 
22 | 
 | 
T4 | 
13 | 
| auto[1] | 
auto[1] | 
read_op | 
4462 | 
1 | 
 | 
 | 
T1 | 
8 | 
 | 
T5 | 
5 | 
 | 
T8 | 
19 | 
| auto[1] | 
auto[1] | 
write_op | 
892 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T5 | 
1 | 
 | 
T8 | 
6 | 
 
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 | 
25609 | 
1 | 
 | 
 | 
T1 | 
56 | 
 | 
T2 | 
152 | 
 | 
T3 | 
1 | 
| write_op | 
4618 | 
1 | 
 | 
 | 
T1 | 
8 | 
 | 
T2 | 
19 | 
 | 
T3 | 
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] | 
9946 | 
1 | 
 | 
 | 
T1 | 
18 | 
 | 
T2 | 
16 | 
 | 
T3 | 
2 | 
| auto[1] | 
20281 | 
1 | 
 | 
 | 
T1 | 
46 | 
 | 
T2 | 
155 | 
 | 
T4 | 
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] | 
26654 | 
1 | 
 | 
 | 
T1 | 
64 | 
 | 
T2 | 
171 | 
 | 
T3 | 
2 | 
| auto[1] | 
3573 | 
1 | 
 | 
 | 
T12 | 
11 | 
 | 
T90 | 
13 | 
 | 
T55 | 
17 | 
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 | 
6149 | 
1 | 
 | 
 | 
T1 | 
14 | 
 | 
T2 | 
11 | 
 | 
T3 | 
1 | 
| auto[0] | 
auto[0] | 
write_op | 
2538 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T2 | 
5 | 
 | 
T3 | 
1 | 
| auto[0] | 
auto[1] | 
read_op | 
1031 | 
1 | 
 | 
 | 
T90 | 
5 | 
 | 
T55 | 
4 | 
 | 
T56 | 
7 | 
| auto[0] | 
auto[1] | 
write_op | 
228 | 
1 | 
 | 
 | 
T90 | 
4 | 
 | 
T55 | 
1 | 
 | 
T56 | 
3 | 
| auto[1] | 
auto[0] | 
read_op | 
16337 | 
1 | 
 | 
 | 
T1 | 
42 | 
 | 
T2 | 
141 | 
 | 
T4 | 
32 | 
| auto[1] | 
auto[0] | 
write_op | 
1630 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T2 | 
14 | 
 | 
T4 | 
6 | 
| auto[1] | 
auto[1] | 
read_op | 
2092 | 
1 | 
 | 
 | 
T12 | 
11 | 
 | 
T90 | 
4 | 
 | 
T55 | 
9 | 
| auto[1] | 
auto[1] | 
write_op | 
222 | 
1 | 
 | 
 | 
T55 | 
3 | 
 | 
T56 | 
2 | 
 | 
T93 | 
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 | 
25954 | 
1 | 
 | 
 | 
T1 | 
62 | 
 | 
T2 | 
170 | 
 | 
T3 | 
2 | 
| write_op | 
5822 | 
1 | 
 | 
 | 
T1 | 
13 | 
 | 
T2 | 
32 | 
 | 
T3 | 
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] | 
11135 | 
1 | 
 | 
 | 
T1 | 
20 | 
 | 
T2 | 
16 | 
 | 
T3 | 
3 | 
| auto[1] | 
20641 | 
1 | 
 | 
 | 
T1 | 
55 | 
 | 
T2 | 
186 | 
 | 
T4 | 
26 | 
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] | 
23462 | 
1 | 
 | 
 | 
T1 | 
40 | 
 | 
T2 | 
202 | 
 | 
T3 | 
3 | 
| auto[1] | 
8314 | 
1 | 
 | 
 | 
T1 | 
35 | 
 | 
T5 | 
26 | 
 | 
T8 | 
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 | 
5140 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T2 | 
12 | 
 | 
T3 | 
2 | 
| auto[0] | 
auto[0] | 
write_op | 
2711 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
4 | 
 | 
T3 | 
1 | 
| auto[0] | 
auto[1] | 
read_op | 
2573 | 
1 | 
 | 
 | 
T1 | 
12 | 
 | 
T5 | 
14 | 
 | 
T8 | 
2 | 
| auto[0] | 
auto[1] | 
write_op | 
711 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T5 | 
4 | 
 | 
T8 | 
1 | 
| auto[1] | 
auto[0] | 
read_op | 
13884 | 
1 | 
 | 
 | 
T1 | 
30 | 
 | 
T2 | 
158 | 
 | 
T4 | 
21 | 
| auto[1] | 
auto[0] | 
write_op | 
1727 | 
1 | 
 | 
 | 
T1 | 
5 | 
 | 
T2 | 
28 | 
 | 
T4 | 
5 | 
| auto[1] | 
auto[1] | 
read_op | 
4357 | 
1 | 
 | 
 | 
T1 | 
17 | 
 | 
T5 | 
7 | 
 | 
T8 | 
10 | 
| auto[1] | 
auto[1] | 
write_op | 
673 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T5 | 
1 | 
 | 
T8 | 
2 |