Add DSE tests

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


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

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

@@ -27,6 +27,7 @@ import org.junit.runners.Suite.SuiteClasses;
 // @CodeFormatterOff
 @SuiteClasses({ test.org.fortiss.af3.expression.AllTests.class,
 		test.org.fortiss.af3.component.AllTests.class,
+		test.org.fortiss.af3.exploration.smt.AllSMTTests.class,
 		test.org.fortiss.af3.state.ui.AllTests.class,
 		test.org.fortiss.af3.rcp.application.AllTests.class, // CCodeEquivalenceTest
 		test.org.fortiss.af3.state.AllTests.class, // testInitializeSimulator and testIncorrectConnections