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 |