1 files changed, 6 insertions, 0 deletions

diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runTest.sh b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runTest.sh
new file mode 100755
index 00000000..1b3f124c
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/runTest.sh
@@ -0,0 +1,6 @@
+#!/usr/bin/bash
+NODE="$1"
+./run.sh "${NODE}" -d FamilyTree -lb 10 -nr 3 -nm 2 -rt 3600 -hh 1 -ns z3
+./run.sh "${NODE}" -d Satellite -lb 10 -nr 3 -nm 2 -rt 3600 -hh 1 -ns dreal -drp /home/models/dreal4/bazel-bin/dreal/dreal
+./run.sh "${NODE}" -d Taxation -lb 10 -nr 1 -nm 2 -rt 3600 -hh 1 -ns z3
+