From d7730cb0d684d6324622021a310d9b4a53e7531c Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Thu, 14 Mar 2019 03:45:46 -0400 Subject: Implement Containment mapping (partially) and revisit enum mapping --- .../src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire') 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 { // Minimum Scope typeMapMin.put(ecore2Logic.TypeofEClass(modelGenerationProblem.trace, list2MapMin.get(Function.simpleName) - ), 3) + ), 1) typeMapMin.put(ecore2Logic.TypeofEClass(modelGenerationProblem.trace, list2MapMin.get(functionalarchitecture.FunctionalInterface.simpleName) ), 2) typeMapMin.put(ecore2Logic.TypeofEClass(modelGenerationProblem.trace, list2MapMin.get(FunctionalOutput.simpleName) - ), 1) + ), 3) // Maximum Scope typeMapMax.put(ecore2Logic.TypeofEClass( -- cgit v1.2.3-54-g00ecf