Home
last modified time | relevance | path

Searched refs:aws_byte_cursor_left_trim_pred (Results 1 – 8 of 8) sorted by relevance

/dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/proofs/aws_byte_cursor_left_trim_pred/
H A DMakefile7 UNWINDSET += aws_byte_cursor_left_trim_pred.0:$(shell echo $$(($(MAX_BUFFER_SIZE) + 1)))
11 PROOF_UID = aws_byte_cursor_left_trim_pred
H A Daws_byte_cursor_left_trim_pred_harness.c23 struct aws_byte_cursor rv = aws_byte_cursor_left_trim_pred(&cur, uninterpreted_predicate_fn); in aws_byte_cursor_left_trim_pred_harness()
/dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/proofs/aws_byte_cursor_satisfies_pred/
H A DMakefile7 UNWINDSET += aws_byte_cursor_left_trim_pred.0:$(shell echo $$(($(MAX_BUFFER_SIZE) + 1)))
/dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/proofs/aws_byte_cursor_trim_pred/
H A DMakefile7 UNWINDSET += aws_byte_cursor_left_trim_pred.0:$(shell echo $$(($(MAX_BUFFER_SIZE) + 1)))
/dports/devel/aws-c-common/aws-c-common-0.6.15/include/aws/common/
H A Dbyte_buf.h329 struct aws_byte_cursor aws_byte_cursor_left_trim_pred(
/dports/devel/aws-c-common/aws-c-common-0.6.15/source/
H A Dbyte_buf.c798 struct aws_byte_cursor aws_byte_cursor_left_trim_pred( in aws_byte_cursor_left_trim_pred() function
819 struct aws_byte_cursor left_trimmed = aws_byte_cursor_left_trim_pred(source, predicate); in aws_byte_cursor_trim_pred()
827 struct aws_byte_cursor trimmed = aws_byte_cursor_left_trim_pred(source, predicate); in aws_byte_cursor_satisfies_pred()
/dports/devel/aws-c-common/aws-c-common-0.6.15/tests/
H A Dcursor_test.c398 struct aws_byte_cursor result = aws_byte_cursor_left_trim_pred(&test_cursor, aws_isspace); in AWS_TEST_CASE()
/dports/devel/aws-c-sdkutils/aws-c-sdkutils-0.1.1/source/
H A Daws_profile.c107 return aws_byte_cursor_left_trim_pred(line_cursor, s_is_whitespace).len == 0; in s_is_whitespace_line()