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

Rename some exploration strategies - Simplify DFS and random selection #3918

Merged
merged 10 commits into from
Mar 17, 2023
Merged

Rename some exploration strategies - Simplify DFS and random selection #3918

merged 10 commits into from
Mar 17, 2023

Commits on Mar 17, 2023

  1. Rename strategies and simplify DFS and Random traversal.

    @fruffy
    fruffy committed Mar 17, 2023
    Configuration menu
    Copy the full SHA
    08191f7 View commit details
    Browse the repository at this point in the history

  2. Use common code.

    @fruffy
    fruffy committed Mar 17, 2023
    Configuration menu
    Copy the full SHA
    542045f View commit details
    Browse the repository at this point in the history

  3. Fix infinite loop in the reachability engine.

    @fruffy
    fruffy committed Mar 17, 2023
    Configuration menu
    Copy the full SHA
    21ba07b View commit details
    Browse the repository at this point in the history

  4. Try to avoid certificate errors.

    @fruffy
    fruffy committed Mar 17, 2023
    Configuration menu
    Copy the full SHA
    b92804b View commit details
    Browse the repository at this point in the history

  5. Some xfails.

    @fruffy
    fruffy committed Mar 17, 2023
    Configuration menu
    Copy the full SHA
    1c52c73 View commit details
    Browse the repository at this point in the history

  6. Successor fix.

    @fruffy
    fruffy committed Mar 17, 2023
    Configuration menu
    Copy the full SHA
    4f65e0f View commit details
    Browse the repository at this point in the history

  7. Clean up defunct strategies and options.

    @fruffy
    fruffy committed Mar 17, 2023
    Configuration menu
    Copy the full SHA
    e585d5f View commit details
    Browse the repository at this point in the history

  8. Disable stuck eBPF test.

    @fruffy
    fruffy committed Mar 17, 2023
    Configuration menu
    Copy the full SHA
    a9ba5d8 View commit details
    Browse the repository at this point in the history

  9. XFails.

    @fruffy
    fruffy committed Mar 17, 2023
    Configuration menu
    Copy the full SHA
    32a0f5d View commit details
    Browse the repository at this point in the history

  10. Typo.

    @fruffy
    fruffy committed Mar 17, 2023
    Configuration menu
    Copy the full SHA
    f2ff28e View commit details
    Browse the repository at this point in the history