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 | 
23077 | 
1 | 
 | 
 | 
T1 | 
12 | 
 | 
T4 | 
8 | 
 | 
T5 | 
8 | 
| write_op | 
5512 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T4 | 
4 | 
 | 
T5 | 
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] | 
11044 | 
1 | 
 | 
 | 
T1 | 
18 | 
 | 
T4 | 
12 | 
 | 
T5 | 
7 | 
| auto[1] | 
17545 | 
1 | 
 | 
 | 
T5 | 
6 | 
 | 
T6 | 
14 | 
 | 
T11 | 
1 | 
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] | 
19306 | 
1 | 
 | 
 | 
T1 | 
18 | 
 | 
T4 | 
12 | 
 | 
T5 | 
8 | 
| auto[1] | 
9283 | 
1 | 
 | 
 | 
T5 | 
5 | 
 | 
T11 | 
15 | 
 | 
T71 | 
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 | 
4826 | 
1 | 
 | 
 | 
T1 | 
12 | 
 | 
T4 | 
8 | 
 | 
T6 | 
6 | 
| auto[0] | 
auto[0] | 
write_op | 
2660 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T4 | 
4 | 
 | 
T5 | 
2 | 
| auto[0] | 
auto[1] | 
read_op | 
2719 | 
1 | 
 | 
 | 
T5 | 
3 | 
 | 
T11 | 
12 | 
 | 
T26 | 
13 | 
| auto[0] | 
auto[1] | 
write_op | 
839 | 
1 | 
 | 
 | 
T5 | 
2 | 
 | 
T11 | 
3 | 
 | 
T26 | 
2 | 
| auto[1] | 
auto[0] | 
read_op | 
10634 | 
1 | 
 | 
 | 
T5 | 
5 | 
 | 
T6 | 
11 | 
 | 
T12 | 
20 | 
| auto[1] | 
auto[0] | 
write_op | 
1186 | 
1 | 
 | 
 | 
T5 | 
1 | 
 | 
T6 | 
3 | 
 | 
T11 | 
1 | 
| auto[1] | 
auto[1] | 
read_op | 
4898 | 
1 | 
 | 
 | 
T71 | 
8 | 
 | 
T26 | 
21 | 
 | 
T27 | 
22 | 
| auto[1] | 
auto[1] | 
write_op | 
827 | 
1 | 
 | 
 | 
T26 | 
2 | 
 | 
T27 | 
4 | 
 | 
T40 | 
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 | 
23310 | 
1 | 
 | 
 | 
T1 | 
14 | 
 | 
T4 | 
6 | 
 | 
T5 | 
12 | 
| write_op | 
5412 | 
1 | 
 | 
 | 
T1 | 
5 | 
 | 
T4 | 
3 | 
 | 
T5 | 
6 | 
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] | 
11012 | 
1 | 
 | 
 | 
T1 | 
19 | 
 | 
T4 | 
9 | 
 | 
T5 | 
8 | 
| auto[1] | 
17710 | 
1 | 
 | 
 | 
T5 | 
10 | 
 | 
T6 | 
7 | 
 | 
T12 | 
28 | 
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] | 
22751 | 
1 | 
 | 
 | 
T1 | 
19 | 
 | 
T4 | 
9 | 
 | 
T5 | 
7 | 
| auto[1] | 
5971 | 
1 | 
 | 
 | 
T5 | 
11 | 
 | 
T11 | 
7 | 
 | 
T71 | 
10 | 
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 | 
5790 | 
1 | 
 | 
 | 
T1 | 
14 | 
 | 
T4 | 
6 | 
 | 
T6 | 
10 | 
| auto[0] | 
auto[0] | 
write_op | 
2913 | 
1 | 
 | 
 | 
T1 | 
5 | 
 | 
T4 | 
3 | 
 | 
T6 | 
3 | 
| auto[0] | 
auto[1] | 
read_op | 
1729 | 
1 | 
 | 
 | 
T5 | 
6 | 
 | 
T11 | 
4 | 
 | 
T71 | 
2 | 
| auto[0] | 
auto[1] | 
write_op | 
580 | 
1 | 
 | 
 | 
