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 | 451 of 451 | 0% | 4 of 4 | 0% | 12 | 12 | 10 | 10 |
| H_msg(byte[], byte[], byte[], byte[], byte[]) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| bitmask(byte[], ADRS, byte[], 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 |
| F(byte[], ADRS, byte[]) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| T_l(byte[], ADRS, byte[]) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| PRF(byte[], byte[], ADRS) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| bitmask(byte[], ADRS, byte[]) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| SLHDSAEngine.Shake256Engine(int, int, int, int, int, int) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| init(byte[]) | 0% | n/a | 1 | 1 | 1 | 1 |