SuccessChanges

Summary

  1. Interface cleanup in runtime library for sequences. (commit: e585d76) (details)
Commit e585d7668a3dfafb55053e9e4c7f6d31bbc439cc by Victor Bandur
Interface cleanup in runtime library for sequences.
(commit: e585d76)
The file was modifiedc/vdmclib/src/test/ExpressionsSeq_Tests.cpp (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.h (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)