From 5f5257c9e77d0c2789802bf163d08fa3e0cb5986 Mon Sep 17 00:00:00 2001 From: SeungHwan Kim Date: Tue, 1 Oct 2024 12:05:39 +0000 Subject: [PATCH] revert unneccessary changes --- src/main/scala/esmeta/es/util/fuzzer/Fuzzer.scala | 7 ++----- src/main/scala/esmeta/phase/MinifyFuzz.scala | 5 +---- 2 files changed, 3 insertions(+), 9 deletions(-) diff --git a/src/main/scala/esmeta/es/util/fuzzer/Fuzzer.scala b/src/main/scala/esmeta/es/util/fuzzer/Fuzzer.scala index 82d6362d95..feb8ac7349 100644 --- a/src/main/scala/esmeta/es/util/fuzzer/Fuzzer.scala +++ b/src/main/scala/esmeta/es/util/fuzzer/Fuzzer.scala @@ -55,7 +55,7 @@ class Fuzzer( genStatHeader(mutator.names, mutStatTsv) }) time( - s"- initializing program pool with ${initPool.size} programs\n", { + s"- initializing program pool with ${initPool.size} programs", { var i = 1 for { (synthesizer, rawCode) <- initPool @@ -358,10 +358,7 @@ class Fuzzer( if (kFs > 0) row ++= Vector(tcv) addRow(row) // dump coverage - if (dumpDetail == 2) - cov.dumpToWithDetail(logDir, withMsg = (debug == ALL)) - else if (dumpDetail == 1) - cov.dumpTo(logDir) + cov.dumpToWithDetail(logDir, withMsg = (debug == ALL)) dumpStat(mutator.names, mutatorStat, mutStatTsv) private def addRow(data: Iterable[Any], nf: PrintWriter = summaryTsv): Unit = val row = data.mkString("\t") diff --git a/src/main/scala/esmeta/phase/MinifyFuzz.scala b/src/main/scala/esmeta/phase/MinifyFuzz.scala index 63facecf80..d60866c2ff 100644 --- a/src/main/scala/esmeta/phase/MinifyFuzz.scala +++ b/src/main/scala/esmeta/phase/MinifyFuzz.scala @@ -46,10 +46,7 @@ case object MinifyFuzz extends Phase[CFG, Coverage] { dumpDetail = config.dumpDetail, ) - if (config.dumpDetail == 2) - for (dirname <- config.out) cov.dumpToWithDetail(dirname) - else if (config.dumpDetail == 1) - for (dirname <- config.out) cov.dumpTo(dirname) + for (dirname <- config.out) cov.dumpToWithDetail(dirname) cov