Changes

Summary

1. Add GC support for 'newSetVarToGrowGC' (commit: bc9c0d8) (details)

Commit bc9c0d863d1d3177528f222b9dd01060612cb8bd by Peter W. V. Tran-Jørgensen Add GC support for 'newSetVarToGrowGC' Addresses #87 (commit: bc9c0d8)
	core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/GarbageCollectionTrans.java (diff)
	core/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CSetCompStrategy.java (diff)