[Jenkins]Jenkins

SuccessChanges

Summary

  1. Cleanup. (commit: e0a2a9a) (details)
  2. -  Fixed memory leak with sets. -  Rearranged failing test. (commit: 4c94c0e) (details)
  3. Emit default constructor for records to support ASN1 work (commit: 0688f88) (details)
The file was modifiedcore/vdm2c/src/test/resources/native/comprehensions/ExpressionComprehensions_Tests.cpp (diff)
Commit 4c94c0e8f7cdd402cb6c328ebdf31f31e5560d65 by Victor Bandur
-  Fixed memory leak with sets. -  Rearranged failing test.
 (commit: 4c94c0e)
The file was modifiedcore/vdm2c/src/test/resources/native/set/ExpressionsSetForCGTesting_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)
Commit 0688f88992bdd7cbe234fd8030ccc176c3406e13 by Peter W. V. Tran-Jørgensen
Emit default constructor for records to support ASN1 work
Closes #102
 (commit: 0688f88)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/vdm2c/extast/declarations/AClassHeaderDeclIR.vm (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/ir/declarations/ADefaultClassDeclIR.vm (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/VTableGenerator.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/ast/Vtables.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CFormat.java (diff)