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

Adopt Rust's source-based code coverage instrumentation #3119

Merged
merged 66 commits into from
Aug 27, 2024
Merged

Adopt Rust's source-based code coverage instrumentation #3119

merged 66 commits into from
Aug 27, 2024

Commits on Apr 22, 2024

  1. Adopt Rust's region-based coverage instrumentation

    @adpaco-aws
    adpaco-aws committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    b786e18 View commit details
    Browse the repository at this point in the history

  2. Add missing file

    @adpaco-aws
    adpaco-aws committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    8741945 View commit details
    Browse the repository at this point in the history

  3. Serialize results

    @adpaco-aws
    adpaco-aws committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    b3813fd View commit details
    Browse the repository at this point in the history

  4. Print where coverage results are saved

    @adpaco-aws
    adpaco-aws committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    99eda5a View commit details
    Browse the repository at this point in the history

  5. Match on parentheses, all props need to match

    @adpaco-aws
    adpaco-aws committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    42836c1 View commit details
    Browse the repository at this point in the history

  6. Better splits

    @adpaco-aws
    adpaco-aws committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    ec1f196 View commit details
    Browse the repository at this point in the history

  7. Autoformat

    @adpaco-aws
    adpaco-aws committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    a30de87 View commit details
    Browse the repository at this point in the history

  8. Fixes for toolchain upgrade sync

    @adpaco-aws
    adpaco-aws committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    3dfa074 View commit details
    Browse the repository at this point in the history

  9. Missing copyright

    @adpaco-aws
    adpaco-aws committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    89dc04b View commit details
    Browse the repository at this point in the history

  10. Remove cov subcommand

    @adpaco-aws
    adpaco-aws committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    fe0ee14 View commit details
    Browse the repository at this point in the history

  11. Update unstable option for source coverage

    @adpaco-aws
    adpaco-aws committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    6fd483b View commit details
    Browse the repository at this point in the history

  12. fixes for clippy

    @adpaco-aws
    adpaco-aws committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    12216ec View commit details
    Browse the repository at this point in the history

  13. Use square brackets to match on func. name

    @adpaco-aws
    adpaco-aws committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    e010665 View commit details
    Browse the repository at this point in the history

  14. Use curly brackets instead

    @adpaco-aws
    adpaco-aws committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    d512c4b View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2024

  1. Merge branch 'main' into region-cov-basic

    @adpaco-aws
    adpaco-aws committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    fa8e2bd View commit details
    Browse the repository at this point in the history

Commits on Jul 30, 2024

  1. Fix issues related to toolchain update

    @adpaco-aws
    adpaco-aws committed Jul 30, 2024
    Configuration menu
    Copy the full SHA
    c68c7ed View commit details
    Browse the repository at this point in the history

Commits on Aug 12, 2024

  1. Save timestamped coverage metadata and results

    @adpaco-aws
    adpaco-aws committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    77d53c2 View commit details
    Browse the repository at this point in the history

  2. Followup fix warnings and format

    @adpaco-aws
    adpaco-aws committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    d9ad862 View commit details
    Browse the repository at this point in the history

  3. Comment out debugging statements

    @adpaco-aws
    adpaco-aws committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    655ee69 View commit details
    Browse the repository at this point in the history

  4. Do not instrument stdlib

    @adpaco-aws
    adpaco-aws committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    ecf1f7e View commit details
    Browse the repository at this point in the history

  5. Better names in codegen_coverage

    @adpaco-aws
    adpaco-aws committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    e086ef1 View commit details
    Browse the repository at this point in the history

  6. Update RFC number

    @adpaco-aws
    adpaco-aws committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    a8d5c8f View commit details
    Browse the repository at this point in the history

  7. Add placeholder to show coverage summary

    @adpaco-aws
    adpaco-aws committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    0b5faa5 View commit details
    Browse the repository at this point in the history

