| /******************************************************************************* | |
| * Copyright (C) 2020 Fondazione Bruno Kessler. | |
| * All rights reserved. This program and the accompanying materials | |
| * are made available under the terms of the Eclipse Public License v2.0 | |
| * which accompanies this distribution, and is available at | |
| * http://www.eclipse.org/legal/epl-v20.html | |
| ******************************************************************************/ | |
| 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 { | |
| } |