Searched refs:aws_byte_cursor_left_trim_pred (Results 1 – 8 of 8) sorted by relevance
7 UNWINDSET += aws_byte_cursor_left_trim_pred.0:$(shell echo $$(($(MAX_BUFFER_SIZE) + 1)))11 PROOF_UID = aws_byte_cursor_left_trim_pred
23 struct aws_byte_cursor rv = aws_byte_cursor_left_trim_pred(&cur, uninterpreted_predicate_fn); in aws_byte_cursor_left_trim_pred_harness()
7 UNWINDSET += aws_byte_cursor_left_trim_pred.0:$(shell echo $$(($(MAX_BUFFER_SIZE) + 1)))
329 struct aws_byte_cursor aws_byte_cursor_left_trim_pred(
798 struct aws_byte_cursor aws_byte_cursor_left_trim_pred( in aws_byte_cursor_left_trim_pred() function819 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()
398 struct aws_byte_cursor result = aws_byte_cursor_left_trim_pred(&test_cursor, aws_isspace); in AWS_TEST_CASE()
107 return aws_byte_cursor_left_trim_pred(line_cursor, s_is_whitespace).len == 0; in s_is_whitespace_line()