| Manifest-Version: 1.0 |
| Bundle-ManifestVersion: 2 |
| Bundle-Name: Tests |
| Bundle-SymbolicName: org.polarsys.chess.contracts.verificationService.test.runtime;singleton:=true |
| Bundle-Version: 1.0.0.qualifier |
| Bundle-RequiredExecutionEnvironment: JavaSE-1.8 |
| Require-Bundle: eu.fbk.eclipse.standardtools.utils, |
| org.eclipse.core.commands, |
| org.eclipse.equinox.registry, |
| org.junit, |
| org.eclipse.ui.workbench, |
| org.eclipse.jdt.junit.core, |
| org.eclipse.uml2.uml, |
| org.eclipse.core.resources, |
| org.polarsys.chess.core, |
| org.polarsys.chess.chessmlprofile, |
| org.eclipse.ui, |
| org.eclipse.ui.navigator, |
| org.eclipse.papyrus.views.modelexplorer, |
| org.eclipse.papyrus.uml.tools, |
| org.polarsys.chess.contracts.profile, |
| org.polarsys.chess.service, |
| org.polarsys.chess.contracts.verificationService, |
| eu.fbk.eclipse.standardtools.nuXmvService, |
| eu.fbk.eclipse.standardtools.ModelTranslatorToOcra, |
| eu.fbk.tools.editor.oss, |
| eu.fbk.eclipse.standardtools.xtextService, |
| org.eclipse.xtext, |
| eu.fbk.tools.adapter.core, |
| org.eclipse.papyrus.junit.framework, |
| org.eclipse.papyrus.junit.utils, |
| eu.fbk.eclipse.standardtools.StateMachineTranslatorToSmv, |
| eu.fbk.eclipse.standardtools.ExecOcraCommands, |
| eu.fbk.eclipse.standardtools.diagram.ui, |
| eu.fbk.eclipse.standardtools.diagram, |
| org.polarsys.chess.diagram.ui, |
| eu.fbk.tools.adapter.ui, |
| org.polarsys.chess.OSSImporter, |
| eu.fbk.eclipse.standardTools.XSapExecService, |
| org.polarsys.chess.smvExporter, |
| org.polarsys.chess.contracts.transformations, |
| org.eclipse.acceleo.engine;bundle-version="3.6.6" |
| Bundle-ActivationPolicy: lazy |
| Import-Package: eu.fbk.eclipse.standardtools.logger, |
| eu.fbk.tools.adapter.ui.preferences, |
| org.apache.commons.io, |
| org.apache.log4j |
