[Jenkins]Jenkins

SuccessChanges

Summary

  1. Tests for CSV library. (commit: a0ca3a6) (details)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeTests.java (diff)
The file was addedcore/vdm2c/src/test/resources/vdmrt/other/CSVLibTest.vdmrt
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/lib/IO.vdmrt (diff)
The file was addedcore/vdm2c/src/test/resources/vdmrt/other/CSVLib.vdmrt
The file was addedcore/vdm2c/src/test/resources/native/classes/CSVTest.csv
The file was addedcore/vdm2c/src/test/resources/vdmrt/lib/CSV.vdmrt
The file was addedcore/vdm2c/src/test/resources/native/classes/ClassCSV_Tests.cpp