LCOV - code coverage report
Current view: | top level - Modules/_hacl/include/krml |  |  | Hit | Total | Coverage
Test: | CPython 3.12 LCOV report [commit 5e6661bce9] |  | Lines: | 0 | 49 | 0.0 %
Date: | 2023-03-20 08:15:36 |  | Functions: | 0 | 15 | 0.0 %
|  |  | Branches: | 0 | 4 | 0.0 %

Filename | Line Coverage | Functions | Branches
FStar_UInt128_Verified.h |
| 0.0 % | 0 / 30 | 0.0 % | 0 / 9 | 0.0 % | 0 / 4
lowstar_endianness.h |
| 0.0 % | 0 / 12 | 0.0 % | 0 / 4 | - | 0 / 0
fstar_uint128_struct_endianness.h |
| 0.0 % | 0 / 7 | 0.0 % | 0 / 2 | - | 0 / 0

Generated by: LCOV version 1.14