diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2018-07-23 10:48:32 +0200 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-07-23 13:40:28 +0100 |
| commit | 29e349142a54f7bee17bd7ac7f81ba6423075bed (patch) | |
| tree | 8bef1edf4b90439f43470858df7290900022101d /lib | |
| parent | 79ac709ff566e3406b16d066aac35b70e5d10690 (diff) | |
| download | klee-29e349142a54f7bee17bd7ac7f81ba6423075bed.tar.gz | |
ExternalDispatcher: setErrorStr for EngineBuilder
addresses comment made by @adrianherrera in #385
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/Core/ExternalDispatcher.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/Core/ExternalDispatcher.cpp b/lib/Core/ExternalDispatcher.cpp index 72b866cf..0a32e98d 100644 --- a/lib/Core/ExternalDispatcher.cpp +++ b/lib/Core/ExternalDispatcher.cpp @@ -132,6 +132,7 @@ ExternalDispatcherImpl::ExternalDispatcherImpl(LLVMContext &ctx) // so we can use the EngineBuilder API. auto dispatchModuleUniq = std::unique_ptr<Module>(singleDispatchModule); executionEngine = EngineBuilder(std::move(dispatchModuleUniq)) + .setErrorStr(&error) .setEngineKind(EngineKind::JIT) .create(); #endif |