LCOV - code coverage report
Current view: top level - seahorn/jobs/hash_string - aws_hash_string_harness.c (source / functions) Hit Total Coverage
Test: all_fuzz.info Lines: 8 8 100.0 %
Date: 2021-04-23 16:28:21 Functions: 1 1 100.0 %

          Line data    Source code
       1             : #include <seahorn/seahorn.h>
       2             : #include <aws/common/hash_table.h>
       3             : #include <string_helper.h>
       4             : #include <nondet.h>
       5             : 
       6             : int main(void)
       7      150000 : {
       8      150000 :     /* hash value of ptr itself only, so deref should be illegal */
       9      150000 :     struct aws_string *str = ensure_string_is_allocated_bounded_length(MAX_BUFFER_SIZE);
      10      150000 :     /* This function has no pre or post conditions */
      11      150000 :     /* passively checks mem safety */
      12      150000 :     uint64_t rval = aws_hash_string(str);
      13      150000 :     return 0;
      14      150000 : }

Generated by: LCOV version 1.13