diff options
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 |