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] | 349008 | 1 |  |  | T1 | 101 |  | T5 | 1 |  | T23 | 129 | 
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 | 190801 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 113078 | 1 |  |  | T1 | 99 |  | T5 | 1 |  | T23 | 127 | 
| seven_bytes | 6531 | 1 |  |  | T31 | 103 |  | T28 | 119 |  | T29 | 121 | 
| six_bytes | 6476 | 1 |  |  | T31 | 102 |  | T28 | 108 |  | T29 | 106 | 
| five_bytes | 6404 | 1 |  |  | T31 | 89 |  | T28 | 90 |  | T29 | 118 | 
| four_bytes | 6499 | 1 |  |  | T31 | 104 |  | T28 | 100 |  | T29 | 97 | 
| three_bytes | 6432 | 1 |  |  | T31 | 94 |  | T28 | 91 |  | T29 | 132 | 
| two_bytes | 6434 | 1 |  |  | T31 | 110 |  | T28 | 91 |  | T29 | 100 | 
| one_byte | 6353 | 1 |  |  | T31 | 105 |  | T28 | 80 |  | T29 | 114 | 
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] | 342571 | 1 |  |  | T1 | 97 |  | T5 | 1 |  | T23 | 125 | 
| auto[1] | 6437 | 1 |  |  | T1 | 4 |  | T23 | 4 |  | T24 | 2 | 
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] | 349008 | 1 |  |  | T1 | 101 |  | T5 | 1 |  | T23 | 129 | 
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] | 348989 | 1 |  |  | T1 | 101 |  | T5 | 1 |  | T23 | 129 | 
| auto[1] | 19 | 1 |  |  | T170 | 1 |  | T83 | 1 |  | T171 | 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 | 2146 | 1 |  |  | T1 | 2 |  | T23 | 2 |  | T24 | 1 | 
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 | 6437 | 1 |  |  | T1 | 4 |  | T23 | 4 |  | T24 | 2 | 
 
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] | 164765 | 1 |  |  | T23 | 63 |  | T31 | 933 |  | T26 | 552 | 
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 | 88022 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 55950 | 1 |  |  | T23 | 62 |  | T31 | 21 |  | T26 | 540 | 
| seven_bytes | 2994 | 1 |  |  | T31 | 29 |  | T28 | 68 |  | T29 | 41 | 
| six_bytes | 2918 | 1 |  |  | T31 | 21 |  | T28 | 61 |  | T29 | 50 | 
| five_bytes | 2987 | 1 |  |  | T31 | 24 |  | T28 | 63 |  | T29 | 43 | 
| four_bytes | 2962 | 1 |  |  | T31 | 25 |  | T28 | 51 |  | T29 | 47 | 
| three_bytes | 2972 | 1 |  |  | T31 | 28 |  | T28 | 46 |  | T29 | 35 | 
| two_bytes | 2954 | 1 |  |  | T31 | 18 |  | T28 | 59 |  | T29 | 50 | 
| one_byte | 3006 | 1 |  |  | T31 | 22 |  | T28 | 49 |  | T29 | 70 | 
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] | 161593 | 1 |  |  | T23 | 61 |  | T31 | 919 |  | T26 | 528 | 
| auto[1] | 3172 | 1 |  |  | T23 | 2 |  | T31 | 14 |  | T26 | 24 | 
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] | 164765 | 1 |  |  | T23 | 63 |  | T31 | 933 |  | T26 | 552 | 
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] | 164752 | 1 |  |  | T23 | 63 |  | T31 | 933 |  | T26 | 552 | 
| auto[1] | 13 | 1 |  |  | T172 | 1 |  | T116 | 2 |  | T171 | 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 | 1079 | 1 |  |  | T23 | 1 |  | T31 | 2 |  | T26 | 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 | 3172 | 1 |  |  | T23 | 2 |  | T31 | 14 |  | T26 | 24 | 
 
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] | 170102 | 1 |  |  | T1 | 268 |  | T31 | 1432 |  | T26 | 539 | 
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 | 91056 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 57306 | 1 |  |  | T1 | 265 |  | T31 | 41 |  | T26 | 529 | 
| seven_bytes | 3188 | 1 |  |  | T31 | 45 |  | T28 | 29 |  | T29 | 84 | 
| six_bytes | 3092 | 1 |  |  | T31 | 29 |  | T28 | 36 |  | T29 | 79 | 
| five_bytes | 3041 | 1 |  |  | T31 | 39 |  | T28 | 41 |  | T29 | 84 | 
| four_bytes | 3045 | 1 |  |  | T31 | 35 |  | T28 | 32 |  | T29 | 83 | 
| three_bytes | 3145 | 1 |  |  | T31 | 39 |  | T28 | 32 |  | T29 | 65 | 
| two_bytes | 3166 | 1 |  |  | T31 | 39 |  | T28 | 39 |  | T29 | 84 | 
| one_byte | 3063 | 1 |  |  | T31 | 40 |  | T28 | 31 |  | T29 | 90 | 
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] | 166949 | 1 |  |  | T1 | 262 |  | T31 | 1416 |  | T26 | 519 | 
| auto[1] | 3153 | 1 |  |  | T1 | 6 |  | T31 | 16 |  | T26 | 20 | 
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] | 170102 | 1 |  |  | T1 | 268 |  | T31 | 1432 |  | T26 | 539 | 
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] | 170092 | 1 |  |  | T1 | 268 |  | T31 | 1432 |  | T26 | 539 | 
| auto[1] | 10 | 1 |  |  | T53 | 1 |  | T170 | 1 |  | T173 | 3 | 
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 | 1082 | 1 |  |  | T1 | 3 |  | T31 | 3 |  | T26 | 10 | 
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 | 3153 | 1 |  |  | T1 | 6 |  | T31 | 16 |  | T26 | 20 |