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] | 363331 | 1 |  |  | T2 | 1095 |  | T3 | 225 |  | T14 | 121 | 
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 | 193914 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 123362 | 1 |  |  | T2 | 1079 |  | T3 | 221 |  | T14 | 120 | 
| seven_bytes | 6669 | 1 |  |  | T28 | 57 |  | T26 | 93 |  | T24 | 40 | 
| six_bytes | 6678 | 1 |  |  | T28 | 53 |  | T26 | 95 |  | T24 | 26 | 
| five_bytes | 6504 | 1 |  |  | T28 | 63 |  | T26 | 85 |  | T24 | 28 | 
| four_bytes | 6628 | 1 |  |  | T28 | 76 |  | T26 | 86 |  | T24 | 25 | 
| three_bytes | 6534 | 1 |  |  | T28 | 62 |  | T26 | 109 |  | T24 | 38 | 
| two_bytes | 6564 | 1 |  |  | T28 | 59 |  | T26 | 89 |  | T24 | 38 | 
| one_byte | 6478 | 1 |  |  | T28 | 70 |  | T26 | 94 |  | T24 | 29 | 
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] | 356497 | 1 |  |  | T2 | 1063 |  | T3 | 217 |  | T14 | 119 | 
| auto[1] | 6834 | 1 |  |  | T2 | 32 |  | T3 | 8 |  | T14 | 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] | 363331 | 1 |  |  | T2 | 1095 |  | T3 | 225 |  | T14 | 121 | 
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] | 363301 | 1 |  |  | T2 | 1094 |  | T3 | 225 |  | T14 | 121 | 
| auto[1] | 30 | 1 |  |  | T2 | 1 |  | T23 | 1 |  | T50 | 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 | 2304 | 1 |  |  | T2 | 16 |  | T3 | 4 |  | T14 | 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 | 6834 | 1 |  |  | T2 | 32 |  | T3 | 8 |  | T14 | 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] | 173968 | 1 |  |  | T2 | 652 |  | T3 | 210 |  | T18 | 119 | 
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 | 86942 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 66295 | 1 |  |  | T2 | 644 |  | T3 | 208 |  | T18 | 118 | 
| seven_bytes | 2919 | 1 |  |  | T28 | 24 |  | T26 | 33 |  | T24 | 33 | 
| six_bytes | 2976 | 1 |  |  | T28 | 35 |  | T26 | 33 |  | T24 | 37 | 
| five_bytes | 3002 | 1 |  |  | T28 | 30 |  | T26 | 39 |  | T24 | 46 | 
| four_bytes | 2945 | 1 |  |  | T28 | 35 |  | T26 | 33 |  | T24 | 39 | 
| three_bytes | 2992 | 1 |  |  | T28 | 19 |  | T26 | 46 |  | T24 | 46 | 
| two_bytes | 2840 | 1 |  |  | T28 | 36 |  | T26 | 26 |  | T24 | 40 | 
| one_byte | 3057 | 1 |  |  | T28 | 26 |  | T26 | 31 |  | T24 | 39 | 
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] | 170568 | 1 |  |  | T2 | 636 |  | T3 | 206 |  | T18 | 117 | 
| auto[1] | 3400 | 1 |  |  | T2 | 16 |  | T3 | 4 |  | T18 | 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] | 173968 | 1 |  |  | T2 | 652 |  | T3 | 210 |  | T18 | 119 | 
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] | 173961 | 1 |  |  | T2 | 652 |  | T3 | 210 |  | T18 | 119 | 
| auto[1] | 7 | 1 |  |  | T142 | 1 |  | T143 | 1 |  | T144 | 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 | 1208 | 1 |  |  | T2 | 8 |  | T3 | 2 |  | T18 | 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 | 3400 | 1 |  |  | T2 | 16 |  | T3 | 4 |  | T18 | 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] | 184492 | 1 |  |  | T2 | 568 |  | T3 | 87 |  | T14 | 58 | 
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 | 96653 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 64924 | 1 |  |  | T2 | 560 |  | T3 | 85 |  | T14 | 57 | 
| seven_bytes | 3309 | 1 |  |  | T28 | 27 |  | T26 | 64 |  | T24 | 27 | 
| six_bytes | 3259 | 1 |  |  | T28 | 34 |  | T26 | 71 |  | T24 | 25 | 
| five_bytes | 3212 | 1 |  |  | T28 | 37 |  | T26 | 81 |  | T24 | 32 | 
| four_bytes | 3242 | 1 |  |  | T28 | 37 |  | T26 | 74 |  | T24 | 35 | 
| three_bytes | 3286 | 1 |  |  | T28 | 30 |  | T26 | 79 |  | T24 | 35 | 
| two_bytes | 3323 | 1 |  |  | T28 | 42 |  | T26 | 76 |  | T24 | 25 | 
| one_byte | 3284 | 1 |  |  | T28 | 29 |  | T26 | 74 |  | T24 | 28 | 
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] | 181010 | 1 |  |  | T2 | 552 |  | T3 | 83 |  | T14 | 56 | 
| auto[1] | 3482 | 1 |  |  | T2 | 16 |  | T3 | 4 |  | T14 | 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] | 184492 | 1 |  |  | T2 | 568 |  | T3 | 87 |  | T14 | 58 | 
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] | 184481 | 1 |  |  | T2 | 568 |  | T3 | 87 |  | T14 | 58 | 
| auto[1] | 11 | 1 |  |  | T43 | 1 |  | T145 | 1 |  | T146 | 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 | 1193 | 1 |  |  | T2 | 8 |  | T3 | 2 |  | T14 | 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 | 3482 | 1 |  |  | T2 | 16 |  | T3 | 4 |  | T14 | 2 |