Changes
Summary
- - Modifications and test for GC support for sets. - Addresses #87. (commit: e1891e9) (details)
![]() | c/vdmclib/src/main/VdmSet.c (diff) |
![]() | c/vdmclib/src/test/ExpressionsSet_Tests.cpp (diff) |
![]() | c/vdmclib/src/main/VdmSet.c (diff) |
![]() | c/vdmclib/src/test/ExpressionsSet_Tests.cpp (diff) |