Summary for Variable flash_index
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| User Defined Bins | 
2 | 
2 | 
0 | 
0.00   | 
User Defined Bins for flash_index
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| flash_addr_key | 
0 | 
1 | 
1 | 
 | 
| flash_data_key | 
0 | 
1 | 
1 | 
 | 
Excluded/Illegal bins
| NAME | COUNT | STATUS | 
| il | 
0 | 
Illegal | 
Summary for Variable secret1_lock
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
2 | 
0 | 
0.00   | 
Automatically Generated Bins for secret1_lock
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[0] - auto[1]] | 
-- | 
-- | 
2 | 
 | 
Summary for Cross flash_req_lock_cross
Samples crossed: flash_index secret1_lock
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING | 
| Automatically Generated Cross Bins | 
4 | 
4 | 
0 | 
0.00   | 
4 | 
Automatically Generated Cross Bins for flash_req_lock_cross
Uncovered bins
| flash_index | secret1_lock | COUNT | AT LEAST | NUMBER | STATUS | 
| * | 
* | 
-- | 
-- | 
4 | 
 |