diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2013-11-14 08:10:07 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2013-12-19 15:45:03 +0000 |
| commit | 9809e76ec82c7bd70b8cb8b735be294ffb96d7bc (patch) | |
| tree | 3763afa9fa03df3d7d16f67e6ce81b0f3fe7e3bd /lib/Core/StatsTracker.cpp | |
| parent | f8a0a98bfdeb3c9bb903a549042c2da322c753b5 (diff) | |
| download | klee-9809e76ec82c7bd70b8cb8b735be294ffb96d7bc.tar.gz | |
Optimize inlineChecks function
* Just iterate over the instructions which use the function to be inlined * Handle each callsite (e.g. CallInst and InvokeInst)
Diffstat (limited to 'lib/Core/StatsTracker.cpp')
0 files changed, 0 insertions, 0 deletions