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();
   }
 }