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 | 8,071 of 8,071 | 0% | 308 of 308 | 0% | 266 | 266 | 112 | 112 |
| xtime128(byte[], long[], byte[], long[], int) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| xtime192(byte[], long[], byte[], long[], int) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| xtime256(byte[], long[], byte[], long[], int) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| bitwiseMixColumnVerifier128(long[], long[], int) | | 0% | | 0% | 5 | 5 | 1 | 1 |
| bitwiseMixColumnVerifier192(long[], long[], int) | | 0% | | 0% | 5 | 5 | 1 | 1 |
| bitwiseMixColumnVerifier256(long[], long[], int) | | 0% | | 0% | 5 | 5 | 1 | 1 |
| invNormToConjugatesProver128(long[], long[], byte[], long[]) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| invNormToConjugatesProver192(long[], long[], byte[], long[]) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| invNormToConjugatesProver256(long[], long[], byte[], long[]) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| mixColumnsProver128(long[], long[], long[], long[], long[], long[], boolean, int) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| mixColumnsProver192(long[], long[], long[], long[], long[], long[], boolean, int) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| mixColumnsProver256(long[], long[], long[], long[], long[], long[], boolean, int) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| mixColumnsCoeffs128(long[], long[], long[], boolean) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| mixColumnsCoeffs192(long[], long[], long[], boolean) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| mixColumnsCoeffs256(long[], long[], long[], boolean) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| bitwiseMixColumnProver128(byte[], long[], byte[], long[], int) | | 0% | | 0% | 4 | 4 | 1 | 1 |
| bitwiseMixColumnProver192(byte[], long[], byte[], long[], int) | | 0% | | 0% | 4 | 4 | 1 | 1 |
| bitwiseMixColumnProver256(byte[], long[], byte[], long[], int) | | 0% | | 0% | 4 | 4 | 1 | 1 |
| invNormConstraintsProver128(long[], int, long[], int, long[], int, long[], long[], long[], long[], long[], long[]) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| invNormConstraintsProver192(long[], int, long[], int, long[], int, long[], long[], long[], long[], long[], long[]) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| invNormConstraintsProver256(long[], int, long[], int, long[], int, long[], long[], long[], long[], long[], long[]) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| sboxAffineProver128(long[], long[], long[], long[], long[], long[], boolean, int) | | 0% | | 0% | 4 | 4 | 1 | 1 |
| sboxAffineProver192(long[], long[], long[], long[], long[], long[], boolean, int) | | 0% | | 0% | 4 | 4 | 1 | 1 |
| sboxAffineProver256(long[], long[], long[], long[], long[], long[], boolean, int) | | 0% | | 0% | 4 | 4 | 1 | 1 |
| invNormToConjugatesVerifier128(long[], long[]) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| invNormToConjugatesVerifier192(long[], long[]) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| invNormToConjugatesVerifier256(long[], long[]) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| bitwiseMixRowBit128(byte[], long[], int, int, byte[], long[], byte[], long[], int, int, int, int, int) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| bitwiseMixRowBit192(byte[], long[], int, int, byte[], long[], byte[], long[], int, int, int, int, int) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| bitwiseMixRowBit256(byte[], long[], int, int, byte[], long[], byte[], long[], int, int, int, int, int) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| sboxAffineVerifier128(long[], long[], long[], boolean, int) | | 0% | | 0% | 4 | 4 | 1 | 1 |
| sboxAffineVerifier192(long[], long[], long[], boolean, int) | | 0% | | 0% | 4 | 4 | 1 | 1 |
| sboxAffineVerifier256(long[], long[], long[], boolean, int) | | 0% | | 0% | 4 | 4 | 1 | 1 |
| inverseAffineByteProver128(byte[], int, long[], int, byte[], int, long[], int) | | 0% | | 0% | 4 | 4 | 1 | 1 |
| inverseAffineByteProver192(byte[], int, long[], int, byte[], int, long[], int) | | 0% | | 0% | 4 | 4 | 1 | 1 |
| inverseAffineByteProver256(byte[], int, long[], int, byte[], int, long[], int) | | 0% | | 0% | 4 | 4 | 1 | 1 |
| static {...} | | 0% | n/a | 1 | 1 | 1 | 1 | |
| mixColumnsVerifier128(long[], long[], boolean, int) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| mixColumnsVerifier192(long[], long[], boolean, int) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| mixColumnsVerifier256(long[], long[], boolean, int) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| inverseAffineByteVerifier128(long[], int, long[], int, long[]) | | 0% | | 0% | 4 | 4 | 1 | 1 |
| inverseAffineByteVerifier192(long[], int, long[], int, long[]) | | 0% | | 0% | 4 | 4 | 1 | 1 |
| inverseAffineByteVerifier256(long[], int, long[], int, long[]) | | 0% | | 0% | 4 | 4 | 1 | 1 |
| f256F2ConjugatesLambda_128(long[], long[], int) | | 0% | | 0% | 3 | 3 | 1 | 1 |
| f256F2ConjugatesLambda_192(long[], long[], int) | | 0% | | 0% | 3 | 3 | 1 | 1 |
| f256F2ConjugatesLambda_256(long[], long[], int) | | 0% | | 0% | 3 | 3 | 1 | 1 |
| bitwiseMixRowKey128(long[], int, int, long[], long[], int, int, int, int, int) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| bitwiseMixRowKey192(long[], int, int, long[], long[], int, int, int, int, int) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| bitwiseMixRowKey256(long[], int, int, long[], long[], int, int, int, int, int) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| f256F2Conjugates1_128(long[], byte[], int) | | 0% | | 0% | 3 | 3 | 1 | 1 |
| f256F2Conjugates1_192(long[], byte[], int) | | 0% | | 0% | 3 | 3 | 1 | 1 |
| f256F2Conjugates1_256(long[], byte[], int) | | 0% | | 0% | 3 | 3 | 1 | 1 |
| mixRow128(long[], int, long[], int, long[], long[], long[], long[]) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| mixRow192(long[], int, long[], int, long[], long[], long[], long[]) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| mixRow256(long[], int, long[], int, long[], long[], long[], long[]) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| shiftRowsProver128(long[], long[], long[], long[], long[], long[], int) | | 0% | | 0% | 3 | 3 | 1 | 1 |
| shiftRowsProver192(long[], long[], long[], long[], long[], long[], int) | | 0% | | 0% | 3 | 3 | 1 | 1 |
| shiftRowsProver256(long[], long[], long[], long[], long[], long[], int) | | 0% | | 0% | 3 | 3 | 1 | 1 |
| inverseShiftRowsProver128(byte[], long[], byte[], long[], int) | | 0% | | 0% | 3 | 3 | 1 | 1 |
| inverseShiftRowsProver192(byte[], long[], byte[], long[], int) | | 0% | | 0% | 3 | 3 | 1 | 1 |
| inverseShiftRowsProver256(byte[], long[], byte[], long[], int) | | 0% | | 0% | 3 | 3 | 1 | 1 |
| addRoundKeyBytesVerifier128(long[], long[], long[], long[], boolean, int) | | 0% | | 0% | 4 | 4 | 1 | 1 |
| addRoundKeyBytesVerifier192(long[], long[], long[], long[], boolean, int) | | 0% | | 0% | 4 | 4 | 1 | 1 |
| addRoundKeyBytesVerifier256(long[], long[], long[], long[], boolean, int) | | 0% | | 0% | 4 | 4 | 1 | 1 |
| inverseShiftRowsVerifier128(long[], long[], int) | | 0% | | 0% | 3 | 3 | 1 | 1 |
| inverseShiftRowsVerifier192(long[], long[], int) | | 0% | | 0% | 3 | 3 | 1 | 1 |
| inverseShiftRowsVerifier256(long[], long[], int) | | 0% | | 0% | 3 | 3 | 1 | 1 |
| sboxAffineConstants128(long[], boolean) | | 0% | | 0% | 4 | 4 | 1 | 1 |
| sboxAffineConstants192(long[], boolean) | | 0% | | 0% | 4 | 4 | 1 | 1 |
| sboxAffineConstants256(long[], boolean) | | 0% | | 0% | 4 | 4 | 1 | 1 |
| addRoundKeyProver128(byte[], long[], byte[], long[], byte[], long[], int) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| addRoundKeyProver192(byte[], long[], byte[], long[], byte[], long[], int) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| addRoundKeyProver256(byte[], long[], byte[], long[], byte[], long[], int) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| addRoundKeyBytesProver128(long[], long[], long[], long[], long[], long[], long[], long[], long[], int) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| addRoundKeyBytesProver192(long[], long[], long[], long[], long[], long[], long[], long[], long[], int) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| addRoundKeyBytesProver256(long[], long[], long[], long[], long[], long[], long[], long[], long[], int) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| shiftRowsVerifier128(long[], long[], int) | | 0% | | 0% | 3 | 3 | 1 | 1 |
| shiftRowsVerifier192(long[], long[], int) | | 0% | | 0% | 3 | 3 | 1 | 1 |
| shiftRowsVerifier256(long[], long[], int) | | 0% | | 0% | 3 | 3 | 1 | 1 |
| inverseAffineProver128(byte[], long[], byte[], long[], int) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| inverseAffineProver192(byte[], long[], byte[], long[], int) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| inverseAffineProver256(byte[], long[], byte[], long[], int) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| stateToBytesProver128(long[], long[], byte[], long[], int) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| stateToBytesProver192(long[], long[], byte[], long[], int) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| stateToBytesProver256(long[], long[], byte[], long[], int) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| constantToVoleVerifier128(long[], byte[], long[], int) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| constantToVoleVerifier192(long[], byte[], long[], int) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| constantToVoleVerifier256(long[], byte[], long[], int) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| invNormConstraintsVerifier128(long[], int, long[], long[], long[], long[]) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| invNormConstraintsVerifier192(long[], int, long[], long[], long[], long[]) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| invNormConstraintsVerifier256(long[], int, long[], long[], long[], long[]) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| inverseAffineVerifier128(long[], long[], long[], int) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| inverseAffineVerifier192(long[], long[], long[], int) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| inverseAffineVerifier256(long[], long[], long[], int) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| addRoundKeyVerifier128(long[], long[], long[], int) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| addRoundKeyVerifier192(long[], long[], long[], int) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| addRoundKeyVerifier256(long[], long[], long[], int) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| inverseShiftRowsSrc(int, int, int) | | 0% | | 0% | 3 | 3 | 1 | 1 |
| stateToBytesVerifier128(long[], long[], int) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| stateToBytesVerifier192(long[], long[], int) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| stateToBytesVerifier256(long[], long[], int) | | 0% | | 0% | 2 | 2 | 1 | 1 |
| shiftRowsSrc(int, int, int) | | 0% | | 0% | 3 | 3 | 1 | 1 |
| deg2to3Prover128(long[], int, long[], int, long[], int, long[], int) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| deg2to3Prover192(long[], int, long[], int, long[], int, long[], int) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| deg2to3Prover256(long[], int, long[], int, long[], int, long[], int) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| constantToVoleProver128(long[], int) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| constantToVoleProver192(long[], int) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| constantToVoleProver256(long[], int) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| deg2to3Verifier128(long[], int, long[], int, long[], int) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| deg2to3Verifier192(long[], int, long[], int, long[], int) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| deg2to3Verifier256(long[], int, long[], int, long[], int) | | 0% | n/a | 1 | 1 | 1 | 1 | |
| invAffineSrc(int, int) | | 0% | n/a | 1 | 1 | 1 | 1 |