diff options
| author | Jörg Thalheim <joerg@thalheim.io> | 2017-06-14 14:19:39 +0100 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-06-16 15:44:25 +0100 |
| commit | 7c4fdd012317eb92352fc7ded53a553ed762719f (patch) | |
| tree | 3457164f5b5199149588679f818a3a991a3d0420 /Makefile.config.in | |
| parent | c5059debfd910edabcbc2fc847d21c9e50c5afe1 (diff) | |
| download | klee-7c4fdd012317eb92352fc7ded53a553ed762719f.tar.gz | |
move module loading into external function
- having an explicit function which is defined for multiple llvm versions separately increases readability. - also: error handling was simplified - Personal motivation: being able to use this functionality in unit tests fixes #561 related to #656
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions