DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

try immediate return for manticore

Browse Source
This commit is contained in:
Alex Groce 2018-12-06 05:09:23 -07:00
parent 478e5fd9b4
commit e7cb3ce8cd
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

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