diff options
| author |  Kristóf Marussy <marussy@mit.bme.hu> | 2020-07-29 16:40:45 +0200 |
|---|---|---|
| committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-07-29 16:40:45 +0200 |
| commit | 18d8ff15abeb2aecc3cdedb0eabb076b4b8f058c (patch) | |
| tree | 067a74a598d4bf72c52b9788b200c962278f89b1 /Tests/MODELS2020-CaseStudies/case.study.pledge.run/config | |
| parent | Clean up MODELS20 files (diff) | |
| download | VIATRA-Generator-18d8ff15abeb2aecc3cdedb0eabb076b4b8f058c.tar.gz VIATRA-Generator-18d8ff15abeb2aecc3cdedb0eabb076b4b8f058c.tar.zst VIATRA-Generator-18d8ff15abeb2aecc3cdedb0eabb076b4b8f058c.zip | |
Fix time measurement
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/config')
| -rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTQual.vsconfig | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTQual.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTQual.vsconfig index 80ab2906..fa9cd6e2 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTQual.vsconfig +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericFamilyTreeSMTQual.vsconfig | |||
| @@ -36,6 +36,9 @@ generate { | |||
| 36 | log-level = normal, | 36 | log-level = normal, |
| 37 | "fitness-punishSize" = "false", | 37 | "fitness-punishSize" = "false", |
| 38 | "fitness-scope" = "3", | 38 | "fitness-scope" = "3", |
| 39 | "fitness-objectCreationCosts" = "true", | ||
| 40 | "scopePropagator" = "typeHierarchy", | ||
| 41 | "fitness-missing-containment" = "2", | ||
| 39 | "numeric-solver-at-end" = "true" | 42 | "numeric-solver-at-end" = "true" |
| 40 | } | 43 | } |
| 41 | 44 | ||