A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.
Primary LanguageOCamlMIT LicenseMIT
No one’s star this repository yet.