An oracle-guided heap invariant synthesizer built using CPAchecker (v1.4)
Primary LanguageCOtherNOASSERTION