CBMC
Loading...
Searching...
No Matches
Macros | Functions
err.c File Reference
#include <err.h>
#include <stdlib.h>
+ Include dependency graph for err.c:

Go to the source code of this file.

Macros

#define  __CPROVER_ERR_H_INCLUDED
 
#define  __CPROVER_STDLIB_H_INCLUDED
 

Functions

void  err (int eval, const char *fmt,...)
 
void  errx (int eval, const char *fmt,...)
 
void  warn (const char *fmt,...)
 
void  warnx (const char *fmt,...)
 

Macro Definition Documentation

◆  __CPROVER_ERR_H_INCLUDED

#define __CPROVER_ERR_H_INCLUDED

Definition at line 5 of file err.c.

◆  __CPROVER_STDLIB_H_INCLUDED

#define __CPROVER_STDLIB_H_INCLUDED

Definition at line 10 of file err.c.

Function Documentation

◆  err()

void err ( int  eval,
const char *  fmt,
  ... 
)

Definition at line 13 of file err.c.

◆  errx()

void errx ( int  eval,
const char *  fmt,
  ... 
)

Definition at line 32 of file err.c.

◆  warn()

void warn ( const char *  fmt,
  ... 
)

Definition at line 46 of file err.c.

◆  warnx()

void warnx ( const char *  fmt,
  ... 
)

Definition at line 58 of file err.c.

AltStyle によって変換されたページ (->オリジナル) /