cprover
validation_mode.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Goto program validation mode
4
5Author: Daniel Poetzl
6
7\*******************************************************************/
8
9#ifndef CPROVER_UTIL_VALIDATION_MODE_H
10#define CPROVER_UTIL_VALIDATION_MODE_H
11
13{
16};
17
18#endif /* CPROVER_UTIL_VALIDATION_MODE_H */
#define INVARIANT(CONDITION, REASON)
This macro uses the wrapper function 'invariant_violated_string'.
Definition: invariant.h:423
validation_modet