Commit 365620db authored by Daniel Ratiu's avatar Daniel Ratiu
Browse files

small fix in tests by adding missing tests in the AllTests suite

refs 954
parent 3214afe8
......@@ -17,6 +17,7 @@ $Id: IntType.java 1270 2011-08-29 08:55:46Z ratiu $
+--------------------------------------------------------------------------*/
package test.org.fortiss.af3.tools;
import org.fortiss.af3.tools.nusmv.run.InteractiveNuSMVRunner;
import org.junit.runner.RunWith;
import org.junit.runners.Suite;
import org.junit.runners.Suite.SuiteClasses;
......@@ -30,13 +31,16 @@ import test.org.fortiss.af3.tools.yices.tests.SimpleTest;
* @author ratiu
* @author $Author: ratiu $
* @version $Rev: 1270 $
* @ConQAT.Rating GREEN Hash: 194A51D79DEAB46FEF29DC5056650305
* @ConQAT.Rating YELLOW Hash: 641682EBDA46F8E69326334C23B4B643
*/
// @CodeFormatterOff
@RunWith(Suite.class)
@SuiteClasses({
ExpressionsTest.class,
SimpleTest.class
SimpleTest.class,
test.org.fortiss.af3.tools.nusmv.tests.SmokeTest.class,
InteractiveNuSMVRunner.class,
test.org.fortiss.af3.tools.gcc.SmokeTest.class,
})
// @CodeFormatterOn
public class AllTests {
......
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