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

Line coverage reports #2609

Merged
merged 94 commits into from
Jul 28, 2023
Merged

Line coverage reports #2609

merged 94 commits into from
Jul 28, 2023

Commits on Jul 13, 2023

  1. Add coverage and coverage test script

    @jaisnan
    jaisnan committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    22751fd View commit details
    Browse the repository at this point in the history

  2. Add coverage to basic blocks (both stmts and terms)

    @adpaco-aws
    adpaco-aws committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    b3a679e View commit details
    Browse the repository at this point in the history

  3. Add descriptions to printed lines

    @jaisnan
    jaisnan committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    487e4bb View commit details
    Browse the repository at this point in the history

  4. Add cover statements to the 1st statement of each basic block (NO TERMS)

    @adpaco-aws
    adpaco-aws committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    4f42a32 View commit details
    Browse the repository at this point in the history

  5. Add cover stmts to the front of each basic block (including terminators)

    @adpaco-aws
    adpaco-aws committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    789cc00 View commit details
    Browse the repository at this point in the history

  6. Add cover before every statement/terminator

    @adpaco-aws
    adpaco-aws committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    c9ef05c View commit details
    Browse the repository at this point in the history

Commits on Jul 14, 2023

  1. Add new coverage prop. class and method to codegen it

    @adpaco-aws
    adpaco-aws committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    77da3b4 View commit details
    Browse the repository at this point in the history

  2. Adjustments to post-processing for coverage checks

    @adpaco-aws
    adpaco-aws committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    3466b7f View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2023

  1. Merge branch 'main' of https://github.com/model-checking/kani into co… 

    …verage-tests-2
    @jaisnan
    jaisnan committed Jul 15, 2023
    Configuration menu
    Copy the full SHA
    37d9e5f View commit details
    Browse the repository at this point in the history

Commits on Jul 16, 2023

  1. Flatten coverage directory

    @jaisnan
    jaisnan committed Jul 16, 2023
    Configuration menu
    Copy the full SHA
    9543241 View commit details
    Browse the repository at this point in the history

Commits on Jul 17, 2023

  1. Add coverage test suite

    @jaisnan
    jaisnan committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    c1d5569 View commit details
    Browse the repository at this point in the history

  2. Remove python script

    @jaisnan
    jaisnan committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    8206ff0 View commit details
    Browse the repository at this point in the history

  3. Add coverage-related flags to driver and compiler

    @adpaco-aws
    adpaco-aws committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    0638f8b View commit details
    Browse the repository at this point in the history

  4. Format

    @adpaco-aws
    adpaco-aws committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    9b0b866 View commit details
    Browse the repository at this point in the history

  5. Codegen assert as assume if not for coverage

    @adpaco-aws
    adpaco-aws committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    ba72fc5 View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2023

  1. Add python script for coverage postprocessing

    @adpaco-aws
    adpaco-aws committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    d94b53e View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2023

  1. Merge branch 'proto-cover-every-stmt-term' of https://github.com/adpa… 

    …co-aws/rmc into coverage-tests-2
    @jaisnan
    jaisnan committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    b2bc2ca View commit details
    Browse the repository at this point in the history

  2. Merge branch 'postcov-script' of https://github.com/adpaco-aws/rmc in… 

    …to coverage-tests-2
    @jaisnan
    jaisnan committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    8602593 View commit details
    Browse the repository at this point in the history

  3. Remove explicit kani::cover!() calls

    @jaisnan
    jaisnan committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    b0a4d25 View commit details
    Browse the repository at this point in the history

  4. Add fixed expected files

    @jaisnan
    jaisnan committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    cf31e98 View commit details
    Browse the repository at this point in the history

  5. Add changes to compiletest

    @jaisnan
    jaisnan committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    54cf004 View commit details
    Browse the repository at this point in the history

  6. Add copyright string

    @jaisnan
    jaisnan committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    265158c View commit details
    Browse the repository at this point in the history

  7. Remove redundant tests and expected lines

    @jaisnan
    jaisnan committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    7945cc1 View commit details
    Browse the repository at this point in the history

  8. add copyright string to script

    @jaisnan
    jaisnan committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    252c776 View commit details
    Browse the repository at this point in the history

  9. Format python script

    @jaisnan
    jaisnan committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    d4842fb View commit details
    Browse the repository at this point in the history

  10. fix expected

    @jaisnan
    jaisnan committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    c344f80 View commit details
    Browse the repository at this point in the history

  11. change test collection

    @jaisnan
    jaisnan committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    8dad837 View commit details
    Browse the repository at this point in the history

  12. Use existing output checking function

    @jaisnan
    jaisnan committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    4f346ed View commit details
    Browse the repository at this point in the history