T5 | 
2 | 
 | 
T11 | 
3 | 
 | 
T71 | 
1 | 
| auto[1] | 
auto[0] | 
read_op | 
12712 | 
1 | 
 | 
 | 
T5 | 
4 | 
 | 
T6 | 
7 | 
 | 
T12 | 
28 | 
| auto[1] | 
auto[0] | 
write_op | 
1336 | 
1 | 
 | 
 | 
T5 | 
3 | 
 | 
T7 | 
10 | 
 | 
T71 | 
1 | 
| auto[1] | 
auto[1] | 
read_op | 
3079 | 
1 | 
 | 
 | 
T5 | 
2 | 
 | 
T71 | 
7 | 
 | 
T26 | 
4 | 
| auto[1] | 
auto[1] | 
write_op | 
583 | 
1 | 
 | 
 | 
T5 | 
1 | 
 | 
T40 | 
6 | 
 | 
T8 | 
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 | 
22948 | 
1 | 
 | 
 | 
T1 | 
16 | 
 | 
T3 | 
2 | 
 | 
T4 | 
12 | 
| write_op | 
5733 | 
1 | 
 | 
 | 
T1 | 
7 | 
 | 
T3 | 
1 | 
 | 
T4 | 
6 | 
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] | 
11066 | 
1 | 
 | 
 | 
T1 | 
23 | 
 | 
T3 | 
3 | 
 | 
T4 | 
18 | 
| auto[1] | 
17615 | 
1 | 
 | 
 | 
T5 | 
9 | 
 | 
T6 | 
1 | 
 | 
T11 | 
4 | 
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] | 
19472 | 
1 | 
 | 
 | 
T1 | 
23 | 
 | 
T3 | 
3 | 
 | 
T4 | 
18 | 
| auto[1] | 
9209 | 
1 | 
 | 
 | 
T5 | 
9 | 
 | 
T11 | 
1 | 
 | 
T71 | 
20 | 
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 | 
4792 | 
1 | 
 | 
 | 
T1 | 
16 | 
 | 
T3 | 
2 | 
 | 
T4 | 
12 | 
| auto[0] | 
auto[0] | 
write_op | 
2667 | 
1 | 
 | 
 | 
T1 | 
7 | 
 | 
T3 | 
1 | 
 | 
T4 | 
6 | 
| auto[0] | 
auto[1] | 
read_op | 
2699 | 
1 | 
 | 
 | 
T5 | 
1 | 
 | 
T11 | 
1 | 
 | 
T71 | 
3 | 
| auto[0] | 
auto[1] | 
write_op | 
908 | 
1 | 
 | 
 | 
T5 | 
1 | 
 | 
T71 | 
3 | 
 | 
T26 | 
3 | 
| auto[1] | 
auto[0] | 
read_op | 
10754 | 
1 | 
 | 
 | 
T5 | 
1 | 
 | 
T11 | 
3 | 
 | 
T12 | 
18 | 
| auto[1] | 
auto[0] | 
write_op | 
1259 | 
1 | 
 | 
 | 
T5 | 
1 | 
 | 
T6 | 
1 | 
 | 
T11 | 
1 | 
| auto[1] | 
auto[1] | 
read_op | 
4703 | 
1 | 
 | 
 | 
T5 | 
4 | 
 | 
T71 | 
14 | 
 | 
T26 | 
9 | 
| auto[1] | 
auto[1] | 
write_op | 
899 | 
1 | 
 | 
 | 
T5 | 
3 | 
 | 
T26 | 
6 | 
 | 
T27 | 
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 | 
22660 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T4 | 
8 | 
 | 
T5 | 
19 | 
| write_op | 
3929 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T4 | 
2 | 
 | 
T5 | 
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] | 
9810 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T4 | 
10 | 
 | 
T5 | 
11 | 
| auto[1] | 
16779 | 
1 | 
 | 
 | 
T5 | 
12 | 
 | 
T6 | 
4 | 
 | 
T11 | 
1 | 
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] | 
23314 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T4 | 
10 | 
 | 
T5 | 
23 | 
| auto[1] | 
3275 | 
1 | 
 | 
 | 
