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] | 354208 | 1 |  |  | T17 | 4701 |  | T23 | 249 |  | T4 | 12 | 
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 | 182643 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 127775 | 1 |  |  | T17 | 923 |  | T23 | 246 |  | T4 | 12 | 
| seven_bytes | 6333 | 1 |  |  | T17 | 102 |  | T27 | 72 |  | T29 | 86 | 
| six_bytes | 6302 | 1 |  |  | T17 | 109 |  | T27 | 83 |  | T29 | 83 | 
| five_bytes | 6230 | 1 |  |  | T17 | 103 |  | T27 | 88 |  | T29 | 73 | 
| four_bytes | 6263 | 1 |  |  | T17 | 120 |  | T27 | 75 |  | T29 | 88 | 
| three_bytes | 6156 | 1 |  |  | T17 | 122 |  | T27 | 71 |  | T29 | 84 | 
| two_bytes | 6204 | 1 |  |  | T17 | 92 |  | T27 | 74 |  | T29 | 81 | 
| one_byte | 6302 | 1 |  |  | T17 | 106 |  | T27 | 63 |  | T29 | 102 | 
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] | 347444 | 1 |  |  | T17 | 4631 |  | T23 | 243 |  | T4 | 12 | 
| auto[1] | 6764 | 1 |  |  | T17 | 70 |  | T23 | 6 |  | T24 | 10 | 
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] | 354208 | 1 |  |  | T17 | 4701 |  | T23 | 249 |  | T4 | 12 | 
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] | 354188 | 1 |  |  | T17 | 4701 |  | T23 | 249 |  | T4 | 12 | 
| auto[1] | 20 | 1 |  |  | T40 | 1 |  | T47 | 2 |  | T32 | 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 | 2344 | 1 |  |  | T17 | 24 |  | T23 | 3 |  | 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 | 6764 | 1 |  |  | T17 | 70 |  | T23 | 6 |  | T24 | 10 | 
 
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] | 175616 | 1 |  |  | T17 | 2098 |  | T23 | 156 |  | T24 | 80 | 
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 | 92719 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 60635 | 1 |  |  | T17 | 213 |  | T23 | 153 |  | T24 | 78 | 
| seven_bytes | 3122 | 1 |  |  | T17 | 47 |  | T27 | 40 |  | T29 | 67 | 
| six_bytes | 3160 | 1 |  |  | T17 | 52 |  | T27 | 33 |  | T29 | 58 | 
| five_bytes | 3194 | 1 |  |  | T17 | 53 |  | T27 | 20 |  | T29 | 61 | 
| four_bytes | 3291 | 1 |  |  | T17 | 51 |  | T27 | 30 |  | T29 | 63 | 
| three_bytes | 3146 | 1 |  |  | T17 | 50 |  | T27 | 31 |  | T29 | 73 | 
| two_bytes | 3243 | 1 |  |  | T17 | 56 |  | T27 | 34 |  | T29 | 75 | 
| one_byte | 3106 | 1 |  |  | T17 | 67 |  | T27 | 34 |  | T29 | 65 | 
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] | 172336 | 1 |  |  | T17 | 2064 |  | T23 | 150 |  | T24 | 76 | 
| auto[1] | 3280 | 1 |  |  | T17 | 34 |  | T23 | 6 |  | T24 | 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] | 175616 | 1 |  |  | T17 | 2098 |  | T23 | 156 |  | T24 | 80 | 
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] | 175607 | 1 |  |  | T17 | 2098 |  | T23 | 156 |  | T24 | 80 | 
| auto[1] | 9 | 1 |  |  | T27 | 1 |  | T28 | 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 | 1125 | 1 |  |  | T17 | 7 |  | T23 | 3 |  | T24 | 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 | 3280 | 1 |  |  | T17 | 34 |  | T23 | 6 |  | T24 | 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] | 176396 | 1 |  |  | T17 | 1368 |  | T24 | 200 |  | T27 | 5020 | 
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 | 92745 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 61418 | 1 |  |  | T17 | 197 |  | T24 | 197 |  | T27 | 130 | 
| seven_bytes | 3225 | 1 |  |  | T17 | 31 |  | T27 | 151 |  | T29 | 6 | 
| six_bytes | 3192 | 1 |  |  | T17 | 38 |  | T27 | 134 |  | T29 | 6 | 
| five_bytes | 3220 | 1 |  |  | T17 | 41 |  | T27 | 138 |  | T29 | 14 | 
| four_bytes | 3186 | 1 |  |  | T17 | 40 |  | T27 | 133 |  | T29 | 9 | 
| three_bytes | 3153 | 1 |  |  | T17 | 32 |  | T27 | 125 |  | T29 | 7 | 
| two_bytes | 3128 | 1 |  |  | T17 | 20 |  | T27 | 132 |  | T29 | 9 | 
| one_byte | 3129 | 1 |  |  | T17 | 26 |  | T27 | 128 |  | T29 | 8 | 
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] | 173049 | 1 |  |  | T17 | 1346 |  | T24 | 194 |  | T27 | 4966 | 
| auto[1] | 3347 | 1 |  |  | T17 | 22 |  | T24 | 6 |  | T27 | 54 | 
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] | 176396 | 1 |  |  | T17 | 1368 |  | T24 | 200 |  | T27 | 5020 | 
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] | 176384 | 1 |  |  | T17 | 1368 |  | T24 | 200 |  | T27 | 5020 | 
| auto[1] | 12 | 1 |  |  | T48 | 1 |  | T169 | 1 |  | T170 | 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 | 1142 | 1 |  |  | T17 | 4 |  | T24 | 3 |  | T27 | 8 | 
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 | 3347 | 1 |  |  | T17 | 22 |  | T24 | 6 |  | T27 | 54 |