ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
syserr.c File Reference

Functions

char * strerror (int errnum)
void error (int status, int errnum, const char *format,...)

Function Documentation

◆ error()

void error ( int status,
int errnum,
const char * format,
... )

◆ strerror()

char * strerror ( int errnum)