diff options
| -rw-r--r-- | tools/klee/main.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index 59261e49..0b76e904 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -617,7 +617,8 @@ void KleeHandler::loadPathFile(std::string name, while (f.good()) { unsigned value; f >> value; - buffer.push_back(!!value); + if (f.good()) + buffer.push_back(!!value); f.get(); } } |