aboutsummaryrefslogtreecommitdiffstats
path: root/Metrics/Metrics-Calculation/SocialNetwork_plugin/ecore.vsconfig
diff options
context:
space:
mode:
Diffstat (limited to 'Metrics/Metrics-Calculation/SocialNetwork_plugin/ecore.vsconfig')
-rw-r--r--Metrics/Metrics-Calculation/SocialNetwork_plugin/ecore.vsconfig16
1 files changed, 10 insertions, 6 deletions
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/ecore.vsconfig b/Metrics/Metrics-Calculation/SocialNetwork_plugin/ecore.vsconfig
index ff9155a4..e63095e1 100644
--- a/Metrics/Metrics-Calculation/SocialNetwork_plugin/ecore.vsconfig
+++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/ecore.vsconfig
@@ -1,6 +1,7 @@
1import viatra "./queries/queries/Ecore.vql" 1import viatra "./queries/queries/Ecore.vql"
2import epackage "http://www.eclipse.org/emf/2002/Ecore" 2import epackage "http://www.eclipse.org/emf/2002/Ecore"
3 3
4// Copy this for different model sizes
4generate { 5generate {
5 metamodel = {package ecore excluding{EClassifier.instanceClass, EClassifier.defaultValue, 6 metamodel = {package ecore excluding{EClassifier.instanceClass, EClassifier.defaultValue,
6 EEnumLiteral.instance, EStructuralFeature.defaultValue, EStructuralFeature.changeable, 7 EEnumLiteral.instance, EStructuralFeature.defaultValue, EStructuralFeature.changeable,
@@ -27,20 +28,23 @@ generate {
27 28
28 solver = ViatraSolver 29 solver = ViatraSolver
29 30
31 //median run time
30 scope = { 32 scope = {
31 #node = 100 33 #node = 10 // (warm-up: 10) 30, 50, 80, 100, 120 ....
32 } 34 }
33 35
34 number = 1 36 number = 1
35 runs = 30 37 runs = 5
36 config = { 38 config = {
37 log-level = none, 39 log-level = none,
38 "optional-wf" = "true", 40 runtime = 300, // the runtime is in seconds, want to set is to 5 mins
41 "optional-wf" = "false",
39 "realistic-guidance" = "Composite", 42 "realistic-guidance" = "Composite",
40 "allow-must-violations" = "true", 43 "allow-must-violations" = "false",
41 "domain" = "Ecore" 44 "domain" = "Ecore"
42 } 45 }
43 46
44 debug = "debug" 47 debug = "debug"
45 output = "output/Ecore/" 48 statistics = "statistics/Ecore/warmup.csv" //give different set up different filenames
46} \ No newline at end of file 49 output = "output/Ecore/run_time/"
50}