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] | 337467 | 1 |  |  | T2 | 1018 |  | T3 | 2991 |  | T13 | 772 | 
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 | 171063 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 126190 | 1 |  |  | T2 | 1001 |  | T3 | 71 |  | T13 | 761 | 
| seven_bytes | 5848 | 1 |  |  | T3 | 76 |  | T37 | 23 |  | T24 | 37 | 
| six_bytes | 5687 | 1 |  |  | T3 | 80 |  | T37 | 20 |  | T24 | 35 | 
| five_bytes | 5806 | 1 |  |  | T3 | 80 |  | T37 | 28 |  | T24 | 34 | 
| four_bytes | 5740 | 1 |  |  | T3 | 56 |  | T37 | 21 |  | T24 | 32 | 
| three_bytes | 5801 | 1 |  |  | T3 | 100 |  | T37 | 23 |  | T24 | 42 | 
| two_bytes | 5653 | 1 |  |  | T3 | 83 |  | T37 | 22 |  | T24 | 43 | 
| one_byte | 5679 | 1 |  |  | T3 | 84 |  | T37 | 22 |  | T24 | 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] | 330900 | 1 |  |  | T2 | 984 |  | T3 | 2951 |  | T13 | 750 | 
| auto[1] | 6567 | 1 |  |  | T2 | 34 |  | T3 | 40 |  | T13 | 22 | 
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] | 337467 | 1 |  |  | T2 | 1018 |  | T3 | 2991 |  | T13 | 772 | 
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] | 337443 | 1 |  |  | T2 | 1018 |  | T3 | 2991 |  | T13 | 772 | 
| auto[1] | 24 | 1 |  |  | T25 | 3 |  | T77 | 1 |  | T151 | 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 | 2321 | 1 |  |  | T2 | 17 |  | T3 | 2 |  | T13 | 11 | 
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 | 6567 | 1 |  |  | T2 | 34 |  | T3 | 40 |  | T13 | 22 | 
 
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] | 163793 | 1 |  |  | T2 | 346 |  | T3 | 1954 |  | T13 | 559 | 
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 | 81577 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 63034 | 1 |  |  | T2 | 340 |  | T3 | 59 |  | T13 | 549 | 
| seven_bytes | 2828 | 1 |  |  | T3 | 48 |  | T37 | 2 |  | T24 | 15 | 
| six_bytes | 2684 | 1 |  |  | T3 | 47 |  | T37 | 1 |  | T24 | 18 | 
| five_bytes | 2756 | 1 |  |  | T3 | 54 |  | T37 | 2 |  | T24 | 11 | 
| four_bytes | 2751 | 1 |  |  | T3 | 53 |  | T37 | 2 |  | T24 | 19 | 
| three_bytes | 2733 | 1 |  |  | T3 | 44 |  | T37 | 1 |  | T24 | 13 | 
| two_bytes | 2758 | 1 |  |  | T3 | 50 |  | T37 | 1 |  | T24 | 9 | 
| one_byte | 2672 | 1 |  |  | T3 | 58 |  | T37 | 1 |  | T24 | 13 | 
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] | 160495 | 1 |  |  | T2 | 334 |  | T3 | 1930 |  | T13 | 539 | 
| auto[1] | 3298 | 1 |  |  | T2 | 12 |  | T3 | 24 |  | T13 | 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] | 163793 | 1 |  |  | T2 | 346 |  | T3 | 1954 |  | T13 | 559 | 
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] | 163779 | 1 |  |  | T2 | 346 |  | T3 | 1954 |  | T13 | 559 | 
| auto[1] | 14 | 1 |  |  | T43 | 2 |  | T27 | 1 |  | T152 | 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 | 1185 | 1 |  |  | T2 | 6 |  | T3 | 4 |  | T13 | 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 | 3298 | 1 |  |  | T2 | 12 |  | T3 | 24 |  | T13 | 20 | 
 
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] | 172641 | 1 |  |  | T2 | 591 |  | T3 | 1074 |  | T13 | 365 | 
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 | 87909 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 63751 | 1 |  |  | T2 | 581 |  | T3 | 20 |  | T13 | 360 | 
| seven_bytes | 3065 | 1 |  |  | T3 | 32 |  | T24 | 9 |  | T42 | 4 | 
| six_bytes | 2965 | 1 |  |  | T3 | 22 |  | T24 | 15 |  | T42 | 14 | 
| five_bytes | 3100 | 1 |  |  | T3 | 29 |  | T24 | 8 |  | T42 | 4 | 
| four_bytes | 3024 | 1 |  |  | T3 | 29 |  | T24 | 13 |  | T42 | 6 | 
| three_bytes | 2950 | 1 |  |  | T3 | 24 |  | T24 | 8 |  | T42 | 6 | 
| two_bytes | 2987 | 1 |  |  | T3 | 25 |  | T24 | 9 |  | T42 | 7 | 
| one_byte | 2890 | 1 |  |  | T3 | 28 |  | T24 | 10 |  | T42 | 7 | 
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] | 169325 | 1 |  |  | T2 | 571 |  | T3 | 1052 |  | T13 | 355 | 
| auto[1] | 3316 | 1 |  |  | T2 | 20 |  | T3 | 22 |  | T13 | 10 | 
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] | 172641 | 1 |  |  | T2 | 591 |  | T3 | 1074 |  | T13 | 365 | 
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] | 172629 | 1 |  |  | T2 | 591 |  | T3 | 1074 |  | T13 | 365 | 
| auto[1] | 12 | 1 |  |  | T43 | 1 |  | T153 | 1 |  | T154 | 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 | 1182 | 1 |  |  | T2 | 10 |  | T3 | 2 |  | T13 | 5 | 
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 | 3316 | 1 |  |  | T2 | 20 |  | T3 | 22 |  | T13 | 10 |