diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-04-11 16:59:48 -0400 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:36:36 -0400 |
| commit | ab556f8705c70a3376bcadf73698c95fd4df5bf9 (patch) | |
| tree | 0c34ae58ee74f4f154659ad303775cee3e5eb206 /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/plugin.xml | |
| parent | Implement containment circularity avoidance #20 (diff) | |
| download | VIATRA-Generator-ab556f8705c70a3376bcadf73698c95fd4df5bf9.tar.gz VIATRA-Generator-ab556f8705c70a3376bcadf73698c95fd4df5bf9.tar.zst VIATRA-Generator-ab556f8705c70a3376bcadf73698c95fd4df5bf9.zip | |
VAMPIRE: #39 Reorganise tests, working yakindu test, need debugging
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/plugin.xml')
| -rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/plugin.xml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/plugin.xml b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/plugin.xml index 38efb459..3770f0af 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/plugin.xml +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/plugin.xml | |||
| @@ -4,4 +4,14 @@ | |||
| 4 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.terminatorAndInformation"/> | 4 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.terminatorAndInformation"/> |
| 5 | </group> | 5 | </group> |
| 6 | </extension> | 6 | </extension> |
| 7 | <extension id="ca.mcgill.ecse.dslreasoner.vampire.queries.FileSystemPatterns" point="org.eclipse.viatra.query.runtime.queryspecification"> | ||
| 8 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:ca.mcgill.ecse.dslreasoner.vampire.queries.FileSystemPatterns" id="ca.mcgill.ecse.dslreasoner.vampire.queries.FileSystemPatterns"> | ||
| 9 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.patternContent"/> | ||
| 10 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.live"/> | ||
| 11 | <query-specification fqn="ca.mcgill.ecse.dslreasoner.vampire.queries.contentInNotLive"/> | ||
| 12 | </group> | ||
| 13 | </extension> | ||
| 14 | <extension id="extension.derived.ca.mcgill.ecse.dslreasoner.vampire.queries.live" point="org.eclipse.viatra.query.runtime.base.wellbehaving.derived.features"> | ||
| 15 | <wellbehaving-derived-feature classifier-name="FileSystem" feature-name="live" package-nsUri="FileSystemMetamodel"/> | ||
| 16 | </extension> | ||
| 7 | </plugin> | 17 | </plugin> |