FalconVrfy

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
Total9,385 of 9,3850%58 of 580%49492020
FalconVrfy()8,2200%n/a1111
complete_private(byte[], int, byte[], int, byte[], int, byte[], int, int, short[], int)1850%140%8811
verify_recover(short[], int, short[], int, short[], int, short[], int, int, short[], int)1440%40%3311
mq_iNTT(short[], int, int)1380%100%6611
verify_raw(short[], int, short[], int, short[], int, int, short[], int)1010%40%3311
mq_NTT(short[], int, int)950%60%4411
mq_div_12289(int, int)890%n/a1111
compute_public(short[], int, byte[], int, byte[], int, int, short[], int)890%60%4411
is_invertible(short[], int, int, short[], int)0%40%3311
count_nttzero(short[], int, int, short[], int)0%40%3311
mq_montymul(int, int)0%n/a1111
mq_poly_montymul_ntt(short[], int, short[], int, int)0%20%2211
mq_poly_sub(short[], int, short[], int, int)0%20%2211
mq_poly_tomonty(short[], int, int)0%20%2211
mq_add(int, int)0%n/a1111
mq_sub(int, int)0%n/a1111
mq_conv_small(int)0%n/a1111
mq_rshift1(int)0%n/a1111
to_ntt_monty(short[], int, int)0%n/a1111
mq_montysqr(int)0%n/a1111