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

Function Name | Hit count
FStar_UInt128_add | 0
FStar_UInt128_add_u64_shift_left | 0
FStar_UInt128_add_u64_shift_left_respec | 0
FStar_UInt128_carry | 0
FStar_UInt128_constant_time_carry | 0
FStar_UInt128_shift_left | 0
FStar_UInt128_shift_left_large | 0
FStar_UInt128_shift_left_small | 0
FStar_UInt128_uint64_to_uint128 | 0

Generated by: LCOV version 1.14