diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-06-05 10:09:13 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-06-05 10:09:13 +0000 |
| commit | 1c21929692bf5b6c063c3faaba9da90d04b2e332 (patch) | |
| tree | 79aef6e34cb8d8ee7e603f70a6a4be6789fe08b3 /Makefile | |
| parent | 40ddb7ac71682a881d9d0cd856295d4f0240dc24 (diff) | |
| download | klee-1c21929692bf5b6c063c3faaba9da90d04b2e332.tar.gz | |
Support the extended query command syntax.
- There are two optional lists following the constraints and the query expression. The first is a list of expressions to give values for and the second is a list of arrays to provide values for. - Update ExprPPrinter to accept extra arguments to print these arguments. - Add Parser support. - Add more ArrayDecl support. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72938 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions