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] | 336123 | 1 |  |  | T19 | 237 |  | T23 | 3313 |  | T24 | 984 | 
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 | 177863 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 115945 | 1 |  |  | T19 | 233 |  | T23 | 3257 |  | T24 | 203 | 
| seven_bytes | 6055 | 1 |  |  | T24 | 20 |  | T27 | 151 |  | T47 | 117 | 
| six_bytes | 6152 | 1 |  |  | T24 | 24 |  | T27 | 132 |  | T47 | 112 | 
| five_bytes | 5950 | 1 |  |  | T24 | 26 |  | T27 | 137 |  | T47 | 97 | 
| four_bytes | 6069 | 1 |  |  | T24 | 26 |  | T27 | 145 |  | T47 | 105 | 
| three_bytes | 5983 | 1 |  |  | T24 | 17 |  | T27 | 163 |  | T47 | 105 | 
| two_bytes | 6112 | 1 |  |  | T24 | 29 |  | T27 | 137 |  | T47 | 105 | 
| one_byte | 5994 | 1 |  |  | T24 | 23 |  | T27 | 142 |  | T47 | 110 | 
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] | 329739 | 1 |  |  | T19 | 229 |  | T23 | 3201 |  | T24 | 960 | 
| auto[1] | 6384 | 1 |  |  | T19 | 8 |  | T23 | 112 |  | T24 | 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] | 336123 | 1 |  |  | T19 | 237 |  | T23 | 3313 |  | T24 | 984 | 
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] | 336097 | 1 |  |  | T19 | 237 |  | T23 | 3312 |  | T24 | 984 | 
| auto[1] | 26 | 1 |  |  | T23 | 1 |  | T25 | 1 |  | T155 | 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 | 2188 | 1 |  |  | T19 | 4 |  | T23 | 56 |  | T24 | 5 | 
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 | 6384 | 1 |  |  | T19 | 8 |  | T23 | 112 |  | T24 | 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] | 172496 | 1 |  |  | T19 | 119 |  | T23 | 1843 |  | T24 | 1019 | 
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 | 89514 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 61562 | 1 |  |  | T19 | 117 |  | T23 | 1814 |  | T24 | 373 | 
| seven_bytes | 3050 | 1 |  |  | T24 | 11 |  | T27 | 64 |  | T47 | 71 | 
| six_bytes | 3098 | 1 |  |  | T24 | 12 |  | T27 | 80 |  | T47 | 53 | 
| five_bytes | 3118 | 1 |  |  | T24 | 16 |  | T27 | 76 |  | T47 | 58 | 
| four_bytes | 3071 | 1 |  |  | T24 | 17 |  | T27 | 82 |  | T47 | 68 | 
| three_bytes | 2974 | 1 |  |  | T24 | 16 |  | T27 | 63 |  | T47 | 66 | 
| two_bytes | 3031 | 1 |  |  | T24 | 17 |  | T27 | 84 |  | T47 | 60 | 
| one_byte | 3078 | 1 |  |  | T24 | 17 |  | T27 | 72 |  | T47 | 56 | 
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] | 169165 | 1 |  |  | T19 | 115 |  | T23 | 1785 |  | T24 | 997 | 
| auto[1] | 3331 | 1 |  |  | T19 | 4 |  | T23 | 58 |  | T24 | 22 | 
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] | 172496 | 1 |  |  | T19 | 119 |  | T23 | 1843 |  | T24 | 1019 | 
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] | 172482 | 1 |  |  | T19 | 119 |  | T23 | 1843 |  | T24 | 1019 | 
| auto[1] | 14 | 1 |  |  | T46 | 1 |  | T116 | 1 |  | T25 | 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 | 1161 | 1 |  |  | T19 | 2 |  | T23 | 29 |  | T24 | 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 | 3331 | 1 |  |  | T19 | 4 |  | T23 | 58 |  | T24 | 22 | 
 
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] | 175162 | 1 |  |  | T23 | 2327 |  | T24 | 970 |  | T27 | 2296 | 
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 | 92596 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 60708 | 1 |  |  | T23 | 2296 |  | T24 | 142 |  | T27 | 55 | 
| seven_bytes | 3161 | 1 |  |  | T24 | 20 |  | T27 | 64 |  | T47 | 81 | 
| six_bytes | 3137 | 1 |  |  | T24 | 15 |  | T27 | 57 |  | T47 | 79 | 
| five_bytes | 3091 | 1 |  |  | T24 | 24 |  | T27 | 54 |  | T47 | 75 | 
| four_bytes | 3184 | 1 |  |  | T24 | 27 |  | T27 | 69 |  | T47 | 82 | 
| three_bytes | 3135 | 1 |  |  | T24 | 20 |  | T27 | 64 |  | T47 | 92 | 
| two_bytes | 3055 | 1 |  |  | T24 | 22 |  | T27 | 52 |  | T47 | 68 | 
| one_byte | 3095 | 1 |  |  | T24 | 32 |  | T27 | 46 |  | T47 | 87 | 
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] | 171856 | 1 |  |  | T23 | 2265 |  | T24 | 956 |  | T27 | 2266 | 
| auto[1] | 3306 | 1 |  |  | T23 | 62 |  | T24 | 14 |  | T27 | 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] | 175162 | 1 |  |  | T23 | 2327 |  | T24 | 970 |  | T27 | 2296 | 
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] | 175156 | 1 |  |  | T23 | 2327 |  | T24 | 970 |  | T27 | 2296 | 
| auto[1] | 6 | 1 |  |  | T92 | 1 |  | T156 | 1 |  | T55 | 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 | 1125 | 1 |  |  | T23 | 31 |  | T24 | 5 |  | T27 | 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 | 3306 | 1 |  |  | T23 | 62 |  | T24 | 14 |  | T27 | 30 |