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 | 
22916 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T3 | 
1 | 
 | 
T4 | 
10 | 
| write_op | 
5478 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T3 | 
1 | 
 | 
T4 | 
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] | 
10590 | 
1 | 
 | 
 | 
T2 | 
6 | 
 | 
T3 | 
2 | 
 | 
T4 | 
4 | 
| auto[1] | 
17804 | 
1 | 
 | 
 | 
T4 | 
8 | 
 | 
T12 | 
3 | 
 | 
T101 | 
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] | 
19928 | 
1 | 
 | 
 | 
T2 | 
6 | 
 | 
T3 | 
2 | 
 | 
T4 | 
6 | 
| auto[1] | 
8466 | 
1 | 
 | 
 | 
T4 | 
6 | 
 | 
T12 | 
18 | 
 | 
T17 | 
6 | 
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 | 
4798 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T3 | 
1 | 
 | 
T4 | 
2 | 
| auto[0] | 
auto[0] | 
write_op | 
2592 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T3 | 
1 | 
 | 
T4 | 
2 | 
| auto[0] | 
auto[1] | 
read_op | 
2465 | 
1 | 
 | 
 | 
T12 | 
11 | 
 | 
T17 | 
4 | 
 | 
T98 | 
2 | 
| auto[0] | 
auto[1] | 
write_op | 
735 | 
1 | 
 | 
 | 
T12 | 
4 | 
 | 
T17 | 
2 | 
 | 
T96 | 
1 | 
| auto[1] | 
auto[0] | 
read_op | 
11192 | 
1 | 
 | 
 | 
T4 | 
2 | 
 | 
T101 | 
2 | 
 | 
T102 | 
8 | 
| auto[1] | 
auto[0] | 
write_op | 
1346 | 
1 | 
 | 
 | 
T102 | 
1 | 
 | 
T105 | 
1 | 
 | 
T19 | 
1 | 
| auto[1] | 
auto[1] | 
read_op | 
4461 | 
1 | 
 | 
 | 
T4 | 
6 | 
 | 
T12 | 
3 | 
 | 
T102 | 
10 | 
| auto[1] | 
auto[1] | 
write_op | 
805 | 
1 | 
 | 
 | 
T19 | 
1 | 
 | 
T120 | 
3 | 
 | 
T122 | 
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 | 
24004 | 
1 | 
 | 
 | 
T2 | 
6 | 
 | 
T3 | 
3 | 
 | 
T4 | 
11 | 
| write_op | 
5542 | 
1 | 
 | 
 | 
T2 | 
1 | 
 | 
T3 | 
1 | 
 | 
T4 | 
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] | 
10812 | 
1 | 
 | 
 | 
T2 | 
7 | 
 | 
T3 | 
4 | 
 | 
T6 | 
10 | 
| auto[1] | 
18734 | 
1 | 
 | 
 | 
T4 | 
13 | 
 | 
T5 | 
4 | 
 | 
T12 | 
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] | 
23959 | 
1 | 
 | 
 | 
T2 | 
7 | 
 | 
T3 | 
4 | 
 | 
T4 | 
3 | 
| auto[1] | 
5587 | 
1 | 
 | 
 | 
T4 | 
10 | 
 | 
T12 | 
8 | 
 | 
T93 | 
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 | 
5682 | 
1 | 
 | 
 | 
T2 | 
6 | 
 | 
T3 | 
3 | 
 | 
T6 | 
8 | 
| auto[0] | 
auto[0] | 
write_op | 
2866 | 
1 | 
 | 
 | 
T2 | 
1 | 
 | 
T3 | 
1 | 
 | 
T6 | 
2 | 
| auto[0] | 
auto[1] | 
read_op | 
1692 | 
1 | 
 | 
 | 
T12 | 
5 | 
 | 
T93 | 
2 | 
 | 
T96 | 
4 | 
| auto[0] | 
auto[1] | 
write_op | 
572 | 
1 | 
 | 
 | 
T12 | 
1 | 
 | 
T93 | 
1 | 
 | 
