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 | 
26784 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T3 | 
7 | 
 | 
T5 | 
17 | 
| write_op | 
6324 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T3 | 
5 | 
 | 
T5 | 
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] | 
11203 | 
1 | 
 | 
 | 
T1 | 
5 | 
 | 
T3 | 
8 | 
 | 
T5 | 
1 | 
| auto[1] | 
21905 | 
1 | 
 | 
 | 
T3 | 
4 | 
 | 
T5 | 
23 | 
 | 
T11 | 
12 | 
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] | 
23824 | 
1 | 
 | 
 | 
T1 | 
5 | 
 | 
T3 | 
1 | 
 | 
T5 | 
6 | 
| auto[1] | 
9284 | 
1 | 
 | 
 | 
T3 | 
11 | 
 | 
T5 | 
18 | 
 | 
T20 | 
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 | 
5132 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T6 | 
6 | 
 | 
T7 | 
8 | 
| auto[0] | 
auto[0] | 
write_op | 
2785 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T3 | 
1 | 
 | 
T6 | 
3 | 
| auto[0] | 
auto[1] | 
read_op | 
2509 | 
1 | 
 | 
 | 
T3 | 
4 | 
 | 
T20 | 
3 | 
 | 
T96 | 
3 | 
| auto[0] | 
auto[1] | 
write_op | 
777 | 
1 | 
 | 
 | 
T3 | 
3 | 
 | 
T5 | 
1 | 
 | 
T20 | 
1 | 
| auto[1] | 
auto[0] | 
read_op | 
14019 | 
1 | 
 | 
 | 
T5 | 
4 | 
 | 
T11 | 
12 | 
 | 
T8 | 
50 | 
| auto[1] | 
auto[0] | 
write_op | 
1888 | 
1 | 
 | 
 | 
T5 | 
2 | 
 | 
T8 | 
15 | 
 | 
T9 | 
7 | 
| auto[1] | 
auto[1] | 
read_op | 
5124 | 
1 | 
 | 
 | 
T3 | 
3 | 
 | 
T5 | 
13 | 
 | 
T20 | 
23 | 
| auto[1] | 
auto[1] | 
write_op | 
874 | 
1 | 
 | 
 | 
T3 | 
1 | 
 | 
T5 | 
4 | 
 | 
T20 | 
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 | 
27052 | 
1 | 
 | 
 | 
T1 | 
8 | 
 | 
T3 | 
10 | 
 | 
T5 | 
9 | 
| write_op | 
6259 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
1 | 
 | 
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] | 
11385 | 
1 | 
 | 
 | 
T1 | 
10 | 
 | 
T3 | 
11 | 
 | 
T5 | 
2 | 
| auto[1] | 
21926 | 
1 | 
 | 
 | 
T2 | 
1 | 
 | 
T3 | 
1 | 
 | 
T5 | 
9 | 
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] | 
27199 | 
1 | 
 | 
 | 
T1 | 
10 | 
 | 
T2 | 
1 | 
 | 
T3 | 
12 | 
| auto[1] | 
6112 | 
1 | 
 | 
 | 
T37 | 
2 | 
 | 
T20 | 
41 | 
 | 
T96 | 
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 | 
6077 | 
1 | 
 | 
 | 
T1 | 
8 | 
 | 
T3 | 
9 | 
 | 
T5 | 
1 | 
| auto[0] | 
auto[0] | 
write_op | 
3101 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T3 | 
2 | 
 | 
T5 | 
1 | 
| auto[0] | 
auto[1] | 
read_op | 
1653 | 
1 | 
 | 
 | 
T37 | 
2 | 
 | 
T20 | 
4 | 
 | 
T96 | 
1 | 
| auto[0] | 
auto[1] | 
write_op | 
554 | 
1 | 
 | 
 | 
T20 | 
1 | 
 | 
T96 | 
2 | 
 | 
T97 | 
2 | 
| auto[1] | 
auto[0] | 
read_op | 
16031 | 
1 | 
 | 
 | 
T3 | 
1 | 
 | 
T5 | 
8 | 
 | 
T11 | 
14 | 
| auto[1] | 
auto[0] | 
write_op | 
1990 | 
1 | 
 | 
 | 
T2 | 
1 | 
 | 
T5 | 
1 | 
 | 
T8 | 
16 | 
| auto[1] | 
auto[1] | 
read_op | 
3291 | 
1 | 
 | 
 | 
T20 | 
31 | 
 | 
T96 | 
9 | 
 | 
T97 | 
7 | 
| auto[1] | 
auto[1] | 
write_op | 
614 | 
1 | 
 | 
 | 
T20 | 
5 | 
 | 
T96 | 
4 | 
 | 
T97 | 
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 | 
26680 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
1 | 
 | 
T3 | 
10 | 
| write_op | 
6497 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
2 | 
 | 
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] | 
11310 | 
1 | 
 | 
 | 
T1 | 
3 | 
 | 
T3 | 
12 | 
 | 
T6 | 
14 | 
| auto[1] | 
21867 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T2 | 
3 | 
 | 
T3 | 
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] | 
24380 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T2 | 
3 | 
 | 
T3 | 
3 | 
| auto[1] | 
8797 | 
1 | 
 | 
 | 
T3 | 
14 | 
 | 
T5 | 
10 | 
 | 
T37 | 
3 | 
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 | 
5157 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T3 | 
1 | 
 | 
T6 | 
10 | 
| auto[0] | 
auto[0] | 
write_op | 
2894 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T3 | 
2 | 
 | 
T6 | 
4 | 
| auto[0] | 
auto[1] | 
read_op | 
2444 | 
1 | 
 | 
 | 
