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 | 
25945 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T2 | 
10 | 
 | 
T3 | 
17 | 
| write_op | 
6188 | 
1 | 
 | 
 | 
T2 | 
5 | 
 | 
T6 | 
1 | 
 | 
T4 | 
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] | 
10746 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T2 | 
15 | 
 | 
T3 | 
3 | 
| auto[1] | 
21387 | 
1 | 
 | 
 | 
T3 | 
14 | 
 | 
T4 | 
28 | 
 | 
T5 | 
3 | 
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] | 
24050 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T2 | 
15 | 
 | 
T3 | 
17 | 
| auto[1] | 
8083 | 
1 | 
 | 
 | 
T11 | 
176 | 
 | 
T12 | 
27 | 
 | 
T29 | 
7 | 
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 | 
5041 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T2 | 
10 | 
 | 
T3 | 
3 | 
| auto[0] | 
auto[0] | 
write_op | 
2710 | 
1 | 
 | 
 | 
T2 | 
5 | 
 | 
T6 | 
1 | 
 | 
T4 | 
1 | 
| auto[0] | 
auto[1] | 
read_op | 
2254 | 
1 | 
 | 
 | 
T11 | 
51 | 
 | 
T12 | 
7 | 
 | 
T29 | 
4 | 
| auto[0] | 
auto[1] | 
write_op | 
741 | 
1 | 
 | 
 | 
T11 | 
19 | 
 | 
T12 | 
1 | 
 | 
T29 | 
3 | 
| auto[1] | 
auto[0] | 
read_op | 
14278 | 
1 | 
 | 
 | 
T3 | 
14 | 
 | 
T4 | 
28 | 
 | 
T5 | 
3 | 
| auto[1] | 
auto[0] | 
write_op | 
2021 | 
1 | 
 | 
 | 
T11 | 
10 | 
 | 
T29 | 
1 | 
 | 
T100 | 
1 | 
| auto[1] | 
auto[1] | 
read_op | 
4372 | 
1 | 
 | 
 | 
T11 | 
91 | 
 | 
T12 | 
16 | 
 | 
T97 | 
17 | 
| auto[1] | 
auto[1] | 
write_op | 
716 | 
1 | 
 | 
 | 
T11 | 
15 | 
 | 
T12 | 
3 | 
 | 
T97 | 
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 | 
26456 | 
1 | 
 | 
 | 
T2 | 
8 | 
 | 
T3 | 
19 | 
 | 
T6 | 
10 | 
| write_op | 
6262 | 
1 | 
 | 
 | 
T2 | 
3 | 
 | 
T3 | 
4 | 
 | 
T6 | 
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] | 
11457 | 
1 | 
 | 
 | 
T2 | 
11 | 
 | 
T3 | 
7 | 
 | 
T6 | 
15 | 
| auto[1] | 
21261 | 
1 | 
 | 
 | 
T3 | 
16 | 
 | 
T4 | 
30 | 
 | 
T5 | 
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] | 
28061 | 
1 | 
 | 
 | 
T2 | 
11 | 
 | 
T3 | 
23 | 
 | 
T6 | 
15 | 
| auto[1] | 
4657 | 
1 | 
 | 
 | 
T11 | 
54 | 
 | 
T12 | 
31 | 
 | 
T97 | 
72 | 
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 | 
6404 | 
1 | 
 | 
 | 
T2 | 
8 | 
 | 
T3 | 
3 | 
 | 
T6 | 
10 | 
| auto[0] | 
auto[0] | 
write_op | 
3143 | 
1 | 
 | 
 | 
T2 | 
3 | 
 | 
T3 | 
4 | 
 | 
T6 | 
5 | 
| auto[0] | 
auto[1] | 
read_op | 
1413 | 
1 | 
 | 
 | 
T11 | 
23 | 
 | 
T12 | 
6 | 
 | 
T97 | 
19 | 
| auto[0] | 
auto[1] | 
write_op | 
497 | 
1 | 
 | 
 | 
T11 | 
10 | 
 | 
T97 | 
5 | 
 | 
T66 | 
3 | 
| auto[1] | 
auto[0] | 
read_op | 
16348 | 
1 | 
 | 
 | 
T3 | 
16 | 
 | 
