cprover
infer_mode.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module:
4
5
Author: Vincent Nimal
6
7
\*******************************************************************/
8
9
10
#ifndef CPROVER_MUSKETEER_INFER_MODE_H
11
#define CPROVER_MUSKETEER_INFER_MODE_H
12
13
enum
infer_modet
14
{
15
INFER
=0,
16
USER_DEF
=1,
17
USER_ASSERT
=2
18
};
19
20
#endif // CPROVER_MUSKETEER_INFER_MODE_H
INFER
Definition:
infer_mode.h:15
USER_DEF
Definition:
infer_mode.h:16
infer_modet
infer_modet
Definition:
infer_mode.h:13
USER_ASSERT
Definition:
infer_mode.h:17
musketeer
infer_mode.h
Generated by
1.8.12