diff options
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.java')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.java | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.java index 3a322ee0..ceae8ed2 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.java +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.java | |||
@@ -1,5 +1,6 @@ | |||
1 | package ca.mcgill.ecse.dslreasoner.vampire.icse; | 1 | package ca.mcgill.ecse.dslreasoner.vampire.icse; |
2 | 2 | ||
3 | import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.Region; | ||
3 | import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.yakinduPackage; | 4 | import ca.mcgill.ecse.dslreasoner.standalone.test.yakindu.yakinduPackage; |
4 | import ca.mcgill.ecse.dslreasoner.vampire.icse.GeneralTest; | 5 | import ca.mcgill.ecse.dslreasoner.vampire.icse.GeneralTest; |
5 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolver; | 6 | import ca.mcgill.ecse.dslreasoner.vampire.reasoner.VampireSolver; |
@@ -55,6 +56,7 @@ public class YakinduTest { | |||
55 | Ecore2LogicConfiguration _ecore2LogicConfiguration = new Ecore2LogicConfiguration(); | 56 | Ecore2LogicConfiguration _ecore2LogicConfiguration = new Ecore2LogicConfiguration(); |
56 | final TracedOutput<LogicProblem, Ecore2Logic_Trace> modelGenerationProblem = ecore2Logic.transformMetamodel(metamodel, _ecore2LogicConfiguration); | 57 | final TracedOutput<LogicProblem, Ecore2Logic_Trace> modelGenerationProblem = ecore2Logic.transformMetamodel(metamodel, _ecore2LogicConfiguration); |
57 | LogicProblem problem = modelGenerationProblem.getOutput(); | 58 | LogicProblem problem = modelGenerationProblem.getOutput(); |
59 | problem = instanceModel2Logic.transform(modelGenerationProblem, partialModel).getOutput(); | ||
58 | workspace.writeModel(problem, "Yakindu.logicproblem"); | 60 | workspace.writeModel(problem, "Yakindu.logicproblem"); |
59 | InputOutput.<String>println("Problem created"); | 61 | InputOutput.<String>println("Problem created"); |
60 | long startTime = System.currentTimeMillis(); | 62 | long startTime = System.currentTimeMillis(); |
@@ -62,14 +64,16 @@ public class YakinduTest { | |||
62 | VampireSolver _vampireSolver = new VampireSolver(); | 64 | VampireSolver _vampireSolver = new VampireSolver(); |
63 | reasoner = _vampireSolver; | 65 | reasoner = _vampireSolver; |
64 | final HashMap<Class, Integer> classMapMin = new HashMap<Class, Integer>(); | 66 | final HashMap<Class, Integer> classMapMin = new HashMap<Class, Integer>(); |
67 | classMapMin.put(Region.class, Integer.valueOf(1)); | ||
65 | final Map<Type, Integer> typeMapMin = GeneralTest.getTypeMap(classMapMin, metamodel, ecore2Logic, modelGenerationProblem.getTrace()); | 68 | final Map<Type, Integer> typeMapMin = GeneralTest.getTypeMap(classMapMin, metamodel, ecore2Logic, modelGenerationProblem.getTrace()); |
66 | final HashMap<Class, Integer> classMapMax = new HashMap<Class, Integer>(); | 69 | final HashMap<Class, Integer> classMapMax = new HashMap<Class, Integer>(); |
70 | classMapMax.put(Region.class, Integer.valueOf(5)); | ||
67 | final Map<Type, Integer> typeMapMax = GeneralTest.getTypeMap(classMapMax, metamodel, ecore2Logic, modelGenerationProblem.getTrace()); | 71 | final Map<Type, Integer> typeMapMax = GeneralTest.getTypeMap(classMapMax, metamodel, ecore2Logic, modelGenerationProblem.getTrace()); |
68 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); | 72 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); |
69 | final Procedure1<VampireSolverConfiguration> _function = (VampireSolverConfiguration it) -> { | 73 | final Procedure1<VampireSolverConfiguration> _function = (VampireSolverConfiguration it) -> { |
70 | it.documentationLevel = DocumentationLevel.FULL; | 74 | it.documentationLevel = DocumentationLevel.FULL; |
71 | it.typeScopes.minNewElements = 53; | 75 | it.typeScopes.minNewElements = 20; |
72 | it.typeScopes.maxNewElements = 53; | 76 | it.typeScopes.maxNewElements = 30; |
73 | int _size = typeMapMin.size(); | 77 | int _size = typeMapMin.size(); |
74 | boolean _notEquals = (_size != 0); | 78 | boolean _notEquals = (_size != 0); |
75 | if (_notEquals) { | 79 | if (_notEquals) { |