longmeasure.sh 688 Bytes
Newer Older
1
# /bin/bash
2
TIMEOUT=20m
3

4
for RUN in 1 
5
do
6 7 8 9
	for FILE in results/*.ltl
	do
		NAME=$(basename ${FILE} .ltl)
		METRICS="results/${NAME}.metrics"
10

11 12 13 14
		echo "Measuring ${FILE}"
		echo "Metrics File: ${METRICS}"
		echo "" >> ${METRICS}
		echo "Measuring run ${RUN}:" >> ${METRICS}
15

16 17
		# echo "    FOLTL length: $(wc -m < results/${NAME}.foltl)" >> ${RESULT}
		# echo "    LTL length: $(wc -m < ${FILE})" >> ${RESULT}
18

19 20 21 22 23 24 25 26 27 28
		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
29
done