diff options
Diffstat (limited to 'Tests')
11 files changed, 67 insertions, 53 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/META-INF/MANIFEST.MF b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/META-INF/MANIFEST.MF index dead7622..6ab952ff 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/META-INF/MANIFEST.MF +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/META-INF/MANIFEST.MF | |||
@@ -43,7 +43,9 @@ Require-Bundle: org.eclipse.viatra.addon.querybasedfeatures.runtime, | |||
43 | org.apache.httpcomponents.httpclient;bundle-version="4.5.2", | 43 | org.apache.httpcomponents.httpclient;bundle-version="4.5.2", |
44 | org.apache.httpcomponents.httpclient.source;bundle-version="4.5.2", | 44 | org.apache.httpcomponents.httpclient.source;bundle-version="4.5.2", |
45 | org.apache.httpcomponents.httpclient.win;bundle-version="4.5.2", | 45 | org.apache.httpcomponents.httpclient.win;bundle-version="4.5.2", |
46 | org.apache.httpcomponents.httpcore.source;bundle-version="4.4.6" | 46 | org.apache.httpcomponents.httpcore.source;bundle-version="4.4.6", |
47 | hu.bme.mit.inf.dslreasoner.alloy.language;bundle-version="1.0.0", | ||
48 | hu.bme.mit.inf.dslreasoner.alloy.language.ui;bundle-version="1.0.0" | ||
47 | Import-Package: org.apache.log4j | 49 | Import-Package: org.apache.log4j |
48 | Automatic-Module-Name: ca.mcgill.ecse.dslreasoner.vampire.test | 50 | Automatic-Module-Name: ca.mcgill.ecse.dslreasoner.vampire.test |
49 | Bundle-ActivationPolicy: lazy | 51 | Bundle-ActivationPolicy: lazy |
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend index f26a1c91..adea57d4 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/YakinduTest.xtend | |||
@@ -59,12 +59,12 @@ class YakinduTest { | |||
59 | // val queries = null | 59 | // val queries = null |
60 | println("DSL loaded") | 60 | println("DSL loaded") |
61 | 61 | ||
62 | var SZ_TOP = 25 | 62 | var SZ_TOP = 120 |
63 | var SZ_BOT = 5 | 63 | var SZ_BOT = 60 |
64 | var INC = 5 | 64 | var INC = 20 |
65 | var REPS = 5 | 65 | var REPS =25 |
66 | 66 | ||
67 | val RUNTIME = 60 | 67 | val RUNTIME = 300 |
68 | 68 | ||
69 | val EXACT = -1 | 69 | val EXACT = -1 |
70 | if (EXACT != -1) { | 70 | if (EXACT != -1) { |
@@ -91,8 +91,7 @@ class YakinduTest { | |||
91 | // BackendSolver::Z3 | 91 | // BackendSolver::Z3 |
92 | // , | 92 | // , |
93 | BackendSolver::LOCVAMP | 93 | BackendSolver::LOCVAMP |
94 | ) | 94 | ) |
95 | |||
96 | 95 | ||
97 | var str = "" | 96 | var str = "" |
98 | 97 | ||
@@ -100,10 +99,6 @@ class YakinduTest { | |||
100 | str += solver.name.substring(0, 1) | 99 | str += solver.name.substring(0, 1) |
101 | } | 100 | } |
102 | 101 | ||
103 | var writer = new PrintWriter( | ||
104 | dataWorkspace.workspaceURI + "//_stats" + formattedDate + "-" + str + SZ_BOT + "to" + SZ_TOP + "by" + INC + | ||
105 | "x" + REPS + ".csv") | ||
106 | writer.append("solver,size,transTime,sat?,satTime,model?,modelTime\n") | ||
107 | var solverTimes = newArrayList | 102 | var solverTimes = newArrayList |
108 | var transformationTimes = newArrayList | 103 | var transformationTimes = newArrayList |
109 | var LogicResult solution = null | 104 | var LogicResult solution = null |
@@ -111,6 +106,13 @@ class YakinduTest { | |||
111 | for (BESOLVER : BACKENDSOLVERS) { | 106 | for (BESOLVER : BACKENDSOLVERS) { |
112 | 107 | ||
113 | for (var i = SZ_BOT; i <= SZ_TOP; i += INC) { | 108 | for (var i = SZ_BOT; i <= SZ_TOP; i += INC) { |
109 | // var writer = new PrintWriter( | ||
110 | // dataWorkspace.workspaceURI + "//_stats" + formattedDate + "-" + str + "sz" + i + "x" + REPS + | ||
111 | // ".csv") | ||
112 | var writer = new PrintWriter( | ||
113 | dataWorkspace.workspaceURI + "//_vampire" + i + "x" + REPS + "-" + formattedDate + ".csv") | ||
114 | writer.append("solver,size,transTime,sat?,satTime,model?,modelTime\n") | ||
115 | |||
114 | val num = (i - SZ_BOT) / INC | 116 | val num = (i - SZ_BOT) / INC |
115 | println() | 117 | println() |
116 | println("SOLVER: " + BESOLVER.name + ", SIZE=" + i) | 118 | println("SOLVER: " + BESOLVER.name + ", SIZE=" + i) |
@@ -161,17 +163,16 @@ class YakinduTest { | |||
161 | it.documentationLevel = DocumentationLevel::FULL | 163 | it.documentationLevel = DocumentationLevel::FULL |
162 | it.iteration = iter | 164 | it.iteration = iter |
163 | it.runtimeLimit = RUNTIME | 165 | it.runtimeLimit = RUNTIME |
164 | // it.typeScopes.maxNewElements = size | 166 | it.typeScopes.maxNewElements = size |
165 | it.typeScopes.minNewElements = size | 167 | it.typeScopes.minNewElements = size |
166 | 168 | ||
167 | it.genModel = true | 169 | it.genModel = true |
168 | it.server = false | 170 | it.server = false |
169 | if(it.server){ | 171 | if (it.server) { |
170 | it.solver = BESOLVER | 172 | it.solver = BESOLVER |
171 | } else{ | 173 | } else { |
172 | it.solver = BackendSolver::LOCVAMP | 174 | it.solver = BackendSolver::LOCVAMP |
173 | } | 175 | } |
174 | |||
175 | 176 | ||
176 | // if(typeMapMin.size != 0) it.typeScopes.minNewElementsByType = typeMapMin | 177 | // if(typeMapMin.size != 0) it.typeScopes.minNewElementsByType = typeMapMin |
177 | // if(typeMapMin.size != 0) it.typeScopes.maxNewElementsByType = typeMapMax | 178 | // if(typeMapMin.size != 0) it.typeScopes.maxNewElementsByType = typeMapMax |
@@ -194,12 +195,12 @@ class YakinduTest { | |||
194 | 195 | ||
195 | val satOut = (solution.statistics.entries.filter[name == "satOut"].get(0) as StringStatisticEntry). | 196 | val satOut = (solution.statistics.entries.filter[name == "satOut"].get(0) as StringStatisticEntry). |
196 | value | 197 | value |
197 | val satTime = (solution.statistics.entries.filter[name == "satTime"].get(0) as StringStatisticEntry). | 198 | val satTime = (solution.statistics.entries.filter[name == "satTime"]. |
198 | value | 199 | get(0) as StringStatisticEntry).value |
199 | val modOut = (solution.statistics.entries.filter[name == "modOut"].get(0) as StringStatisticEntry). | 200 | val modOut = (solution.statistics.entries.filter[name == "modOut"].get(0) as StringStatisticEntry). |
200 | value | 201 | value |
201 | val modTime = (solution.statistics.entries.filter[name == "modTime"].get(0) as StringStatisticEntry). | 202 | val modTime = (solution.statistics.entries.filter[name == "modTime"]. |
202 | value | 203 | get(0) as StringStatisticEntry).value |
203 | 204 | ||
204 | writer.append(satOut + ",") | 205 | writer.append(satOut + ",") |
205 | writer.append(satTime + ",") | 206 | writer.append(satTime + ",") |
@@ -207,6 +208,15 @@ class YakinduTest { | |||
207 | writer.append(modTime + "") | 208 | writer.append(modTime + "") |
208 | writer.append("\n") | 209 | writer.append("\n") |
209 | 210 | ||
211 | println("->" + modOut + " ... " + modTime) | ||
212 | |||
213 | // Run Garbage Collector | ||
214 | val Runtime r = Runtime.getRuntime(); | ||
215 | r.gc(); | ||
216 | r.gc(); | ||
217 | r.gc(); | ||
218 | Thread.sleep(3000) | ||
219 | |||
210 | // print("(" + tTime + "/" + sTime + "s)..") | 220 | // print("(" + tTime + "/" + sTime + "s)..") |
211 | // solverTimes.add(sTime) | 221 | // solverTimes.add(sTime) |
212 | // transformationTimes.add(tTime) | 222 | // transformationTimes.add(tTime) |
@@ -230,10 +240,11 @@ class YakinduTest { | |||
230 | // var solverMed = solverTimes.sort.get(REPS / 2) | 240 | // var solverMed = solverTimes.sort.get(REPS / 2) |
231 | // var transformationMed = transformationTimes.sort.get(REPS / 2) | 241 | // var transformationMed = transformationTimes.sort.get(REPS / 2) |
232 | // writer.append(solverMed.toString + "," + transformationMed.toString) | 242 | // writer.append(solverMed.toString + "," + transformationMed.toString) |
243 | writer.close | ||
233 | } | 244 | } |
234 | 245 | ||
235 | } | 246 | } |
236 | writer.close | 247 | |
237 | } | 248 | } |
238 | 249 | ||
239 | } | 250 | } |
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 | |||