|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Functions | |
| char * | bindtextdomain (const char *domainname, const char *dirname) |
| char * | textdomain (const char *domainname) |
| char * bindtextdomain | ( | const char * | domainname, |
| const char * | dirname ) |
| char * textdomain | ( | const char * | domainname | ) |