diff options
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse')
2 files changed, 2 insertions, 2 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.GeneralTest.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.GeneralTest.xtendbin index ff2a8e18..ce6042ea 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.GeneralTest.xtendbin +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.GeneralTest.xtendbin | |||
Binary files differ | |||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java index 7d3be50d..13a0e74a 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java | |||
@@ -85,13 +85,13 @@ public class GeneralTest { | |||
85 | final Map<String, EClass> list2MapMax = IterableExtensions.<String, EClass>toMap(metamodel.getClasses(), _function_1); | 85 | final Map<String, EClass> list2MapMax = IterableExtensions.<String, EClass>toMap(metamodel.getClasses(), _function_1); |
86 | typeMapMin.put( | 86 | typeMapMin.put( |
87 | ecore2Logic.TypeofEClass(modelGenerationProblem.getTrace(), | 87 | ecore2Logic.TypeofEClass(modelGenerationProblem.getTrace(), |
88 | list2MapMin.get(Function.class.getSimpleName())), Integer.valueOf(3)); | 88 | list2MapMin.get(Function.class.getSimpleName())), Integer.valueOf(1)); |
89 | typeMapMin.put( | 89 | typeMapMin.put( |
90 | ecore2Logic.TypeofEClass(modelGenerationProblem.getTrace(), | 90 | ecore2Logic.TypeofEClass(modelGenerationProblem.getTrace(), |
91 | list2MapMin.get(functionalarchitecture.FunctionalInterface.class.getSimpleName())), Integer.valueOf(2)); | 91 | list2MapMin.get(functionalarchitecture.FunctionalInterface.class.getSimpleName())), Integer.valueOf(2)); |
92 | typeMapMin.put( | 92 | typeMapMin.put( |
93 | ecore2Logic.TypeofEClass(modelGenerationProblem.getTrace(), | 93 | ecore2Logic.TypeofEClass(modelGenerationProblem.getTrace(), |
94 | list2MapMin.get(FunctionalOutput.class.getSimpleName())), Integer.valueOf(1)); | 94 | list2MapMin.get(FunctionalOutput.class.getSimpleName())), Integer.valueOf(3)); |
95 | typeMapMax.put( | 95 | typeMapMax.put( |
96 | ecore2Logic.TypeofEClass( | 96 | ecore2Logic.TypeofEClass( |
97 | modelGenerationProblem.getTrace(), | 97 | modelGenerationProblem.getTrace(), |