T102 | 
1 | 
| auto[1] | 
auto[0] | 
read_op | 
13830 | 
1 | 
 | 
 | 
T4 | 
1 | 
 | 
T5 | 
4 | 
 | 
T13 | 
1 | 
| auto[1] | 
auto[0] | 
write_op | 
1581 | 
1 | 
 | 
 | 
T4 | 
2 | 
 | 
T101 | 
1 | 
 | 
T102 | 
1 | 
| auto[1] | 
auto[1] | 
read_op | 
2800 | 
1 | 
 | 
 | 
T4 | 
10 | 
 | 
T12 | 
2 | 
 | 
T102 | 
8 | 
| auto[1] | 
auto[1] | 
write_op | 
523 | 
1 | 
 | 
 | 
T96 | 
1 | 
 | 
T108 | 
1 | 
 | 
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 | 
22826 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T3 | 
4 | 
 | 
T4 | 
11 | 
| write_op | 
5647 | 
1 | 
 | 
 | 
T2 | 
1 | 
 | 
T3 | 
2 | 
 | 
T4 | 
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] | 
10646 | 
1 | 
 | 
 | 
T2 | 
3 | 
 | 
T3 | 
6 | 
 | 
T4 | 
3 | 
| auto[1] | 
17827 | 
1 | 
 | 
 | 
T4 | 
10 | 
 | 
T12 | 
4 | 
 | 
T17 | 
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] | 
20317 | 
1 | 
 | 
 | 
T2 | 
3 | 
 | 
T3 | 
6 | 
 | 
T4 | 
13 | 
| auto[1] | 
8156 | 
1 | 
 | 
 | 
T12 | 
8 | 
 | 
T17 | 
7 | 
 | 
T93 | 
14 | 
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 | 
4800 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T3 | 
4 | 
 | 
T4 | 
1 | 
| auto[0] | 
auto[0] | 
write_op | 
2629 | 
1 | 
 | 
 | 
T2 | 
1 | 
 | 
T3 | 
2 | 
 | 
T4 | 
2 | 
| auto[0] | 
auto[1] | 
read_op | 
2385 | 
1 | 
 | 
 | 
T12 | 
5 | 
 | 
T17 | 
3 | 
 | 
T93 | 
4 | 
| auto[0] | 
auto[1] | 
write_op | 
832 | 
1 | 
 | 
 | 
T12 | 
1 | 
 | 
T17 | 
3 | 
 | 
T93 | 
1 | 
| auto[1] | 
auto[0] | 
read_op | 
11478 | 
1 | 
 | 
 | 
T4 | 
10 | 
 | 
T12 | 
2 | 
 | 
T102 | 
2 | 
| auto[1] | 
auto[0] | 
write_op | 
1410 | 
1 | 
 | 
 | 
T105 | 
1 | 
 | 
T37 | 
1 | 
 | 
T19 | 
1 | 
| auto[1] | 
auto[1] | 
read_op | 
4163 | 
1 | 
 | 
 | 
T12 | 
1 | 
 | 
T17 | 
1 | 
 | 
T93 | 
6 | 
| auto[1] | 
auto[1] | 
write_op | 
776 | 
1 | 
 | 
 | 
T12 | 
1 | 
 | 
T93 | 
3 | 
 | 
T102 | 
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 | 
22068 | 
1 | 
 | 
 | 
T2 | 
16 | 
 | 
T4 | 
13 | 
 | 
T6 | 
5 | 
| write_op | 
3963 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T4 | 
1 | 
 | 
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] | 
9690 | 
1 | 
 | 
 | 
T2 | 
20 | 
 | 
T4 | 
4 | 
 | 
T6 | 
8 | 
| auto[1] | 
16341 | 
1 | 
 | 
 | 
T4 | 
10 | 
 | 
T12 | 
11 | 
 | 
T13 | 
6 | 
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] | 
23080 | 
1 | 
 | 
 | 
T2 | 
20 | 
 | 
T4 | 
14 | 
 | 
T6 | 
8 | 
| auto[1] | 
2951 | 
1 | 
 | 
 | 
