update script

benchmarks/benchmarks.sh

@@ -4,13 +4,16 @@
 imitator="${HOME}/Work/code/imitator/imitator/bin/imitator"
 
 # pta2maude parser
-parser="${HOME}/Work/LIPN/projects/esprits/parser/app.py"
+parser="${HOME}/Work/code/esprits/pta2maude/app.py"
+
+# maude binary
+maude="maude.linux64 -no-banner -batch"
 
 # folder containing the folder
 model_folder="models"
 
-# maude binary
-maude="maude.darwin64 -no-banner -batch"
+# output folder
+output_folder="logs/${model}"
 
 
 # run imitator
@@ -23,7 +26,7 @@ function run_imitator {
 }
 
 
-# run parser
+# run parser pta2maude
 function parser_files {
   model=$1
   mode=$2
@@ -31,11 +34,21 @@ function parser_files {
   python3 $parser --input "${model_folder}/${model}.imi" --output "${model_folder}/${model}.${mode}.maude" "--${mode}"
 }
 
+# run Maude
 function run_maude {
   filename=$1
   timeout $timeout ${maude} "${filename}"
 }
 
+# create a folder
+function create_folder {
+  path=$1
+
+  if [ ! -d "$path" ]; then
+  mkdir -p "$path";
+  fi
+}
+
 # Timeout in seconds (3 minutes)
 timeout="5m"
 
@@ -45,7 +58,6 @@ model="accel-1000"
 # maude mode
 mode="collapsing"
 
-output_folder="logs/${model}"
 
 # 1) generate the full model with parser
 # parser_files $model "$mode"