Commits on Aug 13, 2024

  1. Merge branch 'main' into region-cov-basic

    @adpaco-aws
    adpaco-aws committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    bd5dee6 View commit details
    Browse the repository at this point in the history

  2. Cleanup and document coverage-related compiler APIs

    @adpaco-aws
    adpaco-aws committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    0229a40 View commit details
    Browse the repository at this point in the history

  3. Improve coverage checks postprocessing

    @adpaco-aws
    adpaco-aws committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    e4dda7a View commit details
    Browse the repository at this point in the history

  4. Implement Display for CoverageResults and use

    @adpaco-aws
    adpaco-aws committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    b01cb64 View commit details
    Browse the repository at this point in the history

  5. Clarify comment in format_coverage

    @adpaco-aws
    adpaco-aws committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    f79e074 View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2024

  1. Reformat

    @adpaco-aws
    adpaco-aws committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    c0008d5 View commit details
    Browse the repository at this point in the history

  2. Deal with clippy issues

    @adpaco-aws
    adpaco-aws committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    9730d5f View commit details
    Browse the repository at this point in the history

  3. Reformat

    @adpaco-aws
    adpaco-aws committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    e88a056 View commit details
    Browse the repository at this point in the history

  4. Bless coverage tests with source coverage results

    @adpaco-aws
    adpaco-aws committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    dc37cfd View commit details
    Browse the repository at this point in the history

  5. Bless tests more

    @adpaco-aws
    adpaco-aws committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    f029874 View commit details
    Browse the repository at this point in the history

  6. Fix postprocess with closures - bless test too

    @adpaco-aws
    adpaco-aws committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    6eefd6f View commit details
    Browse the repository at this point in the history

  7. Fix format in tests..

    @adpaco-aws
    adpaco-aws committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    0262056 View commit details
    Browse the repository at this point in the history

  8. Manual cargo update to see if lock errors go away

    @adpaco-aws
    adpaco-aws committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    be21bd7 View commit details
    Browse the repository at this point in the history

  9. Scaffold coverage results saving for standalone mdoe

    @adpaco-aws
    adpaco-aws committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    db1b1a3 View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2024

  1. Save coverage results with standalone mode

    @adpaco-aws
    adpaco-aws committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    0162d30 View commit details
    Browse the repository at this point in the history

  2. Format fixes

    @adpaco-aws
    adpaco-aws committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    9620601 View commit details
    Browse the repository at this point in the history

  3. Add test for saving coverage results

    @adpaco-aws
    adpaco-aws committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    8511087 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into region-cov-basic

    @adpaco-aws
    adpaco-aws committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    a94800e View commit details
    Browse the repository at this point in the history

  5. Format new test

    @adpaco-aws
    adpaco-aws committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    93faa8a View commit details
    Browse the repository at this point in the history

  6. Add running test to coverage

    @adpaco-aws
    adpaco-aws committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    d484c54 View commit details
    Browse the repository at this point in the history

  7. Fix variant.rs test

    @adpaco-aws
    adpaco-aws committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    9afd0a3 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'main' into region-cov-basic

    @adpaco-aws
    adpaco-aws committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    a8bb841 View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2024

  1. Avoid problems with functions with cov info

    @adpaco-aws
    adpaco-aws committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    e630a32 View commit details
    Browse the repository at this point in the history

  2. Temp: Run kani-perf.sh with coverage on

    @adpaco-aws
    adpaco-aws committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    7bfd919 View commit details
    Browse the repository at this point in the history

  3. Use $ as the separator for function names

    @adpaco-aws
    adpaco-aws committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    95e8788 View commit details
    Browse the repository at this point in the history

Commits on Aug 20, 2024

  1. Remove comment and -C opt-level=0

    @adpaco-aws
    adpaco-aws committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    a79c9d6 View commit details
    Browse the repository at this point in the history

  2. Undo change in compiletest to run with coverage

    @adpaco-aws
    adpaco-aws committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    5a574f7 View commit details
    Browse the repository at this point in the history

  3. Format

    @adpaco-aws
    adpaco-aws committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    0943ee3 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into region-cov-basic

    @adpaco-aws
    adpaco-aws committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    f86595b View commit details
    Browse the repository at this point in the history

  5. Use time instead of chrono

    @adpaco-aws
    adpaco-aws committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    e6165a2 View commit details
    Browse the repository at this point in the history

  6. Change in format

    @adpaco-aws
    adpaco-aws committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    ecf1d7e View commit details
    Browse the repository at this point in the history

  7. Fix test description

    @adpaco-aws
    adpaco-aws committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    047f24d View commit details
    Browse the repository at this point in the history

  8. Paste link to issue

    @adpaco-aws
    adpaco-aws committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    88ba7e5 View commit details
    Browse the repository at this point in the history

  9. Reorganize and document tests

    @adpaco-aws
    adpaco-aws committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    c0cc10d View commit details
    Browse the repository at this point in the history

Commits on Aug 21, 2024

  1. Fix up some expected outputs

    @adpaco-aws
    adpaco-aws committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    fb7c9e9 View commit details
    Browse the repository at this point in the history

Commits on Aug 22, 2024

  1. Make parse_coverage_opaque return a CovTerm directly

    @adpaco-aws
    adpaco-aws committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    cf3b465 View commit details
    Browse the repository at this point in the history

  2. Add documentation to parse_coverage_opaque

    @adpaco-aws
    adpaco-aws committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    a7ea4ee View commit details
    Browse the repository at this point in the history

  3. Remove coverage_args module

    @adpaco-aws
    adpaco-aws committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    0d56bdd View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2024

  1. Add timestamp comment

    @adpaco-aws
    adpaco-aws committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    8912288 View commit details
    Browse the repository at this point in the history

  2. Fix args and comment in postprocessing

    @adpaco-aws
    adpaco-aws committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    1f821fd View commit details
    Browse the repository at this point in the history

  3. Add comment on regex

    @adpaco-aws
    adpaco-aws committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    7ad9c8d View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into region-cov-basic

    @adpaco-aws
    adpaco-aws committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    41882b4 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'main' into region-cov-basic

    @adpaco-aws
    adpaco-aws committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    50e1378 View commit details
    Browse the repository at this point in the history