diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-03-14 23:21:48 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-04-02 14:56:40 +0100 |
| commit | db655af90427e7c102108b14479130e07524f60e (patch) | |
| tree | 32ebebfb606ba91008540d3f267002e1f9f0b044 /lib/Module/IntrinsicCleaner.cpp | |
| parent | 79c9c106688c56eb1042750c03d9a68190e61ba5 (diff) | |
| download | klee-db655af90427e7c102108b14479130e07524f60e.tar.gz | |
[Core] Documentation and cleanup
* Removed unused member ShadowObjects in ExecutionState * Added documentation of members and reorder according to categories
Diffstat (limited to 'lib/Module/IntrinsicCleaner.cpp')
0 files changed, 0 insertions, 0 deletions