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] | 304870 | 1 |  |  | T4 | 64 |  | T14 | 3929 |  | T24 | 69 | 
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 | 162081 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 104358 | 1 |  |  | T4 | 63 |  | T14 | 113 |  | T24 | 68 | 
| seven_bytes | 5441 | 1 |  |  | T14 | 121 |  | T25 | 51 |  | T26 | 43 | 
| six_bytes | 5482 | 1 |  |  | T14 | 91 |  | T25 | 51 |  | T26 | 43 | 
| five_bytes | 5530 | 1 |  |  | T14 | 121 |  | T25 | 44 |  | T26 | 35 | 
| four_bytes | 5539 | 1 |  |  | T14 | 115 |  | T25 | 41 |  | T26 | 36 | 
| three_bytes | 5403 | 1 |  |  | T14 | 100 |  | T25 | 38 |  | T26 | 34 | 
| two_bytes | 5576 | 1 |  |  | T14 | 110 |  | T25 | 44 |  | T26 | 55 | 
| one_byte | 5460 | 1 |  |  | T14 | 102 |  | T25 | 41 |  | T26 | 42 | 
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] | 299118 | 1 |  |  | T4 | 62 |  | T14 | 3881 |  | T24 | 67 | 
| auto[1] | 5752 | 1 |  |  | T4 | 2 |  | T14 | 48 |  | T24 | 2 | 
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] | 304870 | 1 |  |  | T4 | 64 |  | T14 | 3929 |  | T24 | 69 | 
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] | 304850 | 1 |  |  | T4 | 64 |  | T14 | 3929 |  | T24 | 69 | 
| auto[1] | 20 | 1 |  |  | T159 | 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 | 1980 | 1 |  |  | T4 | 1 |  | T14 | 5 |  | T24 | 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 | 5752 | 1 |  |  | T4 | 2 |  | T14 | 48 |  | T24 | 2 | 
 
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] | 152224 | 1 |  |  | T14 | 2681 |  | T24 | 77 |  | T25 | 1451 | 
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 | 82496 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 50019 | 1 |  |  | T14 | 51 |  | T24 | 75 |  | T25 | 444 | 
| seven_bytes | 2887 | 1 |  |  | T14 | 79 |  | T25 | 38 |  | T26 | 34 | 
| six_bytes | 2879 | 1 |  |  | T14 | 68 |  | T25 | 32 |  | T26 | 35 | 
| five_bytes | 2828 | 1 |  |  | T14 | 72 |  | T25 | 25 |  | T26 | 32 | 
| four_bytes | 2739 | 1 |  |  | T14 | 80 |  | T25 | 21 |  | T26 | 29 | 
| three_bytes | 2823 | 1 |  |  | T14 | 66 |  | T25 | 22 |  | T26 | 33 | 
| two_bytes | 2765 | 1 |  |  | T14 | 84 |  | T25 | 31 |  | T26 | 20 | 
| one_byte | 2788 | 1 |  |  | T14 | 79 |  | T25 | 32 |  | T26 | 32 | 
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] | 149376 | 1 |  |  | T14 | 2647 |  | T24 | 73 |  | T25 | 1425 | 
| auto[1] | 2848 | 1 |  |  | T14 | 34 |  | T24 | 4 |  | T25 | 26 | 
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] | 152224 | 1 |  |  | T14 | 2681 |  | T24 | 77 |  | T25 | 1451 | 
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] | 152211 | 1 |  |  | T14 | 2681 |  | T24 | 77 |  | T25 | 1451 | 
| auto[1] | 13 | 1 |  |  | T40 | 2 |  | T159 | 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 | 955 | 1 |  |  | T14 | 3 |  | T24 | 2 |  | T25 | 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 | 2848 | 1 |  |  | T14 | 34 |  | T24 | 4 |  | T25 | 26 | 
 
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] | 151333 | 1 |  |  | T14 | 2095 |  | T24 | 121 |  | T25 | 821 | 
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 | 78765 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 53931 | 1 |  |  | T14 | 56 |  | T24 | 120 |  | T25 | 265 | 
| seven_bytes | 2725 | 1 |  |  | T14 | 58 |  | T25 | 15 |  | T26 | 22 | 
| six_bytes | 2598 | 1 |  |  | T14 | 61 |  | T25 | 17 |  | T26 | 30 | 
| five_bytes | 2702 | 1 |  |  | T14 | 63 |  | T25 | 7 |  | T26 | 30 | 
| four_bytes | 2692 | 1 |  |  | T14 | 55 |  | T25 | 13 |  | T26 | 29 | 
| three_bytes | 2665 | 1 |  |  | T14 | 59 |  | T25 | 12 |  | T26 | 33 | 
| two_bytes | 2602 | 1 |  |  | T14 | 54 |  | T25 | 15 |  | T26 | 30 | 
| one_byte | 2653 | 1 |  |  | T14 | 55 |  | T25 | 13 |  | T26 | 34 | 
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] | 148449 | 1 |  |  | T14 | 2069 |  | T24 | 119 |  | T25 | 807 | 
| auto[1] | 2884 | 1 |  |  | T14 | 26 |  | T24 | 2 |  | T25 | 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] | 151333 | 1 |  |  | T14 | 2095 |  | T24 | 121 |  | T25 | 821 | 
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] | 151317 | 1 |  |  | T14 | 2095 |  | T24 | 121 |  | T25 | 820 | 
| auto[1] | 16 | 1 |  |  | T25 | 1 |  | T163 | 1 |  | T52 | 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 | 990 | 1 |  |  | T14 | 5 |  | T24 | 1 |  | T25 | 6 | 
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 | 2884 | 1 |  |  | T14 | 26 |  | T24 | 2 |  | T25 | 14 |