verbose

2018-11-30 12:17:18 -07:00
parent 5c723e0f62
commit a0bfead4cf
1 changed files with 4 additions and 1 deletions
@@ -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; \
    }