SuccessChanges

Summary

  1. Committing some intermediate stuff before moving to new branch. (commit: d90af86) (details)
Commit d90af860c46beb1e86c90ca3313e7baa630294e2 by Victor Bandur
Committing some intermediate stuff before moving to new branch.
new file: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassInstanceVariableSeqAssignTest.vdmrt
modified: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt
(commit: d90af86)
The file was addedcore/vdm2c/src/test/resources/vdmrt/classes/ClassInstanceVariableSeqAssignTest.vdmrt
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt (diff)