config.h File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Defines
#define	ENABLE_STPLOG   0
#define	HAVE_CTYPE_EXTERNALS   1
#define	HAVE_INTTYPES_H   1
#define	HAVE_MEMORY_H   1
#define	HAVE_STDINT_H   1
#define	HAVE_STDLIB_H   1
#define	HAVE_STRINGS_H   1
#define	HAVE_STRING_H   1
#define	HAVE_SYS_STAT_H   1
#define	HAVE_SYS_TYPES_H   1
#define	HAVE_UNISTD_H   1
#define	KLEE_UCLIBC   "/home/ddunbar/public/klee/uclibc"
#define	PACKAGE_BUGREPORT   "daniel@minormatter.com"
#define	PACKAGE_NAME   "KLEE"
#define	PACKAGE_STRING   "KLEE 0.01"
#define	PACKAGE_TARNAME   "-klee-"
#define	PACKAGE_VERSION   "0.01"
#define	RUNTIME_CONFIGURATION   "Release"
#define	STDC_HEADERS   1

---

Define Documentation

#define ENABLE_STPLOG   0

Definition at line 5 of file config.h.

#define HAVE_CTYPE_EXTERNALS   1

Definition at line 8 of file config.h.

#define HAVE_INTTYPES_H   1

Definition at line 11 of file config.h.

#define HAVE_MEMORY_H   1

Definition at line 14 of file config.h.

#define HAVE_STDINT_H   1

Definition at line 20 of file config.h.

#define HAVE_STDLIB_H   1

Definition at line 23 of file config.h.

#define HAVE_STRING_H   1

Definition at line 29 of file config.h.

#define HAVE_STRINGS_H   1

Definition at line 26 of file config.h.

#define HAVE_SYS_STAT_H   1

Definition at line 35 of file config.h.

#define HAVE_SYS_TYPES_H   1

Definition at line 38 of file config.h.

#define HAVE_UNISTD_H   1

Definition at line 41 of file config.h.

#define KLEE_UCLIBC   "/home/ddunbar/public/klee/uclibc"

Definition at line 44 of file config.h.

#define PACKAGE_BUGREPORT   "daniel@minormatter.com"

Definition at line 47 of file config.h.

#define PACKAGE_NAME   "KLEE"

Definition at line 50 of file config.h.

#define PACKAGE_STRING   "KLEE 0.01"

Definition at line 53 of file config.h.

#define PACKAGE_TARNAME   "-klee-"

Definition at line 56 of file config.h.

#define PACKAGE_VERSION   "0.01"

Definition at line 59 of file config.h.

#define RUNTIME_CONFIGURATION   "Release"

Definition at line 62 of file config.h.

Referenced by main().

#define STDC_HEADERS   1

Definition at line 65 of file config.h.