100 'num_branches': nums.n_branches, |
100 'num_branches': nums.n_branches, |
101 'num_partial_branches': nums.n_partial_branches, |
101 'num_partial_branches': nums.n_partial_branches, |
102 'covered_branches': nums.n_executed_branches, |
102 'covered_branches': nums.n_executed_branches, |
103 'missing_branches': nums.n_missing_branches, |
103 'missing_branches': nums.n_missing_branches, |
104 }) |
104 }) |
|
105 reported_file['executed_branches'] = list( |
|
106 _convert_branch_arcs(analysis.executed_branch_arcs()) |
|
107 ) |
|
108 reported_file['missing_branches'] = list( |
|
109 _convert_branch_arcs(analysis.missing_branch_arcs()) |
|
110 ) |
105 return reported_file |
111 return reported_file |
|
112 |
|
113 |
|
114 def _convert_branch_arcs(branch_arcs): |
|
115 """Convert branch arcs to a list of two-element tuples.""" |
|
116 for source, targets in branch_arcs.items(): |
|
117 for target in targets: |
|
118 yield source, target |