Added all plugins to coverage report + new dependencies for

carisma.check.template. Addressing Issue #34
CARiSMA-Tool · Mar 5, 2024 · b704a1d · b704a1d
1 parent d4b79a9
commit b704a1d
Show file tree

Hide file tree

Showing 2 changed files with 83 additions and 81 deletions.
diff --git a/plugins/carisma.check.template/META-INF/MANIFEST.MF b/plugins/carisma.check.template/META-INF/MANIFEST.MF
@@ -10,7 +10,9 @@ Require-Bundle: org.eclipse.ui,
  carisma.core,
  org.eclipse.pde.core,
  org.eclipse.pde.ui,
- org.eclipse.core.resources
+ org.eclipse.core.resources,
+ org.eclipse.emf,
+ org.eclipse.uml2
 Bundle-ActivationPolicy: lazy
 Bundle-RequiredExecutionEnvironment: JavaSE-17
 Bundle-Vendor: Software Engineering Institute, TU Dortmund