diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-04-04 19:55:10 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-04-04 19:55:10 -0400 |
commit | 4829f58fb56e9f7a5f86d422e126a4a65cdeae5e (patch) | |
tree | 6339eac4eee54e788755147e5f7aa22fb73fabd9 /Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse | |
parent | Closes #34, adds code to test cases where minScope>maxScope. (diff) | |
download | VIATRA-Generator-4829f58fb56e9f7a5f86d422e126a4a65cdeae5e.tar.gz VIATRA-Generator-4829f58fb56e9f7a5f86d422e126a4a65cdeae5e.tar.zst VIATRA-Generator-4829f58fb56e9f7a5f86d422e126a4a65cdeae5e.zip |
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse')
2 files changed, 17 insertions, 4 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend index a9314376..ef2e0c2f 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend +++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend | |||
@@ -19,6 +19,7 @@ class FAMTest { | |||
19 | val reg = Resource.Factory.Registry.INSTANCE | 19 | val reg = Resource.Factory.Registry.INSTANCE |
20 | val map = reg.extensionToFactoryMap | 20 | val map = reg.extensionToFactoryMap |
21 | map.put("logicproblem", new XMIResourceFactoryImpl) | 21 | map.put("logicproblem", new XMIResourceFactoryImpl) |
22 | |||
22 | 23 | ||
23 | println("Input and output workspaces are created") | 24 | println("Input and output workspaces are created") |
24 | 25 | ||
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) { |