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 | 
27616 | 
1 | 
 | 
 | 
T1 | 
12 | 
 | 
T2 | 
26 | 
 | 
T3 | 
22 | 
| write_op | 
6582 | 
1 | 
 | 
 | 
T1 | 
5 | 
 | 
T2 | 
15 | 
 | 
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] | 
11124 | 
1 | 
 | 
 | 
T1 | 
17 | 
 | 
T3 | 
12 | 
 | 
T10 | 
12 | 
| auto[1] | 
23074 | 
1 | 
 | 
 | 
T2 | 
41 | 
 | 
T3 | 
13 | 
 | 
T6 | 
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] | 
26613 | 
1 | 
 | 
 | 
T1 | 
17 | 
 | 
T2 | 
41 | 
 | 
T3 | 
2 | 
| auto[1] | 
7585 | 
1 | 
 | 
 | 
T3 | 
23 | 
 | 
T6 | 
22 | 
 | 
T7 | 
29 | 
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 | 
5243 | 
1 | 
 | 
 | 
T1 | 
12 | 
 | 
T3 | 
1 | 
 | 
T10 | 
8 | 
| auto[0] | 
auto[0] | 
write_op | 
2918 | 
1 | 
 | 
 | 
T1 | 
5 | 
 | 
T10 | 
4 | 
 | 
T4 | 
3 | 
| auto[0] | 
auto[1] | 
read_op | 
2263 | 
1 | 
 | 
 | 
T3 | 
10 | 
 | 
T6 | 
3 | 
 | 
T7 | 
15 | 
| auto[0] | 
auto[1] | 
write_op | 
700 | 
1 | 
 | 
 | 
T3 | 
1 | 
 | 
T6 | 
2 | 
 | 
T7 | 
6 | 
| auto[1] | 
auto[0] | 
read_op | 
16216 | 
1 | 
 | 
 | 
T2 | 
26 | 
 | 
T13 | 
2 | 
 | 
T7 | 
6 | 
| auto[1] | 
auto[0] | 
write_op | 
2236 | 
1 | 
 | 
 | 
T2 | 
15 | 
 | 
T3 | 
1 | 
 | 
T7 | 
2 | 
| auto[1] | 
auto[1] | 
read_op | 
3894 | 
1 | 
 | 
 | 
T3 | 
11 | 
 | 
T6 | 
14 | 
 | 
T7 | 
8 | 
| auto[1] | 
auto[1] | 
write_op | 
728 | 
1 | 
 | 
 | 
T3 | 
1 | 
 | 
T6 | 
3 | 
 | 
T16 | 
9 | 
 
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 | 
28381 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
23 | 
 | 
T3 | 
31 | 
| write_op | 
6589 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T2 | 
8 | 
 | 
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] | 
11607 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T3 | 
15 | 
 | 
T10 | 
3 | 
| auto[1] | 
23363 | 
1 | 
 | 
 | 
T2 | 
31 | 
 | 
T3 | 
23 | 
 | 
T6 | 
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] | 
29984 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T2 | 
31 | 
 | 
T3 | 
3 | 
| auto[1] | 
4986 | 
1 | 
 | 
 | 
T3 | 
35 | 
 | 
T6 | 
18 | 
 | 
T7 | 
60 | 
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 | 
6457 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T10 | 
2 | 
 | 
T4 | 
8 | 
| auto[0] | 
auto[0] | 
write_op | 
3245 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T3 | 
1 | 
 | 
T10 | 
1 | 
| auto[0] | 
auto[1] | 
read_op | 
1421 | 
1 | 
 | 
 | 
T3 | 
12 | 
 | 
T6 | 
5 | 
 | 
T7 | 
29 | 
| auto[0] | 
auto[1] | 
write_op | 
484 | 
1 | 
 | 
 | 
T3 | 
2 | 
 | 
T6 | 
2 | 
 | 
