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] | 369497 | 1 |  |  | T1 | 4333 |  | T18 | 1046 |  | T20 | 1388 | 
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 | 204854 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 116157 | 1 |  |  | T1 | 560 |  | T18 | 1030 |  | T20 | 1363 | 
| seven_bytes | 7096 | 1 |  |  | T1 | 95 |  | T25 | 172 |  | T26 | 75 | 
| six_bytes | 6845 | 1 |  |  | T1 | 103 |  | T25 | 169 |  | T26 | 71 | 
| five_bytes | 6953 | 1 |  |  | T1 | 102 |  | T25 | 152 |  | T26 | 92 | 
| four_bytes | 6934 | 1 |  |  | T1 | 93 |  | T25 | 158 |  | T26 | 71 | 
| three_bytes | 6840 | 1 |  |  | T1 | 105 |  | T25 | 151 |  | T26 | 79 | 
| two_bytes | 6929 | 1 |  |  | T1 | 91 |  | T25 | 158 |  | T26 | 68 | 
| one_byte | 6889 | 1 |  |  | T1 | 103 |  | T25 | 147 |  | T26 | 76 | 
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] | 362714 | 1 |  |  | T1 | 4267 |  | T18 | 1014 |  | T20 | 1338 | 
| auto[1] | 6783 | 1 |  |  | T1 | 66 |  | T18 | 32 |  | T20 | 50 | 
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] | 369497 | 1 |  |  | T1 | 4333 |  | T18 | 1046 |  | T20 | 1388 | 
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] | 369472 | 1 |  |  | T1 | 4333 |  | T18 | 1046 |  | T20 | 1388 | 
| auto[1] | 25 | 1 |  |  | T23 | 1 |  | T160 | 1 |  | T161 | 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 | 2225 | 1 |  |  | T1 | 18 |  | T18 | 16 |  | T20 | 25 | 
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 | 6783 | 1 |  |  | T1 | 66 |  | T18 | 32 |  | T20 | 50 | 
 
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] | 188288 | 1 |  |  | T1 | 2563 |  | T18 | 745 |  | T20 | 718 | 
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 | 101289 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 62739 | 1 |  |  | T1 | 1200 |  | T18 | 735 |  | T20 | 708 | 
| seven_bytes | 3454 | 1 |  |  | T1 | 41 |  | T25 | 59 |  | T26 | 41 | 
| six_bytes | 3558 | 1 |  |  | T1 | 40 |  | T25 | 68 |  | T26 | 51 | 
| five_bytes | 3385 | 1 |  |  | T1 | 40 |  | T25 | 68 |  | T26 | 38 | 
| four_bytes | 3484 | 1 |  |  | T1 | 32 |  | T25 | 64 |  | T26 | 42 | 
| three_bytes | 3394 | 1 |  |  | T1 | 42 |  | T25 | 60 |  | T26 | 43 | 
| two_bytes | 3569 | 1 |  |  | T1 | 36 |  | T25 | 67 |  | T26 | 51 | 
| one_byte | 3416 | 1 |  |  | T1 | 37 |  | T25 | 52 |  | T26 | 40 | 
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] | 184828 | 1 |  |  | T1 | 2521 |  | T18 | 725 |  | T20 | 698 | 
| auto[1] | 3460 | 1 |  |  | T1 | 42 |  | T18 | 20 |  | T20 | 20 | 
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] | 188288 | 1 |  |  | T1 | 2563 |  | T18 | 745 |  | T20 | 718 | 
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] | 188272 | 1 |  |  | T1 | 2563 |  | T18 | 745 |  | T20 | 718 | 
| auto[1] | 16 | 1 |  |  | T162 | 2 |  | T163 | 1 |  | T76 | 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 | 1165 | 1 |  |  | T1 | 14 |  | T18 | 10 |  | T20 | 10 | 
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 | 3460 | 1 |  |  | T1 | 42 |  | T18 | 20 |  | T20 | 20 | 
 
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] | 178751 | 1 |  |  | T1 | 1706 |  | T18 | 633 |  | T20 | 526 | 
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 | 97882 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 57763 | 1 |  |  | T1 | 564 |  | T18 | 619 |  | T20 | 515 | 
| seven_bytes | 3359 | 1 |  |  | T1 | 41 |  | T25 | 65 |  | T26 | 42 | 
| six_bytes | 3316 | 1 |  |  | T1 | 23 |  | T25 | 65 |  | T26 | 56 | 
| five_bytes | 3286 | 1 |  |  | T1 | 44 |  | T25 | 70 |  | T26 | 39 | 
| four_bytes | 3357 | 1 |  |  | T1 | 39 |  | T25 | 68 |  | T26 | 44 | 
| three_bytes | 3230 | 1 |  |  | T1 | 32 |  | T25 | 58 |  | T26 | 30 | 
| two_bytes | 3248 | 1 |  |  | T1 | 33 |  | T25 | 57 |  | T26 | 59 | 
| one_byte | 3310 | 1 |  |  | T1 | 29 |  | T25 | 60 |  | T26 | 44 | 
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] | 175421 | 1 |  |  | T1 | 1674 |  | T18 | 605 |  | T20 | 504 | 
| auto[1] | 3330 | 1 |  |  | T1 | 32 |  | T18 | 28 |  | T20 | 22 | 
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] | 178751 | 1 |  |  | T1 | 1706 |  | T18 | 633 |  | T20 | 526 | 
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] | 178741 | 1 |  |  | T1 | 1706 |  | T18 | 633 |  | T20 | 526 | 
| auto[1] | 10 | 1 |  |  | T37 | 1 |  | T23 | 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 | 1112 | 1 |  |  | T1 | 10 |  | T18 | 14 |  | T20 | 11 | 
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 | 3330 | 1 |  |  | T1 | 32 |  | T18 | 28 |  | T20 | 22 |