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] | 334824 | 1 |  |  | T1 | 791 |  | T2 | 2493 |  | T13 | 884 | 
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 | 174523 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 118792 | 1 |  |  | T1 | 23 |  | T2 | 62 |  | T13 | 33 | 
| seven_bytes | 5874 | 1 |  |  | T1 | 21 |  | T2 | 65 |  | T13 | 19 | 
| six_bytes | 5992 | 1 |  |  | T1 | 21 |  | T2 | 64 |  | T13 | 20 | 
| five_bytes | 6039 | 1 |  |  | T1 | 24 |  | T2 | 67 |  | T13 | 25 | 
| four_bytes | 5922 | 1 |  |  | T1 | 21 |  | T2 | 59 |  | T13 | 21 | 
| three_bytes | 5956 | 1 |  |  | T1 | 21 |  | T2 | 59 |  | T13 | 19 | 
| two_bytes | 5697 | 1 |  |  | T1 | 25 |  | T2 | 58 |  | T13 | 25 | 
| one_byte | 6029 | 1 |  |  | T1 | 22 |  | T2 | 53 |  | T13 | 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] | 328508 | 1 |  |  | T1 | 779 |  | T2 | 2463 |  | T13 | 870 | 
| auto[1] | 6316 | 1 |  |  | T1 | 12 |  | T2 | 30 |  | T13 | 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] | 334824 | 1 |  |  | T1 | 791 |  | T2 | 2493 |  | T13 | 884 | 
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] | 334808 | 1 |  |  | T1 | 790 |  | T2 | 2493 |  | T13 | 883 | 
| auto[1] | 16 | 1 |  |  | T1 | 1 |  | T13 | 1 |  | T149 | 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 | 2154 | 1 |  |  | T1 | 1 |  | T2 | 2 |  | T13 | 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 | 6316 | 1 |  |  | T1 | 12 |  | T2 | 30 |  | T13 | 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] | 181620 | 1 |  |  | T1 | 586 |  | T2 | 2429 |  | T13 | 748 | 
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 | 100070 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 57774 | 1 |  |  | T1 | 18 |  | T2 | 51 |  | T13 | 19 | 
| seven_bytes | 3414 | 1 |  |  | T1 | 23 |  | T2 | 73 |  | T13 | 17 | 
| six_bytes | 3404 | 1 |  |  | T1 | 12 |  | T2 | 76 |  | T13 | 16 | 
| five_bytes | 3428 | 1 |  |  | T1 | 14 |  | T2 | 62 |  | T13 | 21 | 
| four_bytes | 3365 | 1 |  |  | T1 | 17 |  | T2 | 76 |  | T13 | 17 | 
| three_bytes | 3338 | 1 |  |  | T1 | 12 |  | T2 | 60 |  | T13 | 20 | 
| two_bytes | 3423 | 1 |  |  | T1 | 19 |  | T2 | 65 |  | T13 | 11 | 
| one_byte | 3404 | 1 |  |  | T1 | 7 |  | T2 | 61 |  | T13 | 26 | 
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] | 178340 | 1 |  |  | T1 | 578 |  | T2 | 2399 |  | T13 | 740 | 
| auto[1] | 3280 | 1 |  |  | T1 | 8 |  | T2 | 30 |  | T13 | 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] | 181620 | 1 |  |  | T1 | 586 |  | T2 | 2429 |  | T13 | 748 | 
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] | 181609 | 1 |  |  | T1 | 586 |  | T2 | 2428 |  | T13 | 748 | 
| auto[1] | 11 | 1 |  |  | T2 | 1 |  | T150 | 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 | 1103 | 1 |  |  | T1 | 1 |  | T2 | 3 |  | T13 | 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 | 3280 | 1 |  |  | T1 | 8 |  | T2 | 30 |  | T13 | 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] | 171260 | 1 |  |  | T1 | 308 |  | T2 | 539 |  | T13 | 1079 | 
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 | 89231 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 60886 | 1 |  |  | T1 | 3 |  | T2 | 9 |  | T13 | 30 | 
| seven_bytes | 2966 | 1 |  |  | T1 | 9 |  | T2 | 27 |  | T13 | 31 | 
| six_bytes | 3103 | 1 |  |  | T1 | 9 |  | T2 | 16 |  | T13 | 26 | 
| five_bytes | 3012 | 1 |  |  | T1 | 8 |  | T2 | 11 |  | T13 | 27 | 
| four_bytes | 3022 | 1 |  |  | T1 | 10 |  | T2 | 15 |  | T13 | 32 | 
| three_bytes | 2993 | 1 |  |  | T1 | 8 |  | T2 | 15 |  | T13 | 30 | 
| two_bytes | 3006 | 1 |  |  | T1 | 14 |  | T2 | 12 |  | T13 | 32 | 
| one_byte | 3041 | 1 |  |  | T1 | 14 |  | T2 | 14 |  | T13 | 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] | 167962 | 1 |  |  | T1 | 304 |  | T2 | 527 |  | T13 | 1063 | 
| auto[1] | 3298 | 1 |  |  | T1 | 4 |  | T2 | 12 |  | T13 | 16 | 
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] | 171260 | 1 |  |  | T1 | 308 |  | T2 | 539 |  | T13 | 1079 | 
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] | 171247 | 1 |  |  | T1 | 308 |  | T2 | 539 |  | T13 | 1078 | 
| auto[1] | 13 | 1 |  |  | T13 | 1 |  | T152 | 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 | 1147 | 1 |  |  | T1 | 2 |  | T2 | 2 |  | T23 | 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 | 3298 | 1 |  |  | T1 | 4 |  | T2 | 12 |  | T13 | 16 |