diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-05-09 19:09:06 -0400 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-05-09 19:09:06 -0400 |
| commit | 79ae20115e73597fbaf18d5429d7b2788dd4efb6 (patch) | |
| tree | 4cb6e0d6755673db275f454fa2525f51c13126c7 /Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/taxation.vsconfig | |
| 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/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 |