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

Functions

char * setlocale (int category, const char *locale)

Function Documentation

◆ setlocale()

char * setlocale ( int category,
const char * locale )