CBMC
deprecate.h File Reference
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define DEPRECATED(msg)
 
#define SINCE(year, month, day, msg)    "deprecated since " #year "-" #month "-" #day "; " msg
 

Macro Definition Documentation

◆ DEPRECATED

#define DEPRECATED (   msg)

Definition at line 23 of file deprecate.h.

◆ SINCE

#define SINCE (   year,
  month,
  day,
  msg 
)     "deprecated since " #year "-" #month "-" #day "; " msg

Definition at line 26 of file deprecate.h.