Python infrastructure to train paths selectors for symbolic execution engines.
katyacyfra / pysymgym Goto Github PK
View Code? Open in Web Editor NEWThis project forked from pysymgym/pysymgym
Python infrastructure to train paths selectors for symbolic execution engines.
License: MIT License