aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend
diff options
context:
space:
mode:
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.xtend4
1 files changed, 2 insertions, 2 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 95bfd87a..a9314376 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
@@ -23,12 +23,12 @@ class FAMTest {
23 println("Input and output workspaces are created") 23 println("Input and output workspaces are created")
24 24
25 val metamodel = GeneralTest.loadMetamodel(FunctionalarchitecturePackage.eINSTANCE) 25 val metamodel = GeneralTest.loadMetamodel(FunctionalarchitecturePackage.eINSTANCE)
26 val partialModel = GeneralTest.loadPartialModel(inputs, "FunctionalArchitectureModel2.xmi") 26 val partialModel = GeneralTest.loadPartialModel(inputs, "FaModel.xmi")
27 val queries = GeneralTest.loadQueries(metamodel, FamPatterns.instance) 27 val queries = GeneralTest.loadQueries(metamodel, FamPatterns.instance)
28 28
29 println("DSL loaded") 29 println("DSL loaded")
30 30
31 GeneralTest.createAndSolveProblem(metamodel, new LinkedList<EObject>, queries, workspace) 31 GeneralTest.createAndSolveProblem(metamodel, partialModel, queries, workspace)
32 } 32 }
33 33
34 34