LCOV - code coverage report
Current view:
top level
- seahorn/jobs/byte_buf_write_u8
Hit
Total
Coverage
Test:
all_fuzz.info
Lines:
26
26
100.0 %
Date:
2021-04-23 16:28:21
Functions:
1
1
100.0 %
Filename
Line Coverage
Functions
aws_byte_buf_write_u8_harness.c
100.0 %
26 / 26
100.0 %
1 / 1
Generated by:
LCOV version 1.13