package org.polarsys.chess.contracts.verificationService.test.runtime.tests; | |
import org.junit.runner.RunWith; | |
import org.junit.runners.Suite; | |
import org.junit.runners.Suite.SuiteClasses; | |
@RunWith(Suite.class) | |
@SuiteClasses({ | |
TestBasicOperations.class, TestBasicOperationsHeadless.class, TestSafetyAnalysisOperations.class, TestVAndVOperations.class | |
//,TestVandVOperationsOSLC.class | |
}) | |
public class AllTests { | |
} |