| Current view: | top level - seahorn/lib - utils.c (source / functions) | Hit | Total | Coverage | ||
| Test: | all_fuzz.info | Lines: | 69 | 77 | 89.6 % | |
| Date: | 2021-04-23 16:28:21 | Functions: | 8 | 10 | 80.0 % | |
|
| LCOV - code coverage report | ||||||||||||||||||||||
| ||||||||||||||||||||||
|
||||||||||||||||||||||
|
Function Name  |
Hit count |
| nondet_equals | 0 |
| uninterpreted_hasher | 0 |
| assert_byte_cursor_equivalence | 24375 |
| assert_all_zeroes | 333057 |
| assert_all_bytes_are | 406283 |
| assert_array_list_equivalence | 504080 |
| assert_byte_buf_equivalence | 618722 |
| assert_byte_from_buffer_matches | 684631 |
| assert_bytes_match | 2140836 |
| save_byte_from_array | 8124379 |
|
| Generated by: LCOV version 1.13 |