diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-05-11 12:51:37 -0400 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-05-11 12:51:37 -0400 |
| commit | 58a9431a90d2ca147f56c45dcfd4654145550a01 (patch) | |
| tree | 2a718ae79c198dd07268190e0b6d750ec7c7a6a2 /Tests/MODELS2020-CaseStudies/case.study.pledge.run/src/run | |
| parent | Fine Tune PLEDGE Case Study Project and Main Method (diff) | |
| download | VIATRA-Generator-58a9431a90d2ca147f56c45dcfd4654145550a01.tar.gz VIATRA-Generator-58a9431a90d2ca147f56c45dcfd4654145550a01.tar.zst VIATRA-Generator-58a9431a90d2ca147f56c45dcfd4654145550a01.zip | |
Add Satellite Case Study to testing framework
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/src/run')
| -rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/src/run/GenerateFromConfig.xtend | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src/run/GenerateFromConfig.xtend b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src/run/GenerateFromConfig.xtend index bd77634f..5cda1e16 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src/run/GenerateFromConfig.xtend +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/src/run/GenerateFromConfig.xtend | |||
| @@ -53,10 +53,10 @@ class GenerateFromConfig { | |||
| 53 | static val SIZE_MUL = 1 | 53 | static val SIZE_MUL = 1 |
| 54 | static val SIZE_INC = 5 | 54 | static val SIZE_INC = 5 |
| 55 | 55 | ||
| 56 | static var REPS = 1 | 56 | static var REPS = 5 |
| 57 | static val RUNTIME = 2100 | 57 | static val RUNTIME = 2100 |
| 58 | 58 | ||
| 59 | static val DOMAIN = "Taxation" // "FamilyTree", "Taxation" | 59 | static val DOMAIN = "Satellite" // "FamilyTree", "Taxation", "Satellite" |
| 60 | static val QUERIES = true | 60 | static val QUERIES = true |
| 61 | static val INITIAL = true | 61 | static val INITIAL = true |
| 62 | static val INDIV_WRT = false | 62 | static val INDIV_WRT = false |