diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-02-14 14:00:11 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-02-14 14:00:11 +0000 |
| commit | 3c49bee67765e3b58ff5cfd2dcc26568509e275b (patch) | |
| tree | cbe3111891effdf3da687810afc31db27ba97447 /lib/Module/Passes.h | |
| parent | 360f372b46478d4f94f8696f4931cd85c20beb88 (diff) | |
| download | klee-3c49bee67765e3b58ff5cfd2dcc26568509e275b.tar.gz | |
Refactor cleaning up memory in linkBCA() so that if linking fails
then clean up is performed.
Diffstat (limited to 'lib/Module/Passes.h')
0 files changed, 0 insertions, 0 deletions