Summary for Variable operation_type
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| User Defined Bins | 
2 | 
2 | 
0 | 
0.00   | 
User Defined Bins for operation_type
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| read_op | 
0 | 
1 | 
1 | 
 | 
| write_op | 
0 | 
1 | 
1 | 
 | 
Summary for Variable read_access_locked
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
2 | 
0 | 
0.00   | 
Automatically Generated Bins for read_access_locked
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[0] - auto[1]] | 
-- | 
-- | 
2 | 
 | 
Summary for Variable write_access_locked
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
2 | 
0 | 
0.00   | 
Automatically Generated Bins for write_access_locked
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[0] - auto[1]] | 
-- | 
-- | 
2 | 
 | 
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 | 
8 | 
0 | 
0.00   | 
8 | 
Automatically Generated Cross Bins for unbuf_part_access_cross
Uncovered bins
| read_access_locked | write_access_locked | operation_type | COUNT | AT LEAST | NUMBER | STATUS | 
| * | 
* | 
* | 
-- | 
-- | 
8 | 
 | 
 
Summary for Variable operation_type
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| User Defined Bins | 
2 | 
2 | 
0 | 
0.00   | 
User Defined Bins for operation_type
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| read_op | 
0 | 
1 | 
1 | 
 | 
| write_op | 
0 | 
1 | 
1 | 
 | 
Summary for Variable read_access_locked
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
2 | 
0 | 
0.00   | 
Automatically Generated Bins for read_access_locked
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[0] - auto[1]] | 
-- | 
-- | 
2 | 
 | 
Summary for Variable write_access_locked
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
2 | 
0 | 
0.00   | 
Automatically Generated Bins for write_access_locked
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[0] - auto[1]] | 
-- | 
-- | 
2 | 
 | 
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 | 
8 | 
0 | 
0.00   | 
8 | 
Automatically Generated Cross Bins for unbuf_part_access_cross
Uncovered bins
| read_access_locked | write_access_locked | operation_type | COUNT | AT LEAST | NUMBER | STATUS | 
| * | 
* | 
* | 
-- | 
-- | 
8 | 
 | 
 
Summary for Variable operation_type
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| User Defined Bins | 
2 | 
2 | 
0 | 
0.00   | 
User Defined Bins for operation_type
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| read_op | 
0 | 
1 | 
1 | 
 | 
| write_op | 
0 | 
1 | 
1 | 
 | 
Summary for Variable read_access_locked
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
2 | 
0 | 
0.00   | 
Automatically Generated Bins for read_access_locked
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[0] - auto[1]] | 
-- | 
-- | 
2 | 
 | 
Summary for Variable write_access_locked
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
2 | 
0 | 
0.00   | 
Automatically Generated Bins for write_access_locked
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[0] - auto[1]] | 
-- | 
-- | 
2 | 
 | 
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 | 
8 | 
0 | 
0.00   | 
8 | 
Automatically Generated Cross Bins for unbuf_part_access_cross
Uncovered bins
| read_access_locked | write_access_locked | operation_type | COUNT | AT LEAST | NUMBER | STATUS | 
| * | 
* | 
* | 
-- | 
-- | 
8 | 
 | 
 
Summary for Variable operation_type
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| User Defined Bins | 
2 | 
2 | 
0 | 
0.00   | 
User Defined Bins for operation_type
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| read_op | 
0 | 
1 | 
1 | 
 | 
| write_op | 
0 | 
1 | 
1 | 
 | 
Summary for Variable read_access_locked
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
2 | 
0 | 
0.00   | 
Automatically Generated Bins for read_access_locked
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[0] - auto[1]] | 
-- | 
-- | 
2 | 
 | 
Summary for Variable write_access_locked
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
2 | 
0 | 
0.00   | 
Automatically Generated Bins for write_access_locked
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[0] - auto[1]] | 
-- | 
-- | 
2 | 
 | 
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 | 
8 | 
0 | 
0.00   | 
8 | 
Automatically Generated Cross Bins for unbuf_part_access_cross
Uncovered bins
| read_access_locked | write_access_locked | operation_type | COUNT | AT LEAST | NUMBER | STATUS | 
| * | 
* | 
* | 
-- | 
-- | 
8 | 
 | 
 
Summary for Variable operation_type
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| User Defined Bins | 
2 | 
2 | 
0 | 
0.00   | 
User Defined Bins for operation_type
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| read_op | 
0 | 
1 | 
1 | 
 | 
| write_op | 
0 | 
1 | 
1 | 
 | 
Summary for Variable read_access_locked
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
2 | 
0 | 
0.00   | 
Automatically Generated Bins for read_access_locked
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[0] - auto[1]] | 
-- | 
-- | 
2 | 
 | 
Summary for Variable write_access_locked
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
2 | 
0 | 
0.00   | 
Automatically Generated Bins for write_access_locked
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[0] - auto[1]] | 
-- | 
-- | 
2 | 
 | 
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 | 
8 | 
0 | 
0.00   | 
8 | 
Automatically Generated Cross Bins for unbuf_part_access_cross
Uncovered bins
| read_access_locked | write_access_locked | operation_type | COUNT | AT LEAST | NUMBER | STATUS | 
| * | 
* | 
* | 
-- | 
-- | 
8 | 
 |