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 | 407 of 407 | 0% | 4 of 4 | 0% | 11 | 11 | 9 | 9 |
| H_msg(byte[], byte[], byte[], byte[]) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| F(byte[], ADRS, byte[]) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| H(byte[], ADRS, byte[], byte[]) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| T_l(byte[], ADRS, byte[]) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| PRF_msg(byte[], byte[], byte[]) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| bitmask(ADRS, byte[]) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| PRF(byte[], byte[], ADRS) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| init(byte[]) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| SPHINCSPlusEngine.HarakaSEngine(boolean, int, int, int, int, int, int) | | 0% | n/a | 1 | 1 | 1 | 1 |