diff options
author | 2020-05-09 19:09:06 -0400 | |
---|---|---|
committer | 2020-05-09 19:09:06 -0400 | |
commit | 79ae20115e73597fbaf18d5429d7b2788dd4efb6 (patch) | |
tree | 4cb6e0d6755673db275f454fa2525f51c13126c7 /Tests/MODELS2020-CaseStudies/case.study.pledge.run/config | |
parent | uninvolved objects are filled with a default value (diff) | |
download | VIATRA-Generator-79ae20115e73597fbaf18d5429d7b2788dd4efb6.tar.gz VIATRA-Generator-79ae20115e73597fbaf18d5429d7b2788dd4efb6.tar.zst VIATRA-Generator-79ae20115e73597fbaf18d5429d7b2788dd4efb6.zip |
Adjust PLEDEG Java Case Study file
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 |