diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Expr.h | 1 | ||||
| -rw-r--r-- | include/klee/Machine.h | 28 |
2 files changed, 0 insertions, 29 deletions
diff --git a/include/klee/Expr.h b/include/klee/Expr.h index a14cb43e..143ce4cd 100644 --- a/include/klee/Expr.h +++ b/include/klee/Expr.h @@ -10,7 +10,6 @@ #ifndef KLEE_EXPR_H #define KLEE_EXPR_H -#include "Machine.h" #include "klee/util/Bits.h" #include "klee/util/Ref.h" diff --git a/include/klee/Machine.h b/include/klee/Machine.h deleted file mode 100644 index b8a9e9ac..00000000 --- a/include/klee/Machine.h +++ /dev/null @@ -1,28 +0,0 @@ -//===-- Machine.h -----------------------------------------------*- C++ -*-===// -// -// The KLEE Symbolic Virtual Machine -// -// This file is distributed under the University of Illinois Open Source -// License. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// - -#ifndef __KLEE_MACHINE_H__ -#define __KLEE_MACHINE_H__ - -#include "klee/Expr.h" - -namespace klee { - namespace machine { - enum ByteOrder { - LSB = 0, - MSB = 1 - }; - } -} - -#define kMachineByteOrder klee::machine::LSB -#define kMachinePointerType Expr::Int32 -#define kMachinePointerSize 4 - -#endif /* __KLEE_MACHINE_H__ */ |