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] | 355821 | 1 |  |  | T22 | 1300 |  | T23 | 35 |  | T24 | 1175 | 
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 | 178177 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 135577 | 1 |  |  | T22 | 529 |  | T23 | 34 |  | T24 | 36 | 
| seven_bytes | 6171 | 1 |  |  | T22 | 25 |  | T24 | 29 |  | T28 | 46 | 
| six_bytes | 6013 | 1 |  |  | T22 | 33 |  | T24 | 38 |  | T28 | 41 | 
| five_bytes | 6068 | 1 |  |  | T22 | 24 |  | T24 | 28 |  | T28 | 46 | 
| four_bytes | 5779 | 1 |  |  | T22 | 25 |  | T24 | 27 |  | T28 | 41 | 
| three_bytes | 6036 | 1 |  |  | T22 | 19 |  | T24 | 24 |  | T28 | 34 | 
| two_bytes | 6043 | 1 |  |  | T22 | 24 |  | T24 | 35 |  | T28 | 32 | 
| one_byte | 5957 | 1 |  |  | T22 | 29 |  | T24 | 33 |  | T28 | 35 | 
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] | 348730 | 1 |  |  | T22 | 1280 |  | T23 | 33 |  | T24 | 1161 | 
| auto[1] | 7091 | 1 |  |  | T22 | 20 |  | T23 | 2 |  | T24 | 14 | 
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] | 355821 | 1 |  |  | T22 | 1300 |  | T23 | 35 |  | T24 | 1175 | 
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] | 355788 | 1 |  |  | T22 | 1300 |  | T23 | 35 |  | T24 | 1175 | 
| auto[1] | 33 | 1 |  |  | T28 | 1 |  | T56 | 1 |  | T87 | 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 | 2521 | 1 |  |  | T22 | 8 |  | T23 | 1 |  | T24 | 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 | 7091 | 1 |  |  | T22 | 20 |  | T23 | 2 |  | T24 | 14 | 
 
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 |  |  | T22 | 1371 |  | T23 | 114 |  | T24 | 165 | 
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 | 88457 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 67289 | 1 |  |  | T22 | 143 |  | T23 | 113 |  | T24 | 2 | 
| seven_bytes | 2907 | 1 |  |  | T22 | 34 |  | T24 | 2 |  | T28 | 27 | 
| six_bytes | 2974 | 1 |  |  | T22 | 26 |  | T24 | 1 |  | T28 | 27 | 
| five_bytes | 2932 | 1 |  |  | T22 | 34 |  | T24 | 4 |  | T28 | 29 | 
| four_bytes | 2961 | 1 |  |  | T22 | 38 |  | T24 | 1 |  | T28 | 36 | 
| three_bytes | 2985 | 1 |  |  | T22 | 29 |  | T24 | 3 |  | T28 | 28 | 
| two_bytes | 2959 | 1 |  |  | T22 | 46 |  | T24 | 3 |  | T28 | 33 | 
| one_byte | 2932 | 1 |  |  | T22 | 46 |  | T24 | 4 |  | T28 | 31 | 
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] | 172940 | 1 |  |  | T22 | 1355 |  | T23 | 112 |  | T24 | 161 | 
| auto[1] | 3456 | 1 |  |  | T22 | 16 |  | T23 | 2 |  | 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] | 176396 | 1 |  |  | T22 | 1371 |  | T23 | 114 |  | T24 | 165 | 
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] | 176379 | 1 |  |  | T22 | 1371 |  | T23 | 114 |  | T24 | 165 | 
| auto[1] | 17 | 1 |  |  | T157 | 1 |  | T82 | 1 |  | T158 | 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 | 1210 | 1 |  |  | T22 | 3 |  | T23 | 1 |  | T44 | 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 | 3456 | 1 |  |  | T22 | 16 |  | T23 | 2 |  | 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] | 176366 | 1 |  |  | T4 | 1 |  | T22 | 1038 |  | T23 | 13 | 
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 | 86173 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 69612 | 1 |  |  | T4 | 1 |  | T22 | 116 |  | T23 | 12 | 
| seven_bytes | 2924 | 1 |  |  | T22 | 35 |  | T24 | 13 |  | T28 | 14 | 
| six_bytes | 2967 | 1 |  |  | T22 | 30 |  | T24 | 12 |  | T28 | 11 | 
| five_bytes | 2973 | 1 |  |  | T22 | 30 |  | T24 | 27 |  | T28 | 14 | 
| four_bytes | 2946 | 1 |  |  | T22 | 39 |  | T24 | 15 |  | T28 | 17 | 
| three_bytes | 2957 | 1 |  |  | T22 | 32 |  | T24 | 15 |  | T28 | 11 | 
| two_bytes | 2877 | 1 |  |  | T22 | 25 |  | T24 | 15 |  | T28 | 17 | 
| one_byte | 2937 | 1 |  |  | T22 | 23 |  | T24 | 9 |  | T28 | 18 | 
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] | 172818 | 1 |  |  | T4 | 1 |  | T22 | 1024 |  | T23 | 11 | 
| auto[1] | 3548 | 1 |  |  | T22 | 14 |  | T23 | 2 |  | T24 | 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] | 176366 | 1 |  |  | T4 | 1 |  | T22 | 1038 |  | T23 | 13 | 
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] | 176352 | 1 |  |  | T4 | 1 |  | T22 | 1038 |  | T23 | 13 | 
| auto[1] | 14 | 1 |  |  | T85 | 1 |  | T159 | 1 |  | T160 | 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 | 1280 | 1 |  |  | T22 | 4 |  | T23 | 1 |  | T24 | 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 | 3548 | 1 |  |  | T22 | 14 |  | T23 | 2 |  | T24 | 6 |