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 | 
26220 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T2 | 
22 | 
 | 
T3 | 
2 | 
| write_op | 
6348 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
1 | 
 | 
T4 | 
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] | 
11431 | 
1 | 
 | 
 | 
T2 | 
3 | 
 | 
T8 | 
26 | 
 | 
T5 | 
2 | 
| auto[1] | 
21137 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T2 | 
20 | 
 | 
T3 | 
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] | 
24470 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T2 | 
23 | 
 | 
T3 | 
2 | 
| auto[1] | 
8098 | 
1 | 
 | 
 | 
T9 | 
22 | 
 | 
T10 | 
5 | 
 | 
T27 | 
180 | 
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 | 
5306 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T8 | 
18 | 
 | 
T5 | 
2 | 
| auto[0] | 
auto[0] | 
write_op | 
2980 | 
1 | 
 | 
 | 
T2 | 
1 | 
 | 
T8 | 
8 | 
 | 
T9 | 
5 | 
| auto[0] | 
auto[1] | 
read_op | 
2403 | 
1 | 
 | 
 | 
T9 | 
8 | 
 | 
T10 | 
3 | 
 | 
T27 | 
55 | 
| auto[0] | 
auto[1] | 
write_op | 
742 | 
1 | 
 | 
 | 
T9 | 
3 | 
 | 
T10 | 
2 | 
 | 
T27 | 
22 | 
| auto[1] | 
auto[0] | 
read_op | 
14278 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T2 | 
20 | 
 | 
T3 | 
2 | 
| auto[1] | 
auto[0] | 
write_op | 
1906 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T4 | 
7 | 
 | 
T5 | 
1 | 
| auto[1] | 
auto[1] | 
read_op | 
4233 | 
1 | 
 | 
 | 
T9 | 
9 | 
 | 
T27 | 
89 | 
 | 
T28 | 
25 | 
| auto[1] | 
auto[1] | 
write_op | 
720 | 
1 | 
 | 
 | 
T9 | 
2 | 
 | 
T27 | 
14 | 
 | 
T28 | 
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 | 
26912 | 
1 | 
 | 
 | 
T1 | 
7 | 
 | 
T2 | 
36 | 
 | 
T3 | 
3 | 
| write_op | 
6332 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T2 | 
2 | 
 | 
T4 | 
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] | 
11452 | 
1 | 
 | 
 | 
T1 | 
5 | 
 | 
T2 | 
2 | 
 | 
T3 | 
1 | 
| auto[1] | 
21792 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T2 | 
36 | 
 | 
T3 | 
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] | 
27797 | 
1 | 
 | 
 | 
T1 | 
11 | 
 | 
T2 | 
38 | 
 | 
T3 | 
3 | 
| auto[1] | 
5447 | 
1 | 
 | 
 | 
T27 | 
127 | 
 | 
T28 | 
26 | 
 | 
T38 | 
40 | 
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 | 
6203 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T2 | 
1 | 
 | 
T3 | 
1 | 
| auto[0] | 
auto[0] | 
write_op | 
3182 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T2 | 
1 | 
 | 
T4 | 
2 | 
| auto[0] | 
auto[1] | 
read_op | 
1560 | 
1 | 
 | 
 | 
T27 | 
27 | 
 | 
T28 | 
17 | 
 | 
T38 | 
4 | 
| auto[0] | 
auto[1] | 
write_op | 
507 | 
1 | 
 | 
 | 
T27 | 
15 | 
 | 
T28 | 
4 | 
 | 
T98 | 
3 | 
| auto[1] | 
auto[0] | 
read_op | 
16326 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T2 | 
35 | 
 | 
T3 | 
2 | 
| auto[1] | 
auto[0] | 
write_op | 
2086 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T2 | 
1 | 
 | 
T4 | 
2 | 
| auto[1] | 
auto[1] | 
read_op | 
2823 | 
1 | 
 | 
 | 
T27 | 
71 | 
 | 
T28 | 
5 | 
 | 
T38 | 
32 | 
| auto[1] | 
auto[1] | 
write_op | 
557 | 
1 | 
 | 
 | 
T27 | 
14 | 
 | 
T38 | 
4 | 
 | 
T98 | 
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 | 
26682 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T2 | 
22 | 
 | 
T3 | 
7 | 
| write_op | 
6617 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T3 | 
1 | 
 | 
T4 | 
2 | 
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] | 
11396 | 
1 | 
 | 
 | 
T3 | 
2 | 
 | 
T4 | 
2 | 
 | 
T8 | 
12 | 
| auto[1] | 
21903 | 
1 | 
 | 
 | 
T1 | 
5 | 
 | 
T2 | 
22 | 
 | 
T3 | 
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] | 
25104 | 
1 | 
 | 
 | 
T1 | 
5 | 
 | 
T2 | 
22 | 
 | 
T3 | 
8 | 
| auto[1] | 
8195 | 
1 | 
 | 
 | 
T9 | 
43 | 
 | 
T10 | 
16 | 
 | 
T27 | 
200 | 
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 | 
5353 | 
1 | 
 | 
 | 
T3 | 
1 | 
 | 
T4 | 
1 | 
 | 
T8 | 
8 | 
| auto[0] | 
auto[0] | 
write_op | 
3023 | 
1 | 
 | 
 | 
