simple fix for libFuzzer ranges

2018-11-20 12:16:55 -07:00
parent 22578565f1
commit 8051817526
1 changed files with 4 additions and 1 deletions
--- a/src/include/deepstate/DeepState.h
+++ b/src/include/deepstate/DeepState.h
@@ -235,7 +235,10 @@ DEEPSTATE_INLINE static void DeepState_Check(int expr) {
    DEEPSTATE_INLINE static tname DeepState_ ## Tname ## InRange( \
        tname low, tname high) { \
      tname x = DeepState_ ## Tname(); \
-      (void) DeepState_Assume(low <= x && x <= high); \
+      if (!DeepState_UsingLibFuzzer) \
+        (void) DeepState_Assume(low <= x && x <= high); \
+      else \
+	x = low + (x%((high+1)-low)); \
      return x; \
    }