From c9f4d1b9b807676310e7ae9179af99e726c0ee02 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 b8445c2..fafeb3c 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);