Searched defs:ExternalDispatcher (Results 1 – 2 of 2) sorted by relevance
| /dports/security/klee/klee-2.2/lib/Core/ | ||
| H A D | ExternalDispatcher.cpp | 337 ExternalDispatcher::ExternalDispatcher(llvm::LLVMContext &ctx) in ExternalDispatcher() function in klee::ExternalDispatcher |
| H A D | Executor.h | 61 class ExternalDispatcher; variable |