diff options
Diffstat (limited to 'Metrics/Metrics-Calculation/SocialNetwork_plugin/ecore.vsconfig')
-rw-r--r-- | Metrics/Metrics-Calculation/SocialNetwork_plugin/ecore.vsconfig | 16 |
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 @@ | |||
1 | import viatra "./queries/queries/Ecore.vql" | 1 | import viatra "./queries/queries/Ecore.vql" |
2 | import epackage "http://www.eclipse.org/emf/2002/Ecore" | 2 | import epackage "http://www.eclipse.org/emf/2002/Ecore" |
3 | 3 | ||
4 | // Copy this for different model sizes | ||
4 | generate { | 5 | generate { |
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 | } | ||