diff options
author | 2019-04-04 19:55:10 -0400 | |
---|---|---|
committer | 2020-06-07 19:36:08 -0400 | |
commit | 9a770703c17e1c758b71091fd364dcda1cefacc4 (patch) | |
tree | 4c39d83bd3a20d0d6b2230d79ac1731b810ef213 /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend | |
parent | Closes #34, adds code to test cases where minScope>maxScope. (diff) | |
download | VIATRA-Generator-9a770703c17e1c758b71091fd364dcda1cefacc4.tar.gz VIATRA-Generator-9a770703c17e1c758b71091fd364dcda1cefacc4.tar.zst VIATRA-Generator-9a770703c17e1c758b71091fd364dcda1cefacc4.zip |
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend index a9314376..ef2e0c2f 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend | |||
@@ -19,6 +19,7 @@ class FAMTest { | |||
19 | val reg = Resource.Factory.Registry.INSTANCE | 19 | val reg = Resource.Factory.Registry.INSTANCE |
20 | val map = reg.extensionToFactoryMap | 20 | val map = reg.extensionToFactoryMap |
21 | map.put("logicproblem", new XMIResourceFactoryImpl) | 21 | map.put("logicproblem", new XMIResourceFactoryImpl) |
22 | |||
22 | 23 | ||
23 | println("Input and output workspaces are created") | 24 | println("Input and output workspaces are created") |
24 | 25 | ||