A tool for differentially testing soundness and precision of program analyzers
Primary LanguageHaskellMIT LicenseMIT
No one’s star this repository yet.