From 87dd39d93cd878f98f3e44d2bf81aa0e9902ba01 Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Sat, 1 Dec 2018 12:47:43 -0700 Subject: [PATCH] fix formatting --- src/include/deepstate/DeepState.h | 4 ++-- src/lib/DeepState.c | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/include/deepstate/DeepState.h b/src/include/deepstate/DeepState.h index 23d1f4b..1020910 100644 --- a/src/include/deepstate/DeepState.h +++ b/src/include/deepstate/DeepState.h @@ -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; \ } diff --git a/src/lib/DeepState.c b/src/lib/DeepState.c index b872fa5..26c9fee 100644 --- a/src/lib/DeepState.c +++ b/src/lib/DeepState.c @@ -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"); } }