Python infrastructure to train paths selectors for symbolic execution engines.
Primary LanguagePythonMIT LicenseMIT