[Jenkins]Jenkins

SuccessChanges

Summary

  1. Unintentional commit of work in progress on records. (commit: ec12439) (details)
Commit ec12439a35f4d09622c5bc9da95055ea7f84e82f by Victor Bandur
Unintentional commit of work in progress on records.
	modified:  
core/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTests.java
 (commit: ec12439)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTests.java (diff)