diff options
| author |  Kristóf Marussy <marussy@mit.bme.hu> | 2020-07-14 10:45:03 +0200 |
|---|---|---|
| committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-07-14 10:45:03 +0200 |
| commit | 329ac27dfa84e9a07760bea75b36476dddcf29a7 (patch) | |
| tree | 67ffc01b3ff1da6b196e5a9e52eac0d5c22b5ddb /Tests | |
| parent | Fix event storm on EMF transaction finish (diff) | |
| download | VIATRA-Generator-329ac27dfa84e9a07760bea75b36476dddcf29a7.tar.gz VIATRA-Generator-329ac27dfa84e9a07760bea75b36476dddcf29a7.tar.zst VIATRA-Generator-329ac27dfa84e9a07760bea75b36476dddcf29a7.zip | |
Optimizations
Diffstat (limited to 'Tests')
3 files changed, 66 insertions, 5 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 57eaf326..192dac7b 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig | |||
| @@ -33,10 +33,8 @@ generate { | |||
| 33 | runtime = 10000, | 33 | runtime = 10000, |
| 34 | log-level = normal, | 34 | log-level = normal, |
| 35 | "fitness-scope" = "3", | 35 | "fitness-scope" = "3", |
| 36 | "fitness-punishSize" = "inverse", | 36 | "fitness-punishSize" = "true", |
| 37 | "fitness-objectCreationCosts" = "true", | 37 | "scopePropagator" = "polyhedral" |
| 38 | "scopePropagator" = "typeHierarchy", | ||
| 39 | "fitness-missing-containment" = "2" | ||
| 40 | } | 38 | } |
| 41 | 39 | ||
| 42 | runs = 1 | 40 | runs = 1 |
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxation.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxation.vsconfig index 7d742202..ee3c3631 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxation.vsconfig +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericTaxation.vsconfig | |||
| @@ -35,7 +35,11 @@ generate { | |||
| 35 | config = { | 35 | config = { |
| 36 | runtime = 10000, | 36 | runtime = 10000, |
| 37 | log-level = normal, | 37 | log-level = normal, |
| 38 | "fitness-objectCreationCosts" = "true" | 38 | "fitness-scope" = "1", |
| 39 | "fitness-punishSize" = "inverse", | ||
| 40 | "fitness-objectCreationCosts" = "true", | ||
| 41 | "scopePropagator" = "typeHierarchy", | ||
| 42 | "fitness-missing-containment" = "2" | ||
| 39 | } | 43 | } |
| 40 | 44 | ||
| 41 | runs = 1 | 45 | runs = 1 |
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/inputs/Resource50hh.xmi b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/inputs/Resource50hh.xmi new file mode 100644 index 00000000..5b110b76 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/inputs/Resource50hh.xmi | |||
| @@ -0,0 +1,59 @@ | |||
| 1 | <?xml version="1.0" encoding="UTF-8"?> | ||
| 2 | <TaxCardWithRoot:Resource | ||
| 3 | xmi:version="2.0" | ||
| 4 | xmlns:xmi="http://www.omg.org/XMI" | ||
| 5 | xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" | ||
| 6 | xmlns:TaxCardWithRoot="http:///TaxCardWithRoot.ecore" | ||
| 7 | xsi:schemaLocation="http:///TaxCardWithRoot.ecore ../../case.study.pledge.model/model/TaxationWithRoot.ecore"> | ||
| 8 | <contains/> | ||
| 9 | <contains/> | ||
| 10 | <contains/> | ||
| 11 | <contains/> | ||
| 12 | <contains/> | ||
| 13 | <contains/> | ||
| 14 | <contains/> | ||
| 15 | <contains/> | ||
| 16 | <contains/> | ||
| 17 | <contains/> | ||
| 18 | <contains/> | ||
| 19 | <contains/> | ||
| 20 | <contains/> | ||
| 21 | <contains/> | ||
| 22 | <contains/> | ||
| 23 | <contains/> | ||
| 24 | <contains/> | ||
| 25 | <contains/> | ||
| 26 | <contains/> | ||
| 27 | <contains/> | ||
| 28 | <contains/> | ||
| 29 | <contains/> | ||
| 30 | <contains/> | ||
| 31 | <contains/> | ||
| 32 | <contains/> | ||
| 33 | <contains/> | ||
| 34 | <contains/> | ||
| 35 | <contains/> | ||
| 36 | <contains/> | ||
| 37 | <contains/> | ||
| 38 | <contains/> | ||
| 39 | <contains/> | ||
| 40 | <contains/> | ||
| 41 | <contains/> | ||
| 42 | <contains/> | ||
| 43 | <contains/> | ||
| 44 | <contains/> | ||
| 45 | <contains/> | ||
| 46 | <contains/> | ||
| 47 | <contains/> | ||
| 48 | <contains/> | ||
| 49 | <contains/> | ||
| 50 | <contains/> | ||
| 51 | <contains/> | ||
| 52 | <contains/> | ||
| 53 | <contains/> | ||
| 54 | <contains/> | ||
| 55 | <contains/> | ||
| 56 | <contains/> | ||
| 57 | <contains/> | ||
| 58 | </TaxCardWithRoot:Resource> | ||
| 59 | |||