DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

fix to ranges

Browse Source
This commit is contained in:
Alex Groce 2018-12-05 11:28:35 -07:00
parent 8205c0d074
commit c56651c5c0
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -240,8 +240,8 @@ 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 \
x = low + (x%((high+1)-low)); \
else if ((x < low) || (x > high)) \
x = low + (x%(((high-low)+1))); \
return x; \
}