SuccessChanges

Summary

  1. -  Fixed memory leak in maps. -  Addresses #89. (commit: 654762d) (details)
  2. -  Fixed memory leak in sets. -  Addresses #89. (commit: e237d81) (details)
  3. -  Reverted memory leak fix in sets as it does not appear with generated (commit: 1a9e6e0) (details)
Commit 654762d6fe2b2d46275629c8a6d30a760f2493e6 by Victor Bandur
-  Fixed memory leak in maps. -  Addresses #89.
(commit: 654762d)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)
Commit e237d81db992e81e9370e26d5bdedcac588cbb2d by Victor Bandur
-  Fixed memory leak in sets. -  Addresses #89.
(commit: e237d81)
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
Commit 1a9e6e035ccfd607249d66fcb8858dbe514ada8f by Victor Bandur
-  Reverted memory leak fix in sets as it does not appear with generated
code. -  Addresses #89.
(commit: 1a9e6e0)
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)