diff options
| author | Saveliy Grigoryev <sava-cska@mail.ru> | 2022-06-27 17:04:39 +0300 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-06-27 17:12:25 +0100 |
| commit | 44ebccb0529e2fd9f063bf544c8535104b9b0419 (patch) | |
| tree | 1de752364c3390de6bb2caee3efad45e3c835843 /tools | |
| parent | 42bca7ee2db48b0fc080cdb4af6a05cb666efb8c (diff) | |
| download | klee-44ebccb0529e2fd9f063bf544c8535104b9b0419.tar.gz | |
Fix error with empty EntryPoint
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/klee/main.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index dd839de6..3b0731c8 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -1151,6 +1151,10 @@ int main(int argc, char **argv, char **envp) { parseArguments(argc, argv); sys::PrintStackTraceOnErrorSignal(argv[0]); + if (EntryPoint.empty()) { + klee_error("entry-point cannot be empty"); + } + if (Watchdog) { if (MaxTime.empty()) { klee_error("--watchdog used without --max-time"); |