T7 | 
9 | 
| auto[1] | 
auto[0] | 
read_op | 
17905 | 
1 | 
 | 
 | 
T2 | 
23 | 
 | 
T3 | 
1 | 
 | 
T6 | 
1 | 
| auto[1] | 
auto[0] | 
write_op | 
2377 | 
1 | 
 | 
 | 
T2 | 
8 | 
 | 
T3 | 
1 | 
 | 
T6 | 
1 | 
| auto[1] | 
auto[1] | 
read_op | 
2598 | 
1 | 
 | 
 | 
T3 | 
18 | 
 | 
T6 | 
9 | 
 | 
T7 | 
15 | 
| auto[1] | 
auto[1] | 
write_op | 
483 | 
1 | 
 | 
 | 
T3 | 
3 | 
 | 
T6 | 
2 | 
 | 
T7 | 
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 | 
27885 | 
1 | 
 | 
 | 
T1 | 
10 | 
 | 
T2 | 
11 | 
 | 
T3 | 
36 | 
| write_op | 
6937 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T2 | 
5 | 
 | 
T3 | 
13 | 
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] | 
11581 | 
1 | 
 | 
 | 
T1 | 
14 | 
 | 
T2 | 
3 | 
 | 
T3 | 
20 | 
| auto[1] | 
23241 | 
1 | 
 | 
 | 
T2 | 
13 | 
 | 
T3 | 
29 | 
 | 
T6 | 
5 | 
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] | 
26991 | 
1 | 
 | 
 | 
T1 | 
14 | 
 | 
T2 | 
16 | 
 | 
T3 | 
1 | 
| auto[1] | 
7831 | 
1 | 
 | 
 | 
T3 | 
48 | 
 | 
T6 | 
15 | 
 | 
T7 | 
33 | 
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 | 
5404 | 
1 | 
 | 
 | 
T1 | 
10 | 
 | 
T2 | 
1 | 
 | 
T10 | 
4 | 
| auto[0] | 
auto[0] | 
write_op | 
3040 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T2 | 
2 | 
 | 
T10 | 
1 | 
| auto[0] | 
auto[1] | 
read_op | 
2357 | 
1 | 
 | 
 | 
T3 | 
16 | 
 | 
T6 | 
10 | 
 | 
T7 | 
12 | 
| auto[0] | 
auto[1] | 
write_op | 
780 | 
1 | 
 | 
 | 
T3 | 
4 | 
 | 
T7 | 
2 | 
 | 
T16 | 
6 | 
| auto[1] | 
auto[0] | 
read_op | 
16217 | 
1 | 
 | 
 | 
T2 | 
10 | 
 | 
T8 | 
8 | 
 | 
T9 | 
159 | 
| auto[1] | 
auto[0] | 
write_op | 
2330 | 
1 | 
 | 
 | 
T2 | 
3 | 
 | 
T3 | 
1 | 
 | 
T9 | 
10 | 
| auto[1] | 
auto[1] | 
read_op | 
3907 | 
1 | 
 | 
 | 
T3 | 
20 | 
 | 
T6 | 
2 | 
 | 
T7 | 
16 | 
| auto[1] | 
auto[1] | 
write_op | 
787 | 
1 | 
 | 
 | 
T3 | 
8 | 
 | 
T6 | 
3 | 
 | 
T7 | 
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 | 
26972 | 
1 | 
 | 
 | 
T1 | 
14 | 
 | 
T2 | 
18 | 
 | 
T3 | 
39 | 
| write_op | 
4748 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T2 | 
10 | 
 | 
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] | 
10156 | 
1 | 
 | 
 | 
T1 | 
18 | 
 | 
T3 | 
16 | 
 | 
T10 | 
16 | 
| auto[1] | 
21564 | 
1 | 
 | 
 | 
T2 | 
28 | 
 | 
T3 | 
30 | 
 | 
T6 | 
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] | 
28862 | 
1 | 
 | 
 | 
T1 | 
18 | 
 | 
