Summary for Variable app_err
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
2 | 
0 | 
0.00   | 
Automatically Generated Bins for app_err
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[0] - auto[1]] | 
-- | 
-- | 
2 | 
 | 
Summary for Variable data_strb
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| User Defined Bins | 
8 | 
8 | 
0 | 
0.00   | 
User Defined Bins for data_strb
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| full_data_beat | 
0 | 
1 | 
1 | 
 | 
| seven_bytes | 
0 | 
1 | 
1 | 
 | 
| six_bytes | 
0 | 
1 | 
1 | 
 | 
| five_bytes | 
0 | 
1 | 
1 | 
 | 
| four_bytes | 
0 | 
1 | 
1 | 
 | 
| three_bytes | 
0 | 
1 | 
1 | 
 | 
| two_bytes | 
0 | 
1 | 
1 | 
 | 
| one_byte | 
0 | 
1 | 
1 | 
 | 
Excluded/Illegal bins
| NAME | COUNT | STATUS | 
| invalid | 
0 | 
Excluded | 
Summary for Variable done
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
2 | 
0 | 
0.00   | 
Automatically Generated Bins for done
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[0] - auto[1]] | 
-- | 
-- | 
2 | 
 | 
Summary for Variable in_keccak_rounds
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
2 | 
0 | 
0.00   | 
Automatically Generated Bins for in_keccak_rounds
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[0] - auto[1]] | 
-- | 
-- | 
2 | 
 | 
Summary for Variable single_data_beat
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
2 | 
0 | 
0.00   | 
Automatically Generated Bins for single_data_beat
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[0] - auto[1]] | 
-- | 
-- | 
2 | 
 | 
Summary for Cross partial_data_on_last_beat
Samples crossed: done data_strb
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING | 
| User Defined Cross Bins | 
1 | 
1 | 
0 | 
0.00   | 
 | 
User Defined Cross Bins for partial_data_on_last_beat
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| valid | 
0 | 
1 | 
1 | 
 | 
Excluded/Illegal bins
| NAME | COUNT | STATUS | 
| invalid | 
0 | 
Excluded | 
Summary for Cross done_in_keccak_rounds
Samples crossed: done in_keccak_rounds
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING | 
| User Defined Cross Bins | 
1 | 
1 | 
0 | 
0.00   | 
 | 
User Defined Cross Bins for done_in_keccak_rounds
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| valid | 
0 | 
1 | 
1 | 
 | 
Excluded/Illegal bins
| NAME | COUNT | STATUS | 
| invalid | 
0 | 
Excluded | 
 
Summary for Variable app_err
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
2 | 
0 | 
0.00   | 
Automatically Generated Bins for app_err
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[0] - auto[1]] | 
-- | 
-- | 
2 | 
 | 
Summary for Variable data_strb
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| User Defined Bins | 
8 | 
8 | 
0 | 
0.00   | 
User Defined Bins for data_strb
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| full_data_beat | 
0 | 
1 | 
1 | 
 | 
| seven_bytes | 
0 | 
1 | 
1 | 
 | 
| six_bytes | 
0 | 
1 | 
1 | 
 | 
| five_bytes | 
0 | 
1 | 
1 | 
 | 
| four_bytes | 
0 | 
1 | 
1 | 
 | 
| three_bytes | 
0 | 
1 | 
1 | 
 | 
| two_bytes | 
0 | 
1 | 
1 | 
 | 
| one_byte | 
0 | 
1 | 
1 | 
 | 
Excluded/Illegal bins
| NAME | COUNT | STATUS | 
| invalid | 
0 | 
Excluded | 
Summary for Variable done
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
2 | 
0 | 
0.00   | 
Automatically Generated Bins for done
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[0] - auto[1]] | 
-- | 
-- | 
2 | 
 | 
Summary for Variable in_keccak_rounds
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
2 | 
0 | 
0.00   | 
Automatically Generated Bins for in_keccak_rounds
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[0] - auto[1]] | 
-- | 
-- | 
2 | 
 | 
Summary for Variable single_data_beat
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
2 | 
0 | 
0.00   | 
Automatically Generated Bins for single_data_beat
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[0] - auto[1]] | 
-- | 
-- | 
2 | 
 | 
Summary for Cross partial_data_on_last_beat
Samples crossed: done data_strb
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING | 
| User Defined Cross Bins | 
1 | 
1 | 
0 | 
0.00   | 
 | 
User Defined Cross Bins for partial_data_on_last_beat
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| valid | 
0 | 
1 | 
1 | 
 | 
Excluded/Illegal bins
| NAME | COUNT | STATUS | 
| invalid | 
0 | 
Excluded | 
Summary for Cross done_in_keccak_rounds
Samples crossed: done in_keccak_rounds
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING | 
| User Defined Cross Bins | 
1 | 
1 | 
0 | 
0.00   | 
 | 
User Defined Cross Bins for done_in_keccak_rounds
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| valid | 
0 | 
1 | 
1 | 
 | 
Excluded/Illegal bins
| NAME | COUNT | STATUS | 
| invalid | 
0 | 
Excluded | 
 
Summary for Variable app_err
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
2 | 
0 | 
0.00   | 
Automatically Generated Bins for app_err
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[0] - auto[1]] | 
-- | 
-- | 
2 | 
 | 
Summary for Variable data_strb
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| User Defined Bins | 
8 | 
8 | 
0 | 
0.00   | 
User Defined Bins for data_strb
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| full_data_beat | 
0 | 
1 | 
1 | 
 | 
| seven_bytes | 
0 | 
1 | 
1 | 
 | 
| six_bytes | 
0 | 
1 | 
1 | 
 | 
| five_bytes | 
0 | 
1 | 
1 | 
 | 
| four_bytes | 
0 | 
1 | 
1 | 
 | 
| three_bytes | 
0 | 
1 | 
1 | 
 | 
| two_bytes | 
0 | 
1 | 
1 | 
 | 
| one_byte | 
0 | 
1 | 
1 | 
 | 
Excluded/Illegal bins
| NAME | COUNT | STATUS | 
| invalid | 
0 | 
Excluded | 
Summary for Variable done
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
2 | 
0 | 
0.00   | 
Automatically Generated Bins for done
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[0] - auto[1]] | 
-- | 
-- | 
2 | 
 | 
Summary for Variable in_keccak_rounds
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
2 | 
0 | 
0.00   | 
Automatically Generated Bins for in_keccak_rounds
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[0] - auto[1]] | 
-- | 
-- | 
2 | 
 | 
Summary for Variable single_data_beat
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 
2 | 
2 | 
0 | 
0.00   | 
Automatically Generated Bins for single_data_beat
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[0] - auto[1]] | 
-- | 
-- | 
2 | 
 | 
Summary for Cross partial_data_on_last_beat
Samples crossed: done data_strb
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING | 
| User Defined Cross Bins | 
1 | 
1 | 
0 | 
0.00   | 
 | 
User Defined Cross Bins for partial_data_on_last_beat
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| valid | 
0 | 
1 | 
1 | 
 | 
Excluded/Illegal bins
| NAME | COUNT | STATUS | 
| invalid | 
0 | 
Excluded | 
Summary for Cross done_in_keccak_rounds
Samples crossed: done in_keccak_rounds
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING | 
| User Defined Cross Bins | 
1 | 
1 | 
0 | 
0.00   | 
 | 
User Defined Cross Bins for done_in_keccak_rounds
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| valid | 
0 | 
1 | 
1 | 
 | 
Excluded/Illegal bins
| NAME | COUNT | STATUS | 
| invalid | 
0 | 
Excluded |