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 |