blob: 76d391e4f1b1514bc56eb7ba7ad8b94cb6c048fd (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
|
/* include/klee/Config/config.h.in. Generated from autoconf/configure.tmp.ac by autoheader. */
#ifndef KLEE_CONFIG_CONFIG_H
#define KLEE_CONFIG_CONFIG_H
/* Enable KLEE DEBUG checks */
#undef ENABLE_KLEE_DEBUG
/* Enable metaSMT API */
#undef ENABLE_METASMT
/* Using STP Solver backend */
#undef ENABLE_STP
/* Using Z3 Solver backend */
#undef ENABLE_Z3
/* Does the platform use __ctype_b_loc, etc. */
#undef HAVE_CTYPE_EXTERNALS
/* Define to 1 if you have the <gperftools/malloc_extension.h> header file. */
#undef HAVE_GPERFTOOLS_MALLOC_EXTENSION_H
/* Define to 1 if you have the <inttypes.h> header file. */
#undef HAVE_INTTYPES_H
/* Define if mallinfo() is available on this platform. */
#undef HAVE_MALLINFO
/* Define to 1 if you have the <malloc/malloc.h> header file. */
#undef HAVE_MALLOC_MALLOC_H
/* Define to 1 if you have the `malloc_zone_statistics' function. */
#undef HAVE_MALLOC_ZONE_STATISTICS
/* Define to 1 if you have the <memory.h> header file. */
#undef HAVE_MEMORY_H
/* Define to 1 if you have the <selinux/selinux.h> header file. */
#undef HAVE_SELINUX_SELINUX_H
/* Define to 1 if you have the <stdint.h> header file. */
#undef HAVE_STDINT_H
/* Define to 1 if you have the <stdlib.h> header file. */
#undef HAVE_STDLIB_H
/* Define to 1 if you have the <strings.h> header file. */
#undef HAVE_STRINGS_H
/* Define to 1 if you have the <string.h> header file. */
#undef HAVE_STRING_H
/* Define to 1 if you have the <sys/acl.h> header file. */
#undef HAVE_SYS_ACL_H
/* Define to 1 if you have the <sys/capability.h> header file. */
#undef HAVE_SYS_CAPABILITY_H
/* Define to 1 if you have the <sys/stat.h> header file. */
#undef HAVE_SYS_STAT_H
/* Define to 1 if you have the <sys/types.h> header file. */
#undef HAVE_SYS_TYPES_H
/* Define to 1 if you have the <unistd.h> header file. */
#undef HAVE_UNISTD_H
/* Z3 needs a Z3_context passed to Z3_get_error_msg() */
#undef HAVE_Z3_GET_ERROR_MSG_NEEDS_CONTEXT
/* Define to 1 if you have the <zlib.h> header file. */
#undef HAVE_ZLIB_H
/* Enable time stamping the sources */
#undef KLEE_ENABLE_TIMESTAMP
/* Define to empty or 'const' depending on how SELinux qualifies its security
context parameters. */
#undef KLEE_SELINUX_CTX_CONST
/* LLVM version is release (instead of development) */
#undef LLVM_IS_RELEASE
/* LLVM major version number */
#undef LLVM_VERSION_MAJOR
/* LLVM minor version number */
#undef LLVM_VERSION_MINOR
/* Define to the address where bug reports for this package should be sent. */
#undef PACKAGE_BUGREPORT
/* Define to the full name of this package. */
#undef PACKAGE_NAME
/* Define to the full name and version of this package. */
#undef PACKAGE_STRING
/* Define to the one symbol short name of this package. */
#undef PACKAGE_TARNAME
/* Define to the home page for this package. */
#undef PACKAGE_URL
/* Define to the version of this package. */
#undef PACKAGE_VERSION
/* Configuration for runtime libraries */
#undef RUNTIME_CONFIGURATION
/* Define to 1 if you have the ANSI C header files. */
#undef STDC_HEADERS
/* klee-uclibc is supported */
#undef SUPPORT_KLEE_UCLIBC
#endif
|
