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 | 
22583 | 
1 | 
 | 
 | 
T1 | 
8 | 
 | 
T2 | 
30 | 
 | 
T3 | 
6 | 
| write_op | 
5331 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
10 | 
 | 
T3 | 
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] | 
10582 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T2 | 
11 | 
 | 
T3 | 
8 | 
| auto[1] | 
17332 | 
1 | 
 | 
 | 
T1 | 
7 | 
 | 
T2 | 
29 | 
 | 
T4 | 
44 | 
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] | 
19710 | 
1 | 
 | 
 | 
T1 | 
10 | 
 | 
T2 | 
12 | 
 | 
T3 | 
8 | 
| auto[1] | 
8204 | 
1 | 
 | 
 | 
T2 | 
28 | 
 | 
T9 | 
14 | 
 | 
T6 | 
73 | 
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 | 
4815 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
1 | 
 | 
T3 | 
6 | 
| auto[0] | 
auto[0] | 
write_op | 
2647 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T2 | 
2 | 
 | 
T3 | 
2 | 
| auto[0] | 
auto[1] | 
read_op | 
2376 | 
1 | 
 | 
 | 
T2 | 
6 | 
 | 
T9 | 
5 | 
 | 
T6 | 
28 | 
| auto[0] | 
auto[1] | 
write_op | 
744 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T9 | 
1 | 
 | 
T6 | 
5 | 
| auto[1] | 
auto[0] | 
read_op | 
11060 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T2 | 
5 | 
 | 
T4 | 
42 | 
| auto[1] | 
auto[0] | 
write_op | 
1188 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T2 | 
4 | 
 | 
T4 | 
2 | 
| auto[1] | 
auto[1] | 
read_op | 
4332 | 
1 | 
 | 
 | 
T2 | 
18 | 
 | 
T9 | 
6 | 
 | 
T6 | 
33 | 
| auto[1] | 
auto[1] | 
write_op | 
752 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T9 | 
2 | 
 | 
T6 | 
7 | 
 
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 | 
22921 | 
1 | 
 | 
 | 
T1 | 
9 | 
 | 
T2 | 
19 | 
 | 
T3 | 
1 | 
| write_op | 
5339 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T2 | 
6 | 
 | 
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] | 
11009 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T2 | 
13 | 
 | 
T3 | 
2 | 
| auto[1] | 
17251 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T2 | 
12 | 
 | 
T4 | 
46 | 
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] | 
22662 | 
1 | 
 | 
 | 
T1 | 
10 | 
 | 
T2 | 
25 | 
 | 
T3 | 
2 | 
| auto[1] | 
5598 | 
1 | 
 | 
 | 
T32 | 
2 | 
 | 
T6 | 
73 | 
 | 
T105 | 
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 | 
5933 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T2 | 
9 | 
 | 
T3 | 
1 | 
| auto[0] | 
auto[0] | 
write_op | 
2940 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T2 | 
4 | 
 | 
T3 | 
1 | 
| auto[0] | 
auto[1] | 
read_op | 
1602 | 
1 | 
 | 
 | 
T32 | 
2 | 
 | 
T6 | 
27 | 
 | 
T105 | 
8 | 
| auto[0] | 
auto[1] | 
write_op | 
534 | 
1 | 
 | 
 | 
T6 | 
7 | 
 | 
T105 | 
2 | 
 | 
T108 | 
6 | 
| auto[1] | 
auto[0] | 
read_op | 
12463 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T2 | 
10 | 
 | 
T4 | 
46 | 
| auto[1] | 
auto[0] | 
write_op | 
1326 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T9 | 
6 | 
 | 
T5 | 
3 | 
| auto[1] | 
auto[1] | 
read_op | 
2923 | 
1 | 
 | 
 | 
T6 | 
34 | 
 | 
T105 | 
5 | 
 | 
T18 | 
2 | 
| auto[1] | 
auto[1] | 
write_op | 
539 | 
1 | 
 | 
 | 
T6 | 
5 | 
 | 
T18 | 
1 | 
 | 
T112 | 
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 | 
22482 | 
1 | 
 | 
 | 
T1 | 
10 | 
 | 
T2 | 
30 | 
 | 
T3 | 
4 | 
| write_op | 
5408 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T2 | 
8 | 
 | 
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] | 
10682 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T2 | 
13 | 
 | 
T3 | 
7 | 
| auto[1] | 
17208 | 
1 | 
 | 
 | 
T1 | 
8 | 
 | 
T2 | 
25 | 
 | 
T4 | 
46 | 
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] | 
19767 | 
1 | 
 | 
 | 
T1 | 
11 | 
 | 
T2 | 
2 | 
 | 
T3 | 
7 | 
| auto[1] | 
8123 | 
1 | 
 | 
 | 
T2 | 
36 | 
 | 
T9 | 
10 | 
 | 
T32 | 
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 | 
4894 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T3 | 
4 | 
 | 
T4 | 
5 | 
| auto[0] | 
auto[0] | 
write_op | 
2708 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T3 | 
3 | 
 | 
