diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/.GenerateFromConfig.xtendbin | bin | 10678 -> 10676 bytes | |||
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/.GeneratePledgeModels.xtendbin | bin | 16725 -> 16725 bytes | |||
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/.gitignore | 10 | ||||
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/GenerateFromConfig.java | 4 |
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 | |||
Binary files differ | |||
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 | |||
Binary files differ | |||
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 @@ | |||
1 | /.GenerateScenarios.java._trace | ||
2 | /.checkQueries.java._trace | ||
3 | /.RunGenerator.xtendbin | ||
4 | /GenerateScenarios.java | ||
5 | /.GenerateScenarios.xtendbin | ||
6 | /.GeneratePledgeModels.java._trace | ||
7 | /.GeneratePledgeModels.xtendbin | ||
8 | /GeneratePledgeModels.java | ||
9 | /.UML2TGF.java._trace | ||
10 | /.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 { | |||
47 | 47 | ||
48 | private static final int SIZE_INC = 5; | 48 | private static final int SIZE_INC = 5; |
49 | 49 | ||
50 | private static int REPS = 1; | 50 | private static int REPS = 5; |
51 | 51 | ||
52 | private static final int RUNTIME = 2100; | 52 | private static final int RUNTIME = 2100; |
53 | 53 | ||
54 | private static final String DOMAIN = "Taxation"; | 54 | private static final String DOMAIN = "Satellite"; |
55 | 55 | ||
56 | private static final boolean QUERIES = true; | 56 | private static final boolean QUERIES = true; |
57 | 57 | ||