DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

fix formatting

Browse Source
This commit is contained in:
Alex Groce
2018-12-01 12:47:43 -07:00
parent 9bd1e6b7f0
commit 87dd39d93c
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -236,10 +236,10 @@ DEEPSTATE_INLINE static void DeepState_Check(int expr) {
tname low, tname high) { \
tname x = DeepState_ ## Tname(); \
if (!(DeepState_UsingLibFuzzer || HAS_FLAG_input_test_file \
|| HAS_FLAG_input_test_dir || HAS_FLAG_input_test_files_dir)) \
|| 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)); \
x = low + (x%((high+1)-low)); \
return x; \
}

4
src/lib/DeepState.c
View File

@@ -299,8 +299,8 @@ void _DeepState_Assume(int expr, const char *expr_str, const char *file,
unsigned line) {
if (!expr) {
DeepState_LogFormat(DeepState_LogError,
"%s(%u): Assumption %s failed",
file, line, expr_str);
"%s(%u): Assumption %s failed",
file, line, expr_str);
DeepState_Abandon("Assumption failed");
}
}