This repository has been archived by the owner on Oct 3, 2021. It is now read-only.
Adjust check for possible mem leaks at __VERIFIER_error calls to current rules#516
Merged
dbeyer merged 1 commit intomasterfrom memleak-checkNov 16, 2017
+5-36
