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] | 353457 | 1 |  |  | T22 | 1725 |  | T23 | 1623 |  | T24 | 283 | 
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 | 189527 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 118485 | 1 |  |  | T22 | 1696 |  | T23 | 1599 |  | T24 | 276 | 
| seven_bytes | 6458 | 1 |  |  | T28 | 31 |  | T25 | 67 |  | T60 | 3 | 
| six_bytes | 6482 | 1 |  |  | T28 | 37 |  | T25 | 66 |  | T60 | 6 | 
| five_bytes | 6482 | 1 |  |  | T28 | 33 |  | T25 | 49 |  | T60 | 5 | 
| four_bytes | 6629 | 1 |  |  | T28 | 41 |  | T25 | 61 |  | T60 | 3 | 
| three_bytes | 6422 | 1 |  |  | T28 | 27 |  | T25 | 54 |  | T60 | 4 | 
| two_bytes | 6532 | 1 |  |  | T28 | 24 |  | T25 | 64 |  | T60 | 1 | 
| one_byte | 6440 | 1 |  |  | T28 | 38 |  | T25 | 53 |  | T60 | 8 | 
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] | 346902 | 1 |  |  | T22 | 1667 |  | T23 | 1575 |  | T24 | 269 | 
| auto[1] | 6555 | 1 |  |  | T22 | 58 |  | T23 | 48 |  | T24 | 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] | 353457 | 1 |  |  | T22 | 1725 |  | T23 | 1623 |  | T24 | 283 | 
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] | 353436 | 1 |  |  | T22 | 1724 |  | T23 | 1622 |  | T24 | 283 | 
| auto[1] | 21 | 1 |  |  | T22 | 1 |  | T23 | 1 |  | T28 | 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 | 2191 | 1 |  |  | T22 | 29 |  | T23 | 24 |  | 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 | 6555 | 1 |  |  | T22 | 58 |  | T23 | 48 |  | T24 | 14 | 
 
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] | 176338 | 1 |  |  | T17 | 18 |  | T22 | 732 |  | T23 | 975 | 
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 | 92474 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 61696 | 1 |  |  | T17 | 17 |  | T22 | 723 |  | T23 | 959 | 
| seven_bytes | 3250 | 1 |  |  | T28 | 9 |  | T25 | 40 |  | T60 | 6 | 
| six_bytes | 3182 | 1 |  |  | T28 | 21 |  | T25 | 38 |  | T60 | 4 | 
| five_bytes | 3198 | 1 |  |  | T28 | 16 |  | T25 | 51 |  | T60 | 5 | 
| four_bytes | 3116 | 1 |  |  | T28 | 20 |  | T25 | 44 |  | T60 | 3 | 
| three_bytes | 3158 | 1 |  |  | T28 | 21 |  | T25 | 43 |  | T60 | 5 | 
| two_bytes | 3124 | 1 |  |  | T28 | 10 |  | T25 | 47 |  | T60 | 4 | 
| one_byte | 3140 | 1 |  |  | T28 | 18 |  | T25 | 40 |  | T60 | 4 | 
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] | 173045 | 1 |  |  | T17 | 16 |  | T22 | 714 |  | T23 | 943 | 
| auto[1] | 3293 | 1 |  |  | T17 | 2 |  | T22 | 18 |  | T23 | 32 | 
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] | 176338 | 1 |  |  | T17 | 18 |  | T22 | 732 |  | T23 | 975 | 
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] | 176327 | 1 |  |  | T17 | 18 |  | T22 | 732 |  | T23 | 975 | 
| auto[1] | 11 | 1 |  |  | T54 | 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 | 1150 | 1 |  |  | T17 | 1 |  | T22 | 9 |  | T23 | 16 | 
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 | 3293 | 1 |  |  | T17 | 2 |  | T22 | 18 |  | T23 | 32 | 
 
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] | 163794 | 1 |  |  | T17 | 79 |  | T22 | 319 |  | T23 | 640 | 
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 | 84140 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 59763 | 1 |  |  | T17 | 76 |  | T22 | 314 |  | T23 | 630 | 
| seven_bytes | 2872 | 1 |  |  | T28 | 36 |  | T25 | 62 |  | T53 | 32 | 
| six_bytes | 2888 | 1 |  |  | T28 | 28 |  | T25 | 56 |  | T53 | 34 | 
| five_bytes | 2915 | 1 |  |  | T28 | 40 |  | T25 | 54 |  | T53 | 28 | 
| four_bytes | 2785 | 1 |  |  | T28 | 27 |  | T25 | 47 |  | T53 | 30 | 
| three_bytes | 2724 | 1 |  |  | T28 | 37 |  | T25 | 53 |  | T53 | 28 | 
| two_bytes | 2908 | 1 |  |  | T28 | 36 |  | T25 | 45 |  | T53 | 27 | 
| one_byte | 2799 | 1 |  |  | T28 | 36 |  | T25 | 53 |  | T53 | 33 | 
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] | 160574 | 1 |  |  | T17 | 73 |  | T22 | 309 |  | T23 | 620 | 
| auto[1] | 3220 | 1 |  |  | T17 | 6 |  | T22 | 10 |  | T23 | 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] | 163794 | 1 |  |  | T17 | 79 |  | T22 | 319 |  | T23 | 640 | 
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] | 163788 | 1 |  |  | T17 | 79 |  | T22 | 319 |  | T23 | 640 | 
| auto[1] | 6 | 1 |  |  | T47 | 1 |  | T55 | 1 |  | T162 | 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 | 1097 | 1 |  |  | T17 | 3 |  | T22 | 5 |  | T23 | 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 | 3220 | 1 |  |  | T17 | 6 |  | T22 | 10 |  | T23 | 20 |