From 2b41cda7ff3f15fdc84137071d487b0e0ca6d648 Mon Sep 17 00:00:00 2001
From: Miran <miranh89@gmail.com>
Date: Tue, 3 Oct 2017 17:01:09 +0200
Subject: [PATCH] only run one test of distribution

---
 .../java/org/overture/codegen/vdm2c/DistributionTests.java  | 6 +++---
 1 file changed, 3 insertions(+), 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
index 40d49252..83544f80 100644
--- 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
 	{