CBMC
cprover_prefix.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module:
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
9
10
#ifndef CPROVER_UTIL_CPROVER_PREFIX_H
11
#define CPROVER_UTIL_CPROVER_PREFIX_H
12
13
// NOLINTNEXTLINE(build/deprecated)
14
#define CPROVER_PREFIX "__CPROVER_"
15
// NOLINTNEXTLINE(build/deprecated)
16
#define CPROVER_FKT_PREFIX "__CPROVER_fkt_"
17
18
#endif
// CPROVER_UTIL_CPROVER_PREFIX_H
src
util
cprover_prefix.h
Generated by
1.9.1