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 | 1 |
1 files changed, 1 insertions, 0 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 ab25ea32..ed06d32f 100644 --- a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/config/genericSatellite.vsconfig | |||
@@ -35,6 +35,7 @@ generate { | |||
35 | } | 35 | } |
36 | 36 | ||
37 | runs = 1 | 37 | runs = 1 |
38 | number = 10 | ||
38 | 39 | ||
39 | debug = "outputs/debug" | 40 | debug = "outputs/debug" |
40 | log = "outputs/log.txt" | 41 | log = "outputs/log.txt" |