SuccessChanges

Summary

  1. Removed system class from this test so that one can be tested in teh RT (commit: 9b4efca) (details)
Commit 9b4efca285544ac855cabc066f4ad3880e88c377 by Victor Bandur
Removed system class from this test so that one can be tested in teh RT
constructs test instead.
modified: 
core/vdm2c/src/test/resources/vdmrt/classes/ClassFieldAccess.vdmrt
(commit: 9b4efca)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassFieldAccess.vdmrt (diff)