From 5c723e0f62fd0c4271a2295c3bb3ace4c9ae90be Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Thu, 29 Nov 2018 13:31:46 -0700 Subject: [PATCH] fix wrong name for HAS_FLAG --- src/include/deepstate/DeepState.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/include/deepstate/DeepState.h b/src/include/deepstate/DeepState.h index 5fce7a4..23d1f4b 100644 --- a/src/include/deepstate/DeepState.h +++ b/src/include/deepstate/DeepState.h @@ -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)); \