diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig')
-rw-r--r-- | Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig | 10 |
1 files changed, 6 insertions, 4 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 4a0bd920..2be8cb2e 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig | |||
@@ -12,8 +12,8 @@ generate { | |||
12 | 12 | ||
13 | config = { | 13 | config = { |
14 | runtime = 10000, | 14 | runtime = 10000, |
15 | log-level = normal, | 15 | "numeric-solver" = "z3", |
16 | "scopePropagator" = "typeHierarchy" | 16 | log-level = none |
17 | } | 17 | } |
18 | 18 | ||
19 | runs = 1 | 19 | runs = 1 |
@@ -33,10 +33,12 @@ generate { | |||
33 | config = { | 33 | config = { |
34 | runtime = 10000, | 34 | runtime = 10000, |
35 | "numeric-solver" = "z3", | 35 | "numeric-solver" = "z3", |
36 | log-level = normal, | 36 | "dreal-local-path" = "enterPathHere", |
37 | log-level = none, | ||
37 | "fitness-scope" = "3", | 38 | "fitness-scope" = "3", |
38 | "fitness-punishSize" = "true", | 39 | "fitness-punishSize" = "true", |
39 | "scopePropagator" = "polyhedral" | 40 | "scopePropagator" = "polyhedral", |
41 | "fitness-missing-containment" = "1" | ||
40 | } | 42 | } |
41 | 43 | ||
42 | runs = 1 | 44 | runs = 1 |