Commits on Jul 20, 2023

  1. add coverage output format

    @jaisnan
    jaisnan committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    3d009b2 View commit details
    Browse the repository at this point in the history

  2. remove os specific strings from expected

    @jaisnan
    jaisnan committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    36cdaf6 View commit details
    Browse the repository at this point in the history

  3. Fix clippy

    @jaisnan
    jaisnan committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    815eef5 View commit details
    Browse the repository at this point in the history

  4. Remove redundant expected files

    @jaisnan
    jaisnan committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    cba1909 View commit details
    Browse the repository at this point in the history

  5. Add --coverage flag and remove post-processing script

    @jaisnan
    jaisnan committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    6a5749c View commit details
    Browse the repository at this point in the history

  6. Refactor post-processing

    @jaisnan
    jaisnan committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    82184b3 View commit details
    Browse the repository at this point in the history

  7. Add comments

    @jaisnan
    jaisnan committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    5a1b50a View commit details
    Browse the repository at this point in the history

  8. Remove comments from expected files

    @jaisnan
    jaisnan committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    0d4d88d View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2023

  1. Address-PR-comments

    @jaisnan
    jaisnan committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    c6b681e View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2023

  1. Remove assume from codegen_Assert

    @jaisnan
    jaisnan committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    c95db7f View commit details
    Browse the repository at this point in the history

  2. Add check for kani library paths

    @jaisnan
    jaisnan committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    64b003a View commit details
    Browse the repository at this point in the history

  3. Add coverage with verification results

    @jaisnan
    jaisnan committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    2124086 View commit details
    Browse the repository at this point in the history

  4. Add FULL,NONE and PARTIAL outputs

    @jaisnan
    jaisnan committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    ca000cb View commit details
    Browse the repository at this point in the history

  5. bless expected files

    @jaisnan
    jaisnan committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    ac3a7f5 View commit details
    Browse the repository at this point in the history

  6. bless expected files

    @jaisnan
    jaisnan committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    43c0841 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'Add-coverage-prototype' of https://github.com/jaisnan/kani 

     into Add-coverage-prototype
    @jaisnan
    jaisnan committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    8b29842 View commit details
    Browse the repository at this point in the history

  8. Add formatting

    @jaisnan
    jaisnan committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    3012579 View commit details
    Browse the repository at this point in the history

  9. Remove full path from expected

    @jaisnan
    jaisnan committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    414a06b View commit details
    Browse the repository at this point in the history

  10. Add more tests

    @jaisnan
    jaisnan committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    93642e8 View commit details
    Browse the repository at this point in the history

  11. Add better comments

    @jaisnan
    jaisnan committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    52bd8cb View commit details
    Browse the repository at this point in the history

  12. Merge branch 'main' into Add-coverage-prototype

    @jaisnan
    jaisnan authored Jul 25, 2023
    Configuration menu
    Copy the full SHA
    955e46b View commit details
    Browse the repository at this point in the history

  13. Remove unnecessary cloning

    @jaisnan
    jaisnan committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    59e9181 View commit details
    Browse the repository at this point in the history

  14. Merge branch 'Add-coverage-prototype' of https://github.com/jaisnan/kani 

     into Add-coverage-prototype
    @jaisnan
    jaisnan committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    593e8ca View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2023

  1. Merge branch 'main' into Add-coverage-prototype

    @jaisnan
    jaisnan authored Jul 26, 2023
    Configuration menu
    Copy the full SHA
    b232dad View commit details
    Browse the repository at this point in the history

