SuccessChanges

Summary

  1. Fix issue with factorial implementation (commit: b31c5a1) (details)
  2. Add missing MATH lib test (commit: 4a0049d) (details)
  3. Update CMakeList file for gcc6 (commit: 79297bb) (details)
The file was modifiedc/vdmclib/src/main/MATHLib.c (diff)
The file was addedcore/vdm2c/src/test/resources/native/classes/ClassMATH_Tests.cpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/other/MATHLibTest.vdmrt
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTests.java (diff)
The file was addedcore/vdm2c/src/test/resources/vdmrt/lib/MATH.vdmrt
The file was modifiedc/vdmclib/src/main/ProjectCMakeLists.txt (diff)