measure.sh 666 Bytes
Newer Older
Christian Müller's avatar
Christian Müller committed
1 2
# /bin/bash
RESULT=results/measure.txt
3
TIMEOUT=10s
Christian Müller's avatar
Christian Müller committed
4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26
touch ${RESULT}

echo "Measurement $(date)" >> ${RESULT}
echo "" >> ${RESULT}

for FILE in results/*.ltl
do
	NAME=$(basename ${FILE} .ltl)
	echo "Measuring ${FILE}"
	echo "${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} >> ${RESULT} 2>&1 
	then
		echo "Finished successfully"
		echo "    Finished successfully" >> ${RESULT}
	else
		echo "Timeout after ${TIMEOUT}"
		echo "    Timeout after ${TIMEOUT}" >> ${RESULT}
	fi
	echo "" >> ${RESULT}
done