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

Convenience: allow specifying the corpus description json file #172

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Convenience: allow specifying the corpus description json file #172

wants to merge 1 commit into from

Commits on Oct 27, 2022

  1. Allow specifying the corpus description json file 

    I found it useful sometimes to have variations of the corpus description
- e.g. remove swaths of modules. This patch allows multiple descriptions
to co-exist under a corpus directory, and select the desired one
transparently.

Renamed the argument since "data path" is more of a directory than a
file, "location" covers both.
    @mtrofin
    mtrofin committed Oct 27, 2022
    Configuration menu
    Copy the full SHA
    83f792c View commit details
    Browse the repository at this point in the history