diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytreeGen.vsconfig')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytreeGen.vsconfig | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytreeGen.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytreeGen.vsconfig index 01b7f040..7ead54af 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytreeGen.vsconfig +++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytreeGen.vsconfig | |||
@@ -6,7 +6,7 @@ generate { | |||
6 | constraints = { package queries} | 6 | constraints = { package queries} |
7 | solver = ViatraSolver | 7 | solver = ViatraSolver |
8 | scope = { | 8 | scope = { |
9 | #node = 6..15, | 9 | #node = 10..30, |
10 | #int = {} | 10 | #int = {} |
11 | } | 11 | } |
12 | 12 | ||
@@ -20,6 +20,7 @@ generate { | |||
20 | runs = 1 | 20 | runs = 1 |
21 | 21 | ||
22 | debug = "outputs/debug" | 22 | debug = "outputs/debug" |
23 | log = "outputs/log.txt" | 23 | log = "outputs/debug/log.txt" |
24 | output = "outputs/models" | 24 | output = "outputs/models" |
25 | statistics = "outputs/statistics.csv" | ||
25 | } \ No newline at end of file | 26 | } \ No newline at end of file |