ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
strings.c File Reference
#include <ctype.h>
#include <stddef.h>
Include dependency graph for strings.c:

Functions

int ffs (int x)
int ffsl (long x)
int ffsll (long long x)
int strncasecmp (const char *s1, const char *s2, size_t n)
int strcasecmp (const char *s1, const char *s2)

Function Documentation

◆ ffs()

int ffs ( int x)

◆ ffsl()

int ffsl ( long x)

◆ ffsll()

int ffsll ( long long x)

◆ strcasecmp()

int strcasecmp ( const char * s1,
const char * s2 )

◆ strncasecmp()

int strncasecmp ( const char * s1,
const char * s2,
size_t n )