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] | 351564 | 1 |  |  | T12 | 504 |  | T13 | 157 |  | T14 | 1421 | 
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 | 195794 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 109205 | 1 |  |  | T12 | 494 |  | T13 | 155 |  | T14 | 1399 | 
| seven_bytes | 6788 | 1 |  |  | T16 | 39 |  | T23 | 36 |  | T25 | 82 | 
| six_bytes | 6744 | 1 |  |  | T16 | 46 |  | T23 | 42 |  | T25 | 68 | 
| five_bytes | 6620 | 1 |  |  | T16 | 32 |  | T23 | 30 |  | T25 | 69 | 
| four_bytes | 6643 | 1 |  |  | T16 | 40 |  | T23 | 38 |  | T25 | 81 | 
| three_bytes | 6722 | 1 |  |  | T16 | 34 |  | T23 | 32 |  | T25 | 61 | 
| two_bytes | 6546 | 1 |  |  | T16 | 42 |  | T23 | 28 |  | T25 | 70 | 
| one_byte | 6502 | 1 |  |  | T16 | 26 |  | T23 | 31 |  | T25 | 67 | 
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] | 345116 | 1 |  |  | T12 | 484 |  | T13 | 153 |  | T14 | 1377 | 
| auto[1] | 6448 | 1 |  |  | T12 | 20 |  | T13 | 4 |  | T14 | 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] | 351564 | 1 |  |  | T12 | 504 |  | T13 | 157 |  | T14 | 1421 | 
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] | 351538 | 1 |  |  | T12 | 504 |  | T13 | 157 |  | T14 | 1421 | 
| auto[1] | 26 | 1 |  |  | T24 | 1 |  | T97 | 1 |  | T73 | 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 | 2125 | 1 |  |  | T12 | 10 |  | T13 | 2 |  | T14 | 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 | 6448 | 1 |  |  | T12 | 20 |  | T13 | 4 |  | T14 | 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] | 176380 | 1 |  |  | T3 | 186 |  | T12 | 86 |  | T13 | 197 | 
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 | 94568 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 59172 | 1 |  |  | T3 | 183 |  | T12 | 83 |  | T13 | 195 | 
| seven_bytes | 3195 | 1 |  |  | T16 | 5 |  | T23 | 20 |  | T25 | 26 | 
| six_bytes | 3250 | 1 |  |  | T16 | 12 |  | T23 | 21 |  | T25 | 38 | 
| five_bytes | 3195 | 1 |  |  | T16 | 16 |  | T23 | 20 |  | T25 | 31 | 
| four_bytes | 3252 | 1 |  |  | T16 | 12 |  | T23 | 29 |  | T25 | 38 | 
| three_bytes | 3178 | 1 |  |  | T16 | 7 |  | T23 | 18 |  | T25 | 42 | 
| two_bytes | 3279 | 1 |  |  | T16 | 13 |  | T23 | 13 |  | T25 | 43 | 
| one_byte | 3291 | 1 |  |  | T16 | 15 |  | T23 | 12 |  | T25 | 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] | 173085 | 1 |  |  | T3 | 180 |  | T12 | 80 |  | T13 | 193 | 
| auto[1] | 3295 | 1 |  |  | T3 | 6 |  | T12 | 6 |  | T13 | 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] | 176380 | 1 |  |  | T3 | 186 |  | T12 | 86 |  | T13 | 197 | 
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] | 176370 | 1 |  |  | T3 | 186 |  | T12 | 86 |  | T13 | 197 | 
| auto[1] | 10 | 1 |  |  | T41 | 1 |  | T148 | 1 |  | T149 | 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 | 1110 | 1 |  |  | T3 | 3 |  | T12 | 3 |  | T13 | 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 | 3295 | 1 |  |  | T3 | 6 |  | T12 | 6 |  | T13 | 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] | 176155 | 1 |  |  | T12 | 287 |  | T13 | 395 |  | T14 | 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 | 94569 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 58861 | 1 |  |  | T12 | 283 |  | T13 | 390 |  | T14 | 668 | 
| seven_bytes | 3268 | 1 |  |  | T16 | 30 |  | T23 | 11 |  | T25 | 38 | 
| six_bytes | 3348 | 1 |  |  | T16 | 24 |  | T23 | 12 |  | T25 | 48 | 
| five_bytes | 3259 | 1 |  |  | T16 | 30 |  | T23 | 8 |  | T25 | 37 | 
| four_bytes | 3108 | 1 |  |  | T16 | 26 |  | T23 | 7 |  | T25 | 38 | 
| three_bytes | 3254 | 1 |  |  | T16 | 23 |  | T23 | 8 |  | T25 | 41 | 
| two_bytes | 3265 | 1 |  |  | T16 | 24 |  | T23 | 9 |  | T25 | 29 | 
| one_byte | 3223 | 1 |  |  | T16 | 26 |  | T23 | 12 |  | T25 | 46 | 
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] | 172867 | 1 |  |  | T12 | 279 |  | T13 | 385 |  | T14 | 659 | 
| auto[1] | 3288 | 1 |  |  | T12 | 8 |  | T13 | 10 |  | T14 | 18 | 
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] | 176155 | 1 |  |  | T12 | 287 |  | T13 | 395 |  | T14 | 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] | 176141 | 1 |  |  | T12 | 287 |  | T13 | 395 |  | T14 | 677 | 
| auto[1] | 14 | 1 |  |  | T36 | 1 |  | T64 | 1 |  | T74 | 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 | 1100 | 1 |  |  | T12 | 4 |  | T13 | 5 |  | T14 | 9 | 
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 | 3288 | 1 |  |  | T12 | 8 |  | T13 | 10 |  | T14 | 18 |