View results by: Directories | Files
| Path | Line Coverage | Function Coverage | Region Coverage |
|---|---|---|---|
internal/ |
2.67% (50/1871) |
4.69% (3/64) |
17.76% (19/107) |
karamel/ |
27.72% (56/202) |
26.67% (12/45) |
26.67% (12/45) |
Hacl_Chacha20.c |
96.75% (149/154) |
90.00% (9/10) |
99.48% (193/194) |
Hacl_Chacha20Poly1305_128.c |
0.00% (0/1116) |
0.00% (0/4) |
0.00% (0/385) |
Hacl_Chacha20Poly1305_256.c |
60.02% (671/1118) |
75.00% (3/4) |
62.69% (247/394) |
Hacl_Chacha20Poly1305_32.c |
0.00% (0/532) |
0.00% (0/4) |
0.00% (0/63) |
Hacl_Chacha20_Vec128.c |
0.00% (0/761) |
0.00% (0/5) |
0.00% (0/781) |
Hacl_Chacha20_Vec256.c |
36.81% (423/1149) |
80.00% (4/5) |
52.54% (444/845) |
Hacl_Curve25519_51.c |
0.00% (0/237) |
0.00% (0/9) |
0.00% (0/49) |
Hacl_Ed25519.c |
0.00% (0/1614) |
0.00% (0/47) |
0.00% (0/538) |
Hacl_Hash_SHA3.c |
0.00% (0/531) |
0.00% (0/29) |
0.00% (0/279) |
Hacl_P256.c |
86.06% (1192/1385) |
87.18% (68/78) |
81.10% (991/1222) |
Hacl_P384.c |
87.31% (1163/1332) |
89.47% (51/57) |
93.50% (705/754) |
Hacl_P521.c |
84.55% (1209/1430) |
89.09% (49/55) |
85.97% (901/1048) |
Hacl_Poly1305_128.c |
0.00% (0/1563) |
0.00% (0/7) |
0.00% (0/505) |
Hacl_Poly1305_256.c |
26.45% (538/2034) |
28.57% (2/7) |
26.10% (184/705) |
Hacl_Poly1305_32.c |
0.00% (0/533) |
0.00% (0/5) |
0.00% (0/22) |
eurydice_glue.h |
0.00% (0/66) |
0.00% (0/17) |
0.00% (0/19) |
libcrux_core.c |
0.00% (0/259) |
0.00% (0/37) |
0.00% (0/109) |
libcrux_mlkem768_portable.c |
0.00% (0/41) |
0.00% (0/10) |
0.00% (0/10) |
libcrux_mlkem_portable.c |
0.00% (0/4732) |
0.00% (0/295) |
0.00% (0/2943) |
libcrux_sha3.h |
0.00% (0/72) |
0.00% (0/16) |
0.00% (0/16) |
libcrux_sha3_internal.h |
0.00% (0/1573) |
0.00% (0/175) |
0.00% (0/388) |
Totals |
22.43% (5451/24305) |
20.41% (201/985) |
32.36% (3696/11421) |