LCOV - code coverage report
Current view: top level - seahorn/jobs/byte_cursor_satisfies_pred Hit Total Coverage
Test: all_fuzz.info Lines: 26 26 100.0 %
Date: 2021-04-23 16:28:21 Functions: 2 2 100.0 %

Filename Sort by name Line Coverage Sort by line coverage Functions Sort by function coverage
aws_byte_cursor_satisfies_pred_harness.c
100.0%
100.0 % 26 / 26 100.0 % 2 / 2

Generated by: LCOV version 1.13