DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

fix if

Browse Source
This commit is contained in:
Alex Groce 2018-12-06 05:15:42 -07:00
parent e7cb3ce8cd
commit 5cc17b00ed
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -263,8 +263,9 @@ DEEPSTATE_INLINE static void DeepState_Check(int expr) {
const tname x = DeepState_ ## Tname(); \
if (DeepState_UsingSymExec) { \
(void) DeepState_Assume(low <= x && x <= high); \
return x;
} else if ((x < low) || (x > high)) { \
return x; \
} \
if ((x < low) || (x > high)) { \
const tname size = (high - low) + 1; \
return low + (x % size); \
} \