cprover
|
Go to the source code of this file.
Macros | |
#define | DEPRECATED(msg) |
#define | SINCE(year, month, day, msg) |
#define DEPRECATED | ( | msg | ) |
Definition at line 23 of file deprecate.h.
#define SINCE | ( | year, | |
month, | |||
day, | |||
msg ) |
Definition at line 26 of file deprecate.h.