CBMC
locale.c File Reference
#include <locale.h>
+ Include dependency graph for locale.c:

Go to the source code of this file.

Macros

#define __CPROVER_LOCALE_H_INCLUDED
 

Functions

char * setlocale (int category, const char *locale)
 
struct lconv * localeconv (void)
 

Macro Definition Documentation

◆ __CPROVER_LOCALE_H_INCLUDED

#define __CPROVER_LOCALE_H_INCLUDED

Definition at line 6 of file locale.c.

Function Documentation

◆ localeconv()

struct lconv* localeconv ( void  )

Definition at line 32 of file locale.c.

◆ setlocale()

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

Definition at line 9 of file locale.c.