Searched refs:aws_array_eq_c_str (Results 1 – 9 of 9) sorted by relevance
| /dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/proofs/aws_array_eq_c_str/ |
| H A D | Makefile | 7 UNWINDSET += aws_array_eq_c_str.0:$(shell echo $$(($(MAX_BUFFER_SIZE) + 1)))
12 PROOF_UID = aws_array_eq_c_str
|
| H A D | aws_array_eq_c_str_harness.c | 29 if (aws_array_eq_c_str(array, array_len, c_str)) { in aws_array_eq_c_str_harness()
|
| /dports/devel/aws-c-common/aws-c-common-0.6.15/tests/ |
| H A D | byte_buf_test.c | 397 ASSERT_TRUE(aws_array_eq_c_str(arr_a, 3, str_a)); in AWS_TEST_CASE()
398 ASSERT_FALSE(aws_array_eq_c_str(arr_a, 3, str_b)); in AWS_TEST_CASE()
399 ASSERT_FALSE(aws_array_eq_c_str(arr_a, 3, str_c)); in AWS_TEST_CASE()
402 ASSERT_TRUE(aws_array_eq_c_str(str_a, 3, str_a)); in AWS_TEST_CASE()
403 ASSERT_FALSE(aws_array_eq_c_str(str_a, 2, str_a)); in AWS_TEST_CASE()
406 ASSERT_TRUE(aws_array_eq_c_str(arr_a, 0, empty)); in AWS_TEST_CASE()
407 ASSERT_FALSE(aws_array_eq_c_str(arr_a, 0, str_a)); in AWS_TEST_CASE()
410 ASSERT_TRUE(aws_array_eq_c_str(NULL, 0, empty)); in AWS_TEST_CASE()
411 ASSERT_FALSE(aws_array_eq_c_str(NULL, 0, str_a)); in AWS_TEST_CASE()
418 ASSERT_FALSE(aws_array_eq_c_str(arr_a, 4, str_a)); in AWS_TEST_CASE()
|
| /dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/proofs/aws_byte_buf_eq_c_str/ |
| H A D | Makefile | 7 UNWINDSET += aws_array_eq_c_str.0:$(shell echo $$(($(MAX_BUFFER_SIZE) + 1)))
|
| /dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/proofs/aws_byte_cursor_eq_c_str/ |
| H A D | Makefile | 7 UNWINDSET += aws_array_eq_c_str.0:$(shell echo $$(($(MAX_BUFFER_SIZE) + 1)))
|
| /dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/proofs/aws_string_eq_c_str/ |
| H A D | Makefile | 6 UNWINDSET += aws_array_eq_c_str.0:$(shell echo $$(($(MAX_STRING_LEN) + 1)))
|
| /dports/devel/aws-c-common/aws-c-common-0.6.15/include/aws/common/ |
| H A D | byte_buf.h | 100 bool aws_array_eq_c_str(const void *const array, const size_t array_len, const char *const c_str);
|
| /dports/devel/aws-c-common/aws-c-common-0.6.15/source/ |
| H A D | byte_buf.c | 124 bool rval = aws_array_eq_c_str(buf->buffer, buf->len, c_str); in aws_byte_buf_eq_c_str()
464 bool aws_array_eq_c_str(const void *const array, const size_t array_len, const char *const c_str) { in aws_array_eq_c_str() function
548 bool rv = aws_array_eq_c_str(cursor->ptr, cursor->len, c_str); in aws_byte_cursor_eq_c_str()
|
| H A D | string.c | 390 return aws_array_eq_c_str(str->bytes, str->len, c_str); in aws_string_eq_c_str()
|