DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

tell when computing a range

Browse Source
This commit is contained in:
Alex Groce
2018-11-30 12:29:55 -07:00
parent 5dff6925f5
commit 72d3b5bcf9
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -235,14 +235,14 @@ DEEPSTATE_INLINE static void DeepState_Check(int expr) {
DEEPSTATE_INLINE static tname DeepState_ ## Tname ## InRange( \
tname low, tname high) { \
tname x = DeepState_ ## Tname(); \
DeepState_LogFormat(DeepState_LogInfo, "Computing a range"); \
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 { \
DeepState_LogFormat(DeepState_LogInfo, \
"Fixing value\n"); \
else {
DeepState_LogFormat(DeepState_LogInfo, "Fixing value"); \
x = low + (x%((high+1)-low)); \
\}
\}
return x; \
}