T3 | 
1 | 
 | 
T4 | 
1 | 
 | 
T8 | 
4 | 
| auto[0] | 
auto[1] | 
read_op | 
2262 | 
1 | 
 | 
 | 
T9 | 
9 | 
 | 
T10 | 
4 | 
 | 
T27 | 
41 | 
| auto[0] | 
auto[1] | 
write_op | 
758 | 
1 | 
 | 
 | 
T9 | 
3 | 
 | 
T10 | 
3 | 
 | 
T27 | 
11 | 
| auto[1] | 
auto[0] | 
read_op | 
14750 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T2 | 
22 | 
 | 
T3 | 
6 | 
| auto[1] | 
auto[0] | 
write_op | 
1978 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T4 | 
1 | 
 | 
T9 | 
8 | 
| auto[1] | 
auto[1] | 
read_op | 
4317 | 
1 | 
 | 
 | 
T9 | 
28 | 
 | 
T10 | 
7 | 
 | 
T27 | 
115 | 
| auto[1] | 
auto[1] | 
write_op | 
858 | 
1 | 
 | 
 | 
T9 | 
3 | 
 | 
T10 | 
2 | 
 | 
T27 | 
33 | 
 
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 | 
25317 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T2 | 
39 | 
 | 
T4 | 
18 | 
| write_op | 
4463 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
1 | 
 | 
T4 | 
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] | 
9913 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T4 | 
8 | 
 | 
T8 | 
10 | 
| auto[1] | 
19867 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T2 | 
40 | 
 | 
T4 | 
17 | 
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] | 
27104 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T2 | 
40 | 
 | 
T4 | 
25 | 
| auto[1] | 
2676 | 
1 | 
 | 
 | 
T9 | 
32 | 
 | 
T10 | 
19 | 
 | 
T27 | 
67 | 
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 | 
6283 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T4 | 
5 | 
 | 
T8 | 
8 | 
| auto[0] | 
auto[0] | 
write_op | 
2570 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T4 | 
3 | 
 | 
T8 | 
2 | 
| auto[0] | 
auto[1] | 
read_op | 
873 | 
1 | 
 | 
 | 
T9 | 
14 | 
 | 
T10 | 
12 | 
 | 
T27 | 
21 | 
| auto[0] | 
auto[1] | 
write_op | 
187 | 
1 | 
 | 
 | 
T9 | 
5 | 
 | 
T10 | 
4 | 
 | 
T27 | 
4 | 
| auto[1] | 
auto[0] | 
read_op | 
16701 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
39 | 
 | 
T4 | 
13 | 
| auto[1] | 
auto[0] | 
write_op | 
1550 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T2 | 
1 | 
 | 
T4 | 
4 | 
| auto[1] | 
auto[1] | 
read_op | 
1460 | 
1 | 
 | 
 | 
T9 | 
12 | 
 | 
T10 | 
3 | 
 | 
T27 | 
34 | 
| auto[1] | 
auto[1] | 
write_op | 
156 | 
1 | 
 | 
 | 
T9 | 
1 | 
 | 
T27 | 
8 | 
 | 
T28 | 
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 | 
25734 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T2 | 
30 | 
 | 
T3 | 
10 | 
| write_op | 
5770 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T4 | 
4 | 
 | 
T8 | 
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] | 
10780 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T8 | 
15 | 
 | 
T5 | 
3 | 
| auto[1] | 
20724 | 
1 | 
 | 
 | 
T1 | 
5 | 
 | 
T2 | 
30 | 
 | 
T3 | 
10 | 
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] | 
23804 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T2 | 
30 | 
 | 
T3 | 
10 | 
| auto[1] | 
7700 | 
1 | 
 | 
 | 
T9 | 
45 | 
 | 
T10 | 
14 | 
 | 
T27 | 
165 | 
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 | 
5118 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T8 | 
10 | 
 | 
T5 | 
2 | 
| auto[0] | 
auto[0] | 
write_op | 
2779 | 
1 | 
 | 
 | 
T8 | 
5 | 
 | 
T5 | 
1 | 
 | 
T9 | 
8 | 
| auto[0] | 
auto[1] | 
read_op | 
2273 | 
1 | 
 | 
 | 
T9 | 
17 | 
 | 
T10 | 
10 | 
 | 
T27 | 
51 | 
| auto[0] | 
auto[1] | 
write_op | 
610 | 
1 | 
 | 
 | 
T9 | 
2 | 
 | 
T10 | 
3 | 
 | 
T27 | 
7 | 
| auto[1] | 
auto[0] | 
read_op | 
14177 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
30 | 
 | 
T3 | 
10 | 
| auto[1] | 
auto[0] | 
write_op | 
1730 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T4 | 
4 | 
 | 
T9 | 
6 | 
| auto[1] | 
auto[1] | 
read_op | 
4166 | 
1 | 
 | 
 | 
T9 | 
21 | 
 | 
T27 | 
91 | 
 | 
T28 | 
14 | 
| auto[1] | 
auto[1] | 
write_op | 
651 | 
1 | 
 | 
 | 
T9 | 
5 | 
 | 
T10 | 
1 | 
 | 
T27 | 
16 |