diff options
author | 2020-05-10 20:13:33 +0200 | |
---|---|---|
committer | 2020-05-10 20:13:33 +0200 | |
commit | 021a46f4feb6503effb612ce154d3568c3d64b4f (patch) | |
tree | fcf6ddf76d1fc346e7c7d5d40c75304b463ec284 /Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/taxation.vsconfig | |
parent | measurement time statistics + activation selection strategies (diff) | |
parent | Adjust PLEDEG Java Case Study file (diff) | |
download | VIATRA-Generator-021a46f4feb6503effb612ce154d3568c3d64b4f.tar.gz VIATRA-Generator-021a46f4feb6503effb612ce154d3568c3d64b4f.tar.zst VIATRA-Generator-021a46f4feb6503effb612ce154d3568c3d64b4f.zip |
Merge branch 'master' of https://github.com/viatra/VIATRA-Generator
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/taxation.vsconfig')
-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 |