[Jenkins]Jenkins

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)