T3 | 
6 | 
 | 
T20 | 
8 | 
 | 
T96 | 
4 | 
| auto[0] | 
auto[1] | 
write_op | 
815 | 
1 | 
 | 
 | 
T3 | 
3 | 
 | 
T37 | 
1 | 
 | 
T20 | 
3 | 
| auto[1] | 
auto[0] | 
read_op | 
14427 | 
1 | 
 | 
 | 
T2 | 
1 | 
 | 
T5 | 
7 | 
 | 
T11 | 
18 | 
| auto[1] | 
auto[0] | 
write_op | 
1902 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T2 | 
2 | 
 | 
T5 | 
4 | 
| auto[1] | 
auto[1] | 
read_op | 
4652 | 
1 | 
 | 
 | 
T3 | 
3 | 
 | 
T5 | 
9 | 
 | 
T37 | 
2 | 
| auto[1] | 
auto[1] | 
write_op | 
886 | 
1 | 
 | 
 | 
T3 | 
2 | 
 | 
T5 | 
1 | 
 | 
T20 | 
4 | 
 
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 | 
26437 | 
1 | 
 | 
 | 
T1 | 
5 | 
 | 
T3 | 
10 | 
 | 
T5 | 
17 | 
| write_op | 
4581 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
1 | 
 | 
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] | 
10195 | 
1 | 
 | 
 | 
T1 | 
7 | 
 | 
T2 | 
1 | 
 | 
T3 | 
8 | 
| auto[1] | 
20823 | 
1 | 
 | 
 | 
T3 | 
5 | 
 | 
T5 | 
20 | 
 | 
T11 | 
12 | 
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] | 
27744 | 
1 | 
 | 
 | 
T1 | 
7 | 
 | 
T2 | 
1 | 
 | 
T3 | 
3 | 
| auto[1] | 
3274 | 
1 | 
 | 
 | 
T3 | 
10 | 
 | 
T5 | 
12 | 
 | 
T32 | 
56 | 
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 | 
6515 | 
1 | 
 | 
 | 
T1 | 
5 | 
 | 
T3 | 
2 | 
 | 
T6 | 
2 | 
| auto[0] | 
auto[0] | 
write_op | 
2566 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
1 | 
 | 
T3 | 
1 | 
| auto[0] | 
auto[1] | 
read_op | 
922 | 
1 | 
 | 
 | 
T3 | 
4 | 
 | 
T5 | 
1 | 
 | 
T32 | 
19 | 
| auto[0] | 
auto[1] | 
write_op | 
192 | 
1 | 
 | 
 | 
T3 | 
1 | 
 | 
T5 | 
1 | 
 | 
T32 | 
1 | 
| auto[1] | 
auto[0] | 
read_op | 
17044 | 
1 | 
 | 
 | 
T5 | 
8 | 
 | 
T11 | 
12 | 
 | 
T8 | 
46 | 
| auto[1] | 
auto[0] | 
write_op | 
1619 | 
1 | 
 | 
 | 
T5 | 
2 | 
 | 
T8 | 
10 | 
 | 
T9 | 
6 | 
| auto[1] | 
auto[1] | 
read_op | 
1956 | 
1 | 
 | 
 | 
T3 | 
4 | 
 | 
T5 | 
8 | 
 | 
T32 | 
33 | 
| auto[1] | 
auto[1] | 
write_op | 
204 | 
1 | 
 | 
 | 
T3 | 
1 | 
 | 
T5 | 
2 | 
 | 
T32 | 
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 | 
26187 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
2 | 
 | 
T3 | 
13 | 
| write_op | 
5882 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
2 | 
 | 
T3 | 
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] | 
11239 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T2 | 
4 | 
 | 
T3 | 
4 | 
| auto[1] | 
20830 | 
1 | 
 | 
 | 
T3 | 
13 | 
 | 
T5 | 
6 | 
 | 
T11 | 
16 | 
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] | 
23157 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T2 | 
4 | 
 | 
T3 | 
3 | 
| auto[1] | 
8912 | 
1 | 
 | 
 | 
T3 | 
14 | 
 | 
T5 | 
1 | 
 | 
T20 | 
24 | 
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 | 
5191 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
2 | 
 | 
T3 | 
2 | 
| auto[0] | 
auto[0] | 
write_op | 
2750 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
2 | 
 | 
T3 | 
1 | 
| auto[0] | 
auto[1] | 
read_op | 
2585 | 
1 | 
 | 
 | 
T20 | 
2 | 
 | 
T32 | 
9 | 
 | 
T97 | 
4 | 
| auto[0] | 
auto[1] | 
write_op | 
713 | 
1 | 
 | 
 | 
T3 | 
1 | 
 | 
T32 | 
2 | 
 | 
T97 | 
4 | 
| auto[1] | 
auto[0] | 
read_op | 
13534 | 
1 | 
 | 
 | 
T5 | 
3 | 
 | 
T11 | 
16 | 
 | 
T8 | 
56 | 
| auto[1] | 
auto[0] | 
write_op | 
1682 | 
1 | 
 | 
 | 
T5 | 
2 | 
 | 
T8 | 
19 | 
 | 
T9 | 
2 | 
| auto[1] | 
auto[1] | 
read_op | 
4877 | 
1 | 
 | 
 | 
T3 | 
11 | 
 | 
T5 | 
1 | 
 | 
T20 | 
18 | 
| auto[1] | 
auto[1] | 
write_op | 
737 | 
1 | 
 | 
 | 
T3 | 
2 | 
 | 
T20 | 
4 | 
 | 
T96 | 
3 |