aboutsummaryrefslogtreecommitdiffstats
path: root/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig
diff options
context:
space:
mode:
Diffstat (limited to 'Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig')
-rw-r--r--Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig8
1 files changed, 4 insertions, 4 deletions
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig b/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig
index 1cbf8469..95aa7486 100644
--- a/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig
+++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig
@@ -9,16 +9,16 @@ generate {
9 solver = ViatraSolver 9 solver = ViatraSolver
10 10
11 scope = { 11 scope = {
12 #node = 30 12 #node = 100
13 } 13 }
14 14
15 number = 1 15 number = 1
16 runs = 10 16 runs = 1
17 config = { 17 config = {
18 log-level = none, 18 log-level = none,
19 "optional-wf" = "false", 19 "optional-wf" = "true",
20 "realistic-guidance" = "Composite", 20 "realistic-guidance" = "Composite",
21 "allow-must-violations" = "false", 21 "allow-must-violations" = "true",
22 "domain" = "Yakindumm", 22 "domain" = "Yakindumm",
23 "scopePropagator" = "typeHierarchy" 23 "scopePropagator" = "typeHierarchy"
24 } 24 }