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,
 eu.fbk.eclipse.standardtools.diagram
Bundle-ActivationPolicy: lazy
Import-Package: org.apache.log4j