Unlink tests related to refinement, testing and NuSMV

Issue-Ref: 3861
Issue-Url: https://af3-developer.fortiss.org/issues/3861



Signed-off-by: Simon Barner <barner@fortiss.org>

org.fortiss.af3.phoenix.product.tests/META-INF/MANIFEST.MF

@@ -10,9 +10,6 @@ Require-Bundle: org.eclipse.equinox.launcher;bundle-version="1.5.200",
  org.fortiss.af3.mira,
  org.fortiss.af3.mira.ui,
  org.fortiss.af3.state.ui,
- org.fortiss.af3.refinement,
- org.fortiss.af3.testing.ui,
  org.fortiss.af3.rcp.application,
- org.fortiss.af3.exploration.ui,
- org.fortiss.af3.tools
+ org.fortiss.af3.exploration.ui
 Bundle-Vendor: fortiss GmbH

org.fortiss.af3.phoenix.product.tests/tests-src/org/fortiss/af3/phoenix/product/tests/AllTests.java

@@ -28,12 +28,8 @@ import org.junit.runners.Suite.SuiteClasses;
 @SuiteClasses({ test.org.fortiss.af3.component.AllTests.class,
 		test.org.fortiss.af3.exploration.smt.AllSMTTests.class,
 		test.org.fortiss.af3.expression.AllTests.class,
-		test.org.fortiss.af3.rcp.application.AllTests.class, // CCodeEquivalenceTest
 		test.org.fortiss.af3.state.AllTests.class, // testInitializeSimulator and testIncorrectConnections
-		test.org.fortiss.af3.state.ui.AllTests.class,
-		test.org.fortiss.af3.testing.random.AllTests.class,
-		test.org.fortiss.af3.testing.AllTests.class,
-		test.org.fortiss.af3.tools.AllTests.class  }) // make shell gcc don't work on my comp 
+		test.org.fortiss.af3.state.ui.AllTests.class  }) 
 // @CodeFormatterOn
 public class AllTests {
 	// empty class

org.fortiss.af3.phoenix.product.tests/tests-src/org/fortiss/af3/phoenix/product/tests/GreenTests.java

@@ -27,8 +27,7 @@ import org.junit.runners.Suite.SuiteClasses;
 // @CodeFormatterOff
 // @formatter:off
 @RunWith(Suite.class)
-@SuiteClasses({ test.org.fortiss.af3.component.AllTests.class, test.org.fortiss.af3.expression.AllTests.class,
-		test.org.fortiss.af3.refinement.AllTests.class })
+@SuiteClasses({ test.org.fortiss.af3.component.AllTests.class, test.org.fortiss.af3.expression.AllTests.class })
 public class GreenTests {
 	// empty class
 }