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] | 336891 | 1 |  |  | T2 | 2180 |  | T12 | 291 |  | T13 | 1419 | 
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 | 170434 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 126003 | 1 |  |  | T2 | 2144 |  | T12 | 285 |  | T13 | 1391 | 
| seven_bytes | 5813 | 1 |  |  | T18 | 91 |  | T27 | 17 |  | T25 | 36 | 
| six_bytes | 5840 | 1 |  |  | T18 | 97 |  | T27 | 26 |  | T25 | 49 | 
| five_bytes | 5759 | 1 |  |  | T18 | 74 |  | T27 | 16 |  | T25 | 32 | 
| four_bytes | 5759 | 1 |  |  | T18 | 80 |  | T27 | 9 |  | T25 | 38 | 
| three_bytes | 5854 | 1 |  |  | T18 | 90 |  | T27 | 15 |  | T25 | 38 | 
| two_bytes | 5780 | 1 |  |  | T18 | 99 |  | T27 | 19 |  | T25 | 45 | 
| one_byte | 5649 | 1 |  |  | T18 | 83 |  | T27 | 17 |  | T25 | 38 | 
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] | 330308 | 1 |  |  | T2 | 2108 |  | T12 | 279 |  | T13 | 1363 | 
| auto[1] | 6583 | 1 |  |  | T2 | 72 |  | T12 | 12 |  | T13 | 56 | 
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] | 336891 | 1 |  |  | T2 | 2180 |  | T12 | 291 |  | T13 | 1419 | 
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] | 336864 | 1 |  |  | T2 | 2180 |  | T12 | 291 |  | T13 | 1418 | 
| auto[1] | 27 | 1 |  |  | T13 | 1 |  | T158 | 1 |  | T102 | 2 | 
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 | 2354 | 1 |  |  | T2 | 36 |  | T12 | 6 |  | T13 | 28 | 
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 | 6583 | 1 |  |  | T2 | 72 |  | T12 | 12 |  | T13 | 56 | 
 
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] | 171989 | 1 |  |  | T2 | 1048 |  | T12 | 365 |  | T13 | 1616 | 
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 | 87404 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 63854 | 1 |  |  | T2 | 1027 |  | T12 | 360 |  | T13 | 1599 | 
| seven_bytes | 2971 | 1 |  |  | T18 | 57 |  | T27 | 11 |  | T25 | 48 | 
| six_bytes | 3025 | 1 |  |  | T18 | 68 |  | T27 | 7 |  | T25 | 49 | 
| five_bytes | 3027 | 1 |  |  | T18 | 58 |  | T27 | 11 |  | T25 | 47 | 
| four_bytes | 2921 | 1 |  |  | T18 | 67 |  | T27 | 9 |  | T25 | 55 | 
| three_bytes | 2919 | 1 |  |  | T18 | 55 |  | T27 | 8 |  | T25 | 50 | 
| two_bytes | 2925 | 1 |  |  | T18 | 60 |  | T27 | 16 |  | T25 | 53 | 
| one_byte | 2943 | 1 |  |  | T18 | 49 |  | T27 | 9 |  | T25 | 52 | 
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] | 168647 | 1 |  |  | T2 | 1006 |  | T12 | 355 |  | T13 | 1582 | 
| auto[1] | 3342 | 1 |  |  | T2 | 42 |  | T12 | 10 |  | T13 | 34 | 
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] | 171989 | 1 |  |  | T2 | 1048 |  | T12 | 365 |  | T13 | 1616 | 
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] | 171979 | 1 |  |  | T2 | 1048 |  | T12 | 365 |  | T13 | 1616 | 
| auto[1] | 10 | 1 |  |  | T40 | 1 |  | T159 | 1 |  | T160 | 2 | 
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 | 1183 | 1 |  |  | T2 | 21 |  | T12 | 5 |  | T13 | 17 | 
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 | 3342 | 1 |  |  | T2 | 42 |  | T12 | 10 |  | T13 | 34 | 
 
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] | 175044 | 1 |  |  | T2 | 819 |  | T12 | 288 |  | T13 | 998 | 
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 | 86517 | Excluded | 
Covered bins
| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| full_data_beat | 67860 | 1 |  |  | T2 | 808 |  | T12 | 283 |  | T13 | 983 | 
| seven_bytes | 3028 | 1 |  |  | T18 | 47 |  | T27 | 6 |  | T25 | 32 | 
| six_bytes | 2888 | 1 |  |  | T18 | 50 |  | T27 | 6 |  | T25 | 37 | 
| five_bytes | 2994 | 1 |  |  | T18 | 67 |  | T27 | 7 |  | T25 | 26 | 
| four_bytes | 2891 | 1 |  |  | T18 | 73 |  | T27 | 14 |  | T25 | 30 | 
| three_bytes | 2954 | 1 |  |  | T18 | 71 |  | T27 | 8 |  | T25 | 27 | 
| two_bytes | 2946 | 1 |  |  | T18 | 62 |  | T27 | 11 |  | T25 | 32 | 
| one_byte | 2966 | 1 |  |  | T18 | 63 |  | T27 | 10 |  | T25 | 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] | 171602 | 1 |  |  | T2 | 797 |  | T12 | 278 |  | T13 | 968 | 
| auto[1] | 3442 | 1 |  |  | T2 | 22 |  | T12 | 10 |  | T13 | 30 | 
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] | 175044 | 1 |  |  | T2 | 819 |  | T12 | 288 |  | T13 | 998 | 
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] | 175031 | 1 |  |  | T2 | 819 |  | T12 | 288 |  | T13 | 998 | 
| auto[1] | 13 | 1 |  |  | T22 | 1 |  | T75 | 1 |  | T102 | 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 | 1239 | 1 |  |  | T2 | 11 |  | T12 | 5 |  | T13 | 15 | 
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 | 3442 | 1 |  |  | T2 | 22 |  | T12 | 10 |  | T13 | 30 |