T4 | 
30 | 
 | 
T5 | 
2 | 
| auto[1] | 
auto[0] | 
write_op | 
2166 | 
1 | 
 | 
 | 
T11 | 
12 | 
 | 
T29 | 
1 | 
 | 
T100 | 
1 | 
| auto[1] | 
auto[1] | 
read_op | 
2291 | 
1 | 
 | 
 | 
T11 | 
17 | 
 | 
T12 | 
22 | 
 | 
T97 | 
42 | 
| auto[1] | 
auto[1] | 
write_op | 
456 | 
1 | 
 | 
 | 
T11 | 
4 | 
 | 
T12 | 
3 | 
 | 
T97 | 
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 | 
26054 | 
1 | 
 | 
 | 
T2 | 
12 | 
 | 
T3 | 
16 | 
 | 
T6 | 
6 | 
| write_op | 
6525 | 
1 | 
 | 
 | 
T2 | 
5 | 
 | 
T3 | 
2 | 
 | 
T6 | 
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] | 
11031 | 
1 | 
 | 
 | 
T2 | 
17 | 
 | 
T3 | 
4 | 
 | 
T6 | 
9 | 
| auto[1] | 
21548 | 
1 | 
 | 
 | 
T3 | 
14 | 
 | 
T4 | 
47 | 
 | 
T11 | 
132 | 
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] | 
24121 | 
1 | 
 | 
 | 
T2 | 
17 | 
 | 
T3 | 
18 | 
 | 
T6 | 
9 | 
| auto[1] | 
8458 | 
1 | 
 | 
 | 
T11 | 
149 | 
 | 
T12 | 
33 | 
 | 
T29 | 
13 | 
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 | 
 | 
 | 
T2 | 
12 | 
 | 
T3 | 
2 | 
 | 
T6 | 
6 | 
| auto[0] | 
auto[0] | 
write_op | 
2737 | 
1 | 
 | 
 | 
T2 | 
5 | 
 | 
T3 | 
2 | 
 | 
T6 | 
3 | 
| auto[0] | 
auto[1] | 
read_op | 
2374 | 
1 | 
 | 
 | 
T11 | 
56 | 
 | 
T12 | 
5 | 
 | 
T29 | 
6 | 
| auto[0] | 
auto[1] | 
write_op | 
825 | 
1 | 
 | 
 | 
T11 | 
25 | 
 | 
T12 | 
2 | 
 | 
T29 | 
3 | 
| auto[1] | 
auto[0] | 
read_op | 
14216 | 
1 | 
 | 
 | 
T3 | 
14 | 
 | 
T4 | 
45 | 
 | 
T11 | 
55 | 
| auto[1] | 
auto[0] | 
write_op | 
2073 | 
1 | 
 | 
 | 
T4 | 
2 | 
 | 
T11 | 
9 | 
 | 
T12 | 
2 | 
| auto[1] | 
auto[1] | 
read_op | 
4369 | 
1 | 
 | 
 | 
T11 | 
58 | 
 | 
T12 | 
20 | 
 | 
T29 | 
3 | 
| auto[1] | 
auto[1] | 
write_op | 
890 | 
1 | 
 | 
 | 
T11 | 
10 | 
 | 
T12 | 
6 | 
 | 
T29 | 
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 | 
25164 | 
1 | 
 | 
 | 
T2 | 
16 | 
 | 
T3 | 
30 | 
 | 
T6 | 
10 | 
| write_op | 
4550 | 
1 | 
 | 
 | 
T2 | 
6 | 
 | 
T6 | 
4 | 
 | 
T4 | 
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] | 
10055 | 
1 | 
 | 
 | 
T2 | 
22 | 
 | 
T6 | 
14 | 
 | 
T4 | 
3 | 
| auto[1] | 
19659 | 
1 | 
 | 
 | 
T3 | 
30 | 
 | 
T4 | 
16 | 
 | 
T5 | 
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] | 
26060 | 
1 | 
 | 
 | 
T2 | 
22 | 
 | 
T3 | 
30 | 
 | 
T6 | 
14 | 
| auto[1] | 
3654 | 
1 | 
 | 
 | 
T11 | 
80 | 
 | 
T29 | 
12 | 
 | 
