From a0bfead4cf493d78c8fde96679188a0ef3a1bcc8 Mon Sep 17 00:00:00 2001
From: Alex Groce <agroce@gmail.com>
Date: Fri, 30 Nov 2018 12:17:18 -0700
Subject: [PATCH] verbose

---
 src/include/deepstate/DeepState.h | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/include/deepstate/DeepState.h b/src/include/deepstate/DeepState.h
index 23d1f4b..496372f 100644
--- a/src/include/deepstate/DeepState.h
+++ b/src/include/deepstate/DeepState.h
@@ -238,8 +238,11 @@ DEEPSTATE_INLINE static void DeepState_Check(int expr) {
       if (!(DeepState_UsingLibFuzzer || HAS_FLAG_input_test_file \
 	    || HAS_FLAG_input_test_dir || HAS_FLAG_input_test_files_dir)) \
         (void) DeepState_Assume(low <= x && x <= high); \
-      else \
+      else {						\
+        DeepState_LogFormat(DeepState_LogInfo, \
+			    "Fixing value\n"); \
 	x = low + (x%((high+1)-low)); \
+	\}
       return x; \
     }