Skip to content
Snippets Groups Projects
Commit 89b6ea47 authored by Jaime Arias's avatar Jaime Arias
Browse files

fix benchmarks script

parent 82759b47
No related branches found
No related tags found
No related merge requests found
......@@ -74,25 +74,19 @@ function run_benchmark {
new_prop_path="${output_folder}/${prop_file}.${l}"
if [[ ! -f "${new_prop_path}.res" ]]; then
sed "s/<replace>/${l}/" "${model_folder}/${prop_file}" >"${new_prop_path}"
echo "Running ${model} with ${new_prop_path}"
echo "Running (timeout: ${timeout}) ${model} with ${new_prop_path}"
run_imitator "${model_path}" "${new_prop_path}" "${timeout}"
fi
# 4) run maude
for mode in ${modes[@]}; do
# maude files
maude_file="${model}.${mode}.maude"
echo $maude_file
new_file="${output_folder}/${maude_file}.${l}"
if [[ ! -f "${new_file}" ]]; then
sed "s/<replace>/${l}/" "${model_folder}/${maude_file}" >"${new_file}"
echo "Running Maude with ${new_file}"
run_maude "${new_file}" "${timeout}" >"${new_file}.res"
fi
done
maude_file="${model}.maude"
new_file="${output_folder}/${maude_file}.${l}"
if [[ ! -f "${new_file}" ]]; then
sed "s/<replace>/${l}/" "${model_folder}/${maude_file}" >"${new_file}"
echo "Running Maude (timeout: ${timeout}) with ${new_file}"
run_maude "${new_file}" "${timeout}" >"${new_file}.res"
fi
done
# 5) generate file with locations where maude finishes
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment