LCOV - code coverage report
Current view: top level - seahorn/jobs/hash_c_string Hit Total Coverage
Test: all_fuzz.info Lines: 0 10 0.0 %
Date: 2021-04-23 16:28:21 Functions: 0 1 0.0 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
aws_hash_c_string_harness.c
0.0%
0.0 % 0 / 10 0.0 % 0 / 1

Generated by: LCOV version 1.13