aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/META-INF
diff options
context:
space:
mode:
authorLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2019-10-08 03:00:08 -0400
committerLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2020-06-07 19:43:10 -0400
commitd0e4ffcc9dfc85367ccc73bf070404416081a477 (patch)
tree0db0134207f473f6a12d7c362512b008bd6449eb /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/META-INF
parentVAMPIRE: Implement Vampire measurement code (diff)
downloadVIATRA-Generator-d0e4ffcc9dfc85367ccc73bf070404416081a477.tar.gz
VIATRA-Generator-d0e4ffcc9dfc85367ccc73bf070404416081a477.tar.zst
VIATRA-Generator-d0e4ffcc9dfc85367ccc73bf070404416081a477.zip
VAMPIRE: fix bug in transformation, further implement measurement code
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/META-INF')
-rw-r--r--Tests/ca.mcgill.ecse.dslreasoner.vampire.test/META-INF/MANIFEST.MF8
1 files changed, 7 insertions, 1 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/META-INF/MANIFEST.MF b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/META-INF/MANIFEST.MF
index 9e50006e..b786abfb 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/META-INF/MANIFEST.MF
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/META-INF/MANIFEST.MF
@@ -6,7 +6,13 @@ Bundle-Version: 1.0.0.qualifier
6Bundle-ClassPath: . 6Bundle-ClassPath: .
7Bundle-Vendor: %providerName 7Bundle-Vendor: %providerName
8Bundle-Localization: plugin 8Bundle-Localization: plugin
9Export-Package: ca.mcgill.ecse.dslreasoner.vampire.queries, 9Export-Package: ca.mcgill.ecse.dslreasoner.vamipre.yakindumm,
10 ca.mcgill.ecse.dslreasoner.vamipre.yakindumm.impl,
11 ca.mcgill.ecse.dslreasoner.vamipre.yakindumm.util,
12 ca.mcgill.ecse.dslreasoner.vampire.queries,
13 ca.mcgill.ecse.dslreasoner.vampire.yakindumm,
14 ca.mcgill.ecse.dslreasoner.vampire.yakindumm.impl,
15 ca.mcgill.ecse.dslreasoner.vampire.yakindumm.util,
10 yakindumm, 16 yakindumm,
11 yakindumm.impl, 17 yakindumm.impl,
12 yakindumm.util, 18 yakindumm.util,