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] | 373736 | 1 |  |  | T23 | 856 |  | T30 | 217 |  | T31 | 760 | 
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 | 204135 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 120928 | 1 |  |  | T23 | 843 |  | T30 | 213 |  | T31 | 748 | 
| seven_bytes | 6986 | 1 |  |  | T28 | 179 |  | T32 | 43 |  | T33 | 68 | 
| six_bytes | 6891 | 1 |  |  | T28 | 141 |  | T32 | 37 |  | T33 | 107 | 
| five_bytes | 7059 | 1 |  |  | T28 | 151 |  | T32 | 39 |  | T33 | 74 | 
| four_bytes | 7117 | 1 |  |  | T28 | 133 |  | T32 | 44 |  | T33 | 91 | 
| three_bytes | 6902 | 1 |  |  | T28 | 158 |  | T32 | 42 |  | T33 | 92 | 
| two_bytes | 6898 | 1 |  |  | T28 | 146 |  | T32 | 55 |  | T33 | 97 | 
| one_byte | 6820 | 1 |  |  | T28 | 162 |  | T32 | 35 |  | T33 | 85 | 
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] | 366805 | 1 |  |  | T23 | 830 |  | T30 | 209 |  | T31 | 736 | 
| auto[1] | 6931 | 1 |  |  | T23 | 26 |  | T30 | 8 |  | T31 | 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] | 373736 | 1 |  |  | T23 | 856 |  | T30 | 217 |  | T31 | 760 | 
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] | 373712 | 1 |  |  | T23 | 856 |  | T30 | 217 |  | T31 | 760 | 
| auto[1] | 24 | 1 |  |  | T52 | 1 |  | T182 | 1 |  | T94 | 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 | 2328 | 1 |  |  | T23 | 13 |  | T30 | 4 |  | T31 | 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 | 6931 | 1 |  |  | T23 | 26 |  | T30 | 8 |  | T31 | 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] | 177574 | 1 |  |  | T3 | 116 |  | T23 | 164 |  | T31 | 462 | 
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 | 92464 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 63039 | 1 |  |  | T3 | 115 |  | T23 | 161 |  | T31 | 454 | 
| seven_bytes | 3197 | 1 |  |  | T28 | 75 |  | T32 | 26 |  | T33 | 29 | 
| six_bytes | 3231 | 1 |  |  | T28 | 81 |  | T32 | 30 |  | T33 | 39 | 
| five_bytes | 3158 | 1 |  |  | T28 | 85 |  | T32 | 26 |  | T33 | 39 | 
| four_bytes | 3217 | 1 |  |  | T28 | 85 |  | T32 | 37 |  | T33 | 29 | 
| three_bytes | 3114 | 1 |  |  | T28 | 74 |  | T32 | 42 |  | T33 | 35 | 
| two_bytes | 3098 | 1 |  |  | T28 | 89 |  | T32 | 31 |  | T33 | 40 | 
| one_byte | 3056 | 1 |  |  | T28 | 107 |  | T32 | 34 |  | T33 | 42 | 
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] | 174132 | 1 |  |  | T3 | 114 |  | T23 | 158 |  | T31 | 446 | 
| auto[1] | 3442 | 1 |  |  | T3 | 2 |  | T23 | 6 |  | T31 | 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] | 177574 | 1 |  |  | T3 | 116 |  | T23 | 164 |  | T31 | 462 | 
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] | 177561 | 1 |  |  | T3 | 116 |  | T23 | 164 |  | T31 | 462 | 
| auto[1] | 13 | 1 |  |  | T183 | 1 |  | T184 | 1 |  | T185 | 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 | 1169 | 1 |  |  | T3 | 1 |  | T23 | 3 |  | T31 | 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 | 3442 | 1 |  |  | T3 | 2 |  | T23 | 6 |  | T31 | 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] | 185829 | 1 |  |  | T3 | 148 |  | T23 | 697 |  | T31 | 353 | 
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 | 104613 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 56416 | 1 |  |  | T3 | 146 |  | T23 | 687 |  | T31 | 347 | 
| seven_bytes | 3549 | 1 |  |  | T28 | 56 |  | T32 | 29 |  | T33 | 85 | 
| six_bytes | 3544 | 1 |  |  | T28 | 47 |  | T32 | 30 |  | T33 | 72 | 
| five_bytes | 3483 | 1 |  |  | T28 | 65 |  | T32 | 31 |  | T33 | 79 | 
| four_bytes | 3569 | 1 |  |  | T28 | 59 |  | T32 | 30 |  | T33 | 69 | 
| three_bytes | 3633 | 1 |  |  | T28 | 43 |  | T32 | 31 |  | T33 | 73 | 
| two_bytes | 3530 | 1 |  |  | T28 | 56 |  | T32 | 28 |  | T33 | 58 | 
| one_byte | 3492 | 1 |  |  | T28 | 51 |  | T32 | 31 |  | T33 | 73 | 
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] | 182397 | 1 |  |  | T3 | 144 |  | T23 | 677 |  | T31 | 341 | 
| auto[1] | 3432 | 1 |  |  | T3 | 4 |  | T23 | 20 |  | T31 | 12 | 
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] | 185829 | 1 |  |  | T3 | 148 |  | T23 | 697 |  | T31 | 353 | 
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] | 185813 | 1 |  |  | T3 | 148 |  | T23 | 697 |  | T31 | 353 | 
| auto[1] | 16 | 1 |  |  | T183 | 1 |  | T186 | 1 |  | T134 | 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 | 1124 | 1 |  |  | T3 | 2 |  | T23 | 10 |  | T31 | 6 | 
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 | 3432 | 1 |  |  | T3 | 4 |  | T23 | 20 |  | T31 | 12 |