summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJiri Gaisler <jiri@gaisler.se>2019-01-25 16:39:18 +0100
committerJiri Gaisler <jiri@gaisler.se>2019-01-25 16:39:18 +0100
commitdd6a10dfe62992dd426dc22564412ad30269c210 (patch)
treec01db468407d543c8e5cb121fac3442206edcc25
parentdd3d0cc5bf8a073d3dc28d2af33f575e8e58e075 (diff)
covoar: enable -f switch to select other coverage formats
-rw-r--r--tester/covoar/covoar.cc3
1 files changed, 2 insertions, 1 deletions
diff --git a/tester/covoar/covoar.cc b/tester/covoar/covoar.cc
index 36c24c3..cbb0e4f 100644
--- a/tester/covoar/covoar.cc
+++ b/tester/covoar/covoar.cc
@@ -163,7 +163,7 @@ int covoar(
char gcdaFileName[FILE_NAME_LENGTH];
char gcovBashCommand[256];
std::string target;
- const char* format = "html";
+ const char* format = "QEMU";
FILE* gcnosFile = NULL;
Gcov::GcovData* gcovFile;
const char* singleExecutable = NULL;
@@ -359,6 +359,7 @@ int covoar(
AllExplanations->load( explanations );
// Create coverage map reader.
+ coverageFormat = Coverage::CoverageFormatToEnum(format);
coverageReader = Coverage::CreateCoverageReader(coverageFormat);
if (!coverageReader)
throw rld::error( "Unable to create coverage file reader", "covoar" );