Run test-substitutions with booster-dev

runtimeverification · Aug 5, 2024 · 2483a57 · 2483a57
1 parent 7fe9293
commit 2483a57
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/scripts/booster-integration-tests.sh b/scripts/booster-integration-tests.sh
@@ -28,12 +28,12 @@ for dir in $(ls -d test-*); do
     name=${dir##test-}
     echo "Running $name..."
     case "$name" in
-        "a-to-f" | "diamond")
+        "a-to-f" | "diamond" | "substitutions")
             SERVER=$BOOSTER_DEV ./runDirectoryTest.sh test-$name $@
             SERVER=$KORE_RPC_DEV ./runDirectoryTest.sh test-$name $@
             SERVER=$KORE_RPC_BOOSTER ./runDirectoryTest.sh test-$name $@
             ;;
-        "substitutions" | "vacuous" | "pathological-add-module")
+        "vacuous" | "pathological-add-module")
             SERVER=$KORE_RPC_DEV ./runDirectoryTest.sh test-$name $@
             SERVER=$KORE_RPC_BOOSTER ./runDirectoryTest.sh test-$name $@
             ;;