/PySymGym

Python infrastructure to train paths selectors for symbolic execution engines.

Primary LanguagePythonMIT LicenseMIT

PySymGym

Python infrastructure to train paths selectors for symbolic execution engines.