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 | 7,679 of 7,679 | 0% | 446 of 446 | 0% | 312 | 312 | 78 | 78 |
| verify_picnic3(Signature2, int[], int[], byte[]) | 0% | 0% | 19 | 19 | 1 | 1 | ||
| sign_picnic3(int[], int[], int[], byte[], Signature2) | 0% | 0% | 11 | 11 | 1 | 1 | ||
| PicnicEngine(int, LowmcConstants) | 0% | 0% | 27 | 27 | 1 | 1 | ||
| sign_picnic1(int[], int[], int[], byte[], Signature) | 0% | 0% | 9 | 9 | 1 | 1 | ||
| deserializeSignature2(Signature2, byte[], int, int) | 0% | 0% | 11 | 11 | 1 | 1 | ||
| verify(Signature, int[], int[], byte[]) | 0% | 0% | 6 | 6 | 1 | 1 | ||
| deserializeSignature(Signature, byte[], int, int) | 0% | 0% | 12 | 12 | 1 | 1 | ||
| verifyProof(Signature.Proof, View, View, int, byte[], int, byte[], int[], Tape) | 0% | 0% | 14 | 14 | 1 | 1 | ||
| serializeSignature2(Signature2, byte[], int) | 0% | 0% | 8 | 8 | 1 | 1 | ||
| serializeSignature(Signature, byte[], int) | 0% | 0% | 8 | 8 | 1 | 1 | ||
| implH3(int[], int[], byte[][][], byte[], byte[], byte[], byte[][][]) | 0% | 0% | 14 | 14 | 1 | 1 | ||
| picnic_sign(byte[], byte[], byte[]) | 0% | 0% | 7 | 7 | 1 | 1 | ||
| prove(Signature.Proof, int, byte[], int, View[], byte[][], byte[][]) | 0% | 0% | 8 | 8 | 1 | 1 | ||
| mpc_LowMC(Tape, View[], int[], int[]) | 0% | 0% | 5 | 5 | 1 | 1 | ||
| mpc_substitution_verify(int[], Tape, View, View) | 0% | 0% | 4 | 4 | 1 | 1 | ||
| mpc_LowMC_verify(View, View, Tape, int[], int[], int) | 0% | 0% | 2 | 2 | 1 | 1 | ||
| mpc_substitution(int[], Tape, View[]) | 0% | 0% | 4 | 4 | 1 | 1 | ||
| mpc_AND(int[], int[], int[], Tape, View[]) | 0% | n/a | 1 | 1 | 1 | 1 | ||
| expandChallengeHash(byte[], int[], int[]) | 0% | 0% | 9 | 9 | 1 | 1 | ||
| matrix_mul_offset(int[], int, int[], int, int[], int) | 0% | 0% | 4 | 4 | 1 | 1 | ||
| simulateOnline(int[], Tape, int[], Msg, int[], int[]) | 0% | 0% | 3 | 3 | 1 | 1 | ||
| mpc_sbox(int[], int[], Tape, Msg) | 0% | 0% | 2 | 2 | 1 | 1 | ||
| countNonZeroChallenges(byte[], int) | 0% | 0% | 4 | 4 | 1 | 1 | ||
| LowMCEnc(int[], int[], int[]) | 0% | 0% | 3 | 3 | 1 | 1 | ||
| aux_mpc_sbox(int[], int[], Tape) | 0% | 0% | 2 | 2 | 1 | 1 | ||
| picnic_verify(byte[], byte[], byte[], int) | 0% | 0% | 4 | 4 | 1 | 1 | ||
| mpc_AND_verify(int[], int[], int[], Tape, View, View) | 0% | n/a | 1 | 1 | 1 | 1 | ||
| G(int, byte[], int, View, byte[]) | 0% | 0% | 2 | 2 | 1 | 1 | ||
| createRandomTape(byte[], int, byte[], int, int, byte[], int) | 0% | 0% | 2 | 2 | 1 | 1 | ||
| HCP(byte[], int[], int[], byte[][], byte[], byte[], int[], int[], byte[]) | 0% | 0% | 4 | 4 | 1 | 1 | ||
| Commit(byte[], int, View, byte[]) | 0% | n/a | 1 | 1 | 1 | 1 | ||
| substitution(int[]) | 0% | 0% | 2 | 2 | 1 | 1 | ||
| computeSeeds(int[], int[], int[], byte[]) | 0% | n/a | 1 | 1 | 1 | 1 | ||
| picnic_keygen(byte[], byte[], byte[], SecureRandom) | 0% | n/a | 1 | 1 | 1 | 1 | ||
| picnic_read_public_key(int[], int[], byte[]) | 0% | 0% | 2 | 2 | 1 | 1 | ||
| createRandomTapes(Tape, byte[][], int, byte[], int) | 0% | 0% | 2 | 2 | 1 | 1 | ||
| picnic_write_private_key(byte[], byte[], byte[], byte[]) | 0% | 0% | 2 | 2 | 1 | 1 | ||
| H3(int[], int[], View[][], byte[][][], byte[], byte[], byte[], byte[][][]) | 0% | 0% | 3 | 3 | 1 | 1 | ||
| H3(int[], int[], int[][][], byte[][][], byte[], byte[], byte[], byte[][][]) | 0% | 0% | 3 | 3 | 1 | 1 | ||
| bitsToChunks(int, byte[], int, int[]) | 0% | 0% | 4 | 4 | 1 | 1 | ||
| commit(byte[], byte[], byte[], byte[], int, int) | 0% | 0% | 2 | 2 | 1 | 1 | ||
| mpc_AND(int, int, int, int, Tape, Msg) | 0% | 0% | 2 | 2 | 1 | 1 | ||
| aux_mpc_AND(int, int, int, Tape) | 0% | n/a | 1 | 1 | 1 | 1 | ||
| getAuxBits(byte[], Tape) | 0% | 0% | 3 | 3 | 1 | 1 | ||
| computeSaltAndRootSeed(byte[], int[], int[], int[], byte[]) | 0% | n/a | 1 | 1 | 1 | 1 | ||
| mpc_xor_constant_verify(int[], int[], int, int, int) | 0% | 0% | 4 | 4 | 1 | 1 | ||
| picnic_write_public_key(byte[], byte[], byte[]) | 0% | 0% | 2 | 2 | 1 | 1 | ||
| crypto_sign_keypair(byte[], byte[], SecureRandom) | 0% | n/a | 1 | 1 | 1 | 1 | ||
| commit_v(byte[], byte[], Msg) | 0% | 0% | 2 | 2 | 1 | 1 | ||
| crypto_sign_open(byte[], byte[], byte[]) | 0% | 0% | 2 | 2 | 1 | 1 | ||
| getMissingLeavesList(int[]) | 0% | 0% | 3 | 3 | 1 | 1 | ||
| appendUnique(int[], int, int) | 0% | 0% | 4 | 4 | 1 | 1 | ||
| subarrayEquals(byte[], byte[], int) | 0% | 0% | 5 | 5 | 1 | 1 | ||
| subarrayEquals(int[], int[], int) | 0% | 0% | 5 | 5 | 1 | 1 | ||
| wordToMsgs(int, Msg) | 0% | 0% | 2 | 2 | 1 | 1 | ||
| mpc_xor(int[], int[], int) | 0% | 0% | 2 | 2 | 1 | 1 | ||
| mpc_matrix_mul(int[], int, int[], int, int[], int, int) | 0% | 0% | 2 | 2 | 1 | 1 | ||
| commit_h(byte[], byte[][]) | 0% | 0% | 2 | 2 | 1 | 1 | ||
| arePaddingBitsZero(int[], int) | 0% | 0% | 3 | 3 | 1 | 1 | ||
| setChallenge(byte[], int, int) | 0% | n/a | 1 | 1 | 1 | 1 | ||
| xor_three(int[], int[], int[], int[]) | 0% | 0% | 2 | 2 | 1 | 1 | ||
| arePaddingBitsZero(byte[], int) | 0% | 0% | 3 | 3 | 1 | 1 | ||
| mpc_xor_constant(int[], int, int[], int, int) | 0% | 0% | 2 | 2 | 1 | 1 | ||
| xor_array(int[], int[], int[], int) | 0% | 0% | 2 | 2 | 1 | 1 | ||
| crypto_sign(byte[], byte[], byte[]) | 0% | 0% | 2 | 2 | 1 | 1 | ||
| indexOf(int[], int, int) | 0% | 0% | 3 | 3 | 1 | 1 | ||
| contains(int[], int, int) | 0% | 0% | 3 | 3 | 1 | 1 | ||
| tapesToWords(int[], Tape) | 0% | 0% | 2 | 2 | 1 | 1 | ||
| is_picnic3(int) | 0% | 0% | 4 | 4 | 1 | 1 | ||
| updateDigest(int[], byte[]) | 0% | n/a | 1 | 1 | 1 | 1 | ||
| matrix_mul(int[], int[], int[], int) | 0% | n/a | 1 | 1 | 1 | 1 | ||
| extend(int) | 0% | n/a | 1 | 1 | 1 | 1 | ||
| getSignatureSize(int) | 0% | n/a | 1 | 1 | 1 | 1 | ||
| static {...} | 0% | n/a | 1 | 1 | 1 | 1 | ||
| getChallenge(byte[], int) | 0% | n/a | 1 | 1 | 1 | 1 | ||
| getSecretKeySize() | 0% | n/a | 1 | 1 | 1 | 1 | ||
| getPublicKeySize() | 0% | n/a | 1 | 1 | 1 | 1 | ||
| getTrueSignatureSize() | 0% | n/a | 1 | 1 | 1 | 1 |