SuccessChanges

Summary

  1. Fix in vdmSetGrow in accordance with errors from valgrind. (commit: bf6d499) (details)
Commit bf6d4992e1e6307d9e212711d57bc867f19b3212 by Victor Bandur
Fix in vdmSetGrow in accordance with errors from valgrind.
(commit: bf6d499)
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)