diff options
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.java')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.java | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.java index f7f8a5ee..21d2a307 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.java +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FileSystemTest.java | |||
@@ -57,6 +57,7 @@ public class FileSystemTest { | |||
57 | Ecore2LogicConfiguration _ecore2LogicConfiguration = new Ecore2LogicConfiguration(); | 57 | Ecore2LogicConfiguration _ecore2LogicConfiguration = new Ecore2LogicConfiguration(); |
58 | final TracedOutput<LogicProblem, Ecore2Logic_Trace> modelGenerationProblem = ecore2Logic.transformMetamodel(metamodel, _ecore2LogicConfiguration); | 58 | final TracedOutput<LogicProblem, Ecore2Logic_Trace> modelGenerationProblem = ecore2Logic.transformMetamodel(metamodel, _ecore2LogicConfiguration); |
59 | LogicProblem problem = modelGenerationProblem.getOutput(); | 59 | LogicProblem problem = modelGenerationProblem.getOutput(); |
60 | problem = instanceModel2Logic.transform(modelGenerationProblem, partialModel).getOutput(); | ||
60 | workspace.writeModel(problem, "FileSystem.logicproblem"); | 61 | workspace.writeModel(problem, "FileSystem.logicproblem"); |
61 | InputOutput.<String>println("Problem created"); | 62 | InputOutput.<String>println("Problem created"); |
62 | long startTime = System.currentTimeMillis(); | 63 | long startTime = System.currentTimeMillis(); |
@@ -70,8 +71,8 @@ public class FileSystemTest { | |||
70 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); | 71 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); |
71 | final Procedure1<VampireSolverConfiguration> _function = (VampireSolverConfiguration it) -> { | 72 | final Procedure1<VampireSolverConfiguration> _function = (VampireSolverConfiguration it) -> { |
72 | it.documentationLevel = DocumentationLevel.FULL; | 73 | it.documentationLevel = DocumentationLevel.FULL; |
73 | it.typeScopes.minNewElements = 40; | 74 | it.typeScopes.minNewElements = 10; |
74 | it.typeScopes.maxNewElements = 59; | 75 | it.typeScopes.maxNewElements = 25; |
75 | int _size = typeMapMin.size(); | 76 | int _size = typeMapMin.size(); |
76 | boolean _notEquals = (_size != 0); | 77 | boolean _notEquals = (_size != 0); |
77 | if (_notEquals) { | 78 | if (_notEquals) { |