diff options
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend | 20 |
1 files changed, 16 insertions, 4 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend index 5b49543d..25ba546a 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/GeneralTest.xtend | |||
@@ -48,6 +48,8 @@ class GeneralTest { | |||
48 | workspace.writeModel(problem, "Fam.logicproblem") | 48 | workspace.writeModel(problem, "Fam.logicproblem") |
49 | 49 | ||
50 | println("Problem created") | 50 | println("Problem created") |
51 | |||
52 | var startTime = System.currentTimeMillis | ||
51 | 53 | ||
52 | var LogicResult solution | 54 | var LogicResult solution |
53 | var LogicReasoner reasoner | 55 | var LogicReasoner reasoner |
@@ -90,10 +92,10 @@ class GeneralTest { | |||
90 | val vampireConfig = new VampireSolverConfiguration => [ | 92 | val vampireConfig = new VampireSolverConfiguration => [ |
91 | // add configuration things, in config file first | 93 | // add configuration things, in config file first |
92 | it.documentationLevel = DocumentationLevel::FULL | 94 | it.documentationLevel = DocumentationLevel::FULL |
93 | // it.typeScopes.minNewElements = 501 | 95 | it.typeScopes.minNewElements = 4 |
94 | // it.typeScopes.maxNewElements = 500 | 96 | it.typeScopes.maxNewElements = 7 |
95 | // it.typeScopes.minNewElementsByType = typeMapMin | 97 | it.typeScopes.minNewElementsByType = typeMapMin |
96 | // it.typeScopes.maxNewElementsByType = typeMapMax | 98 | it.typeScopes.maxNewElementsByType = typeMapMax |
97 | ] | 99 | ] |
98 | solution = reasoner.solve(problem, vampireConfig, workspace) | 100 | solution = reasoner.solve(problem, vampireConfig, workspace) |
99 | 101 | ||
@@ -109,7 +111,17 @@ class GeneralTest { | |||
109 | * ] | 111 | * ] |
110 | * solution = reasoner.solve(problem, alloyConfig, workspace) | 112 | * solution = reasoner.solve(problem, alloyConfig, workspace) |
111 | //*/ | 113 | //*/ |
114 | |||
115 | |||
116 | var totalTimeMin = (System.currentTimeMillis - startTime)/60000 | ||
117 | var totalTimeSec = ((System.currentTimeMillis - startTime)/1000)% 60 | ||
118 | |||
112 | println("Problem solved") | 119 | println("Problem solved") |
120 | println("Time was: " + totalTimeMin + ":" + totalTimeSec) | ||
121 | |||
122 | |||
123 | |||
124 | |||
113 | } | 125 | } |
114 | 126 | ||
115 | def static loadMetamodel(EPackage pckg) { | 127 | def static loadMetamodel(EPackage pckg) { |