diff options
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire')
9 files changed, 33 insertions, 32 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.EcoreTest.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.EcoreTest.xtendbin index 1174c9aa..b82c61fd 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.EcoreTest.xtendbin +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.EcoreTest.xtendbin | |||
Binary files differ | |||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FAMTest.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FAMTest.xtendbin index 369ae25b..d04ea088 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FAMTest.xtendbin +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FAMTest.xtendbin | |||
Binary files differ | |||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FileSystemTest.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FileSystemTest.xtendbin index d66e9ca0..bed60b34 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FileSystemTest.xtendbin +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FileSystemTest.xtendbin | |||
Binary files differ | |||
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 19872b6a..3324795c 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/.YakinduTest.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.YakinduTest.xtendbin index 1e5c3981..164c4fac 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.YakinduTest.xtendbin +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.YakinduTest.xtendbin | |||
Binary files differ | |||
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 c46f75d2..a596deb4 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 | |||
@@ -84,11 +84,11 @@ public class YakinduTest { | |||
84 | final EList<EObject> partialModel = GeneralTest.loadPartialModel(inputs, "yakindu/Yakindu.xmi"); | 84 | final EList<EObject> partialModel = GeneralTest.loadPartialModel(inputs, "yakindu/Yakindu.xmi"); |
85 | final ViatraQuerySetDescriptor queries = GeneralTest.loadQueries(metamodel, Patterns.instance()); | 85 | final ViatraQuerySetDescriptor queries = GeneralTest.loadQueries(metamodel, Patterns.instance()); |
86 | InputOutput.<String>println("DSL loaded"); | 86 | InputOutput.<String>println("DSL loaded"); |
87 | int SZ_TOP = 25; | 87 | int SZ_TOP = 120; |
88 | int SZ_BOT = 5; | 88 | int SZ_BOT = 60; |
89 | int INC = 5; | 89 | int INC = 20; |
90 | int REPS = 5; | 90 | int REPS = 25; |
91 | final int RUNTIME = 60; | 91 | final int RUNTIME = 300; |
92 | final int EXACT = (-1); | 92 | final int EXACT = (-1); |
93 | if ((EXACT != (-1))) { | 93 | if ((EXACT != (-1))) { |
94 | SZ_TOP = EXACT; | 94 | SZ_TOP = EXACT; |
@@ -104,22 +104,6 @@ public class YakinduTest { | |||
104 | String _substring = solver.name().substring(0, 1); | 104 | String _substring = solver.name().substring(0, 1); |
105 | str = (_str + _substring); | 105 | str = (_str + _substring); |
106 | } | 106 | } |
107 | URI _workspaceURI = dataWorkspace.getWorkspaceURI(); | ||
108 | String _plus_2 = (_workspaceURI + "//_stats"); | ||
109 | String _plus_3 = (_plus_2 + formattedDate); | ||
110 | String _plus_4 = (_plus_3 + "-"); | ||
111 | String _plus_5 = (_plus_4 + str); | ||
112 | String _plus_6 = (_plus_5 + Integer.valueOf(SZ_BOT)); | ||
113 | String _plus_7 = (_plus_6 + "to"); | ||
114 | String _plus_8 = (_plus_7 + Integer.valueOf(SZ_TOP)); | ||
115 | String _plus_9 = (_plus_8 + "by"); | ||
116 | String _plus_10 = (_plus_9 + Integer.valueOf(INC)); | ||
117 | String _plus_11 = (_plus_10 + | ||
118 | "x"); | ||
119 | String _plus_12 = (_plus_11 + Integer.valueOf(REPS)); | ||
120 | String _plus_13 = (_plus_12 + ".csv"); | ||
121 | PrintWriter writer = new PrintWriter(_plus_13); | ||
122 | writer.append("solver,size,transTime,sat?,satTime,model?,modelTime\n"); | ||
123 | ArrayList<Object> solverTimes = CollectionLiterals.<Object>newArrayList(); | 107 | ArrayList<Object> solverTimes = CollectionLiterals.<Object>newArrayList(); |
124 | ArrayList<Object> transformationTimes = CollectionLiterals.<Object>newArrayList(); | 108 | ArrayList<Object> transformationTimes = CollectionLiterals.<Object>newArrayList(); |
125 | LogicResult solution = null; | 109 | LogicResult solution = null; |
@@ -129,13 +113,23 @@ public class YakinduTest { | |||
129 | boolean _while = (i <= SZ_TOP); | 113 | boolean _while = (i <= SZ_TOP); |
130 | while (_while) { | 114 | while (_while) { |
131 | { | 115 | { |
116 | URI _workspaceURI = dataWorkspace.getWorkspaceURI(); | ||
117 | String _plus_2 = (_workspaceURI + "//_vampire"); | ||
118 | String _plus_3 = (_plus_2 + Integer.valueOf(i)); | ||
119 | String _plus_4 = (_plus_3 + "x"); | ||
120 | String _plus_5 = (_plus_4 + Integer.valueOf(REPS)); | ||
121 | String _plus_6 = (_plus_5 + "-"); | ||
122 | String _plus_7 = (_plus_6 + formattedDate); | ||
123 | String _plus_8 = (_plus_7 + ".csv"); | ||
124 | PrintWriter writer = new PrintWriter(_plus_8); | ||
125 | writer.append("solver,size,transTime,sat?,satTime,model?,modelTime\n"); | ||
132 | final int num = ((i - SZ_BOT) / INC); | 126 | final int num = ((i - SZ_BOT) / INC); |
133 | InputOutput.println(); | 127 | InputOutput.println(); |
134 | String _name = BESOLVER.name(); | 128 | String _name = BESOLVER.name(); |
135 | String _plus_14 = ("SOLVER: " + _name); | 129 | String _plus_9 = ("SOLVER: " + _name); |
136 | String _plus_15 = (_plus_14 + ", SIZE="); | 130 | String _plus_10 = (_plus_9 + ", SIZE="); |
137 | String _plus_16 = (_plus_15 + Integer.valueOf(i)); | 131 | String _plus_11 = (_plus_10 + Integer.valueOf(i)); |
138 | InputOutput.<String>println(_plus_16); | 132 | InputOutput.<String>println(_plus_11); |
139 | InputOutput.println(); | 133 | InputOutput.println(); |
140 | solverTimes.clear(); | 134 | solverTimes.clear(); |
141 | transformationTimes.clear(); | 135 | transformationTimes.clear(); |
@@ -171,6 +165,7 @@ public class YakinduTest { | |||
171 | it.documentationLevel = DocumentationLevel.FULL; | 165 | it.documentationLevel = DocumentationLevel.FULL; |
172 | it.iteration = iter; | 166 | it.iteration = iter; |
173 | it.runtimeLimit = RUNTIME; | 167 | it.runtimeLimit = RUNTIME; |
168 | it.typeScopes.maxNewElements = size; | ||
174 | it.typeScopes.minNewElements = size; | 169 | it.typeScopes.minNewElements = size; |
175 | it.genModel = true; | 170 | it.genModel = true; |
176 | it.server = false; | 171 | it.server = false; |
@@ -184,14 +179,14 @@ public class YakinduTest { | |||
184 | final VampireSolverConfiguration vampireConfig = ObjectExtensions.<VampireSolverConfiguration>operator_doubleArrow(_vampireSolverConfiguration, _function); | 179 | final VampireSolverConfiguration vampireConfig = ObjectExtensions.<VampireSolverConfiguration>operator_doubleArrow(_vampireSolverConfiguration, _function); |
185 | solution = reasoner.solve(problem, vampireConfig, workspace); | 180 | solution = reasoner.solve(problem, vampireConfig, workspace); |
186 | String _name_1 = vampireConfig.solver.name(); | 181 | String _name_1 = vampireConfig.solver.name(); |
187 | String _plus_17 = (_name_1 + ","); | 182 | String _plus_12 = (_name_1 + ","); |
188 | writer.append(_plus_17); | 183 | writer.append(_plus_12); |
189 | String _plus_18 = (Integer.valueOf(size) + ","); | 184 | String _plus_13 = (Integer.valueOf(size) + ","); |
190 | writer.append(_plus_18); | 185 | writer.append(_plus_13); |
191 | int _transformationTime = solution.getStatistics().getTransformationTime(); | 186 | int _transformationTime = solution.getStatistics().getTransformationTime(); |
192 | double _divide = (_transformationTime / 1000.0); | 187 | double _divide = (_transformationTime / 1000.0); |
193 | String _plus_19 = (Double.valueOf(_divide) + ","); | 188 | String _plus_14 = (Double.valueOf(_divide) + ","); |
194 | writer.append(_plus_19); | 189 | writer.append(_plus_14); |
195 | final Function1<StatisticEntry, Boolean> _function_1 = (StatisticEntry it) -> { | 190 | final Function1<StatisticEntry, Boolean> _function_1 = (StatisticEntry it) -> { |
196 | String _name_2 = it.getName(); | 191 | String _name_2 = it.getName(); |
197 | return Boolean.valueOf(Objects.equal(_name_2, "satOut")); | 192 | return Boolean.valueOf(Objects.equal(_name_2, "satOut")); |
@@ -221,8 +216,15 @@ public class YakinduTest { | |||
221 | writer.append((modOut + ",")); | 216 | writer.append((modOut + ",")); |
222 | writer.append((modTime + "")); | 217 | writer.append((modTime + "")); |
223 | writer.append("\n"); | 218 | writer.append("\n"); |
219 | InputOutput.<String>println(((("->" + modOut) + " ... ") + modTime)); | ||
220 | final Runtime r = Runtime.getRuntime(); | ||
221 | r.gc(); | ||
222 | r.gc(); | ||
223 | r.gc(); | ||
224 | Thread.sleep(3000); | ||
224 | } | 225 | } |
225 | } | 226 | } |
227 | writer.close(); | ||
226 | } | 228 | } |
227 | int _i = i; | 229 | int _i = i; |
228 | i = (_i + INC); | 230 | i = (_i + INC); |
@@ -230,7 +232,6 @@ public class YakinduTest { | |||
230 | } | 232 | } |
231 | } | 233 | } |
232 | } | 234 | } |
233 | writer.close(); | ||
234 | } catch (Throwable _e) { | 235 | } catch (Throwable _e) { |
235 | throw Exceptions.sneakyThrow(_e); | 236 | throw Exceptions.sneakyThrow(_e); |
236 | } | 237 | } |
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.MedicalSystem.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.MedicalSystem.xtendbin index 41df0b2f..011b770c 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.MedicalSystem.xtendbin +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.MedicalSystem.xtendbin | |||
Binary files differ | |||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.SimpleRun.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.SimpleRun.xtendbin index 9bf38940..8963964c 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.SimpleRun.xtendbin +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.SimpleRun.xtendbin | |||
Binary files differ | |||
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.VampireTest.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.VampireTest.xtendbin index 54f2770d..95c0ee09 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.VampireTest.xtendbin +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.VampireTest.xtendbin | |||
Binary files differ | |||