Artifact for the "Nekara: Generalized Concurrency Testing" ASE 2021 paper.
Primary LanguageC#MIT LicenseMIT