From caa3d33429932ff93632c6ead9f100fc6fbcf564 Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Wed, 2 Jan 2019 15:23:23 -0700 Subject: [PATCH] change log level when fuzzing if not specified --- src/lib/DeepState.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/lib/DeepState.c b/src/lib/DeepState.c index bdd06de..ecd3b98 100644 --- a/src/lib/DeepState.c +++ b/src/lib/DeepState.c @@ -642,6 +642,10 @@ bool DeepState_CatchAbandoned(void) { Has to be defined here since we redefine rand in the header. */ int DeepState_Fuzz(void){ DeepState_LogFormat(DeepState_LogInfo, "Starting fuzzing"); + + if (!HAS_FLAG_log_level) { + FLAGS_log_level = 2; + } if (HAS_FLAG_seed) { srand(FLAGS_seed);