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.

1 files changed, 5 insertions, 14 deletions

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
 }