diff options
author | 2020-05-19 23:56:08 +0200 | |
---|---|---|
committer | 2020-05-19 23:56:08 +0200 | |
commit | 5a5827e91dbfb2eb7364cd21a701362c950f5dff (patch) | |
tree | 12a910060f36fb0e483dfe367edf0ee7b45bfc5f | |
parent | Add new state coder (diff) | |
parent | smarter fitness for satellite (diff) | |
download | VIATRA-Generator-5a5827e91dbfb2eb7364cd21a701362c950f5dff.tar.gz VIATRA-Generator-5a5827e91dbfb2eb7364cd21a701362c950f5dff.tar.zst VIATRA-Generator-5a5827e91dbfb2eb7364cd21a701362c950f5dff.zip |
Merge branch 'master' of github.com:viatra/VIATRA-Generator
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig index b9a606f0..127b174d 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig | |||
@@ -31,7 +31,9 @@ generate { | |||
31 | 31 | ||
32 | config = { | 32 | config = { |
33 | runtime = 10000, | 33 | runtime = 10000, |
34 | log-level = normal | 34 | log-level = normal, |
35 | "fitness-scope" = "3", | ||
36 | "fitness-objectCreationCosts" = "true" | ||
35 | } | 37 | } |
36 | 38 | ||
37 | runs = 1 | 39 | runs = 1 |