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] | 311954 | 1 |  |  | T1 | 11 |  | T13 | 391 |  | T14 | 2664 | 
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 | 149538 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 126860 | 1 |  |  | T1 | 10 |  | T13 | 385 |  | T14 | 2629 | 
| seven_bytes | 5037 | 1 |  |  | T27 | 19 |  | T23 | 38 |  | T24 | 53 | 
| six_bytes | 5104 | 1 |  |  | T27 | 17 |  | T23 | 39 |  | T24 | 41 | 
| five_bytes | 5095 | 1 |  |  | T27 | 13 |  | T23 | 45 |  | T24 | 55 | 
| four_bytes | 5108 | 1 |  |  | T27 | 17 |  | T23 | 34 |  | T24 | 55 | 
| three_bytes | 5177 | 1 |  |  | T27 | 16 |  | T23 | 42 |  | T24 | 54 | 
| two_bytes | 4967 | 1 |  |  | T27 | 22 |  | T23 | 38 |  | T24 | 46 | 
| one_byte | 5068 | 1 |  |  | T27 | 12 |  | T23 | 41 |  | T24 | 40 | 
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] | 305622 | 1 |  |  | T1 | 9 |  | T13 | 379 |  | T14 | 2594 | 
| auto[1] | 6332 | 1 |  |  | T1 | 2 |  | T13 | 12 |  | T14 | 70 | 
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] | 311954 | 1 |  |  | T1 | 11 |  | T13 | 391 |  | T14 | 2664 | 
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] | 311935 | 1 |  |  | T1 | 11 |  | T13 | 391 |  | T14 | 2664 | 
| auto[1] | 19 | 1 |  |  | T38 | 2 |  | T43 | 1 |  | T143 | 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 | 2284 | 1 |  |  | T1 | 1 |  | T13 | 6 |  | T14 | 35 | 
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 | 6332 | 1 |  |  | T1 | 2 |  | T13 | 12 |  | T14 | 70 | 
 
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] | 163704 | 1 |  |  | T13 | 92 |  | T14 | 1993 |  | T15 | 88 | 
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 | 79619 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 65141 | 1 |  |  | T13 | 89 |  | T14 | 1966 |  | T15 | 87 | 
| seven_bytes | 2720 | 1 |  |  | T27 | 8 |  | T23 | 30 |  | T24 | 39 | 
| six_bytes | 2671 | 1 |  |  | T27 | 8 |  | T23 | 37 |  | T24 | 31 | 
| five_bytes | 2767 | 1 |  |  | T27 | 8 |  | T23 | 46 |  | T24 | 44 | 
| four_bytes | 2659 | 1 |  |  | T27 | 7 |  | T23 | 30 |  | T24 | 44 | 
| three_bytes | 2685 | 1 |  |  | T27 | 8 |  | T23 | 29 |  | T24 | 38 | 
| two_bytes | 2719 | 1 |  |  | T27 | 7 |  | T23 | 31 |  | T24 | 40 | 
| one_byte | 2723 | 1 |  |  | T27 | 12 |  | T23 | 23 |  | T24 | 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] | 160429 | 1 |  |  | T13 | 86 |  | T14 | 1939 |  | T15 | 86 | 
| auto[1] | 3275 | 1 |  |  | T13 | 6 |  | T14 | 54 |  | T15 | 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] | 163704 | 1 |  |  | T13 | 92 |  | T14 | 1993 |  | T15 | 88 | 
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] | 163689 | 1 |  |  | T13 | 92 |  | T14 | 1992 |  | T15 | 88 | 
| auto[1] | 15 | 1 |  |  | T14 | 1 |  | T99 | 1 |  | T100 | 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 | 1197 | 1 |  |  | T13 | 3 |  | T14 | 27 |  | T15 | 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 | 3275 | 1 |  |  | T13 | 6 |  | T14 | 54 |  | T15 | 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] | 168191 | 1 |  |  | T13 | 41 |  | T14 | 1147 |  | T15 | 33 | 
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 | 81254 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 67702 | 1 |  |  | T13 | 39 |  | T14 | 1128 |  | T15 | 32 | 
| seven_bytes | 2832 | 1 |  |  | T27 | 1 |  | T23 | 11 |  | T24 | 24 | 
| six_bytes | 2755 | 1 |  |  | T27 | 1 |  | T23 | 17 |  | T24 | 22 | 
| five_bytes | 2820 | 1 |  |  | T27 | 2 |  | T23 | 19 |  | T24 | 33 | 
| four_bytes | 2786 | 1 |  |  | T23 | 18 |  | T24 | 35 |  | T45 | 11 | 
| three_bytes | 2676 | 1 |  |  | T27 | 4 |  | T23 | 12 |  | T24 | 21 | 
| two_bytes | 2684 | 1 |  |  | T27 | 1 |  | T23 | 10 |  | T24 | 28 | 
| one_byte | 2682 | 1 |  |  | T27 | 1 |  | T23 | 21 |  | T24 | 30 | 
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] | 164841 | 1 |  |  | T13 | 37 |  | T14 | 1109 |  | T15 | 31 | 
| auto[1] | 3350 | 1 |  |  | T13 | 4 |  | T14 | 38 |  | T15 | 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] | 168191 | 1 |  |  | T13 | 41 |  | T14 | 1147 |  | T15 | 33 | 
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] | 168180 | 1 |  |  | T13 | 41 |  | T14 | 1147 |  | T15 | 33 | 
| auto[1] | 11 | 1 |  |  | T26 | 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 | 1199 | 1 |  |  | T13 | 2 |  | T14 | 19 |  | T15 | 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 | 3350 | 1 |  |  | T13 | 4 |  | T14 | 38 |  | T15 | 2 |