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] | 372139 | 1 |  |  | T14 | 2016 |  | T15 | 1482 |  | T17 | 1087 | 
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 | 198774 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 125790 | 1 |  |  | T14 | 1979 |  | T15 | 49 |  | T17 | 19 | 
| seven_bytes | 6827 | 1 |  |  | T15 | 32 |  | T17 | 32 |  | T24 | 27 | 
| six_bytes | 6881 | 1 |  |  | T15 | 46 |  | T17 | 34 |  | T24 | 20 | 
| five_bytes | 6783 | 1 |  |  | T15 | 46 |  | T17 | 45 |  | T24 | 19 | 
| four_bytes | 6713 | 1 |  |  | T15 | 38 |  | T17 | 30 |  | T24 | 33 | 
| three_bytes | 6902 | 1 |  |  | T15 | 46 |  | T17 | 29 |  | T24 | 26 | 
| two_bytes | 6719 | 1 |  |  | T15 | 42 |  | T17 | 25 |  | T24 | 23 | 
| one_byte | 6750 | 1 |  |  | T15 | 37 |  | T17 | 26 |  | T24 | 22 | 
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] | 365137 | 1 |  |  | T14 | 1942 |  | T15 | 1466 |  | T17 | 1071 | 
| auto[1] | 7002 | 1 |  |  | T14 | 74 |  | T15 | 16 |  | T17 | 16 | 
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] | 372139 | 1 |  |  | T14 | 2016 |  | T15 | 1482 |  | T17 | 1087 | 
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] | 372111 | 1 |  |  | T14 | 2015 |  | T15 | 1482 |  | T17 | 1087 | 
| auto[1] | 28 | 1 |  |  | T14 | 1 |  | T39 | 1 |  | T162 | 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 | 2349 | 1 |  |  | T14 | 37 |  | T15 | 2 |  | T17 | 3 | 
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 | 7002 | 1 |  |  | T14 | 74 |  | T15 | 16 |  | T17 | 16 | 
 
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] | 179759 | 1 |  |  | T14 | 1378 |  | T15 | 154 |  | T17 | 639 | 
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 | 91611 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 66175 | 1 |  |  | T14 | 1362 |  | T15 | 25 |  | T17 | 23 | 
| seven_bytes | 3150 | 1 |  |  | T15 | 7 |  | T17 | 16 |  | T24 | 29 | 
| six_bytes | 3113 | 1 |  |  | T15 | 3 |  | T17 | 20 |  | T24 | 24 | 
| five_bytes | 3162 | 1 |  |  | T15 | 4 |  | T17 | 22 |  | T24 | 15 | 
| four_bytes | 3190 | 1 |  |  | T15 | 4 |  | T17 | 19 |  | T24 | 23 | 
| three_bytes | 3115 | 1 |  |  | T15 | 2 |  | T17 | 14 |  | T24 | 16 | 
| two_bytes | 3130 | 1 |  |  | T15 | 5 |  | T17 | 22 |  | T24 | 17 | 
| one_byte | 3113 | 1 |  |  | T15 | 6 |  | T17 | 15 |  | T24 | 19 | 
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] | 176201 | 1 |  |  | T14 | 1346 |  | T15 | 150 |  | T17 | 629 | 
| auto[1] | 3558 | 1 |  |  | T14 | 32 |  | T15 | 4 |  | T17 | 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] | 179759 | 1 |  |  | T14 | 1378 |  | T15 | 154 |  | T17 | 639 | 
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] | 179747 | 1 |  |  | T14 | 1378 |  | T15 | 154 |  | T17 | 639 | 
| auto[1] | 12 | 1 |  |  | T163 | 1 |  | T164 | 1 |  | T165 | 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 | 1243 | 1 |  |  | T14 | 16 |  | T15 | 1 |  | T17 | 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 | 3558 | 1 |  |  | T14 | 32 |  | T15 | 4 |  | T17 | 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] | 197230 | 1 |  |  | T14 | 880 |  | T15 | 820 |  | T17 | 630 | 
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 | 105188 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 67452 | 1 |  |  | T14 | 870 |  | T15 | 25 |  | T17 | 11 | 
| seven_bytes | 3504 | 1 |  |  | T15 | 15 |  | T17 | 24 |  | T24 | 14 | 
| six_bytes | 3537 | 1 |  |  | T15 | 25 |  | T17 | 28 |  | T24 | 11 | 
| five_bytes | 3623 | 1 |  |  | T15 | 22 |  | T17 | 13 |  | T24 | 12 | 
| four_bytes | 3572 | 1 |  |  | T15 | 17 |  | T17 | 25 |  | T24 | 9 | 
| three_bytes | 3520 | 1 |  |  | T15 | 24 |  | T17 | 16 |  | T24 | 12 | 
| two_bytes | 3403 | 1 |  |  | T15 | 16 |  | T17 | 16 |  | T24 | 13 | 
| one_byte | 3431 | 1 |  |  | T15 | 20 |  | T17 | 22 |  | T24 | 13 | 
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] | 193492 | 1 |  |  | T14 | 860 |  | T15 | 806 |  | T17 | 622 | 
| auto[1] | 3738 | 1 |  |  | T14 | 20 |  | T15 | 14 |  | T17 | 8 | 
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] | 197230 | 1 |  |  | T14 | 880 |  | T15 | 820 |  | T17 | 630 | 
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] | 197218 | 1 |  |  | T14 | 880 |  | T15 | 819 |  | T17 | 630 | 
| auto[1] | 12 | 1 |  |  | T15 | 1 |  | T166 | 1 |  | T47 | 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 | 1297 | 1 |  |  | T14 | 10 |  | T15 | 4 |  | T17 | 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 | 3738 | 1 |  |  | T14 | 20 |  | T15 | 14 |  | T17 | 8 |