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] | 339440 | 1 |  |  | T15 | 2872 |  | T24 | 3197 |  | T28 | 1718 | 
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 | 171686 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 127209 | 1 |  |  | T15 | 407 |  | T24 | 766 |  | T28 | 1695 | 
| seven_bytes | 5856 | 1 |  |  | T15 | 68 |  | T24 | 65 |  | T25 | 148 | 
| six_bytes | 5796 | 1 |  |  | T15 | 68 |  | T24 | 70 |  | T25 | 144 | 
| five_bytes | 5732 | 1 |  |  | T15 | 67 |  | T24 | 65 |  | T25 | 138 | 
| four_bytes | 5953 | 1 |  |  | T15 | 62 |  | T24 | 67 |  | T25 | 149 | 
| three_bytes | 5789 | 1 |  |  | T15 | 57 |  | T24 | 65 |  | T25 | 157 | 
| two_bytes | 5744 | 1 |  |  | T15 | 72 |  | T24 | 66 |  | T25 | 174 | 
| one_byte | 5675 | 1 |  |  | T15 | 73 |  | T24 | 87 |  | T25 | 134 | 
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] | 332849 | 1 |  |  | T15 | 2826 |  | T24 | 3139 |  | T28 | 1672 | 
| auto[1] | 6591 | 1 |  |  | T15 | 46 |  | T24 | 58 |  | T28 | 46 | 
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] | 339440 | 1 |  |  | T15 | 2872 |  | T24 | 3197 |  | T28 | 1718 | 
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] | 339415 | 1 |  |  | T15 | 2872 |  | T24 | 3197 |  | T28 | 1718 | 
| auto[1] | 25 | 1 |  |  | T111 | 1 |  | T163 | 1 |  | T164 | 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 | 2279 | 1 |  |  | T15 | 12 |  | T24 | 14 |  | T28 | 23 | 
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 | 6591 | 1 |  |  | T15 | 46 |  | T24 | 58 |  | T28 | 46 | 
 
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] | 165611 | 1 |  |  | T15 | 1450 |  | T23 | 174 |  | T24 | 1510 | 
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 | 84169 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 61087 | 1 |  |  | T15 | 157 |  | T23 | 172 |  | T24 | 455 | 
| seven_bytes | 2891 | 1 |  |  | T15 | 30 |  | T24 | 21 |  | T25 | 52 | 
| six_bytes | 2957 | 1 |  |  | T15 | 48 |  | T24 | 25 |  | T25 | 43 | 
| five_bytes | 2913 | 1 |  |  | T15 | 27 |  | T24 | 21 |  | T25 | 64 | 
| four_bytes | 3011 | 1 |  |  | T15 | 42 |  | T24 | 30 |  | T25 | 45 | 
| three_bytes | 2862 | 1 |  |  | T15 | 37 |  | T24 | 33 |  | T25 | 60 | 
| two_bytes | 2933 | 1 |  |  | T15 | 36 |  | T24 | 31 |  | T25 | 49 | 
| one_byte | 2788 | 1 |  |  | T15 | 37 |  | T24 | 24 |  | T25 | 58 | 
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] | 162411 | 1 |  |  | T15 | 1430 |  | T23 | 170 |  | T24 | 1484 | 
| auto[1] | 3200 | 1 |  |  | T15 | 20 |  | T23 | 4 |  | T24 | 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] | 165611 | 1 |  |  | T15 | 1450 |  | T23 | 174 |  | T24 | 1510 | 
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] | 165597 | 1 |  |  | T15 | 1450 |  | T23 | 174 |  | T24 | 1510 | 
| auto[1] | 14 | 1 |  |  | T30 | 1 |  | T163 | 1 |  | T46 | 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 | 1122 | 1 |  |  | T15 | 4 |  | T23 | 2 |  | T24 | 7 | 
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 | 3200 | 1 |  |  | T15 | 20 |  | T23 | 4 |  | T24 | 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] | 168498 | 1 |  |  | T15 | 1950 |  | T24 | 1975 |  | T28 | 677 | 
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 | 84951 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 63704 | 1 |  |  | T15 | 338 |  | T24 | 269 |  | T28 | 670 | 
| seven_bytes | 2817 | 1 |  |  | T15 | 61 |  | T24 | 43 |  | T25 | 101 | 
| six_bytes | 2906 | 1 |  |  | T15 | 33 |  | T24 | 41 |  | T25 | 103 | 
| five_bytes | 2901 | 1 |  |  | T15 | 48 |  | T24 | 49 |  | T25 | 111 | 
| four_bytes | 2771 | 1 |  |  | T15 | 50 |  | T24 | 54 |  | T25 | 86 | 
| three_bytes | 2824 | 1 |  |  | T15 | 39 |  | T24 | 60 |  | T25 | 93 | 
| two_bytes | 2778 | 1 |  |  | T15 | 46 |  | T24 | 56 |  | T25 | 110 | 
| one_byte | 2846 | 1 |  |  | T15 | 41 |  | T24 | 52 |  | T25 | 106 | 
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] | 165284 | 1 |  |  | T15 | 1922 |  | T24 | 1955 |  | T28 | 663 | 
| auto[1] | 3214 | 1 |  |  | T15 | 28 |  | T24 | 20 |  | T28 | 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] | 168498 | 1 |  |  | T15 | 1950 |  | T24 | 1975 |  | T28 | 677 | 
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] | 168485 | 1 |  |  | T15 | 1950 |  | T24 | 1975 |  | T28 | 677 | 
| auto[1] | 13 | 1 |  |  | T165 | 1 |  | T85 | 1 |  | T166 | 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 | 1138 | 1 |  |  | T15 | 10 |  | T24 | 5 |  | T28 | 7 | 
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 | 3214 | 1 |  |  | T15 | 28 |  | T24 | 20 |  | T28 | 14 |