T27 | 
36 | 
 | 
T8 | 
15 | 
 | 
T104 | 
36 | 
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 | 
4 | 
 | 
T4 | 
8 | 
 | 
T5 | 
8 | 
| auto[0] | 
auto[0] | 
write_op | 
2347 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T4 | 
2 | 
 | 
T5 | 
3 | 
| auto[0] | 
auto[1] | 
read_op | 
978 | 
1 | 
 | 
 | 
T27 | 
17 | 
 | 
T8 | 
1 | 
 | 
T104 | 
7 | 
| auto[0] | 
auto[1] | 
write_op | 
202 | 
1 | 
 | 
 | 
T27 | 
2 | 
 | 
T104 | 
1 | 
 | 
T124 | 
2 | 
| auto[1] | 
auto[0] | 
read_op | 
13496 | 
1 | 
 | 
 | 
T5 | 
11 | 
 | 
T6 | 
3 | 
 | 
T11 | 
1 | 
| auto[1] | 
auto[0] | 
write_op | 
1188 | 
1 | 
 | 
 | 
T5 | 
1 | 
 | 
T6 | 
1 | 
 | 
T7 | 
7 | 
| auto[1] | 
auto[1] | 
read_op | 
1903 | 
1 | 
 | 
 | 
T27 | 
15 | 
 | 
T8 | 
11 | 
 | 
T104 | 
28 | 
| auto[1] | 
auto[1] | 
write_op | 
192 | 
1 | 
 | 
 | 
T27 | 
2 | 
 | 
T8 | 
3 | 
 | 
T124 | 
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 | 
22159 | 
1 | 
 | 
 | 
T1 | 
10 | 
 | 
T4 | 
4 | 
 | 
T5 | 
15 | 
| write_op | 
5050 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T4 | 
1 | 
 | 
T5 | 
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] | 
10498 | 
1 | 
 | 
 | 
T1 | 
14 | 
 | 
T4 | 
5 | 
 | 
T5 | 
1 | 
| auto[1] | 
16711 | 
1 | 
 | 
 | 
T5 | 
18 | 
 | 
T6 | 
6 | 
 | 
T12 | 
24 | 
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] | 
18699 | 
1 | 
 | 
 | 
T1 | 
14 | 
 | 
T4 | 
5 | 
 | 
T5 | 
6 | 
| auto[1] | 
8510 | 
1 | 
 | 
 | 
T5 | 
13 | 
 | 
T11 | 
3 | 
 | 
T71 | 
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 | 
4665 | 
1 | 
 | 
 | 
T1 | 
10 | 
 | 
T4 | 
4 | 
 | 
T6 | 
6 | 
| auto[0] | 
auto[0] | 
write_op | 
2490 | 
1 | 
 | 
 | 
T1 | 
4 | 
 | 
T4 | 
1 | 
 | 
T5 | 
1 | 
| auto[0] | 
auto[1] | 
read_op | 
2615 | 
1 | 
 | 
 | 
T11 | 
1 | 
 | 
T71 | 
7 | 
 | 
T26 | 
4 | 
| auto[0] | 
auto[1] | 
write_op | 
728 | 
1 | 
 | 
 | 
T11 | 
2 | 
 | 
T27 | 
3 | 
 | 
T8 | 
3 | 
| auto[1] | 
auto[0] | 
read_op | 
10403 | 
1 | 
 | 
 | 
T5 | 
4 | 
 | 
T6 | 
5 | 
 | 
T12 | 
24 | 
| auto[1] | 
auto[0] | 
write_op | 
1141 | 
1 | 
 | 
 | 
T5 | 
1 | 
 | 
T6 | 
1 | 
 | 
T7 | 
13 | 
| auto[1] | 
auto[1] | 
read_op | 
4476 | 
1 | 
 | 
 | 
T5 | 
11 | 
 | 
T71 | 
4 | 
 | 
T26 | 
20 | 
| auto[1] | 
auto[1] | 
write_op | 
691 | 
1 | 
 | 
 | 
T5 | 
2 | 
 | 
T26 | 
3 | 
 | 
T27 | 
3 |