Python infrastructure to train paths selectors for symbolic execution engines.
Primary LanguageC#MIT LicenseMIT