only run one test of distribution

overturetool · Oct 3, 2017 · 2b41cda · 2b41cda
1 parent 0a8af33
commit 2b41cda
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/core/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java b/core/vdm2c/src/test/java/org/overture/codegen/vdm2c/DistributionTests.java
@@ -95,7 +95,7 @@ private String findCMake() {
 		return cmake;
 	}
 
-	@Test
+	//@Test
 	public void TestAsn() throws IOException, InterruptedException,
 	CMakeGenerateException
 	{
@@ -186,7 +186,7 @@ public void TestAsn() throws IOException, InterruptedException,
 
 	}
 
-	@Test
+	//@Test
 	public void TestAsnProd() throws IOException, InterruptedException,
 	CMakeGenerateException
 	{
@@ -287,7 +287,7 @@ public void TestAsnProd() throws IOException, InterruptedException,
 
 	}
 
-	@Test
+	//@Test
 	public void TestSysConsInitMethod() throws IOException, InterruptedException,
 	CMakeGenerateException
 	{