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] | 344691 | 1 |  |  | T1 | 107 |  | T12 | 962 |  | T18 | 611 | 
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 | 172711 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 130993 | 1 |  |  | T1 | 104 |  | T12 | 945 |  | T18 | 595 | 
| seven_bytes | 5821 | 1 |  |  | T24 | 87 |  | T28 | 101 |  | T41 | 97 | 
| six_bytes | 5867 | 1 |  |  | T24 | 87 |  | T28 | 101 |  | T41 | 87 | 
| five_bytes | 5965 | 1 |  |  | T24 | 89 |  | T28 | 110 |  | T41 | 107 | 
| four_bytes | 5723 | 1 |  |  | T24 | 60 |  | T28 | 106 |  | T41 | 86 | 
| three_bytes | 5867 | 1 |  |  | T24 | 62 |  | T28 | 89 |  | T41 | 82 | 
| two_bytes | 5852 | 1 |  |  | T24 | 75 |  | T28 | 92 |  | T41 | 94 | 
| one_byte | 5892 | 1 |  |  | T24 | 75 |  | T28 | 90 |  | T41 | 94 | 
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] | 337797 | 1 |  |  | T1 | 101 |  | T12 | 928 |  | T18 | 579 | 
| auto[1] | 6894 | 1 |  |  | T1 | 6 |  | T12 | 34 |  | T18 | 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] | 344691 | 1 |  |  | T1 | 107 |  | T12 | 962 |  | T18 | 611 | 
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] | 344674 | 1 |  |  | T1 | 107 |  | T12 | 962 |  | T18 | 611 | 
| auto[1] | 17 | 1 |  |  | T40 | 1 |  | T25 | 1 |  | T50 | 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 | 2461 | 1 |  |  | T1 | 3 |  | T12 | 17 |  | T18 | 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 | 6894 | 1 |  |  | T1 | 6 |  | T12 | 34 |  | T18 | 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] | 177028 | 1 |  |  | T1 | 109 |  | T12 | 276 |  | T18 | 458 | 
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 | 90277 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 65435 | 1 |  |  | T1 | 108 |  | T12 | 270 |  | T18 | 454 | 
| seven_bytes | 3045 | 1 |  |  | T27 | 18 |  | T24 | 47 |  | T28 | 45 | 
| six_bytes | 3102 | 1 |  |  | T27 | 23 |  | T24 | 39 |  | T28 | 55 | 
| five_bytes | 3013 | 1 |  |  | T27 | 18 |  | T24 | 35 |  | T28 | 46 | 
| four_bytes | 3032 | 1 |  |  | T27 | 16 |  | T24 | 42 |  | T28 | 62 | 
| three_bytes | 3059 | 1 |  |  | T27 | 19 |  | T24 | 30 |  | T28 | 56 | 
| two_bytes | 3125 | 1 |  |  | T27 | 20 |  | T24 | 41 |  | T28 | 49 | 
| one_byte | 2940 | 1 |  |  | T27 | 12 |  | T24 | 37 |  | T28 | 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] | 173526 | 1 |  |  | T1 | 107 |  | T12 | 264 |  | T18 | 450 | 
| auto[1] | 3502 | 1 |  |  | T1 | 2 |  | T12 | 12 |  | T18 | 8 | 
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] | 177028 | 1 |  |  | T1 | 109 |  | T12 | 276 |  | T18 | 458 | 
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] | 177017 | 1 |  |  | T1 | 109 |  | T12 | 276 |  | T18 | 458 | 
| auto[1] | 11 | 1 |  |  | T51 | 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 | 1237 | 1 |  |  | T1 | 1 |  | T12 | 6 |  | T18 | 4 | 
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 | 3502 | 1 |  |  | T1 | 2 |  | T12 | 12 |  | T18 | 8 | 
 
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] | 178606 | 1 |  |  | T12 | 654 |  | T18 | 271 |  | T47 | 89 | 
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 | 88791 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 68935 | 1 |  |  | T12 | 646 |  | T18 | 267 |  | T47 | 88 | 
| seven_bytes | 2901 | 1 |  |  | T27 | 1 |  | T24 | 34 |  | T28 | 60 | 
| six_bytes | 3081 | 1 |  |  | T27 | 1 |  | T24 | 39 |  | T28 | 53 | 
| five_bytes | 2958 | 1 |  |  | T24 | 24 |  | T28 | 42 |  | T41 | 33 | 
| four_bytes | 3041 | 1 |  |  | T27 | 2 |  | T24 | 32 |  | T28 | 45 | 
| three_bytes | 2968 | 1 |  |  | T24 | 28 |  | T28 | 54 |  | T41 | 36 | 
| two_bytes | 2943 | 1 |  |  | T27 | 1 |  | T24 | 28 |  | T28 | 45 | 
| one_byte | 2988 | 1 |  |  | T27 | 3 |  | T24 | 41 |  | T28 | 53 | 
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] | 175107 | 1 |  |  | T12 | 638 |  | T18 | 263 |  | T47 | 87 | 
| auto[1] | 3499 | 1 |  |  | T12 | 16 |  | T18 | 8 |  | T47 | 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] | 178606 | 1 |  |  | T12 | 654 |  | T18 | 271 |  | T47 | 89 | 
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] | 178598 | 1 |  |  | T12 | 654 |  | T18 | 271 |  | T47 | 89 | 
| auto[1] | 8 | 1 |  |  | T25 | 1 |  | T51 | 2 |  | 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 | 1263 | 1 |  |  | T12 | 8 |  | T18 | 4 |  | T47 | 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 | 3499 | 1 |  |  | T12 | 16 |  | T18 | 8 |  | T47 | 2 |