Test case for scratch work VDM class.

modified: src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
overturetool · Sep 21, 2016 · 514abce · 514abce
1 parent cd2a6e9
commit 514abce
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/core/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java b/core/vdm2c/src/test/java/org/overture/codegen/vdm2c/NativeClassesTests.java
@@ -183,5 +183,12 @@ public void ClassValueInheritance() throws IOException,
 	{
 		generate(getPath("classes/ClassValueInheritance.vdmrt"));
 		compileAndTest();
-	}	
+	}
+
+	public void ClassScratchWork() throws IOException,
+    InterruptedException, CMakeGenerateException
+	{
+		generate(getPath("classes/ClassScratchWork.vdmrt"));
+		compileAndTest();
+	}
 }