Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add branch details to JSON report #1438

Closed
wants to merge 7 commits into from
Closed

Add branch details to JSON report #1438

wants to merge 7 commits into from

Commits on Aug 18, 2022

  1. Extend json report test 

    Added more branches to the code whose coverage is checked.
    @christoph-blessing
    christoph-blessing committed Aug 18, 2022
    Configuration menu
    Copy the full SHA
    0bb7d56 View commit details
    Browse the repository at this point in the history

  2. Add branch details to json report 

    The json report now includes for each branch which branches have been
executed, missed and what the percentage of covered branches was.
    @christoph-blessing
    christoph-blessing committed Aug 18, 2022
    Configuration menu
    Copy the full SHA
    b387359 View commit details
    Browse the repository at this point in the history

Commits on Aug 19, 2022

  1. Add exiting branch arc to json report test

    @christoph-blessing
    christoph-blessing committed Aug 19, 2022
    Configuration menu
    Copy the full SHA
    99ed2db View commit details
    Browse the repository at this point in the history

  2. Update branch details format 

    Executed and missing branch arcs are stored in the fields named
'executed_branches' and 'missing_branches' respectively. Both fields
contain a list of two element lists. The first element represents the
source line number and the second one the target line number. Exit
branches have their target line number set to 0.
    @christoph-blessing
    christoph-blessing committed Aug 19, 2022
    Configuration menu
    Copy the full SHA
    97b2ac8 View commit details
    Browse the repository at this point in the history

  3. Fix linting errors

    @christoph-blessing
    christoph-blessing committed Aug 19, 2022
    Configuration menu
    Copy the full SHA
    d6f9893 View commit details
    Browse the repository at this point in the history

Commits on Sep 20, 2022

  1. Merge branch 'master' into add_branch_details_to_jsonreport

    @nedbat
    nedbat committed Sep 20, 2022
    Configuration menu
    Copy the full SHA
    b8e1e50 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into add_branch_details_to_jsonreport

    @nedbat
    nedbat committed Sep 20, 2022
    Configuration menu
    Copy the full SHA
    f0aa16f View commit details
    Browse the repository at this point in the history