diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2009-06-13 01:13:08 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2009-06-13 01:13:08 +0000 |
| commit | c5f2596a973bc30dcbaf4284f88d2f87b9bc840c (patch) | |
| tree | afde34f662f69b6874e6beeed7a1b6a8dd8e14c6 /lib/SMT/SMTParser.h | |
| parent | e46452c0c0501a7c4b45ab4d7a50b9bc8bf59e46 (diff) | |
| download | klee-c5f2596a973bc30dcbaf4284f88d2f87b9bc840c.tar.gz | |
Changed SMTParser to return the parsed QueryCommand.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73277 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/SMT/SMTParser.h')
| -rw-r--r-- | lib/SMT/SMTParser.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/lib/SMT/SMTParser.h b/lib/SMT/SMTParser.h index 35a0b00e..edc1258f 100644 --- a/lib/SMT/SMTParser.h +++ b/lib/SMT/SMTParser.h @@ -32,7 +32,11 @@ class SMTParser : public klee::expr::Parser { std::istream* is; int lineNum; bool done; - klee::expr::ExprHandle expr; + bool arraysEnabled; + + std::vector<ExprHandle> assumptions; + klee::expr::ExprHandle query; + int bvSize; bool queryParsed; |