1 files changed, 3 insertions, 0 deletions

diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java
index 1fcaf9bd..855909aa 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java
@@ -4,6 +4,7 @@ import ca.mcgill.ecse.dslreasoner.vampire.icse.GeneralTest;
 import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolver;

 import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolverConfiguration;

 import functionalarchitecture.Function;

+import functionalarchitecture.FunctionalArchitectureModel;

 import functionalarchitecture.FunctionalOutput;

 import functionalarchitecture.FunctionalarchitecturePackage;

 import hu.bme.mit.inf.dslreasoner.ecore2logic.Ecore2Logic;

@@ -65,11 +66,13 @@ public class FAMTest {
       VampireSolver _vampireSolver = new VampireSolver();

       reasoner = _vampireSolver;

       final HashMap<Class, Integer> classMapMin = new HashMap<Class, Integer>();

+      classMapMin.put(FunctionalArchitectureModel.class, Integer.valueOf(1));

       classMapMin.put(Function.class, Integer.valueOf(1));

       classMapMin.put(functionalarchitecture.FunctionalInterface.class, Integer.valueOf(2));

       classMapMin.put(FunctionalOutput.class, Integer.valueOf(3));

       final Map<Type, Integer> typeMapMin = GeneralTest.getTypeMap(classMapMin, metamodel, ecore2Logic, modelGenerationProblem.getTrace());

       final HashMap<Class, Integer> classMapMax = new HashMap<Class, Integer>();

+      classMapMax.put(FunctionalArchitectureModel.class, Integer.valueOf(3));

       classMapMax.put(Function.class, Integer.valueOf(5));

       classMapMax.put(functionalarchitecture.FunctionalInterface.class, Integer.valueOf(2));

       classMapMax.put(FunctionalOutput.class, Integer.valueOf(4));