Line data    Source code

       1             : /*
       2             :  *
       3             :  */
       4             : 
       5             : #include <aws/common/string.h>
       6             : #include <seahorn/seahorn.h>
       7             : #include <byte_buf_helper.h>
       8             : #include <string_helper.h>
       9             : #include <utils.h>
      10             : #include <stddef.h>
      11             : 
      12      150000 : int main() {
      13      150000 :     struct aws_string *str_a = nd_bool() ?
      14      133965 :             ensure_string_is_allocated_bounded_length(MAX_BUFFER_SIZE) : NULL;
      15      150000 :     struct aws_string *str_b = nd_bool() ?
      16      103200 :             str_a : ensure_string_is_allocated_bounded_length(MAX_BUFFER_SIZE);
      17      150000 :     if (aws_string_eq(str_a, str_b) && str_a && str_b) {
      18       45983 :         sassert(str_a->len == str_b->len);
      19       45983 :         assert_bytes_match(str_a->bytes, str_b->bytes, str_a->len);
      20       45983 :         sassert(aws_string_is_valid(str_a));
      21       45983 :         sassert(aws_string_is_valid(str_b));
      22       45983 :     }
      23      150000 : 
      24      150000 :     return 0;
      25      150000 : }