SPHINCSPlusEngine.HarakaSEngine

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.

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedMethods
Total435 of 4350%8 of 80%131399
H_msg(byte[], byte[], byte[], byte[])1270%n/a1111
F(byte[], ADRS, byte[])740%40%3311
H(byte[], ADRS, byte[], byte[])570%n/a1111
bitmask(ADRS, byte[])460%40%3311
T_l(byte[], ADRS, byte[])350%n/a1111
PRF_msg(byte[], byte[], byte[])350%n/a1111
PRF(byte[], byte[], ADRS)300%n/a1111
init(byte[])210%n/a1111
SPHINCSPlusEngine.HarakaSEngine(boolean, int, int, int, int, int, int)100%n/a1111