diff -r 39e3db2b4936 -r eefe954f01e8 eric6/DebugClients/Python/coverage/jsonreport.py
--- a/eric6/DebugClients/Python/coverage/jsonreport.py Sun Jul 05 11:11:24 2020 +0200
+++ b/eric6/DebugClients/Python/coverage/jsonreport.py Sun Oct 18 12:35:30 2020 +0200
@@ -60,6 +60,8 @@
self.report_data["totals"].update({
'num_branches': self.total.n_branches,
'num_partial_branches': self.total.n_partial_branches,
+ 'covered_branches': self.total.n_executed_branches,
+ 'missing_branches': self.total.n_missing_branches,
})
json.dump(
@@ -95,5 +97,7 @@
reported_file['summary'].update({
'num_branches': nums.n_branches,
'num_partial_branches': nums.n_partial_branches,
+ 'covered_branches': nums.n_executed_branches,
+ 'missing_branches': nums.n_missing_branches,
})
return reported_file
