From 79f75a4dafe36c95b4fdf81c0bc4032fb111e52c Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Fri, 23 Jun 2023 22:41:50 +0100
Subject: Improved help message for --exit-on-error-type=Abort

---
 lib/Core/Executor.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index 5194aff2..f01b7d99 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -281,7 +281,7 @@ cl::list<StateTerminationType> ExitOnErrorType(
     cl::desc("Stop execution after reaching a specified condition (default=false)"),
     cl::values(
         clEnumValN(StateTerminationType::Abort, "Abort",
-                   "The program crashed (reached abort()/klee_abort())"),
+                   "The program reached abort or klee_abort"),
         clEnumValN(StateTerminationType::Assert, "Assert",
                    "An assertion was hit"),
         clEnumValN(StateTerminationType::BadVectorAccess, "BadVectorAccess",
-- 
cgit 1.4.1