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] | 350159 | 1 |  |  | T1 | 1960 |  | T3 | 279 |  | T13 | 2065 | 
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 | 168704 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 141624 | 1 |  |  | T1 | 53 |  | T3 | 276 |  | T13 | 45 | 
| seven_bytes | 5775 | 1 |  |  | T1 | 55 |  | T13 | 57 |  | T25 | 97 | 
| six_bytes | 5645 | 1 |  |  | T1 | 54 |  | T13 | 51 |  | T25 | 130 | 
| five_bytes | 5670 | 1 |  |  | T1 | 51 |  | T13 | 42 |  | T25 | 98 | 
| four_bytes | 5652 | 1 |  |  | T1 | 52 |  | T13 | 52 |  | T25 | 128 | 
| three_bytes | 5659 | 1 |  |  | T1 | 61 |  | T13 | 54 |  | T25 | 139 | 
| two_bytes | 5727 | 1 |  |  | T1 | 60 |  | T13 | 70 |  | T25 | 134 | 
| one_byte | 5703 | 1 |  |  | T1 | 47 |  | T13 | 54 |  | T25 | 112 | 
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] | 343058 | 1 |  |  | T1 | 1938 |  | T3 | 273 |  | T13 | 2039 | 
| auto[1] | 7101 | 1 |  |  | T1 | 22 |  | T3 | 6 |  | T13 | 26 | 
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] | 350159 | 1 |  |  | T1 | 1960 |  | T3 | 279 |  | T13 | 2065 | 
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] | 350145 | 1 |  |  | T1 | 1960 |  | T3 | 279 |  | T13 | 2065 | 
| auto[1] | 14 | 1 |  |  | T35 | 1 |  | T37 | 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 | 2578 | 1 |  |  | T1 | 4 |  | T3 | 3 |  | T13 | 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 | 7101 | 1 |  |  | T1 | 22 |  | T3 | 6 |  | T13 | 26 | 
 
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] | 182673 | 1 |  |  | T1 | 2916 |  | T3 | 199 |  | T13 | 418 | 
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 | 90150 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 71269 | 1 |  |  | T1 | 83 |  | T3 | 197 |  | T13 | 3 | 
| seven_bytes | 3094 | 1 |  |  | T1 | 70 |  | T13 | 10 |  | T25 | 82 | 
| six_bytes | 3017 | 1 |  |  | T1 | 75 |  | T13 | 15 |  | T25 | 64 | 
| five_bytes | 3029 | 1 |  |  | T1 | 71 |  | T13 | 11 |  | T25 | 68 | 
| four_bytes | 3070 | 1 |  |  | T1 | 83 |  | T13 | 13 |  | T25 | 73 | 
| three_bytes | 3063 | 1 |  |  | T1 | 91 |  | T13 | 11 |  | T25 | 71 | 
| two_bytes | 3047 | 1 |  |  | T1 | 84 |  | T13 | 12 |  | T25 | 58 | 
| one_byte | 2934 | 1 |  |  | T1 | 65 |  | T13 | 7 |  | T25 | 71 | 
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] | 179041 | 1 |  |  | T1 | 2888 |  | T3 | 195 |  | T13 | 410 | 
| auto[1] | 3632 | 1 |  |  | T1 | 28 |  | T3 | 4 |  | T13 | 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] | 182673 | 1 |  |  | T1 | 2916 |  | T3 | 199 |  | T13 | 418 | 
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] | 182654 | 1 |  |  | T1 | 2916 |  | T3 | 199 |  | T13 | 418 | 
| auto[1] | 19 | 1 |  |  | T42 | 2 |  | T24 | 1 |  | T129 | 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 | 1281 | 1 |  |  | T1 | 6 |  | T3 | 2 |  | T25 | 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 | 3632 | 1 |  |  | T1 | 28 |  | T3 | 4 |  | T13 | 8 | 
 
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] | 179999 | 1 |  |  | T1 | 1424 |  | T3 | 57 |  | T13 | 1080 | 
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 | 91106 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 67173 | 1 |  |  | T1 | 40 |  | T3 | 56 |  | T13 | 26 | 
| seven_bytes | 3096 | 1 |  |  | T1 | 41 |  | T13 | 33 |  | T25 | 60 | 
| six_bytes | 3178 | 1 |  |  | T1 | 44 |  | T13 | 34 |  | T25 | 71 | 
| five_bytes | 3051 | 1 |  |  | T1 | 44 |  | T13 | 31 |  | T25 | 92 | 
| four_bytes | 3147 | 1 |  |  | T1 | 42 |  | T13 | 23 |  | T25 | 71 | 
| three_bytes | 3114 | 1 |  |  | T1 | 35 |  | T13 | 23 |  | T25 | 83 | 
| two_bytes | 3071 | 1 |  |  | T1 | 32 |  | T13 | 21 |  | T25 | 81 | 
| one_byte | 3063 | 1 |  |  | T1 | 47 |  | T13 | 27 |  | T25 | 75 | 
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] | 176473 | 1 |  |  | T1 | 1406 |  | T3 | 55 |  | T13 | 1068 | 
| auto[1] | 3526 | 1 |  |  | T1 | 18 |  | T3 | 2 |  | T13 | 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] | 179999 | 1 |  |  | T1 | 1424 |  | T3 | 57 |  | T13 | 1080 | 
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] | 179982 | 1 |  |  | T1 | 1423 |  | T3 | 57 |  | T13 | 1080 | 
| auto[1] | 17 | 1 |  |  | T1 | 1 |  | T24 | 1 |  | T141 | 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 | 1224 | 1 |  |  | T1 | 3 |  | T3 | 1 |  | T13 | 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 | 3526 | 1 |  |  | T1 | 18 |  | T3 | 2 |  | T13 | 12 |