SuccessChanges

Summary

  1. -  Modifications and test for GC support for sets. -  Addresses #87. (commit: e1891e9) (details)
Commit e1891e931d560872238873203aec32b770adb6bc by Victor Bandur
-  Modifications and test for GC support for sets. -  Addresses #87.
(commit: e1891e9)
The file was modifiedc/vdmclib/src/test/ExpressionsSet_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)