SuccessChanges

Summary

  1. Test for sequence updates. (commit: cd01a15) (details)
The file was modifiedc/vdmclib/src/test/ExpressionsSeq_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)