fix script benchmarks

benchmarks/benchmarks.sh

@@ -79,8 +79,6 @@ function run_benchmark {
   model_path="${model_folder}/${model}.imi"
 
   while read -r a l; do
-    echo -e "\nreaching $a @ $l"
-
     # 3) run imitator
     new_prop_path="${output_folder}/${model}-${prop_file}.${l}"
     if [[ ! -f "${new_prop_path}.res" ]]; then
@@ -94,11 +92,19 @@ function run_benchmark {
       maude_file="${model}.${mode}.maude"
       new_file="${output_folder}/${maude_file}.${l}"
 
-      if [[ ! -f "${new_file}" ]]; then
-        sed "s/<replace>/${a} @ ${l}/" "${model_folder}/${maude_file}" >"${new_file}"
-        echo "Running Maude (timeout: ${timeout}) with ${new_file}"
-        run_maude "${new_file}" "${timeout}" >"${new_file}.res"
-      fi
+      for i in {0..1}; do
+        # active FME technique
+        sed -i "/eq module(Q)/c\  eq module(Q) = module(${i}, Q) ." "${output_folder}/analysis.maude"
+
+        suffix=$([[ $i -eq 1 ]] && echo ".FEM" || echo "")
+        output_maude_file="${new_file}${suffix}.res"
+
+        if [[ ! -f "${output_maude_file}" ]]; then
+          sed "s/<replace>/${a} @ ${l}/" "${model_folder}/${maude_file}" >"${new_file}"
+          echo "Running Maude (timeout: ${timeout}, FME: ${i}) with ${new_file}"
+          run_maude "${new_file}" "${timeout}" >"${output_maude_file}"
+        fi
+      done
     done
   done <$locations