aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/GenerateFromConfig.java
diff options
context:
space:
mode:
authorLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2020-05-11 12:51:37 -0400
committerLibravatar ArenBabikian <aren.babikian@mail.mcgill.ca>2020-05-11 12:51:37 -0400
commit58a9431a90d2ca147f56c45dcfd4654145550a01 (patch)
tree2a718ae79c198dd07268190e0b6d750ec7c7a6a2 /Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/GenerateFromConfig.java
parentFine Tune PLEDGE Case Study Project and Main Method (diff)
downloadVIATRA-Generator-58a9431a90d2ca147f56c45dcfd4654145550a01.tar.gz
VIATRA-Generator-58a9431a90d2ca147f56c45dcfd4654145550a01.tar.zst
VIATRA-Generator-58a9431a90d2ca147f56c45dcfd4654145550a01.zip
Add Satellite Case Study to testing framework
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/GenerateFromConfig.java')
-rw-r--r--Tests/MODELS2020-CaseStudies/case.study.pledge.run/xtend-gen/run/GenerateFromConfig.java4
1 files changed, 2 insertions, 2 deletions
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