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

[P4testgen] Coverage script #3853

Merged
merged 5 commits into from
Jan 20, 2023
Merged

[P4testgen] Coverage script #3853

merged 5 commits into from
Jan 20, 2023

Commits on Jan 19, 2023

  1. Benchmarking exploration strategies

    @hannelita @fruffy
    hannelita authored and fruffy committed Jan 19, 2023
    Configuration menu
    Copy the full SHA
    18c42f6 View commit details
    Browse the repository at this point in the history

  2. generating extra file with 1000 tests and inspecting when cov 1 is ac… 

    …hieved
    @hannelita @fruffy
    hannelita authored and fruffy committed Jan 19, 2023
    Configuration menu
    Copy the full SHA
    a86d317 View commit details
    Browse the repository at this point in the history

  3. Initial data collection and --exhaust option

    @hannelita @fruffy
    hannelita authored and fruffy committed Jan 19, 2023
    Configuration menu
    Copy the full SHA
    019ac58 View commit details
    Browse the repository at this point in the history

Commits on Jan 20, 2023

  1. Refactoring and test case generation fixes.

    @fruffy
    fruffy committed Jan 20, 2023
    Configuration menu
    Copy the full SHA
    9429e87 View commit details
    Browse the repository at this point in the history

  2. Minor fix.

    @fruffy
    fruffy committed Jan 20, 2023
    Configuration menu
    Copy the full SHA
    e69821e View commit details
    Browse the repository at this point in the history