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
)
src
c2goto
library
syserr.c
Generated by
1.15.0