DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

x can't be const now

Browse Source
This commit is contained in:
Alex Groce 2018-12-05 20:57:10 -07:00
parent c04168437b
commit a608857d52
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

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