Commit e2f0b1e7 authored by Christian Müller's avatar Christian Müller

long measure with runs

parent 3c6a3ab1
# /bin/bash
TIMEOUT=20m
for FILE in results/*.ltl
for RUN in 1 2 3 4 5 6 7 8 9 10
do
NAME=$(basename ${FILE} .ltl)
METRICS="results/${NAME}.metrics"
for FILE in results/*.ltl
do
NAME=$(basename ${FILE} .ltl)
METRICS="results/${NAME}.metrics"
echo "Measuring ${FILE}"
echo "Metrics File: ${METRICS}"
echo "" >> ${METRICS}
echo "Measuring on $(date):" >> ${METRICS}
echo "Measuring ${FILE}"
echo "Metrics File: ${METRICS}"
echo "" >> ${METRICS}
echo "Measuring run ${RUN}:" >> ${METRICS}
# echo " FOLTL length: $(wc -m < results/${NAME}.foltl)" >> ${RESULT}
# echo " LTL length: $(wc -m < ${FILE})" >> ${RESULT}
# echo " FOLTL length: $(wc -m < results/${NAME}.foltl)" >> ${RESULT}
# echo " LTL length: $(wc -m < ${FILE})" >> ${RESULT}
if
timeout ${TIMEOUT} time -p aalta/Aalta_v2.0/aalta < ${FILE} >> ${METRICS} 2>&1
then
echo "Finished successfully"
echo "Finished successfully" >> ${METRICS}
else
echo "Timeout after ${TIMEOUT}"
echo "Timeout after ${TIMEOUT}" >> ${METRICS}
fi
done
if
timeout ${TIMEOUT} time -p aalta/Aalta_v2.0/aalta < ${FILE} >> ${METRICS} 2>&1
then
echo "Finished successfully"
echo "Finished successfully" >> ${METRICS}
else
echo "Timeout after ${TIMEOUT}"
echo "Timeout after ${TIMEOUT}" >> ${METRICS}
fi
done
done
\ No newline at end of file
# /bin/bash
TIMEOUT=1s
TIMEOUT=10s
for FILE in results/*.ltl
do
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment