SuccessChanges

Summary

  1. -  Increased coverage of basic precondition checks on map and sequence (commit: b8809e5) (details)
Commit b8809e57ccae3c5c31c86c914ee5868e0c447a62 by Victor Bandur
-  Increased coverage of basic precondition checks on map and sequence
operations. -  Addresses #118.
(commit: b8809e5)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)