diff options
Diffstat (limited to 'lib/Core/Executor.h')
| -rw-r--r-- | lib/Core/Executor.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h index c8211854..e6f7c63e 100644 --- a/lib/Core/Executor.h +++ b/lib/Core/Executor.h @@ -447,6 +447,8 @@ public: virtual void getCoveredLines(const ExecutionState &state, std::map<const std::string*, std::set<unsigned> > &res); + + Expr::Width getWidthForLLVMType(const llvm::Type *type) const; }; } // End klee namespace |