4 files changed, 2 insertions, 12 deletions

diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/.GenerateFromConfig.xtendbin b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/.GenerateFromConfig.xtendbin
index 87d1cc1e..9a7cc0d6 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/.GenerateFromConfig.xtendbin
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/.GenerateFromConfig.xtendbin
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/.GeneratePledgeModels.xtendbin b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/.GeneratePledgeModels.xtendbin
index e7e5d9f0..526b322a 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/.GeneratePledgeModels.xtendbin
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/.GeneratePledgeModels.xtendbin
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/.gitignore b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/.gitignore
deleted file mode 100644
index 5f2a65d9..00000000
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/.gitignore
+++ /dev/null
@@ -1,10 +0,0 @@
-/.GenerateScenarios.java._trace
-/.checkQueries.java._trace
-/.RunGenerator.xtendbin
-/GenerateScenarios.java
-/.GenerateScenarios.xtendbin
-/.GeneratePledgeModels.java._trace
-/.GeneratePledgeModels.xtendbin
-/GeneratePledgeModels.java
-/.UML2TGF.java._trace
-/.GenerateFromConfig.java._trace
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/GenerateFromConfig.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/GenerateFromConfig.java
index 35f173be..5410113e 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/GenerateFromConfig.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/GenerateFromConfig.java
@@ -47,11 +47,11 @@ public class GenerateFromConfig {
   

   private static final int SIZE_INC = 5;

   

-  private static int REPS = 1;

+  private static int REPS = 5;

   

   private static final int RUNTIME = 2100;

   

-  private static final String DOMAIN = "Taxation";

+  private static final String DOMAIN = "Satellite";

   

   private static final boolean QUERIES = true;