diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/config')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/taxation.vsconfig | 50 |
1 files changed, 25 insertions, 25 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/taxation.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/taxation.vsconfig index fa3f6000..0c819976 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/taxation.vsconfig +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/taxation.vsconfig | |||
@@ -1,25 +1,25 @@ | |||
1 | import epackage "config/Taxation.ecore" | 1 | //import epackage "config/Taxation.ecore" |
2 | //import viatra "src/queries/familyTreeConstraints.vql" | 2 | ////import viatra "src/queries/familyTreeConstraints.vql" |
3 | 3 | // | |
4 | generate { | 4 | //generate { |
5 | metamodel = { package Taxation } | 5 | // metamodel = { package Taxation } |
6 | //constraints = { package queries} | 6 | // //constraints = { package queries} |
7 | solver = ViatraSolver | 7 | // solver = ViatraSolver |
8 | scope = { | 8 | // scope = { |
9 | //#node = 6, | 9 | // //#node = 6, |
10 | #int = {0}, | 10 | // #int = {0}, |
11 | #real = {0.0} | 11 | // #real = {0.0} |
12 | } | 12 | // } |
13 | 13 | // | |
14 | config = { | 14 | // config = { |
15 | runtime = 10, | 15 | // runtime = 10, |
16 | log-level = normal | 16 | // log-level = normal |
17 | } | 17 | // } |
18 | 18 | // | |
19 | runs = 1 | 19 | // runs = 1 |
20 | 20 | // | |
21 | debug = "config/output/debug/" | 21 | // debug = "config/output/debug/" |
22 | log = "config/output/debug/log.txt" | 22 | // log = "config/output/debug/log.txt" |
23 | output = "config/output/models" | 23 | // output = "config/output/models" |
24 | statistics = "config/output/debug/statistics.csv" | 24 | // statistics = "config/output/debug/statistics.csv" |
25 | } \ No newline at end of file | 25 | //} \ No newline at end of file |