Class files must be compiled with debug information to show line coverage.
Class files must be compiled with debug information to link with source files.
| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Methods |
| Total | 628 of 628 | 0% | 6 of 6 | 0% | 15 | 15 | 12 | 12 |
| H_msg(byte[], byte[], byte[], byte[], byte[]) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| SLHDSAEngine.Sha2Engine(int, int, int, int, int, int) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| init(byte[]) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| H(byte[], ADRS, byte[], byte[]) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| PRF_msg(byte[], byte[], byte[], byte[]) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| PRF(byte[], byte[], ADRS) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| F(byte[], ADRS, byte[]) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| T_l(byte[], ADRS, byte[]) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| bitmask(byte[], byte[], byte[]) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| compressedADRS(ADRS) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| bitmask256(byte[], byte[]) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| bitmask(byte[], byte[]) | | 0% | n/a | 1 | 1 | 1 | 1 |