T2 | 
28 | 
 | 
T3 | 
46 | 
| auto[1] | 
2858 | 
1 | 
 | 
 | 
T16 | 
52 | 
 | 
T65 | 
21 | 
 | 
T50 | 
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 | 
6392 | 
1 | 
 | 
 | 
T1 | 
14 | 
 | 
T3 | 
12 | 
 | 
T10 | 
12 | 
| auto[0] | 
auto[0] | 
write_op | 
2636 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T3 | 
4 | 
 | 
T10 | 
4 | 
| auto[0] | 
auto[1] | 
read_op | 
904 | 
1 | 
 | 
 | 
T16 | 
13 | 
 | 
T65 | 
14 | 
 | 
T50 | 
4 | 
| auto[0] | 
auto[1] | 
write_op | 
224 | 
1 | 
 | 
 | 
T16 | 
6 | 
 | 
T50 | 
1 | 
 | 
T92 | 
2 | 
| auto[1] | 
auto[0] | 
read_op | 
18120 | 
1 | 
 | 
 | 
T2 | 
18 | 
 | 
T3 | 
27 | 
 | 
T6 | 
13 | 
| auto[1] | 
auto[0] | 
write_op | 
1714 | 
1 | 
 | 
 | 
T2 | 
10 | 
 | 
T3 | 
3 | 
 | 
T6 | 
2 | 
| auto[1] | 
auto[1] | 
read_op | 
1556 | 
1 | 
 | 
 | 
T16 | 
29 | 
 | 
T65 | 
6 | 
 | 
T70 | 
22 | 
| auto[1] | 
auto[1] | 
write_op | 
174 | 
1 | 
 | 
 | 
T16 | 
4 | 
 | 
T65 | 
1 | 
 | 
T70 | 
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 | 
27034 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T2 | 
4 | 
 | 
T3 | 
57 | 
| write_op | 
6067 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
4 | 
 | 
T3 | 
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] | 
11052 | 
1 | 
 | 
 | 
T1 | 
8 | 
 | 
T3 | 
27 | 
 | 
T10 | 
14 | 
| auto[1] | 
22049 | 
1 | 
 | 
 | 
T2 | 
8 | 
 | 
T3 | 
39 | 
 | 
T6 | 
23 | 
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] | 
25354 | 
1 | 
 | 
 | 
T1 | 
8 | 
 | 
T2 | 
8 | 
 | 
T3 | 
11 | 
| auto[1] | 
7747 | 
1 | 
 | 
 | 
T3 | 
55 | 
 | 
T6 | 
12 | 
 | 
T7 | 
35 | 
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 | 
5246 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T3 | 
2 | 
 | 
T10 | 
10 | 
| auto[0] | 
auto[0] | 
write_op | 
2755 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T3 | 
1 | 
 | 
T10 | 
4 | 
| auto[0] | 
auto[1] | 
read_op | 
2381 | 
1 | 
 | 
 | 
T3 | 
21 | 
 | 
T6 | 
3 | 
 | 
T7 | 
11 | 
| auto[0] | 
auto[1] | 
write_op | 
670 | 
1 | 
 | 
 | 
T3 | 
3 | 
 | 
T7 | 
1 | 
 | 
T59 | 
1 | 
| auto[1] | 
auto[0] | 
read_op | 
15387 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T3 | 
6 | 
 | 
T6 | 
11 | 
| auto[1] | 
auto[0] | 
write_op | 
1966 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T3 | 
2 | 
 | 
T6 | 
3 | 
| auto[1] | 
auto[1] | 
read_op | 
4020 | 
1 | 
 | 
 | 
T3 | 
28 | 
 | 
T6 | 
8 | 
 | 
T7 | 
19 | 
| auto[1] | 
auto[1] | 
write_op | 
676 | 
1 | 
 | 
 | 
T3 | 
3 | 
 | 
T6 | 
1 | 
 | 
T7 | 
4 |