From 16e925539614f89cdf68ae04c0059c2196f03cab Mon Sep 17 00:00:00 2001
From: Alex Groce <agroce@gmail.com>
Date: Sat, 23 Jun 2018 15:00:52 -0700
Subject: [PATCH] abandon, rather than fatal, on failed assumption, for fuzzing

---
 src/lib/DeepState.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/lib/DeepState.c b/src/lib/DeepState.c
index 65204d4..998ed97 100644
--- a/src/lib/DeepState.c
+++ b/src/lib/DeepState.c
@@ -278,8 +278,7 @@ int32_t DeepState_MaxInt(int32_t v) {
 void _DeepState_Assume(int expr, const char *expr_str, const char *file,
                        unsigned line) {
   if (!expr) {
-    DeepState_LogFormat(DeepState_LogFatal, "Assumption %s at %s(%u) failed",
-                        expr_str, file, line);
+    DeepState_Abandon("Assumption failed");
   }
 }