Merge branch '3773' into 'master'

3773

See merge request !5

org.fortiss.af3.phoenix.product.tests/AllTests - DSE.launch

+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<launchConfiguration type="org.eclipse.pde.ui.JunitLaunchConfig">
+    <booleanAttribute key="append.args" value="true"/>
+    <booleanAttribute key="askclear" value="false"/>
+    <booleanAttribute key="automaticAdd" value="true"/>
+    <booleanAttribute key="automaticValidate" value="false"/>
+    <stringAttribute key="bootstrap" value=""/>
+    <stringAttribute key="checked" value="[NONE]"/>
+    <booleanAttribute key="clearConfig" value="true"/>
+    <booleanAttribute key="clearws" value="false"/>
+    <booleanAttribute key="clearwslog" value="false"/>
+    <stringAttribute key="configLocation" value="${workspace_loc}/.metadata/.plugins/org.eclipse.pde.core/pde-junit"/>
+    <booleanAttribute key="default" value="true"/>
+    <booleanAttribute key="includeOptional" value="true"/>
+    <stringAttribute key="location" value="${workspace_loc}/../junit-workspace"/>
+    <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
+        <listEntry value="/org.fortiss.af3.exploration.smt/test-src/test/org/fortiss/af3/exploration/smt/AllSMTTests.java"/>
+    </listAttribute>
+    <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
+        <listEntry value="1"/>
+    </listAttribute>
+    <stringAttribute key="org.eclipse.jdt.junit.CONTAINER" value=""/>
+    <booleanAttribute key="org.eclipse.jdt.junit.KEEPRUNNING_ATTR" value="false"/>
+    <stringAttribute key="org.eclipse.jdt.junit.TESTNAME" value=""/>
+    <stringAttribute key="org.eclipse.jdt.junit.TEST_KIND" value="org.eclipse.jdt.junit.loader.junit4"/>
+    <stringAttribute key="org.eclipse.jdt.launching.JRE_CONTAINER" value="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
+    <stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="test.org.fortiss.af3.exploration.smt.AllSMTTests"/>
+    <stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-os ${target.os} -ws ${target.ws} -arch ${target.arch} -nl ${target.nl} -consoleLog"/>
+    <stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="org.fortiss.af3.exploration.smt"/>
+    <stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.pde.ui.workbenchClasspathProvider"/>
+    <stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Dosgi.framework.extensions=org.eclipse.fx.osgi -Xmx2048m -Xss32m"/>
+    <stringAttribute key="pde.version" value="3.3"/>
+    <stringAttribute key="product" value="org.fortiss.af3.rcp.application.product"/>
+    <booleanAttribute key="run_in_ui_thread" value="true"/>
+    <booleanAttribute key="show_selected_only" value="false"/>
+    <stringAttribute key="testApplication" value="org.fortiss.af3.rcp.application.af3app"/>
+    <booleanAttribute key="tracing" value="false"/>
+    <booleanAttribute key="useCustomFeatures" value="false"/>
+    <booleanAttribute key="useDefaultConfig" value="true"/>
+    <booleanAttribute key="useDefaultConfigArea" value="false"/>
+    <booleanAttribute key="useProduct" value="true"/>
+</launchConfiguration>

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

@@ -25,14 +25,15 @@ import org.junit.runners.Suite.SuiteClasses;
  */
 @RunWith(Suite.class)
 // @CodeFormatterOff
-@SuiteClasses({ test.org.fortiss.af3.expression.AllTests.class,
-		test.org.fortiss.af3.component.AllTests.class,
-		test.org.fortiss.af3.state.ui.AllTests.class,
+@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.tools.AllTests.class, // make shell gcc don't work on my comp
+		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.testing.AllTests.class,
+		test.org.fortiss.af3.tools.AllTests.class  }) // make shell gcc don't work on my comp 
 // @CodeFormatterOn
 public class AllTests {
 	// empty class