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] | 365402 | 1 |  |  | T1 | 275 |  | T2 | 105 |  | T16 | 1520 | 
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 | 196220 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 121910 | 1 |  |  | T1 | 270 |  | T2 | 104 |  | T16 | 1498 | 
| seven_bytes | 6697 | 1 |  |  | T28 | 11 |  | T25 | 128 |  | T45 | 69 | 
| six_bytes | 6742 | 1 |  |  | T27 | 7 |  | T28 | 9 |  | T25 | 115 | 
| five_bytes | 6843 | 1 |  |  | T27 | 3 |  | T28 | 8 |  | T25 | 143 | 
| four_bytes | 6659 | 1 |  |  | T27 | 4 |  | T28 | 5 |  | T25 | 124 | 
| three_bytes | 6693 | 1 |  |  | T27 | 4 |  | T28 | 10 |  | T25 | 121 | 
| two_bytes | 6812 | 1 |  |  | T27 | 6 |  | T28 | 11 |  | T25 | 110 | 
| one_byte | 6826 | 1 |  |  | T27 | 3 |  | T28 | 9 |  | T25 | 139 | 
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] | 358471 | 1 |  |  | T1 | 265 |  | T2 | 103 |  | T16 | 1476 | 
| auto[1] | 6931 | 1 |  |  | T1 | 10 |  | T2 | 2 |  | T16 | 44 | 
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] | 365402 | 1 |  |  | T1 | 275 |  | T2 | 105 |  | T16 | 1520 | 
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] | 365379 | 1 |  |  | T1 | 275 |  | T2 | 105 |  | T16 | 1520 | 
| auto[1] | 23 | 1 |  |  | T152 | 1 |  | T153 | 1 |  | T48 | 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 | 2338 | 1 |  |  | T1 | 5 |  | T2 | 1 |  | T16 | 22 | 
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 | 6931 | 1 |  |  | T1 | 10 |  | T2 | 2 |  | T16 | 44 | 
 
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] | 180881 | 1 |  |  | T1 | 217 |  | T16 | 675 |  | T27 | 301 | 
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 | 94190 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 64507 | 1 |  |  | T1 | 214 |  | T16 | 664 |  | T27 | 5 | 
| seven_bytes | 3285 | 1 |  |  | T27 | 8 |  | T28 | 1 |  | T25 | 31 | 
| six_bytes | 3099 | 1 |  |  | T27 | 6 |  | T28 | 1 |  | T25 | 28 | 
| five_bytes | 3081 | 1 |  |  | T27 | 6 |  | T28 | 2 |  | T25 | 38 | 
| four_bytes | 3031 | 1 |  |  | T27 | 9 |  | T25 | 35 |  | T45 | 33 | 
| three_bytes | 3221 | 1 |  |  | T27 | 4 |  | T28 | 1 |  | T25 | 44 | 
| two_bytes | 3304 | 1 |  |  | T27 | 11 |  | T28 | 2 |  | T25 | 35 | 
| one_byte | 3163 | 1 |  |  | T27 | 9 |  | T28 | 2 |  | T25 | 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] | 177439 | 1 |  |  | T1 | 211 |  | T16 | 653 |  | T27 | 295 | 
| auto[1] | 3442 | 1 |  |  | T1 | 6 |  | T16 | 22 |  | T27 | 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] | 180881 | 1 |  |  | T1 | 217 |  | T16 | 675 |  | T27 | 301 | 
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] | 180867 | 1 |  |  | T1 | 217 |  | T16 | 675 |  | T27 | 301 | 
| auto[1] | 14 | 1 |  |  | T25 | 1 |  | T81 | 1 |  | T48 | 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 | 1183 | 1 |  |  | T1 | 3 |  | T16 | 11 |  | T27 | 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 | 3442 | 1 |  |  | T1 | 6 |  | T16 | 22 |  | T27 | 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] | 187652 | 1 |  |  | T1 | 571 |  | T2 | 62 |  | T16 | 1046 | 
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 | 97127 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 67362 | 1 |  |  | T1 | 563 |  | T2 | 61 |  | T16 | 1031 | 
| seven_bytes | 3283 | 1 |  |  | T27 | 9 |  | T25 | 35 |  | T45 | 49 | 
| six_bytes | 3298 | 1 |  |  | T27 | 16 |  | T25 | 53 |  | T45 | 53 | 
| five_bytes | 3311 | 1 |  |  | T27 | 8 |  | T25 | 70 |  | T45 | 54 | 
| four_bytes | 3404 | 1 |  |  | T27 | 5 |  | T25 | 56 |  | T45 | 52 | 
| three_bytes | 3361 | 1 |  |  | T27 | 10 |  | T25 | 49 |  | T45 | 42 | 
| two_bytes | 3272 | 1 |  |  | T27 | 7 |  | T25 | 47 |  | T45 | 48 | 
| one_byte | 3234 | 1 |  |  | T27 | 5 |  | T25 | 53 |  | T45 | 37 | 
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] | 184044 | 1 |  |  | T1 | 555 |  | T2 | 60 |  | T16 | 1016 | 
| auto[1] | 3608 | 1 |  |  | T1 | 16 |  | T2 | 2 |  | T16 | 30 | 
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] | 187652 | 1 |  |  | T1 | 571 |  | T2 | 62 |  | T16 | 1046 | 
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] | 187639 | 1 |  |  | T1 | 571 |  | T2 | 62 |  | T16 | 1046 | 
| auto[1] | 13 | 1 |  |  | T109 | 1 |  | T154 | 1 |  | T155 | 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 | 1262 | 1 |  |  | T1 | 8 |  | T2 | 1 |  | T16 | 15 | 
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 | 3608 | 1 |  |  | T1 | 16 |  | T2 | 2 |  | T16 | 30 |