diff options
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill')
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(), |