Summary for Variable app_err
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 2 | 1 | 1 | 50.00 | 
Automatically Generated Bins for app_err
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[1]] | 0 | 1 | 1 |  | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 332667 | 1 |  |  | T2 | 97 |  | T17 | 1510 |  | T28 | 958 | 
Summary for Variable data_strb
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| User Defined Bins | 8 | 0 | 8 | 100.00 | 
User Defined Bins for data_strb
Excluded/Illegal bins
| NAME | COUNT | STATUS | 
| invalid | 166542 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 126840 | 1 |  |  | T2 | 95 |  | T17 | 301 |  | T28 | 945 | 
| seven_bytes | 5633 | 1 |  |  | T17 | 32 |  | T29 | 89 |  | T23 | 56 | 
| six_bytes | 5674 | 1 |  |  | T17 | 36 |  | T29 | 90 |  | T23 | 55 | 
| five_bytes | 5663 | 1 |  |  | T17 | 31 |  | T29 | 94 |  | T23 | 66 | 
| four_bytes | 5611 | 1 |  |  | T17 | 39 |  | T29 | 78 |  | T23 | 52 | 
| three_bytes | 5585 | 1 |  |  | T17 | 44 |  | T29 | 90 |  | T23 | 49 | 
| two_bytes | 5586 | 1 |  |  | T17 | 38 |  | T29 | 94 |  | T23 | 48 | 
| one_byte | 5533 | 1 |  |  | T17 | 28 |  | T29 | 92 |  | T23 | 63 | 
Summary for Variable done
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 2 | 0 | 2 | 100.00 | 
Automatically Generated Bins for done
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 326192 | 1 |  |  | T2 | 93 |  | T17 | 1482 |  | T28 | 932 | 
| auto[1] | 6475 | 1 |  |  | T2 | 4 |  | T17 | 28 |  | T28 | 26 | 
Summary for Variable in_keccak_rounds
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 2 | 1 | 1 | 50.00 | 
Automatically Generated Bins for in_keccak_rounds
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[1]] | 0 | 1 | 1 |  | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 332667 | 1 |  |  | T2 | 97 |  | T17 | 1510 |  | T28 | 958 | 
Summary for Variable single_data_beat
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 2 | 0 | 2 | 100.00 | 
Automatically Generated Bins for single_data_beat
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 332631 | 1 |  |  | T2 | 97 |  | T17 | 1510 |  | T28 | 958 | 
| auto[1] | 36 | 1 |  |  | T163 | 1 |  | T164 | 1 |  | T165 | 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 | 0 | 1 | 100.00 |  | 
User Defined Cross Bins for partial_data_on_last_beat
Excluded/Illegal bins
| NAME | COUNT | STATUS | 
| invalid | 0 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| valid | 2317 | 1 |  |  | T2 | 2 |  | T17 | 8 |  | T28 | 13 | 
Summary for Cross done_in_keccak_rounds
Samples crossed: done in_keccak_rounds
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING | 
| User Defined Cross Bins | 1 | 0 | 1 | 100.00 |  | 
User Defined Cross Bins for done_in_keccak_rounds
Excluded/Illegal bins
| NAME | COUNT | STATUS | 
| invalid | 0 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| valid | 6475 | 1 |  |  | T2 | 4 |  | T17 | 28 |  | T28 | 26 | 
 
Summary for Variable app_err
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 2 | 1 | 1 | 50.00 | 
Automatically Generated Bins for app_err
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[1]] | 0 | 1 | 1 |  | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 160024 | 1 |  |  | T13 | 102 |  | T17 | 538 |  | T28 | 68 | 
Summary for Variable data_strb
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| User Defined Bins | 8 | 0 | 8 | 100.00 | 
User Defined Bins for data_strb
Excluded/Illegal bins
| NAME | COUNT | STATUS | 
| invalid | 80644 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 60042 | 1 |  |  | T13 | 101 |  | T17 | 282 |  | T28 | 66 | 
| seven_bytes | 2791 | 1 |  |  | T17 | 6 |  | T29 | 36 |  | T23 | 46 | 
| six_bytes | 2791 | 1 |  |  | T17 | 4 |  | T29 | 40 |  | T23 | 56 | 
| five_bytes | 2723 | 1 |  |  | T17 | 5 |  | T29 | 55 |  | T23 | 52 | 
| four_bytes | 2762 | 1 |  |  | T17 | 6 |  | T29 | 51 |  | T23 | 62 | 
| three_bytes | 2824 | 1 |  |  | T17 | 9 |  | T29 | 45 |  | T23 | 58 | 
| two_bytes | 2731 | 1 |  |  | T17 | 8 |  | T29 | 46 |  | T23 | 45 | 
| one_byte | 2716 | 1 |  |  | T17 | 10 |  | T29 | 46 |  | T23 | 51 | 
Summary for Variable done
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 2 | 0 | 2 | 100.00 | 
Automatically Generated Bins for done
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 156916 | 1 |  |  | T13 | 100 |  | T17 | 524 |  | T28 | 64 | 
| auto[1] | 3108 | 1 |  |  | T13 | 2 |  | T17 | 14 |  | T28 | 4 | 
Summary for Variable in_keccak_rounds
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 2 | 1 | 1 | 50.00 | 
Automatically Generated Bins for in_keccak_rounds
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[1]] | 0 | 1 | 1 |  | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 160024 | 1 |  |  | T13 | 102 |  | T17 | 538 |  | T28 | 68 | 
Summary for Variable single_data_beat
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 2 | 0 | 2 | 100.00 | 
Automatically Generated Bins for single_data_beat
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 160014 | 1 |  |  | T13 | 102 |  | T17 | 538 |  | T28 | 68 | 
| auto[1] | 10 | 1 |  |  | T166 | 1 |  | T167 | 1 |  | T168 | 1 | 
Summary for Cross partial_data_on_last_beat
Samples crossed: done data_strb
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING | 
| User Defined Cross Bins | 1 | 0 | 1 | 100.00 |  | 
User Defined Cross Bins for partial_data_on_last_beat
Excluded/Illegal bins
| NAME | COUNT | STATUS | 
| invalid | 0 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| valid | 1105 | 1 |  |  | T13 | 1 |  | T17 | 5 |  | T28 | 2 | 
Summary for Cross done_in_keccak_rounds
Samples crossed: done in_keccak_rounds
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING | 
| User Defined Cross Bins | 1 | 0 | 1 | 100.00 |  | 
User Defined Cross Bins for done_in_keccak_rounds
Excluded/Illegal bins
| NAME | COUNT | STATUS | 
| invalid | 0 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| valid | 3108 | 1 |  |  | T13 | 2 |  | T17 | 14 |  | T28 | 4 | 
 