Commits on Jul 27, 2023

  1. Add dependency coverage reports

    @jaisnan
    jaisnan committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    1d76b5d View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into Add-coverage-prototype

    @jaisnan
    jaisnan authored Jul 27, 2023
    Configuration menu
    Copy the full SHA
    135715b View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into Add-coverage-prototype

    @jaisnan
    jaisnan authored Jul 27, 2023
    Configuration menu
    Copy the full SHA
    dd386e1 View commit details
    Browse the repository at this point in the history

  4. Refactor coverage cases in codegen_block

    @adpaco-aws
    adpaco-aws committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    823d72a View commit details
    Browse the repository at this point in the history

  5. Add/remove comments in codegen_block

    @adpaco-aws
    adpaco-aws committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    043e236 View commit details
    Browse the repository at this point in the history

  6. Improve comments for Coverage class/methods

    @adpaco-aws
    adpaco-aws committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    48b6612 View commit details
    Browse the repository at this point in the history

  7. Add assume to div. overflow check

    @adpaco-aws
    adpaco-aws committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    74dc8e8 View commit details
    Browse the repository at this point in the history

  8. Use unstable feature flag

    @adpaco-aws
    adpaco-aws committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    d7e85f2 View commit details
    Browse the repository at this point in the history

  9. Update doc comment for COVERAGE_CHECKS

    @adpaco-aws
    adpaco-aws committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    8d9d5ec View commit details
    Browse the repository at this point in the history

  10. Change formatting cond. on coverage

    @adpaco-aws
    adpaco-aws committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    644be2a View commit details
    Browse the repository at this point in the history

  11. Use format_coverage

    @adpaco-aws
    adpaco-aws committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    0ceecdd View commit details
    Browse the repository at this point in the history

  12. Changes to comment/visibility of format_result_coverage

    @adpaco-aws
    adpaco-aws committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    c1fb90c View commit details
    Browse the repository at this point in the history

  13. Rename to Coverage to CodeCoverage

    @adpaco-aws
    adpaco-aws committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    d5f36ef View commit details
    Browse the repository at this point in the history

  14. Add formatting

    @jaisnan
    jaisnan committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    5e206b2 View commit details
    Browse the repository at this point in the history

  15. dummy commit

    @jaisnan
    jaisnan committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    e7ec1fc View commit details
    Browse the repository at this point in the history

  16. Fix post-processing and regression

    @jaisnan
    jaisnan committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    88d19f8 View commit details
    Browse the repository at this point in the history

  17. Change status parsing

    @jaisnan
    jaisnan committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    7bea0d4 View commit details
    Browse the repository at this point in the history

  18. Refactor post-processing function to single loop

    @jaisnan
    jaisnan committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    a3aa443 View commit details
    Browse the repository at this point in the history

  19. Add comments

    @jaisnan
    jaisnan committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    ece3554 View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2023

  1. Remove unnecessary clone

    @jaisnan
    jaisnan committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    9072fad View commit details
    Browse the repository at this point in the history

  2. Add help message and fix typo

    @jaisnan
    jaisnan committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    edd3f86 View commit details
    Browse the repository at this point in the history

  3. Remove redundant tests

    @jaisnan
    jaisnan committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    b7372e4 View commit details
    Browse the repository at this point in the history

  4. Use strum::Display

    @jaisnan
    jaisnan committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    e65d5c1 View commit details
    Browse the repository at this point in the history

  5. Address test related comments

    @jaisnan
    jaisnan committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    d91b354 View commit details
    Browse the repository at this point in the history

  6. Change description of code coverage property class

    @jaisnan
    jaisnan committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    235b872 View commit details
    Browse the repository at this point in the history

  7. Update status to COVERED, UNCOVERED

    @jaisnan
    jaisnan committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    aece576 View commit details
    Browse the repository at this point in the history

  8. add comment

    @jaisnan
    jaisnan committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    f99284e View commit details
    Browse the repository at this point in the history

  9. Update comments for CheckStatus

    @adpaco-aws
    adpaco-aws committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    d974cf3 View commit details
    Browse the repository at this point in the history

  10. Update format_result_coverage

    @adpaco-aws
    adpaco-aws committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    16a5170 View commit details
    Browse the repository at this point in the history

  11. Update comment on update_results...coverage_checks

    @adpaco-aws
    adpaco-aws committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    3d3d391 View commit details
    Browse the repository at this point in the history

  12. Add comments to some tests

    @adpaco-aws
    adpaco-aws committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    e200b52 View commit details
    Browse the repository at this point in the history

  13. Run formatting

    @jaisnan
    jaisnan committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    cd47c9f View commit details
    Browse the repository at this point in the history

  14. More comments in two tests

    @adpaco-aws
    adpaco-aws committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    a4a7f22 View commit details
    Browse the repository at this point in the history

  15. Comments in one test

    @adpaco-aws
    adpaco-aws committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    dd54c09 View commit details
    Browse the repository at this point in the history

  16. Make UNCOVERED red

    @adpaco-aws
    adpaco-aws committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    ee3290f View commit details
    Browse the repository at this point in the history

  17. Rename CoverStatus to CoverageStatus

    @adpaco-aws
    adpaco-aws committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    4235ba6 View commit details
    Browse the repository at this point in the history

  18. Rewrite condition for PARTIAL status

    @adpaco-aws
    adpaco-aws committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    eea1d25 View commit details
    Browse the repository at this point in the history

  19. Rewrite status updates for coverage into match

    @adpaco-aws
    adpaco-aws committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    88a7e2e View commit details
    Browse the repository at this point in the history

  20. Change test to use kani::any_where

    @adpaco-aws
    adpaco-aws committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    c518bf2 View commit details
    Browse the repository at this point in the history

  21. Change comment

    @adpaco-aws
    adpaco-aws committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    9a279b5 View commit details
    Browse the repository at this point in the history

  22. Remove a bunch of tests

    @adpaco-aws
    adpaco-aws committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    1f552de View commit details
    Browse the repository at this point in the history

  23. Add descriptions to three tests and update results

    @adpaco-aws
    adpaco-aws committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    c3afce2 View commit details
    Browse the repository at this point in the history