diff options
author | Jiri Gaisler <jiri@gaisler.se> | 2019-01-25 16:39:18 +0100 |
---|---|---|
committer | Jiri Gaisler <jiri@gaisler.se> | 2019-01-25 16:39:18 +0100 |
commit | dd6a10dfe62992dd426dc22564412ad30269c210 (patch) | |
tree | c01db468407d543c8e5cb121fac3442206edcc25 /tester/covoar/covoar.cc | |
parent | dd3d0cc5bf8a073d3dc28d2af33f575e8e58e075 (diff) |
covoar: enable -f switch to select other coverage formats
Diffstat (limited to '')
-rw-r--r-- | tester/covoar/covoar.cc | 3 |
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" ); |