Summary for Variable app_err
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 2 | 1 | 1 | 50.00 | 
Automatically Generated Bins for app_err
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[1]] | 0 | 1 | 1 |  | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 164487 | 1 |  |  | T2 | 143 |  | T13 | 43 |  | T17 | 780 | 
Summary for Variable data_strb
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| User Defined Bins | 8 | 0 | 8 | 100.00 | 
User Defined Bins for data_strb
Excluded/Illegal bins
| NAME | COUNT | STATUS | 
| invalid | 83923 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 60450 | 1 |  |  | T2 | 140 |  | T13 | 42 |  | T17 | 418 | 
| seven_bytes | 2905 | 1 |  |  | T17 | 12 |  | T29 | 41 |  | T23 | 21 | 
| six_bytes | 2894 | 1 |  |  | T17 | 10 |  | T29 | 48 |  | T23 | 23 | 
| five_bytes | 2867 | 1 |  |  | T17 | 8 |  | T29 | 40 |  | T23 | 28 | 
| four_bytes | 2933 | 1 |  |  | T17 | 11 |  | T29 | 46 |  | T23 | 25 | 
| three_bytes | 2849 | 1 |  |  | T17 | 4 |  | T29 | 39 |  | T23 | 17 | 
| two_bytes | 2775 | 1 |  |  | T17 | 9 |  | T29 | 51 |  | T23 | 23 | 
| one_byte | 2891 | 1 |  |  | T17 | 8 |  | T29 | 46 |  | T23 | 27 | 
Summary for Variable done
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 2 | 0 | 2 | 100.00 | 
Automatically Generated Bins for done
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 161309 | 1 |  |  | T2 | 137 |  | T13 | 41 |  | T17 | 750 | 
| auto[1] | 3178 | 1 |  |  | T2 | 6 |  | T13 | 2 |  | T17 | 30 | 
Summary for Variable in_keccak_rounds
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 2 | 1 | 1 | 50.00 | 
Automatically Generated Bins for in_keccak_rounds
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS | 
| [auto[1]] | 0 | 1 | 1 |  | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 164487 | 1 |  |  | T2 | 143 |  | T13 | 43 |  | T17 | 780 | 
Summary for Variable single_data_beat
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | 
| Automatically Generated Bins | 2 | 0 | 2 | 100.00 | 
Automatically Generated Bins for single_data_beat
Bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| auto[0] | 164475 | 1 |  |  | T2 | 143 |  | T13 | 43 |  | T17 | 780 | 
| auto[1] | 12 | 1 |  |  | T29 | 1 |  | T58 | 1 |  | T48 | 1 | 
Summary for Cross partial_data_on_last_beat
Samples crossed: done data_strb
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING | 
| User Defined Cross Bins | 1 | 0 | 1 | 100.00 |  | 
User Defined Cross Bins for partial_data_on_last_beat
Excluded/Illegal bins
| NAME | COUNT | STATUS | 
| invalid | 0 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| valid | 1136 | 1 |  |  | T2 | 3 |  | T13 | 1 |  | T17 | 12 | 
Summary for Cross done_in_keccak_rounds
Samples crossed: done in_keccak_rounds
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING | 
| User Defined Cross Bins | 1 | 0 | 1 | 100.00 |  | 
User Defined Cross Bins for done_in_keccak_rounds
Excluded/Illegal bins
| NAME | COUNT | STATUS | 
| invalid | 0 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| valid | 3178 | 1 |  |  | T2 | 6 |  | T13 | 2 |  | T17 | 30 |