diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTEnd.vsconfig')
| -rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTEnd.vsconfig | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTEnd.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTEnd.vsconfig index 723f401c..4a02395d 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTEnd.vsconfig +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTEnd.vsconfig | |||
| @@ -9,13 +9,12 @@ generate { | |||
| 9 | partial-model = { "inputs/SatelliteInstance.xmi"} | 9 | partial-model = { "inputs/SatelliteInstance.xmi"} |
| 10 | solver = ViatraSolver | 10 | solver = ViatraSolver |
| 11 | scope = { | 11 | scope = { |
| 12 | #node += 20..* | 12 | #node += 10..* |
| 13 | } | 13 | } |
| 14 | 14 | ||
| 15 | config = { | 15 | config = { |
| 16 | runtime = 10000, | 16 | runtime = 10000, |
| 17 | log-level = normal, | 17 | log-level = normal |
| 18 | "numeric-solver-at-end" = "true" | ||
| 19 | } | 18 | } |
| 20 | 19 | ||
| 21 | runs = 1 | 20 | runs = 1 |
| @@ -34,7 +33,10 @@ generate { | |||
| 34 | 33 | ||
| 35 | config = { | 34 | config = { |
| 36 | runtime = 10000, | 35 | runtime = 10000, |
| 37 | log-level = normal | 36 | log-level = normal, |
| 37 | "fitness-punishSize" = "false", | ||
| 38 | "fitness-scope" = "3", | ||
| 39 | "numeric-solver-at-end" = "true" | ||
| 38 | } | 40 | } |
| 39 | 41 | ||
| 40 | runs = 1 | 42 | runs = 1 |