SuccessChanges

Summary

  1. -  Fix collection grow issue for sets. -  Addresses #106. (commit: 64aab0d) (details)
Commit 64aab0dfe298c8790ac9c5a089a54be294156928 by Victor Bandur
-  Fix collection grow issue for sets. -  Addresses #106.
(commit: 64aab0d)
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)