From 98bc70eebf9c425866f26a916d5b49a63a1d2c8b Mon Sep 17 00:00:00 2001
From: "Adam M. Stück" <adam@adast.xyz>
Date: Fri, 16 Dec 2022 21:37:56 +0100
Subject: Simplified 'start' script usage

Removed switch to use sbatch. Using sbatch is now the default.
The line to run VerifyPN locally is just left as a comment beneath the
sbatch call.

Added a BINARY argument, so I don't have to hardcode each experiments
binary.

Updated and improved the help message to reflect the changes.
---
 start | 19 +++++--------------
 1 file changed, 5 insertions(+), 14 deletions(-)

(limited to 'start')

diff --git a/start b/start
index d4d0cc8..d3b71e1 100755
--- a/start
+++ b/start
@@ -21,21 +21,15 @@ main() {
         help; exit 1
     fi
 
-    USE_SBATCH="false"
-
     case "$1" in
         -h|--help)
             help
             exit
             ;;
-        -s|--sbatch) 
-            USE_SBATCH="true" 
-            MODELS_PATH="$2"
-            OUTPUT_PATH="$3"
-            ;;
         *) 
-            MODELS_PATH="$1" 
-            OUTPUT_PATH="$2"
+            BINARY="$1"
+            MODELS_PATH="$2" 
+            OUTPUT_PATH="$3"
             ;;
     esac
 
@@ -71,16 +65,13 @@ serialize_array() {
 
 help() {
 cat << EOF
-usage: $0 [OPTIONS] MODELS-PATH OUTPUT-PATH
+Usage: $0 BINARY MODELS-PATH OUTPUT-PATH 
 
-Run Tapaal/MCC search strategy benchmark.
+Run TAPAAL heuristic search experiment.
 
 Number of models to run, time limit and search strategies can be 
 configured in the top of this script.
 
-Options:
-  -h, --help            Show this message
-  -s, --sbatch          Run on the cluster, instead of locally.
 EOF
 }
 
-- 
cgit v1.2.3-70-g09d2