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] | 349306 | 1 |  |  | T1 | 112 |  | T4 | 5 |  | T5 | 1 | 
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 | 179594 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 127115 | 1 |  |  | T1 | 110 |  | T4 | 5 |  | T5 | 1 | 
| seven_bytes | 5918 | 1 |  |  | T25 | 102 |  | T26 | 98 |  | T27 | 127 | 
| six_bytes | 6142 | 1 |  |  | T25 | 89 |  | T26 | 112 |  | T27 | 124 | 
| five_bytes | 6117 | 1 |  |  | T25 | 95 |  | T26 | 102 |  | T27 | 108 | 
| four_bytes | 6146 | 1 |  |  | T25 | 90 |  | T26 | 116 |  | T27 | 145 | 
| three_bytes | 6029 | 1 |  |  | T25 | 97 |  | T26 | 121 |  | T27 | 121 | 
| two_bytes | 6063 | 1 |  |  | T25 | 88 |  | T26 | 112 |  | T27 | 104 | 
| one_byte | 6182 | 1 |  |  | T25 | 94 |  | T26 | 110 |  | T27 | 123 | 
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] | 342516 | 1 |  |  | T1 | 108 |  | T4 | 5 |  | T5 | 1 | 
| auto[1] | 6790 | 1 |  |  | T1 | 4 |  | T17 | 54 |  | T28 | 6 | 
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] | 349306 | 1 |  |  | T1 | 112 |  | T4 | 5 |  | T5 | 1 | 
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] | 349270 | 1 |  |  | T1 | 111 |  | T4 | 5 |  | T5 | 1 | 
| auto[1] | 36 | 1 |  |  | T1 | 1 |  | T23 | 1 |  | T121 | 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 | 2353 | 1 |  |  | T1 | 2 |  | T17 | 27 |  | T28 | 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 | 6790 | 1 |  |  | T1 | 4 |  | T17 | 54 |  | T28 | 6 | 
 
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] | 180628 | 1 |  |  | T14 | 15 |  | T17 | 496 |  | T28 | 342 | 
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 | 90490 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 68756 | 1 |  |  | T14 | 14 |  | T17 | 490 |  | T28 | 338 | 
| seven_bytes | 3083 | 1 |  |  | T25 | 69 |  | T26 | 27 |  | T27 | 61 | 
| six_bytes | 3036 | 1 |  |  | T25 | 71 |  | T26 | 28 |  | T27 | 66 | 
| five_bytes | 3010 | 1 |  |  | T25 | 70 |  | T26 | 28 |  | T27 | 78 | 
| four_bytes | 3019 | 1 |  |  | T25 | 75 |  | T26 | 29 |  | T27 | 63 | 
| three_bytes | 3158 | 1 |  |  | T25 | 69 |  | T26 | 31 |  | T27 | 72 | 
| two_bytes | 3021 | 1 |  |  | T25 | 65 |  | T26 | 26 |  | T27 | 82 | 
| one_byte | 3055 | 1 |  |  | T25 | 61 |  | T26 | 28 |  | T27 | 64 | 
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] | 177096 | 1 |  |  | T14 | 13 |  | T17 | 484 |  | T28 | 334 | 
| auto[1] | 3532 | 1 |  |  | T14 | 2 |  | T17 | 12 |  | T28 | 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] | 180628 | 1 |  |  | T14 | 15 |  | T17 | 496 |  | T28 | 342 | 
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] | 180617 | 1 |  |  | T14 | 15 |  | T17 | 496 |  | T28 | 342 | 
| auto[1] | 11 | 1 |  |  | T24 | 1 |  | T71 | 1 |  | T44 | 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 | 1245 | 1 |  |  | T14 | 1 |  | T17 | 6 |  | T28 | 4 | 
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 | 3532 | 1 |  |  | T14 | 2 |  | T17 | 12 |  | T28 | 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] | 172617 | 1 |  |  | T14 | 247 |  | T17 | 885 |  | T28 | 254 | 
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 | 87222 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 64452 | 1 |  |  | T14 | 242 |  | T17 | 873 |  | T28 | 251 | 
| seven_bytes | 2998 | 1 |  |  | T25 | 45 |  | T26 | 50 |  | T27 | 36 | 
| six_bytes | 2967 | 1 |  |  | T25 | 43 |  | T26 | 39 |  | T27 | 46 | 
| five_bytes | 3099 | 1 |  |  | T25 | 55 |  | T26 | 49 |  | T27 | 44 | 
| four_bytes | 2961 | 1 |  |  | T25 | 51 |  | T26 | 51 |  | T27 | 41 | 
| three_bytes | 2960 | 1 |  |  | T25 | 41 |  | T26 | 47 |  | T27 | 50 | 
| two_bytes | 2969 | 1 |  |  | T25 | 36 |  | T26 | 36 |  | T27 | 37 | 
| one_byte | 2989 | 1 |  |  | T25 | 49 |  | T26 | 40 |  | T27 | 54 | 
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] | 169220 | 1 |  |  | T14 | 237 |  | T17 | 861 |  | T28 | 248 | 
| auto[1] | 3397 | 1 |  |  | T14 | 10 |  | T17 | 24 |  | T28 | 6 | 
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] | 172617 | 1 |  |  | T14 | 247 |  | T17 | 885 |  | T28 | 254 | 
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] | 172600 | 1 |  |  | T14 | 247 |  | T17 | 884 |  | T28 | 254 | 
| auto[1] | 17 | 1 |  |  | T17 | 1 |  | T27 | 1 |  | T148 | 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 | 1213 | 1 |  |  | T14 | 5 |  | T17 | 12 |  | T28 | 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 | 3397 | 1 |  |  | T14 | 10 |  | T17 | 24 |  | T28 | 6 |