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 | 1,466 of 1,466 | 0% | 42 of 42 | 0% | 33 | 33 | 11 | 11 |
| aesVerifier128(byte[], byte[], byte[][], byte[], byte[], byte[], byte[], byte[], byte[], FaestParameters) | | 0% | | 0% | 3 | 3 | 1 | 1 |
| aesVerifier192(byte[], byte[], byte[][], byte[], byte[], byte[], byte[], byte[], byte[], FaestParameters) | | 0% | | 0% | 3 | 3 | 1 | 1 |
| aesVerifier256(byte[], byte[], byte[][], byte[], byte[], byte[], byte[], byte[], byte[], FaestParameters) | | 0% | | 0% | 3 | 3 | 1 | 1 |
| aesProver128(byte[], byte[], byte[], byte[], byte[], byte[][], byte[], byte[], byte[], FaestParameters) | | 0% | | 0% | 3 | 3 | 1 | 1 |
| aesProver192(byte[], byte[], byte[], byte[], byte[], byte[][], byte[], byte[], byte[], FaestParameters) | | 0% | | 0% | 3 | 3 | 1 | 1 |
| aesProver256(byte[], byte[], byte[], byte[], byte[], byte[][], byte[], byte[], byte[], FaestParameters) | | 0% | | 0% | 3 | 3 | 1 | 1 |
| columnToRowMajorAndShrinkV128(long[], byte[][], int) | | 0% | | 0% | 3 | 3 | 1 | 1 |
| columnToRowMajorAndShrinkV192(long[], byte[][], int) | | 0% | | 0% | 3 | 3 | 1 | 1 |
| columnToRowMajorAndShrinkV256(long[], byte[][], int) | | 0% | | 0% | 3 | 3 | 1 | 1 |
| aesVerify(byte[], byte[][], byte[], byte[], byte[], byte[], byte[], byte[], FaestParameters) | | 0% | | 0% | 3 | 3 | 1 | 1 |
| aesProve(byte[], byte[], byte[], byte[], byte[], byte[][], byte[], byte[], byte[], FaestParameters) | | 0% | | 0% | 3 | 3 | 1 | 1 |