SuccessChanges

Summary

  1. -  Inserting assertions for memory allocation failures. -  Addresses (commit: d5a6ac0) (details)
Commit d5a6ac069999a65fad146b2cc7fc88df4f76998a by Victor Bandur
-  Inserting assertions for memory allocation failures. -  Addresses
#89.
(commit: d5a6ac0)
The file was modifiedc/vdmclib/src/main/VdmClass.c (diff)
The file was modifiedc/vdmclib/src/main/PrettyPrint.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)