| Current view: | top level - seahorn/lib - nd_fuzz.c (source / functions) | Hit | Total | Coverage | ||
| Test: | all_fuzz.info | Lines: | 109 | 126 | 86.5 % | |
| Date: | 2021-04-23 16:28:21 | Functions: | 13 | 17 | 76.5 % | |
|
| LCOV - code coverage report | ||||||||||||||||||||||
| ||||||||||||||||||||||
|
||||||||||||||||||||||
|
Function Name  |
Hit count |
| __VERIFIER_assert | 0 |
| __VERIFIER_error | 0 |
| nd_malloc_is_fail | 0 |
| nondet_compare | 0 |
| nd_uint16_t | 143152 |
| nd_uint32_t | 400548 |
| nd_int | 471681 |
| nd_uint64_t | 821617 |
| nd_linked_list_node | 1330853 |
| nd_voidp | 1480853 |
| nd_uint8_t | 2186908 |
| nd_bool | 10208048 |
| memhavoc | 10277709 |
| LLVMFuzzerTestOneInput | 19550000 |
| __SEA_assume | 38015089 |
| __VERIFIER_assume | 38015089 |
| nd_size_t | 48311768 |
|
| Generated by: LCOV version 1.13 |