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] | 376496 | 1 |  |  | T1 | 4301 |  | T14 | 1617 |  | T15 | 7947 | 
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 | 215590 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 109621 | 1 |  |  | T1 | 198 |  | T14 | 46 |  | T15 | 497 | 
| seven_bytes | 7398 | 1 |  |  | T1 | 127 |  | T14 | 44 |  | T15 | 206 | 
| six_bytes | 7379 | 1 |  |  | T1 | 99 |  | T14 | 41 |  | T15 | 209 | 
| five_bytes | 7388 | 1 |  |  | T1 | 104 |  | T14 | 52 |  | T15 | 201 | 
| four_bytes | 7316 | 1 |  |  | T1 | 122 |  | T14 | 44 |  | T15 | 206 | 
| three_bytes | 7281 | 1 |  |  | T1 | 123 |  | T14 | 43 |  | T15 | 193 | 
| two_bytes | 7293 | 1 |  |  | T1 | 117 |  | T14 | 50 |  | T15 | 201 | 
| one_byte | 7230 | 1 |  |  | T1 | 100 |  | T14 | 38 |  | T15 | 200 | 
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] | 369734 | 1 |  |  | T1 | 4249 |  | T14 | 1601 |  | T15 | 7837 | 
| auto[1] | 6762 | 1 |  |  | T1 | 52 |  | T14 | 16 |  | T15 | 110 | 
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] | 376496 | 1 |  |  | T1 | 4301 |  | T14 | 1617 |  | T15 | 7947 | 
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] | 376471 | 1 |  |  | T1 | 4301 |  | T14 | 1617 |  | T15 | 7946 | 
| auto[1] | 25 | 1 |  |  | T15 | 1 |  | T42 | 1 |  | T44 | 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 | 2150 | 1 |  |  | T1 | 7 |  | T14 | 3 |  | T15 | 19 | 
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 | 6762 | 1 |  |  | T1 | 52 |  | T14 | 16 |  | T15 | 110 | 
 
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] | 179697 | 1 |  |  | T1 | 2518 |  | T14 | 395 |  | T15 | 2645 | 
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 | 99844 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 56082 | 1 |  |  | T1 | 158 |  | T14 | 11 |  | T15 | 141 | 
| seven_bytes | 3530 | 1 |  |  | T1 | 76 |  | T14 | 14 |  | T15 | 69 | 
| six_bytes | 3424 | 1 |  |  | T1 | 59 |  | T14 | 9 |  | T15 | 75 | 
| five_bytes | 3343 | 1 |  |  | T1 | 66 |  | T14 | 17 |  | T15 | 61 | 
| four_bytes | 3400 | 1 |  |  | T1 | 54 |  | T14 | 6 |  | T15 | 65 | 
| three_bytes | 3354 | 1 |  |  | T1 | 68 |  | T14 | 11 |  | T15 | 60 | 
| two_bytes | 3348 | 1 |  |  | T1 | 72 |  | T14 | 18 |  | T15 | 56 | 
| one_byte | 3372 | 1 |  |  | T1 | 64 |  | T14 | 16 |  | T15 | 81 | 
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] | 176371 | 1 |  |  | T1 | 2480 |  | T14 | 387 |  | T15 | 2605 | 
| auto[1] | 3326 | 1 |  |  | T1 | 38 |  | T14 | 8 |  | T15 | 40 | 
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] | 179697 | 1 |  |  | T1 | 2518 |  | T14 | 395 |  | T15 | 2645 | 
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] | 179694 | 1 |  |  | T1 | 2518 |  | T14 | 395 |  | T15 | 2645 | 
| auto[1] | 3 | 1 |  |  | T143 | 1 |  | T144 | 1 |  | T145 | 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 | 1096 | 1 |  |  | T1 | 8 |  | T14 | 3 |  | T15 | 5 | 
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 | 3326 | 1 |  |  | T1 | 38 |  | T14 | 8 |  | T15 | 40 | 
 
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] | 179441 | 1 |  |  | T1 | 813 |  | T14 | 475 |  | T15 | 2834 | 
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 | 99957 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 55443 | 1 |  |  | T1 | 198 |  | T14 | 18 |  | T15 | 272 | 
| seven_bytes | 3460 | 1 |  |  | T1 | 20 |  | T14 | 11 |  | T15 | 76 | 
| six_bytes | 3391 | 1 |  |  | T1 | 18 |  | T14 | 8 |  | T15 | 75 | 
| five_bytes | 3407 | 1 |  |  | T1 | 11 |  | T14 | 17 |  | T15 | 65 | 
| four_bytes | 3465 | 1 |  |  | T1 | 20 |  | T14 | 17 |  | T15 | 70 | 
| three_bytes | 3406 | 1 |  |  | T1 | 17 |  | T14 | 13 |  | T15 | 70 | 
| two_bytes | 3466 | 1 |  |  | T1 | 18 |  | T14 | 20 |  | T15 | 76 | 
| one_byte | 3446 | 1 |  |  | T1 | 18 |  | T14 | 10 |  | T15 | 84 | 
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] | 176129 | 1 |  |  | T1 | 791 |  | T14 | 469 |  | T15 | 2788 | 
| auto[1] | 3312 | 1 |  |  | T1 | 22 |  | T14 | 6 |  | T15 | 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] | 179441 | 1 |  |  | T1 | 813 |  | T14 | 475 |  | T15 | 2834 | 
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] | 179424 | 1 |  |  | T1 | 813 |  | T14 | 475 |  | T15 | 2834 | 
| auto[1] | 17 | 1 |  |  | T34 | 1 |  | T146 | 1 |  | T82 | 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 | 1101 | 1 |  |  | T1 | 6 |  | T14 | 1 |  | T15 | 8 | 
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 | 3312 | 1 |  |  | T1 | 22 |  | T14 | 6 |  | T15 | 46 |