diff options
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend index b67a867a..86c9092a 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend | |||
@@ -65,13 +65,13 @@ class GeneralTest { | |||
65 | // Minimum Scope | 65 | // Minimum Scope |
66 | typeMapMin.put(ecore2Logic.TypeofEClass(modelGenerationProblem.trace, | 66 | typeMapMin.put(ecore2Logic.TypeofEClass(modelGenerationProblem.trace, |
67 | list2MapMin.get(Function.simpleName) | 67 | list2MapMin.get(Function.simpleName) |
68 | ), 3) | 68 | ), 1) |
69 | typeMapMin.put(ecore2Logic.TypeofEClass(modelGenerationProblem.trace, | 69 | typeMapMin.put(ecore2Logic.TypeofEClass(modelGenerationProblem.trace, |
70 | list2MapMin.get(functionalarchitecture.FunctionalInterface.simpleName) | 70 | list2MapMin.get(functionalarchitecture.FunctionalInterface.simpleName) |
71 | ), 2) | 71 | ), 2) |
72 | typeMapMin.put(ecore2Logic.TypeofEClass(modelGenerationProblem.trace, | 72 | typeMapMin.put(ecore2Logic.TypeofEClass(modelGenerationProblem.trace, |
73 | list2MapMin.get(FunctionalOutput.simpleName) | 73 | list2MapMin.get(FunctionalOutput.simpleName) |
74 | ), 1) | 74 | ), 3) |
75 | 75 | ||
76 | // Maximum Scope | 76 | // Maximum Scope |
77 | typeMapMax.put(ecore2Logic.TypeofEClass( | 77 | typeMapMax.put(ecore2Logic.TypeofEClass( |