/whitesymex

Symbolic execution engine for Whitespace.

Primary LanguagePythonMIT LicenseMIT

Stargazers