Summary for Variable cmd
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
| Automatically Generated Bins |
4 |
0 |
4 |
100.00 |
Automatically Generated Bins for cmd
Excluded/Illegal bins
| NAME | COUNT | STATUS |
| auto[CmdNone] |
0 |
Excluded |
| ignore |
0 |
Excluded |
Covered bins
| NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
| auto[CmdStart] |
544 |
1 |
|
|
T14 |
12 |
|
T95 |
1 |
|
T80 |
11 |
| auto[CmdProcess] |
77 |
1 |
|
|
T14 |
3 |
|
T80 |
1 |
|
T73 |
1 |
| auto[CmdManualRun] |
286 |
1 |
|
|
T14 |
10 |
|
T80 |
2 |
|
T73 |
4 |
| auto[CmdDone] |
1097 |
1 |
|
|
T14 |
45 |
|
T95 |
7 |
|
T80 |
11 |
Summary for Variable kmac_err_code
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
| Automatically Generated Bins |
9 |
3 |
6 |
66.67 |
Automatically Generated Bins for kmac_err_code
Uncovered bins
| NAME | COUNT | AT LEAST | NUMBER | STATUS |
| auto[ErrFatalError] |
0 |
1 |
1 |
|
| auto[ErrPackerIntegrity] |
0 |
1 |
1 |
|
| auto[ErrMsgFifoIntegrity] |
0 |
1 |
1 |
|
Excluded/Illegal bins
| NAME | COUNT | STATUS |
| auto[ErrNone] |
0 |
Excluded |
| auto[ErrWaitTimerExpired] |
0 |
Illegal |
| auto[ErrIncorrectEntropyMode] |
0 |
Illegal |
| auto[ErrSwHashingWithoutEntropyReady] |
0 |
Illegal |
| auto[ErrShadowRegUpdate] |
0 |
Illegal |
| il |
0 |
Illegal |
| ignore |
0 |
Excluded |
Covered bins
| NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
| auto[ErrKeyNotValid] |
50 |
1 |
|
|
T13 |
1 |
|
T68 |
1 |
|
T69 |
1 |
| auto[ErrSwPushedMsgFifo] |
47 |
1 |
|
|
T14 |
5 |
|
T53 |
1 |
|
T9 |
1 |
| auto[ErrSwIssuedCmdInAppActive] |
37 |
1 |
|
|
T50 |
1 |
|
T73 |
3 |
|
T74 |
1 |
| auto[ErrUnexpectedModeStrength] |
489 |
1 |
|
|
T14 |
16 |
|
T95 |
3 |
|
T80 |
7 |
| auto[ErrIncorrectFunctionName] |
466 |
1 |
|
|
T14 |
11 |
|
T95 |
1 |
|
T80 |
8 |
| auto[ErrSwCmdSequence] |
985 |
1 |
|
|
T14 |
38 |
|
T95 |
4 |
|
T80 |
10 |
Summary for Variable mode
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
| Automatically Generated Bins |
3 |
0 |
3 |
100.00 |
Automatically Generated Bins for mode
Bins
| NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
| auto[Sha3] |
317 |
1 |
|
|
T14 |
16 |
|
T95 |
1 |
|
T80 |
1 |
| auto[Shake] |
307 |
1 |
|
|
T14 |
12 |
|
T95 |
3 |
|
T80 |
8 |
| auto[CShake] |
1400 |
1 |
|
|
T14 |
42 |
|
T95 |
4 |
|
T80 |
16 |
Summary for Variable strength
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT |
| Automatically Generated Bins |
5 |
0 |
5 |
100.00 |
Automatically Generated Bins for strength
Bins
| NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
| auto[L128] |
688 |
1 |
|
|
T14 |
28 |
|
T95 |
2 |
|
T80 |
11 |
| auto[L224] |
230 |
1 |
|
|
T14 |
9 |
|
T95 |
6 |
|
T80 |
2 |
| auto[L256] |
692 |
1 |
|
|
T13 |
1 |
|
T14 |
19 |
|
T80 |
4 |
| auto[L384] |
229 |
1 |
|
|
T14 |
4 |
|
T80 |
6 |
|
T50 |
4 |
| auto[L512] |
235 |
1 |
|
|
T14 |
10 |
|
T80 |
2 |
|
T50 |
7 |
Summary for Cross all_invalid_cmd_in_app_active
Samples crossed: kmac_err_code cmd
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING |
| User Defined Cross Bins |
1 |
0 |
1 |
100.00 |
|
User Defined Cross Bins for all_invalid_cmd_in_app_active
Excluded/Illegal bins
| NAME | COUNT | STATUS |
| ignore |
0 |
Excluded |
Covered bins
| NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
| invalid_cmds |
36 |
1 |
|
|
T50 |
1 |
|
T73 |
3 |
|
T74 |
1 |
Summary for Cross all_invalid_mode_strength_cfgs
Samples crossed: kmac_err_code mode strength
| CATEGORY | EXPECTED | UNCOVERED | COVERED | PERCENT | MISSING |
| User Defined Cross Bins |
7 |
0 |
7 |
100.00 |
|
User Defined Cross Bins for all_invalid_mode_strength_cfgs
Excluded/Illegal bins
| NAME | COUNT | STATUS |
| ignore |
0 |
Excluded |
Covered bins
| NAME | COUNT | AT LEAST | STATUS | | TEST | COUNT | | TEST | COUNT | | TEST | COUNT |
| sha3_128_cfgs |
142 |
1 |
|
|
T14 |
7 |
|
T95 |
1 |
|
T80 |
1 |
| shake_224_invalid_cfg |
30 |
1 |
|
|
T95 |
1 |
|
T80 |
1 |
|
T169 |
1 |
| shake_384_invalid_cfg |
26 |
1 |
|
|
T80 |
1 |
|
T50 |
1 |
|
T53 |
1 |
| shake_512_invalid_cfg |
23 |
1 |
|
|
T14 |
1 |
|
T50 |
2 |
|
T169 |
1 |
| cshake_224_invalid_cfg |
79 |
1 |
|
|
T14 |
3 |
|
T95 |
1 |
|
T80 |
1 |
| cshake_384_invalid_cfg |
94 |
1 |
|
|
T14 |
2 |
|
T80 |
1 |
|
T50 |
1 |
| cshake_512_invalid_cfg |
95 |
1 |
|
|
T14 |
3 |
|
T80 |
2 |
|
T50 |
1 |