diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/runFamilyTree.sh')
-rwxr-xr-x | Tests/MODELS2020-CaseStudies/case.study.pledge.run/runFamilyTree.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runFamilyTree.sh b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runFamilyTree.sh new file mode 100755 index 00000000..5895ff6a --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runFamilyTree.sh | |||
@@ -0,0 +1,7 @@ | |||
1 | #!/usr/bin/bash | ||
2 | NODE="$1" | ||
3 | ./run.sh "${NODE}" -d FamilyTree -lb 20 -nm 10 -rt 3600 | ||
4 | ./run.sh "${NODE}" -d FamilyTree -lb 40 -nm 10 -rt 3600 | ||
5 | ./run.sh "${NODE}" -d FamilyTree -lb 60 -nm 10 -rt 3600 | ||
6 | ./run.sh "${NODE}" -d FamilyTree -lb 80 -nm 10 -rt 3600 | ||
7 | ./run.sh "${NODE}" -d FamilyTree -lb 100 -nm 10 -rt 3600 | ||