T17 | 
12 | 
 | 
T105 | 
4 | 
 | 
T19 | 
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 | 
6118 | 
1 | 
 | 
 | 
T2 | 
16 | 
 | 
T4 | 
3 | 
 | 
T6 | 
5 | 
| auto[0] | 
auto[0] | 
write_op | 
2452 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T4 | 
1 | 
 | 
T6 | 
3 | 
| auto[0] | 
auto[1] | 
read_op | 
924 | 
1 | 
 | 
 | 
T17 | 
9 | 
 | 
T105 | 
1 | 
 | 
T19 | 
1 | 
| auto[0] | 
auto[1] | 
write_op | 
196 | 
1 | 
 | 
 | 
T17 | 
3 | 
 | 
T120 | 
1 | 
 | 
T122 | 
1 | 
| auto[1] | 
auto[0] | 
read_op | 
13377 | 
1 | 
 | 
 | 
T4 | 
10 | 
 | 
T12 | 
10 | 
 | 
T13 | 
6 | 
| auto[1] | 
auto[0] | 
write_op | 
1133 | 
1 | 
 | 
 | 
T12 | 
1 | 
 | 
T102 | 
2 | 
 | 
T105 | 
1 | 
| auto[1] | 
auto[1] | 
read_op | 
1649 | 
1 | 
 | 
 | 
T105 | 
3 | 
 | 
T19 | 
4 | 
 | 
T120 | 
32 | 
| auto[1] | 
auto[1] | 
write_op | 
182 | 
1 | 
 | 
 | 
T120 | 
4 | 
 | 
T122 | 
2 | 
 | 
T123 | 
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 | 
22200 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T3 | 
2 | 
 | 
T4 | 
8 | 
| write_op | 
5028 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T4 | 
2 | 
 | 
T5 | 
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] | 
10215 | 
1 | 
 | 
 | 
T2 | 
6 | 
 | 
T3 | 
2 | 
 | 
T4 | 
4 | 
| auto[1] | 
17013 | 
1 | 
 | 
 | 
T4 | 
6 | 
 | 
T5 | 
2 | 
 | 
T12 | 
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] | 
19228 | 
1 | 
 | 
 | 
T2 | 
6 | 
 | 
T3 | 
2 | 
 | 
T4 | 
6 | 
| auto[1] | 
8000 | 
1 | 
 | 
 | 
T4 | 
4 | 
 | 
T12 | 
12 | 
 | 
T17 | 
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 | 
4622 | 
1 | 
 | 
 | 
T2 | 
4 | 
 | 
T3 | 
2 | 
 | 
T4 | 
2 | 
| auto[0] | 
auto[0] | 
write_op | 
2426 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T4 | 
2 | 
 | 
T5 | 
1 | 
| auto[0] | 
auto[1] | 
read_op | 
2462 | 
1 | 
 | 
 | 
T12 | 
8 | 
 | 
T93 | 
1 | 
 | 
T102 | 
2 | 
| auto[0] | 
auto[1] | 
write_op | 
705 | 
1 | 
 | 
 | 
T12 | 
4 | 
 | 
T93 | 
1 | 
 | 
T102 | 
2 | 
| auto[1] | 
auto[0] | 
read_op | 
10926 | 
1 | 
 | 
 | 
T4 | 
2 | 
 | 
T5 | 
2 | 
 | 
T12 | 
2 | 
| auto[1] | 
auto[0] | 
write_op | 
1254 | 
1 | 
 | 
 | 
T93 | 
1 | 
 | 
T105 | 
3 | 
 | 
T19 | 
1 | 
| auto[1] | 
auto[1] | 
read_op | 
4190 | 
1 | 
 | 
 | 
T4 | 
4 | 
 | 
T17 | 
2 | 
 | 
T93 | 
3 | 
| auto[1] | 
auto[1] | 
write_op | 
643 | 
1 | 
 | 
 | 
T17 | 
1 | 
 | 
T19 | 
3 | 
 | 
T96 | 
1 |