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

Small things #6910

Merged
merged 3 commits into from
May 6, 2019
Merged

Small things #6910

merged 3 commits into from
May 6, 2019

Commits on May 6, 2019

  1. add comments to generalize_conflicting and use more general logic

    @Eh2406
    Eh2406 committed May 6, 2019
    Configuration menu
    Copy the full SHA
    bf28b0f View commit details
    Browse the repository at this point in the history

  2. if found a case that causes a panic and did not use all of the input.… 

    … lets print the part of the input that was used. Helpful in minimization.
    @Eh2406
    Eh2406 committed May 6, 2019
    Configuration menu
    Copy the full SHA
    45411e2 View commit details
    Browse the repository at this point in the history

  3. nit

    @Eh2406
    Eh2406 committed May 6, 2019
    Configuration menu
    Copy the full SHA
    d11e42c View commit details
    Browse the repository at this point in the history