[Jenkins]Jenkins

SuccessChanges

Summary

  1. Records test was in fact a test for products. (commit: 10414f3) (details)
Commit 10414f39d0a71c7ee18010dc907529ac08f2bc70 by Victor Bandur
Records test was in fact a test for products.
	modified:  
src/test/resources/vdmrt/expressions/ExpressionRecord.vdmrt
 (commit: 10414f3)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionRecord.vdmrt (diff)