T42 | 
8 | 
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 | 
6194 | 
1 | 
 | 
 | 
T2 | 
16 | 
 | 
T6 | 
10 | 
 | 
T4 | 
2 | 
| auto[0] | 
auto[0] | 
write_op | 
2556 | 
1 | 
 | 
 | 
T2 | 
6 | 
 | 
T6 | 
4 | 
 | 
T4 | 
1 | 
| auto[0] | 
auto[1] | 
read_op | 
1082 | 
1 | 
 | 
 | 
T11 | 
22 | 
 | 
T29 | 
7 | 
 | 
T42 | 
3 | 
| auto[0] | 
auto[1] | 
write_op | 
223 | 
1 | 
 | 
 | 
T11 | 
2 | 
 | 
T29 | 
2 | 
 | 
T42 | 
1 | 
| auto[1] | 
auto[0] | 
read_op | 
15757 | 
1 | 
 | 
 | 
T3 | 
30 | 
 | 
T4 | 
16 | 
 | 
T5 | 
2 | 
| auto[1] | 
auto[0] | 
write_op | 
1553 | 
1 | 
 | 
 | 
T11 | 
13 | 
 | 
T12 | 
5 | 
 | 
T13 | 
1 | 
| auto[1] | 
auto[1] | 
read_op | 
2131 | 
1 | 
 | 
 | 
T11 | 
51 | 
 | 
T29 | 
3 | 
 | 
T42 | 
4 | 
| auto[1] | 
auto[1] | 
write_op | 
218 | 
1 | 
 | 
 | 
T11 | 
5 | 
 | 
T66 | 
4 | 
 | 
T51 | 
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 | 
25152 | 
1 | 
 | 
 | 
T2 | 
6 | 
 | 
T3 | 
27 | 
 | 
T6 | 
4 | 
| write_op | 
5778 | 
1 | 
 | 
 | 
T2 | 
3 | 
 | 
T3 | 
2 | 
 | 
T6 | 
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] | 
10639 | 
1 | 
 | 
 | 
T2 | 
9 | 
 | 
T3 | 
5 | 
 | 
T6 | 
6 | 
| auto[1] | 
20291 | 
1 | 
 | 
 | 
T3 | 
24 | 
 | 
T4 | 
30 | 
 | 
T11 | 
133 | 
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] | 
22949 | 
1 | 
 | 
 | 
T2 | 
9 | 
 | 
T3 | 
29 | 
 | 
T6 | 
6 | 
| auto[1] | 
7981 | 
1 | 
 | 
 | 
T11 | 
126 | 
 | 
T12 | 
48 | 
 | 
T29 | 
16 | 
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 | 
4976 | 
1 | 
 | 
 | 
T2 | 
6 | 
 | 
T3 | 
3 | 
 | 
T6 | 
4 | 
| auto[0] | 
auto[0] | 
write_op | 
2681 | 
1 | 
 | 
 | 
T2 | 
3 | 
 | 
T3 | 
2 | 
 | 
T6 | 
2 | 
| auto[0] | 
auto[1] | 
read_op | 
2338 | 
1 | 
 | 
 | 
T11 | 
44 | 
 | 
T12 | 
15 | 
 | 
T29 | 
10 | 
| auto[0] | 
auto[1] | 
write_op | 
644 | 
1 | 
 | 
 | 
T11 | 
9 | 
 | 
T12 | 
6 | 
 | 
T29 | 
4 | 
| auto[1] | 
auto[0] | 
read_op | 
13496 | 
1 | 
 | 
 | 
T3 | 
24 | 
 | 
T4 | 
30 | 
 | 
T11 | 
52 | 
| auto[1] | 
auto[0] | 
write_op | 
1796 | 
1 | 
 | 
 | 
T11 | 
8 | 
 | 
T12 | 
4 | 
 | 
T29 | 
2 | 
| auto[1] | 
auto[1] | 
read_op | 
4342 | 
1 | 
 | 
 | 
T11 | 
64 | 
 | 
T12 | 
24 | 
 | 
T29 | 
2 | 
| auto[1] | 
auto[1] | 
write_op | 
657 | 
1 | 
 | 
 | 
T11 | 
9 | 
 | 
T12 | 
3 | 
 | 
T42 | 
3 |