plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/AllTests.java

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 {
}