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