T4 | 
4 | 
| auto[0] | 
auto[1] | 
read_op | 
2346 | 
1 | 
 | 
 | 
T2 | 
9 | 
 | 
T9 | 
5 | 
 | 
T32 | 
1 | 
| auto[0] | 
auto[1] | 
write_op | 
734 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T9 | 
2 | 
 | 
T32 | 
1 | 
| auto[1] | 
auto[0] | 
read_op | 
11020 | 
1 | 
 | 
 | 
T1 | 
8 | 
 | 
T2 | 
1 | 
 | 
T4 | 
46 | 
| auto[1] | 
auto[0] | 
write_op | 
1145 | 
1 | 
 | 
 | 
T2 | 
1 | 
 | 
T9 | 
1 | 
 | 
T5 | 
4 | 
| auto[1] | 
auto[1] | 
read_op | 
4222 | 
1 | 
 | 
 | 
T2 | 
20 | 
 | 
T9 | 
1 | 
 | 
T6 | 
30 | 
| auto[1] | 
auto[1] | 
write_op | 
821 | 
1 | 
 | 
 | 
T2 | 
3 | 
 | 
T9 | 
2 | 
 | 
T6 | 
8 | 
 
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 | 
21841 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T2 | 
28 | 
 | 
T3 | 
4 | 
| write_op | 
3968 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T2 | 
7 | 
 | 
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] | 
9696 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T2 | 
21 | 
 | 
T3 | 
3 | 
| auto[1] | 
16113 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T2 | 
14 | 
 | 
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] | 
22986 | 
1 | 
 | 
 | 
T1 | 
7 | 
 | 
T2 | 
2 | 
 | 
T3 | 
5 | 
| auto[1] | 
2823 | 
1 | 
 | 
 | 
T2 | 
33 | 
 | 
T9 | 
8 | 
 | 
T6 | 
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 | 
6118 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
1 | 
 | 
T3 | 
2 | 
| auto[0] | 
auto[0] | 
write_op | 
2463 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T2 | 
1 | 
 | 
T3 | 
1 | 
| auto[0] | 
auto[1] | 
read_op | 
921 | 
1 | 
 | 
 | 
T2 | 
14 | 
 | 
T9 | 
3 | 
 | 
T6 | 
6 | 
| auto[0] | 
auto[1] | 
write_op | 
194 | 
1 | 
 | 
 | 
T2 | 
5 | 
 | 
T9 | 
1 | 
 | 
T6 | 
1 | 
| auto[1] | 
auto[0] | 
read_op | 
13276 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T3 | 
2 | 
 | 
T4 | 
43 | 
| auto[1] | 
auto[0] | 
write_op | 
1129 | 
1 | 
 | 
 | 
T4 | 
2 | 
 | 
T13 | 
1 | 
 | 
T6 | 
15 | 
| auto[1] | 
auto[1] | 
read_op | 
1526 | 
1 | 
 | 
 | 
T2 | 
13 | 
 | 
T9 | 
3 | 
 | 
T6 | 
3 | 
| auto[1] | 
auto[1] | 
write_op | 
182 | 
1 | 
 | 
 | 
T2 | 
1 | 
 | 
T9 | 
1 | 
 | 
T6 | 
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 | 
21372 | 
1 | 
 | 
 | 
T1 | 
8 | 
 | 
T2 | 
32 | 
 | 
T3 | 
2 | 
| write_op | 
4964 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
5 | 
 | 
T3 | 
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] | 
10350 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T2 | 
17 | 
 | 
T3 | 
4 | 
| auto[1] | 
15986 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T2 | 
20 | 
 | 
T4 | 
46 | 
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] | 
18291 | 
1 | 
 | 
 | 
T1 | 
10 | 
 | 
T2 | 
11 | 
 | 
T3 | 
4 | 
| auto[1] | 
8045 | 
1 | 
 | 
 | 
T2 | 
26 | 
 | 
T9 | 
22 | 
 | 
T6 | 
92 | 
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 | 
4566 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
2 | 
 | 
T3 | 
2 | 
| auto[0] | 
auto[0] | 
write_op | 
2507 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
1 | 
 | 
T3 | 
2 | 
| auto[0] | 
auto[1] | 
read_op | 
2553 | 
1 | 
 | 
 | 
T2 | 
12 | 
 | 
T9 | 
16 | 
 | 
T6 | 
26 | 
| auto[0] | 
auto[1] | 
write_op | 
724 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T9 | 
6 | 
 | 
T6 | 
8 | 
| auto[1] | 
auto[0] | 
read_op | 
10113 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T2 | 
6 | 
 | 
T4 | 
45 | 
| auto[1] | 
auto[0] | 
write_op | 
1105 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T4 | 
1 | 
 | 
T9 | 
1 | 
| auto[1] | 
auto[1] | 
read_op | 
4140 | 
1 | 
 | 
 | 
T2 | 
12 | 
 | 
T6 | 
51 | 
 | 
T104 | 
4 | 
| auto[1] | 
auto[1] | 
write_op | 
628 | 
1 | 
 | 
 | 
T6 | 
7 | 
 | 
T104 | 
1 | 
 | 
T105 | 
1 |