Commit a18fa7a3 authored by Alexander Diewald's avatar Alexander Diewald
Browse files

Add DSE test suite

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

Signed-off-by: Alexander Diewald's avatarAlexander Diewald <diewald@fortiss.org>
parent 93ccc1b7
......@@ -26,6 +26,7 @@ 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.exploration.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
test.org.fortiss.af3.tools.AllTests.class, // make shell gcc don't work on my comp
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment