SuccessChanges

Summary

  1. Support map comprehensions (commit: 6ec1df8) (details)
  2. Test map comprehensions (commit: 0fd4ada) (details)
The file was addedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CMapCompStrategy.java
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CompToBlockTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/native/comprehensions/ExpressionComprehensions_Tests.cpp (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionComprehensions.vdmrt (diff)