DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

fix wrong name for HAS_FLAG

Browse Source
This commit is contained in:
Alex Groce
2018-11-29 13:31:46 -07:00
parent a3ad1135e7
commit 5c723e0f62
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/include/deepstate/DeepState.h
+2 -2
View File
@@ -235,8 +235,8 @@ DEEPSTATE_INLINE static void DeepState_Check(int expr) {
DEEPSTATE_INLINE static tname DeepState_ ## Tname ## InRange( \
tname low, tname high) { \
tname x = DeepState_ ## Tname(); \
if (!(DeepState_UsingLibFuzzer || HAS_FLAGS_input_test_file \
|| HAS_FLAGS_input_test_dir || HAS_FLAGS_input_test_files_dir)) \
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 \
x = low + (x%((high+1)-low)); \