DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

fix various issues

Browse Source
This commit is contained in:
Alex Groce
2018-11-30 12:43:30 -07:00
parent 72d3b5bcf9
commit b61bfd162a
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/include/deepstate/DeepState.h
View File

@@ -235,14 +235,14 @@ DEEPSTATE_INLINE static void DeepState_Check(int expr) {
DEEPSTATE_INLINE static tname DeepState_ ## Tname ## InRange( \
tname low, tname high) { \
tname x = DeepState_ ## Tname(); \
DeepState_LogFormat(DeepState_LogInfo, "Computing a range"); \
DeepState_LogFormat(DeepState_LogInfo, "Computing a range"); \
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"); \
x = low + (x%((high+1)-low)); \
\}
} \
return x; \
}