diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-05-27 22:52:12 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-05-27 22:52:12 +0100 |
| commit | 2f8fdc5cfb979b4a301b80b2a2323ab1f8373152 (patch) | |
| tree | d3f6314c6c13bd7fb84062324e41e97f00d6151e /include/expr/Parser.h | |
| parent | 4422e96380db1ab6b05251f9e0fdc20bc794d4a7 (diff) | |
| parent | ae57319086f0b99b459fa6a8a0bfde5bcf115e19 (diff) | |
| download | klee-2f8fdc5cfb979b4a301b80b2a2323ab1f8373152.tar.gz | |
Merge pull request #396 from andreamattavelli/fix_kleaver_parser
Fixed bug #375 in Kleaver's parser and added --clear-array-decls-after-query option to Kleaver.
Diffstat (limited to 'include/expr/Parser.h')
| -rw-r--r-- | include/expr/Parser.h | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/include/expr/Parser.h b/include/expr/Parser.h index d2135f12..a9133e9d 100644 --- a/include/expr/Parser.h +++ b/include/expr/Parser.h @@ -228,9 +228,8 @@ namespace expr { /// \arg MB - The input data. /// \arg Builder - The expression builder to use for constructing /// expressions. - static Parser *Create(const std::string Name, - const llvm::MemoryBuffer *MB, - ExprBuilder *Builder); + static Parser *Create(const std::string Name, const llvm::MemoryBuffer *MB, + ExprBuilder *Builder, bool ClearArrayAfterQuery); }; } } |