[Jenkins]Jenkins

SuccessChanges

Summary

  1. Stabilize tests. (commit: 2b7d1c6) (details)
Commit 2b7d1c6549155634293046b32beae3f14f7e80e5 by Victor Bandur
Stabilize tests.
	modified:  
core/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt
 (commit: 2b7d1c6)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt (diff)