|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <wchar.h>Functions | |
| size_t | wcslen (const wchar_t *s) |
| int | wcscmp (const wchar_t *s1, const wchar_t *s2) |
| int | wcsncmp (const wchar_t *s1, const wchar_t *s2, size_t n) |
| wchar_t * | wcscpy (wchar_t *dst, const wchar_t *src) |
| wchar_t * | wcsncpy (wchar_t *dst, const wchar_t *src, size_t n) |
| wchar_t * | wcscat (wchar_t *dst, const wchar_t *src) |
| wchar_t * | wcschr (const wchar_t *s, wchar_t c) |
| wchar_t * | wcsrchr (const wchar_t *s, wchar_t c) |
| int | wmemcmp (const wchar_t *s1, const wchar_t *s2, size_t n) |
| wchar_t * | wmemcpy (wchar_t *dst, const wchar_t *src, size_t n) |
| wchar_t * | wmemmove (wchar_t *dst, const wchar_t *src, size_t n) |
| wchar_t * | wmemset (wchar_t *s, wchar_t c, size_t n) |
| wchar_t * | wmemchr (const wchar_t *s, wchar_t c, size_t n) |
| int | mbsinit (const mbstate_t *ps) |
| int | vswprintf (wchar_t *ws, size_t len, const wchar_t *format, va_list arg) |
| int | swprintf (wchar_t *ws, size_t len, const wchar_t *format,...) |