From 5b0e3dd3bcbefc4f02e44a6ee0237998cea294ec Mon Sep 17 00:00:00 2001 From: "Dongjia \"toka\" Zhang" Date: Fri, 29 Sep 2023 18:32:09 +0200 Subject: [PATCH] Make fuzzbench debugging easier (#1574) * to make debugging easier * debug --- fuzzers/fuzzbench/src/lib.rs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/fuzzers/fuzzbench/src/lib.rs b/fuzzers/fuzzbench/src/lib.rs index 6c29839798..705c1bebb5 100644 --- a/fuzzers/fuzzbench/src/lib.rs +++ b/fuzzers/fuzzbench/src/lib.rs @@ -386,7 +386,9 @@ fn fuzz( { let null_fd = file_null.as_raw_fd(); dup2(null_fd, io::stdout().as_raw_fd())?; - dup2(null_fd, io::stderr().as_raw_fd())?; + if !std::env::var("LIBAFL_FUZZBENCH_DEBUG").is_ok() { + dup2(null_fd, io::stderr().as_raw_fd())?; + } } // reopen file to make sure we're at the end log.replace(OpenOptions::new().append(true).create(true).open(logfile)?);