diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-06-08 06:14:01 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-06-08 06:14:01 +0000 |
| commit | fe716167e811f0f850378c8808ed683c4aa8e342 (patch) | |
| tree | 9130f00f143d9aab474bc988a9e4cb0ccd665fab /lib/SMT/parser_exception.h | |
| parent | ff4e0374e27e43fa897f99726d33ab61e8bd2627 (diff) | |
| download | klee-fe716167e811f0f850378c8808ed683c4aa8e342.tar.gz | |
FastCexSolver: Lazily initialize object values and kill off ObjectFinder class.
Also, explicitly manage the object data to avoid copy overhead. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73051 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/SMT/parser_exception.h')
0 files changed, 0 insertions, 0 deletions