From 329ac27dfa84e9a07760bea75b36476dddcf29a7 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <marussy@mit.bme.hu>
Date: Tue, 14 Jul 2020 10:45:03 +0200
Subject: Optimizations

---
 .../config/genericSatellite.vsconfig               |  6 +--
 .../config/genericTaxation.vsconfig                |  6 ++-
 .../case.study.pledge.run/inputs/Resource50hh.xmi  | 59 ++++++++++++++++++++++
 3 files changed, 66 insertions(+), 5 deletions(-)
 create mode 100644 Tests/MODELS2020-CaseStudies/case.study.pledge.run/inputs/Resource50hh.xmi

(limited to 'Tests')

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 {
 		runtime = 10000,
 		log-level = normal,
 		"fitness-scope" = "3",
-		"fitness-punishSize" = "inverse",
-		"fitness-objectCreationCosts" = "true",
-		"scopePropagator" = "typeHierarchy",
-		"fitness-missing-containment" = "2"
+		"fitness-punishSize" = "true",
+		"scopePropagator" = "polyhedral"
 	}
 
 	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 {
 	config = {
 		runtime = 10000,
 		log-level = normal,
-		"fitness-objectCreationCosts" = "true"
+		"fitness-scope" = "1",
+		"fitness-punishSize" = "inverse",
+		"fitness-objectCreationCosts" = "true",
+		"scopePropagator" = "typeHierarchy",
+		"fitness-missing-containment" = "2"
 	}
 	
 	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 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<TaxCardWithRoot:Resource
+    xmi:version="2.0"
+    xmlns:xmi="http://www.omg.org/XMI"
+    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+    xmlns:TaxCardWithRoot="http:///TaxCardWithRoot.ecore"
+    xsi:schemaLocation="http:///TaxCardWithRoot.ecore ../../case.study.pledge.model/model/TaxationWithRoot.ecore">
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+    <contains/>
+</TaxCardWithRoot:Resource>
+
-- 
cgit v1.2.3-54-g00ecf