SuccessChanges

Summary

  1. Pushed with this test enabled by mistake. (commit: 138afd1) (details)
Commit 138afd1c8da8eb8ebba7d89e389a84fc485242e5 by Victor Bandur
Pushed with this test enabled by mistake.
modified: 
src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
(commit: 138afd1)
The file was modifiedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java (diff)