Update DeepState.h

2018-12-05 13:58:03 -05:00 · 2018-12-05 13:58:03 -05:00 · fa2cc6ab38
commit fa2cc6ab38
parent 48092c7b4b
1 changed files with 1 additions and 1 deletions
--- a/src/include/deepstate/DeepState.h
+++ b/src/include/deepstate/DeepState.h
@ -240,7 +240,7 @@ DEEPSTATE_INLINE static void DeepState_Check(int expr) {
 *    size = (high - low) + 1
 *    if (symbolic mode) {
 *      assume 0 <= x and x < size
- *      return x
+ *      return low + x
 *    } else {
 *      return low + (x % size)
 *    }