diff options
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca')
3 files changed, 14 insertions, 1 deletions
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 0af87258..6c37b8ce 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/.GeneralTest.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.GeneralTest.xtendbin index 77c5f740..9bb0bdbd 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/GeneralTest.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java index af47ba7a..f3dce1b6 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.java | |||
@@ -69,6 +69,7 @@ public class GeneralTest { | |||
69 | LogicProblem problem = modelGenerationProblem.getOutput(); | 69 | LogicProblem problem = modelGenerationProblem.getOutput(); |
70 | workspace.writeModel(problem, "Fam.logicproblem"); | 70 | workspace.writeModel(problem, "Fam.logicproblem"); |
71 | InputOutput.<String>println("Problem created"); | 71 | InputOutput.<String>println("Problem created"); |
72 | long startTime = System.currentTimeMillis(); | ||
72 | LogicResult solution = null; | 73 | LogicResult solution = null; |
73 | LogicReasoner reasoner = null; | 74 | LogicReasoner reasoner = null; |
74 | VampireSolver _vampireSolver = new VampireSolver(); | 75 | VampireSolver _vampireSolver = new VampireSolver(); |
@@ -107,10 +108,22 @@ public class GeneralTest { | |||
107 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); | 108 | VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration(); |
108 | final Procedure1<VampireSolverConfiguration> _function_2 = (VampireSolverConfiguration it) -> { | 109 | final Procedure1<VampireSolverConfiguration> _function_2 = (VampireSolverConfiguration it) -> { |
109 | it.documentationLevel = DocumentationLevel.FULL; | 110 | it.documentationLevel = DocumentationLevel.FULL; |
111 | it.typeScopes.minNewElements = 4; | ||
112 | it.typeScopes.maxNewElements = 7; | ||
113 | it.typeScopes.minNewElementsByType = typeMapMin; | ||
114 | it.typeScopes.maxNewElementsByType = typeMapMax; | ||
110 | }; | 115 | }; |
111 | final VampireSolverConfiguration vampireConfig = ObjectExtensions.<VampireSolverConfiguration>operator_doubleArrow(_vampireSolverConfiguration, _function_2); | 116 | final VampireSolverConfiguration vampireConfig = ObjectExtensions.<VampireSolverConfiguration>operator_doubleArrow(_vampireSolverConfiguration, _function_2); |
112 | solution = reasoner.solve(problem, vampireConfig, workspace); | 117 | solution = reasoner.solve(problem, vampireConfig, workspace); |
113 | _xblockexpression = InputOutput.<String>println("Problem solved"); | 118 | long _currentTimeMillis = System.currentTimeMillis(); |
119 | long _minus = (_currentTimeMillis - startTime); | ||
120 | long totalTimeMin = (_minus / 60000); | ||
121 | long _currentTimeMillis_1 = System.currentTimeMillis(); | ||
122 | long _minus_1 = (_currentTimeMillis_1 - startTime); | ||
123 | long _divide = (_minus_1 / 1000); | ||
124 | long totalTimeSec = (_divide % 60); | ||
125 | InputOutput.<String>println("Problem solved"); | ||
126 | _xblockexpression = InputOutput.<String>println(((("Time was: " + Long.valueOf(totalTimeMin)) + ":") + Long.valueOf(totalTimeSec))); | ||
114 | } | 127 | } |
115 | return _xblockexpression; | 128 | return _xblockexpression; |
116 | } catch (Throwable _e) { | 129 | } catch (Throwable _e) { |